E-Books - Systems analysis & design

Formal Methods for Trustworthy Computer Systems (FM89)

Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer London

Availability: E-book delivered electronically online

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

Price for Eshop: 1239 Kč (€ 49.6)

Format: E-Book, Publisher: Elsevier Science

Availability: E-book delivered electronically online

Formal Models of Operating System Kernels

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer London

Availability: E-book delivered electronically online

Emergent Semantics

Price for Eshop: 1197 Kč (€ 47.9)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Software Architecture

12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, Proceedings

Price for Eshop: 1689 Kč (€ 67.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Metaheuristic Computation with MATLAB(R)

Price for Eshop: 1534 Kč (€ 61.4)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Metaheuristic Computation with MATLAB(R)

Price for Eshop: 1534 Kč (€ 61.4)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Wireless Sensor Networks

15th China Conference, CWSN 2021, Guilin, China, October 22-25, 2021, Revised Selected Papers

Price for Eshop: 1971 Kč (€ 78.8)

Format: E-Book, Publisher: Springer Nature Singapore

Availability: E-book delivered electronically online

Variational Methods for Engineers with Matlab

Price for Eshop: 3913 Kč (€ 156.5)

Format: E-Book, Publisher: Wiley

Availability: E-book delivered electronically online