Browse books
E-Books - Systems analysis & design
Static Analysis
28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings
Price for Eshop: 1971 Kč (€ 78.8)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationEvolutionary Algorithms for Embedded System Design
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer US
Availability: E-book delivered electronically online
Add to Cart InformationFormal 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: 2930 Kč (€ 117.2)
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: 3100 Kč (€ 124.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 Information