Browse books
E-Books - Mathematical theory of computation
Software Composition
10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationPattern Matching Algorithms
Price for Eshop: 4251 Kč (€ 170.0)
Format: E-Book, Publisher: Oxford University Press
Availability: E-book delivered electronically online
Add to Cart InformationAlan Turing's Systems of Logic
The Princeton Thesis
Price for Eshop: 416 Kč (€ 16.6)
Format: E-Book, Publisher: Princeton University Press
Availability: E-book delivered electronically online
Add to Cart InformationCryptography in Constant Parallel Time
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationTraveling Salesman Problem
A Computational Study
Price for Eshop: 3040 Kč (€ 121.6)
Format: E-Book, Publisher: Princeton University Press
Availability: E-book delivered electronically online
Add to Cart InformationNew Frontiers in Artificial Intelligence
JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationOrdinal Analysis with an Introduction to Proof Theory
Price for Eshop: 1689 Kč (€ 67.6)
Format: E-Book, Publisher: Springer Nature Singapore
Availability: E-book delivered electronically online
Add to Cart InformationAdvances in Mathematical Logic
Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
Price for Eshop: 3928 Kč (€ 157.1)
Format: E-Book, Publisher: Springer Nature Singapore
Availability: E-book delivered electronically online
Add to Cart InformationIFM'99
Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer London
Availability: E-book delivered electronically online
Add to Cart InformationArtificial Intelligence and Symbolic Computation
12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
Price for Eshop: 1126 Kč (€ 45.0)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart Information