E-Books - Mathematical theory of computation

Logic, Language, and Computation

11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Coalgebraic Methods in Computer Science

16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings

Price for Eshop: 2802 Kč (€ 112.1)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Descriptor Revision

Belief Change through Direct Choice

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Textbook of Belief Dynamics

Solutions to exercises

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Logic-Based Program Synthesis and Transformation

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Functional and Constraint Logic Programming

28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Random Ordinary Differential Equations and Their Numerical Solution

Price for Eshop: 3365 Kč (€ 134.6)

Format: E-Book, Publisher: Springer Nature Singapore

Availability: E-book delivered electronically online

Implementation and Application of Automata

21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Artificial Evolution

10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers

Price for Eshop: 1182 Kč (€ 47.3)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online