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

Science & Technology

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

Showing 2185–2196 of 6021 results

Formal Methods for Industrial Critical Systems
Michael Dierkes (Editor); Charles Pecheur (Editor)
€ 56,24 Add to bag
Formal Methods for Industrial Critical Systems
Manuel Núñez (Editor); Matthias Güdemann (Editor)
€ 58,74 Add to bag
Formal Methods for Industrial Critical Systems
Frédéric Lang (Editor); Francesco Flammini (Editor)
€ 58,74 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 in Macro-Biology
François Fages (Editor); Carla Piazza (Editor)
€ 58,74 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
Juliano Iyoda (Editor); Leonardo de Moura (Editor)
€ 56,24 Add to bag
Formal Methods: Foundations and Applications
Christiano Braga (Editor); Narciso Martí-Oliet (Editor)
€ 49,99 Add to bag
Formal Modeling and Analysis of Timed Systems
Axel Legay (Editor); Marius Bozga (Editor)
€ 58,74 Add to bag
Formal Modeling and Analysis of Timed Systems
Sriram Sankaranarayanan (Editor); Enrico Vicario (Editor)
€ 62,49 Add to bag