E-Books - Mathematical theory of computation

LATIN 2018: Theoretical Informatics

13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Mathematik-Problemlosungen mit MATHCAD und MATHCAD PRIME

Price for Eshop: 586 Kč (€ 23.4)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Variable Neighborhood Search

7th International Conference, ICVNS 2019, Rabat, Morocco, October 3-5, 2019, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Model Reduction of Parametrized Systems

Price for Eshop: 3365 Kč (€ 134.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

From Programs to Systems - The Systems Perspective in Computing

ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Price for Eshop: 1126 Kč (€ 45.0)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Database and Expert Systems Applications

28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Database and Expert Systems Applications

28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Models of Strategic Reasoning

Logics, Games, and Communities

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Proof, Computation and Agency

Logic at the Crossroads

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online