Browse books

Showing books 1601-1610 from 3770

E-Books - Mathematical theory of computation

loading...
Helle Hvid Hansen (EDT), Sarah E. Murray (EDT), Mehrnoosh Sadrzadeh (EDT), Henk Zeevat (EDT)

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

Add to Cart Information
loading...
Helle Hvid Hansen (EDT), Fabio Zanasi (EDT)

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

Add to Cart Information
loading...
Sven Ove Hansson

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

Add to Cart Information
loading...
Sven Ove Hansson

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

Add to Cart Information
loading...
Michael Hanus (EDT)

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

Add to Cart Information
loading...
Michael Hanus (EDT), Claudio Sacerdoti Coen (EDT)

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

Add to Cart Information
loading...
Xiaoying Han, Peter E. Kloeden

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

Add to Cart Information
loading...
Yo-Sub Han (EDT), Kai Salomaa (EDT)

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

Add to Cart Information
loading...
Jin-Kao Hao (EDT), Pierrick Legrand (EDT), Pierre Collet (EDT), Nicolas Monmarche (EDT), Evelyne Lutton (EDT), Marc Schoenauer (EDT)

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

Add to Cart Information
loading...
Jin-Kao Hao (EDT), Martin Middendorf (EDT)

Evolutionary Computation in Combinatorial Optimization

12th European Conference, EvoCOP 2012, Malaga, Spain, April 11-13, 2012, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information