Browse books
E-Books - Software Engineering
Enterprise, Business-Process and Information Systems Modeling
15th International Conference, BPMDS 2014, 19th International Conference, EMMSAD 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationEnterprise, Business-Process and Information Systems Modeling
13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium, held at CAiSE 2012, Gdansk, Poland, June 25-26, 2012, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationEnterprise, Business-Process and Information Systems Modeling
11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationCASL User Manual
Introduction to Using the Common Algebraic Specification Language
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationExecuting SOA
A Practical Guide for the Service-Oriented Architect
Price for Eshop: 953 Kč (€ 38.1)
Format: E-Book, Publisher: Pearson Education
Availability: E-book delivered electronically online
Add to Cart InformationDesign Concepts for a Virtualizable Embedded MPSoC Architecture
Enabling Virtualization in Embedded Multi-Processor Systems
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Fachmedien Wiesbaden
Availability: E-book delivered electronically online
Add to Cart InformationArtificial General Intelligence
8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationSOFSEM 2012: Theory and Practice of Computer Science
38th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 21-27, 2012, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationComputer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationHardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Price for Eshop: 1126 Kč (€ 45.0)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart Information