E-Books - Computer programming / software development

Logics and Models of Concurrent Systems

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Recent Advances in Constraints

Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Programmverifikation

Sequentielle, parallele und verteilte Programme

Price for Eshop: 704 Kč (€ 28.2)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Verification of Sequential and Concurrent Programs

Price for Eshop: 2028 Kč (€ 81.1)

Format: E-Book, Publisher: Springer New York

Availability: E-book delivered electronically online

Verification of Sequential and Concurrent Programs

Price for Eshop: 2028 Kč (€ 81.1)

Format: E-Book, Publisher: Springer New York

Availability: E-book delivered electronically online

Constraint Logic Programming using Eclipse

Price for Eshop: 1999 Kč (€ 80.0)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Formal Aspects of Component Software

8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Fundamentals of Software Engineering

5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Automata, Languages and Programming

34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online