E-Books - Mathematical theory of computation

Chemical Engineering Primer with Computer Applications

Price for Eshop: 2203 Kč (€ 88.1)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Model and Data Engineering

8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Reachability Problems

7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings

Price for Eshop: 1126 Kč (€ 45.0)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Mathematica by Example

Price for Eshop: 1605 Kč (€ 64.2)

Format: E-Book, Publisher: Elsevier Science

Availability: E-book delivered electronically online

Argument of Mathematics

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Computer Science -- Theory and Applications

5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Tools and Algorithms for the Construction and Analysis of Systems

20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Formal Techniques for Distributed Objects, Components, and Systems

34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online