E-Books - Programming & scripting languages: general

Transactions on Aspect-Oriented Software Development VII

A Common Case Study for Aspect-Oriented Modeling

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Transactions on Aspect-Oriented Software Development V

Focus: Aspects, Dependencies and Interactions

Price for Eshop: 1774 Kč (€ 71.0)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Theorem Proving in Higher Order Logics

13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Transactions on Petri Nets and Other Models of Concurrency VI

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Communicating Sequential Processes. The First 25 Years

Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Das Vieweg LATEX-Buch

Eine praxisorientierte Einfuhrung

Price for Eshop: 957 Kč (€ 38.3)

Format: E-Book, Publisher: Vieweg+Teubner Verlag

Availability: E-book delivered electronically online

Das Modula-2 Umsteigerbuch

Von Turbo Pascal zu TopSpeed Modula-2

Price for Eshop: 1042 Kč (€ 41.7)

Format: E-Book, Publisher: Vieweg+Teubner Verlag

Availability: E-book delivered electronically online

Das Vieweg LATEX-Buch

Eine praxisorientierte Einfuhrung

Price for Eshop: 1042 Kč (€ 41.7)

Format: E-Book, Publisher: Vieweg+Teubner Verlag

Availability: E-book delivered electronically online