E-Books - Mathematical theory of computation

Informatik

Aufgaben und Losungen

Price for Eshop: 381 Kč (€ 15.2)

Format: E-Book, Publisher: Springer Vienna

Availability: E-book delivered electronically online

ModelEd, TestEd, TrustEd

Essays Dedicated to Ed Brinksma 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

8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Formal Methods for Real-Time and Probabilistic Systems

5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Fete of Combinatorics and Computer Science

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

MATLAB Guide to Finite Elements

An Interactive Approach

Price for Eshop: 2028 Kč (€ 81.1)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Inductive Logic Programming

30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings

Price for Eshop: 1549 Kč (€ 62.0)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Mathematics of Quantum Computation and Quantum Technology

Price for Eshop: 2219 Kč (€ 88.8)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Interactive Theorem Proving

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online