A little wonder in every chapter. Find your next favourite read

Engineering & Technology

For the page-turners. The daydreamers. The just-one-more-chapter readers.

Showing 1621–1632 of 4165 results

Formal Methods for Industrial Critical Systems
Michael Dierkes (Editor); Charles Pecheur (Editor)
€ 56,24 Add to bag
Formal Methods for Multicore Programming
Marco Bernardo (Editor); Einar Broch Johnsen (Editor)
€ 58,74 Add to bag
Formal Methods for Open Object-Based Distributed Systems V
Bart Jacobs (Editor); Arend Rensink (Editor)
€ 112,49 Add to bag
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo (Editor); Rocco De Nicola (Editor); Jane Hillston (Editor)
€ 62,49 Add to bag
Formal Methods: Foundations and Applications
Márcio Cornélio (Editor); Bill Roscoe (Editor)
€ 49,99 Add to bag
Formal Methods: Foundations and Applications
Christiano Braga (Editor); Narciso Martí-Oliet (Editor)
€ 49,99 Add to bag
Formal Methods: Foundations and Applications
Juliano Iyoda (Editor); Leonardo de Moura (Editor)
€ 56,24 Add to bag
Formal Modeling and Analysis of Timed Systems
Víctor Braberman (Editor); Laurent Fribourg (Editor)
€ 56,24 Add to bag
Formal Modeling and Analysis of Timed Systems
Martin Fränzle (Editor); Nicolas Markey (Editor)
€ 62,49 Add to bag
Formal Modeling and Analysis of Timed Systems
Sriram Sankaranarayanan (Editor); Enrico Vicario (Editor)
€ 62,49 Add to bag
Formal Modeling and Analysis of Timed Systems
Axel Legay (Editor); Marius Bozga (Editor)
€ 58,74 Add to bag
Formal Techniques for Distributed Objects, Components, and Systems
Susanne Graf (Editor); Mahesh Viswanathan (Editor)
€ 62,49 Add to bag