Browse books
E-Books - Mathematical theory of computation
Dependence Logic
Theory and Applications
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationModeling in Event-B
System and Software Engineering
Price for Eshop: 3436 Kč (€ 137.4)
Format: E-Book, Publisher: Cambridge University Press
Availability: E-book delivered electronically online
Add to Cart InformationModeling in Event-B
System and Software Engineering
Price for Eshop: 3436 Kč (€ 137.4)
Format: E-Book, Publisher: Cambridge University Press
Availability: E-book delivered electronically online
Add to Cart InformationRigorous Methods for Software Construction and Analysis
Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationLogica
Volume 2 - Incompletezza, teoria assiomatica degli insiemi
Price for Eshop: 704 Kč (€ 28.2)
Format: E-Book, Publisher: Springer Milan
Availability: E-book delivered electronically online
Add to Cart InformationAutomata, Languages and Programming
35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I
Price for Eshop: 3675 Kč (€ 147.0)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationAutomata, Languages and Programming
35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationReactive Systems
Modelling, Specification and Verification
Price for Eshop: 2281 Kč (€ 91.2)
Format: E-Book, Publisher: Cambridge University Press
Availability: E-book delivered electronically online
Add to Cart InformationMatrix-Based Introduction to Multivariate Data Analysis
Price for Eshop: 1971 Kč (€ 78.8)
Format: E-Book, Publisher: Springer Nature Singapore
Availability: E-book delivered electronically online
Add to Cart InformationUnconventional Computing
A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition
Price for Eshop: 11104 Kč (€ 444.2)
Format: E-Book, Publisher: Springer US
Availability: E-book delivered electronically online
Add to Cart Information