E-Books - Software Engineering

Formal Methods at the Crossroads. From Panacea to Foundational Support

10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Theoretical Aspects of Software Engineering

16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings

Price for Eshop: 2098 Kč (€ 83.9)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Communications of NII Shonan Meetings

Price for Eshop: 2478 Kč (€ 99.1)

Format: E-Book, Publisher: Springer Nature Singapore

Availability: E-book delivered electronically online

Formal Methods and Software Engineering

21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Pro .NET Benchmarking

The Art of Performance Measurement

Price for Eshop: 1549 Kč (€ 62.0)

Format: E-Book, Publisher: Apress

Availability: E-book delivered electronically online

RoboCup 2017: Robot World Cup XXI

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Perspectives in Conceptual Modeling

ER 2005 Workshop AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Software Architectures and Component Technology

Price for Eshop: 5055 Kč (€ 202.2)

Format: E-Book, Publisher: Springer US

Availability: E-book delivered electronically online

Incompleteness and Uncertainty in Information Systems

Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer London

Availability: E-book delivered electronically online