Browse books
E-Books - Systems analysis & design
Formal Modeling and Verification of Cyber-Physical Systems
1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Fachmedien Wiesbaden
Availability: E-book delivered electronically online
Add to Cart InformationSurveillance and Reconnaissance Imaging Systems
Modeling and Performance Prediction
Price for Eshop: 5037 Kč (€ 201.5)
Format: E-Book, Publisher: Artech House
Availability: E-book delivered electronically online
Add to Cart InformationService-Oriented Computing - ICSOC 2016 Workshops
ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationModeling and Verification Using UML Statecharts
A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Price for Eshop: 1408 Kč (€ 56.3)
Format: E-Book, Publisher: Elsevier Science
Availability: E-book delivered electronically online
Add to Cart InformationStructured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationData Mining and Machine Learning in Cybersecurity
Price for Eshop: 2774 Kč (€ 111.0)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart InformationIntroduction to Embedded System Design Using Field Programmable Gate Arrays
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer London
Availability: E-book delivered electronically online
Add to Cart InformationTests and Proofs
Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationFault-Tolerant Design
Price for Eshop: 1549 Kč (€ 62.0)
Format: E-Book, Publisher: Springer New York
Availability: E-book delivered electronically online
Add to Cart InformationUser Interface Management and Design
Proceedings of the Workshop on User Interface Management Systems and Environments Lisbon, Portugal, June 4-6, 1990
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart Information