Browse books
E-Books - Software Engineering
Extreme Programming Explained
Embrace Change
Price for Eshop: 1056 Kč (€ 42.2)
Format: E-Book, Publisher: Pearson Education
Availability: E-book delivered electronically online
Add to Cart InformationLogic and Theory of Algorithms
4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationNETWORKING 2012 Workshops
International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 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 InformationKnowledge Architectures
Structures and Semantics
Price for Eshop: 1697 Kč (€ 67.9)
Format: E-Book, Publisher: Taylor and Francis
Availability: E-book delivered electronically online
Add to Cart InformationKnowledge Architectures
Structures and Semantics
Price for Eshop: 1697 Kč (€ 67.9)
Format: E-Book, Publisher: Taylor and Francis
Availability: E-book delivered electronically online
Add to Cart InformationSimilarity Search and Applications
10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings
Price for Eshop: 1549 Kč (€ 62.0)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationFrom Software Engineering to Formal Methods and Tools, and Back
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationCritical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationWeb Services and Formal Methods
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 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 InformationFormal Methods - The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart Information