E-Books - Software Engineering

Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Price for Eshop: 1971 Kč (€ 78.8)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Theory and Applications of Satisfiability Testing - SAT 2018

21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Synthesizable VHDL Design for FPGAs

Price for Eshop: 2239 Kč (€ 89.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

ECOOP '87. European Conference on Object-Oriented Programming

Paris, France, June 15-17, 1987. Proceedings

Price for Eshop: 901 Kč (€ 36.0)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Unified Modeling Language. >'98: Beyond the Notation

First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Secure Java

For Web Application Development

Price for Eshop: 2839 Kč (€ 113.6)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Computational Modeling and Problem Solving in the Networked World

Interfaces in Computer Science and Operations Research

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer US

Availability: E-book delivered electronically online

Progress in Cryptology - INDOCRYPT 2020

21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online