Browse books

Showing books 671-680 from 2919

E-Books - Systems analysis & design

loading...
Cezara Dragoi (EDT), Suvam Mukherjee (EDT), Kedar Namjoshi (EDT)

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 Information
loading...
Rolf Drechsler (EDT), Nicole Drechsler (EDT)

Evolutionary 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 Information
loading...
Rolf Drechsler (EDT), Ulrich Kuhne (EDT)

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 Information
loading...
Ronald G Driggers

Surveillance 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 Information
loading...
Khalil Drira (EDT), Hongbing Wang (EDT), Qi Yu (EDT), Yan Wang (EDT), Yuhong Yan (EDT), Francois Charoy (EDT), Jan Mendling (EDT), Mohamed Mohamed (EDT), Zhongjie Wang (EDT), Sami Bhiri (EDT)

Service-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 Information
loading...
Doron Drusinsky

Modeling 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 Information
loading...
Zhenhua Duan (EDT), Shaoying Liu (EDT), Cong Tian (EDT), Fumiko Nagoya (EDT)

Structured 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 Information
loading...
Sumeet Dua, Xian Du

Data 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 Information
loading...
Rahul Dubey

Introduction 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 Information
loading...
Catherine Dubois (EDT)

Tests 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
Previous ... 63 64 65 66 67 68 69 70 71 72 73 ... Next