Browse books

Showing books 11-20 from 4705

E-Books - Programming & scripting languages: general

loading...
El Hassan Abdelwahed (EDT), Ladjel Bellatreche (EDT), Matteo Golfarelli (EDT), Dominique Mery (EDT), Carlos Ordonez (EDT)

Model and Data Engineering

8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings

Price for Eshop: 1830 Kč (€ 70.4)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Parosh Aziz Abdulla (EDT), K. Rustan M. Leino (EDT)

Tools and Algorithms for the Construction and Analysis of Systems

17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proceedings

Price for Eshop: 2028 Kč (€ 78.0)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Parosh Aziz Abdulla (EDT), Igor Potapov (EDT)

Reachability Problems

7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings

Price for Eshop: 1126 Kč (€ 43.3)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Alberto Abello (EDT), Ladjel Bellatreche (EDT), Boualem Benatallah (EDT)

Model and Data Engineering

2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings

Price for Eshop: 1182 Kč (€ 45.5)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Harold Abelson, Amanda Abelson

Logo for the Macintosh

An Introduction through Object Logo

Price for Eshop: 1440 Kč (€ 55.4)

Format: E-Book, Publisher: The MIT Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Harold Abelson, S. Daniels-Herold (TRN), Gerald J. Sussman

Struktur und Interpretation von Computerprogrammen

Eine Informatik-Einfuhrung

Price for Eshop: 957 Kč (€ 36.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Erika Abraham (EDT), Marcello Bonsangue (EDT), Einar Broch Johnsen (EDT)

Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Price for Eshop: 1549 Kč (€ 59.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Erika Abraham (EDT), Klaus Havelund (EDT)

Tools and Algorithms for the Construction and Analysis of Systems

20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Price for Eshop: 1971 Kč (€ 75.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Erika Abraham (EDT), Marieke Huisman (EDT)

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Price for Eshop: 1971 Kč (€ 75.8)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Nikhil Abraham

Coding For Dummies

Price for Eshop: 704 Kč (€ 27.1)

Format: E-Book, Publisher: Wiley

Availability: E-book delivered electronically online

Add to Cart Information
Previous 1 2 3 4 5 6 7 ... Next