E-Books - Systems analysis & design

Verification and Evaluation of Computer and Communication Systems

12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Computer Security - ESORICS 2022

27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26-30, 2022, Proceedings, Part I

Price for Eshop: 2098 Kč (€ 83.9)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Modeling and Mining Ubiquitous Social Media

International Workshops MSM 2011, Boston, MA, USA, October 9, 2011, and MUSE 2011, Athens, Greece, September 5, 2011, Revised Selected Papers

Price for Eshop: 1126 Kč (€ 45.0)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Mechanical Logic in Three-Dimensional Space

Price for Eshop: 3754 Kč (€ 150.2)

Format: E-Book, Publisher: Jenny Stanford Publishing

Availability: E-book delivered electronically online

Managing Software Engineering Knowledge

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Algorithm Design for Computer System Design

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Vienna

Availability: E-book delivered electronically online

Nature-Inspired Optimization Algorithms

Price for Eshop: 1828 Kč (€ 73.1)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Nature-Inspired Optimization Algorithms

Price for Eshop: 1828 Kč (€ 73.1)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Price for Eshop: 2239 Kč (€ 89.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online