Browse books
E-Books - Mathematical theory of computation
Specification, Algebra, and Software
Essays Dedicated to Kokichi Futatsugi
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationPublic Key Cryptography
Second International Workshop on Practice and Theory in Public Key Cryptography, PKC'99, Kamakura, Japan, March 1-3, 1999, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationQuantum Computation and Information
From Theory to Experiment
Price for Eshop: 5618 Kč (€ 224.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationDescriptive Complexity
Price for Eshop: 2098 Kč (€ 83.9)
Format: E-Book, Publisher: Springer New York
Availability: E-book delivered electronically online
Add to Cart InformationPerspectives on Soviet and Russian Computing
First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationNotes from the International Autumn School on Computational Number Theory
Price for Eshop: 2098 Kč (€ 83.9)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationNatural Deduction, Hybrid Systems and Modal Logics
Price for Eshop: 5618 Kč (€ 224.7)
Format: E-Book, Publisher: Springer Netherlands
Availability: E-book delivered electronically online
Add to Cart InformationAlgebraic Specification Techniques And Tools For Software Development: The Act Approach
Price for Eshop: 774 Kč (€ 31.0)
Format: E-Book, Publisher: World Scientific Publishing Company
Availability: E-book delivered electronically online
Add to Cart InformationInductive Logic Programming
25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, 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 InformationComputational Logic in Multi-Agent Systems
7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart Information