Browse books

Showing books 3041-3050 from 3770

E-Books - Mathematical theory of computation

loading...
John C. Reynolds

Theories of Programming Languages

Price for Eshop: 1746 Kč (€ 69.8)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
John C. Reynolds

Theories of Programming Languages

Price for Eshop: 1746 Kč (€ 69.8)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Leila Ribeiro (EDT), Thierry Lecomte (EDT)

Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 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...
Marcio Moretto Ribeiro

Belief Revision in Non-Classical Logics

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer London

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Pedro Ribeiro (EDT), Augusto Sampaio (EDT)

Unifying Theories of Programming

7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, 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...
Giacomo Della Riccia (EDT), Rudolf Kruse (EDT), Hans-J. Lenz (EDT)

Computational Intelligence in Data Mining

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Vienna

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Giacomo Della Riccia (EDT), Hans-Joachim Lenz (EDT), Rudolf Kruse (EDT)

Learning, Networks and Statistics

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Vienna

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Ursula van Rienen

Numerical Methods in Computational Electrodynamics

Linear Systems in Practical Applications

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Adrian Riesco (EDT), Min Zhang (EDT)

Formal Methods and Software Engineering

23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, 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...
Michel Rigo

Formal Languages, Automata and Numeration Systems 1

Price for Eshop: 3913 Kč (€ 156.5)

Format: E-Book, Publisher: Wiley

Availability: E-book delivered electronically online

Add to Cart Information