Browse books
E-Books - Mathematical theory of computation
Mathematical Logic and Computation
Price for Eshop: 1746 Kč (€ 69.8)
Format: E-Book, Publisher: Cambridge University Press
Availability: E-book delivered electronically online
Add to Cart InformationInteractive Theorem Proving
9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Price for Eshop: 2239 Kč (€ 89.6)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationGame Theory for Networks
8th International EAI Conference, GameNets 2019, Paris, France, April 25-26, 2019, Proceedings
Price for Eshop: 1070 Kč (€ 42.8)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationGeospatial Algebraic Computations
Theory and Applications
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationComputational Sciences - Modelling, Computing and Soft Computing
First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Nature Singapore
Availability: E-book delivered electronically online
Add to Cart InformationMathematical Modeling for Intelligent Systems
Theory, Methods, and Simulation
Price for Eshop: 1501 Kč (€ 60.0)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart InformationMathematical Modeling for Intelligent Systems
Theory, Methods, and Simulation
Price for Eshop: 1501 Kč (€ 60.0)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart InformationPreconditioned Conjugate Gradient Methods
Proceedings of a Conference held in Nijmegen, The Netherlands, June 19-21, 1989
Price for Eshop: 809 Kč (€ 32.4)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationInteractive Theorem Proving
8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationApplied Logic for Computer Scientists
Computational Deduction and Formal Proofs
Price for Eshop: 1126 Kč (€ 45.0)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart Information