E-Books - Software Engineering

Jost-Pieter Katoen (EDT)

Formal Methods for Real-Time and Probabilistic Systems

5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, 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

Gyula Katona

Combinatorial Search Problems

Lectures held at the Department for Automation and Information June 1972

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Vienna

Availability: E-book delivered electronically online

Add to Cart Information

Sokratis Katsikas (EDT), Frederic Cuppens (EDT), Nora Cuppens (EDT), Costas Lambrinoudakis (EDT), Christos Kalloniatis (EDT), John Mylopoulos (EDT), Annie Anton (EDT), Stefanos Gritzalis (EDT), Weizhi Meng (EDT), Steven Furnell (EDT)

Computer Security

ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14-18, 2020, 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

Sokratis Katsikas (EDT), Costas Lambrinoudakis (EDT), Steven Furnell (EDT)

Trust, Privacy and Security in Digital Business

13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016, Proceedings

Price for Eshop: 1070 Kč (€ 42.8)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Add to Cart Information

Sokratis K. Katsikas (EDT), Frederic Cuppens (EDT), Nora Cuppens (EDT), Costas Lambrinoudakis (EDT), Annie Anton (EDT), Stefanos Gritzalis (EDT), John Mylopoulos (EDT), Christos Kalloniatis (EDT)