Browse books
E-Books - Mathematical theory of computation
Logical Foundations of Computer Science
International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationLogical Foundations of Computer Science
International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationLogical Foundations of Computer Science
International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationLogical Foundations of Computer Science
International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings
Price for Eshop: 1830 Kč (€ 73.2)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationLogical Foundations of Computer Science
International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationLogical Foundations of Computer Science
International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationAutomated Technology for Verification and Analysis
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationFormal Techniques for Safety-Critical Systems
6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, 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 InformationLogic Programs, Norms and Action
Essays in Honor of Marek J. Sergot 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 InformationHandbook of Research on Emerging Trends and Applications of Machine Learning
Price for Eshop: 10560 Kč (€ 422.4)
Format: E-Book, Publisher: IGI Global
Availability: E-book delivered electronically online
Add to Cart Information