Browse books

Showing books 241-250 from 7029

E-Books - Computer programming / software development

loading...
Sergei Artemov (EDT), Anil Nerode (EDT)

Logical Foundations of Computer Science

International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, 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
loading...
Sergei Artemov (EDT), Anil Nerode (EDT)

Logical Foundations of Computer Science

International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. 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
loading...
Cyrille Artho (EDT), Peter Csaba Olveczky (EDT)

Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. 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...
Cyrille Artho (EDT), Peter Csaba Olveczky (EDT)

Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, 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...
Cyrille Artho (EDT), Peter Csaba Olveczky (EDT)

Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. 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...
Cyrille Artho (EDT), Peter Csaba Olveczky (EDT)

Formal Techniques for Safety-Critical Systems

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, 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...
Cyrille Artho (EDT), Peter Csaba Olveczky (EDT)

Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. 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...
Sanderson Arthur C Sanderson, Subbu Raj Subbu

Network-based Distributed Planning Using Coevolutionary Algorithms

Price for Eshop: 818 Kč (€ 32.7)

Format: E-Book, Publisher: World Scientific Publishing Company

Availability: E-book delivered electronically online

Add to Cart Information
loading...
James Arthur, TBD

Arduino

The complete guide to Arduino for beginners, including projects, tips, tricks, and programming!

Price for Eshop: 105 Kč (€ 4.2)

Format: E-Book, Publisher: Ingram Publishing

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Alexander Artikis (EDT), Robert Craven (EDT), Nihan Kesim Cicekli (EDT), Babak Sadighi (EDT), Kostas Stathis (EDT)

Logic Programs, Norms and Action

Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
Previous ... 20 21 22 23 24 25 26 27 28 29 30 ... Next