Abstract State Machines, Alloy, B, TLA, VDM, and Z, Fachbücher von Klaus-Dieter Schewe, Yamine Ait Ameur

Logical Aspects of Computational Linguistics, Fachbücher von Sergei Soloviev, Nicholas Asher

Group Decision and Negotiation. A Process-Oriented View, Sachbücher von Jorge E. Hernández, Pascale Zaraté, Gregory E. K...

Haptics: Neuroscience, Devices, Modeling, and Applications, Fachbücher

ABZ 2014: The Landing Gear Case Study, Fachbücher von Klaus-Dieter Schewe, Yamine Ait Ameur, Frederic Boniol, Virginie W...

Applied Cryptography and Network Security, Fachbücher von David Pointcheval, Michel Abdalla, Damien Vergnaud, Pierre-Ala...

Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Colle, Fachbücher von Juan M. Corcha...

Abstract State Machines, Alloy, B, TLA, VDM, and Z, Fachbücher von Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, M...

Future Network Systems and Security, Fachbücher von Wei Zhou, Selwyn Piramuthu, Robin Doss

Typed Lambda Calculi and Applications, Fachbücher von Simona Ronchi Della Rocca

Simulation, Modeling, and Programming for Autonomous Robots, Fachbücher von Davide Brugali, Jan Broenink, Torsten Kroege...

Application and Theory of Petri Nets and Concurrency, Fachbücher von Ekkart Kindler, Gianfranco Ciardo

Integer Programming and Combinatorial Optimization, Fachbücher von Jon Lee, Jens Vygen

Security, Privacy, and Applied Cryptography Engineering, Fachbücher von Vashek Matyás, Patrick Schaumont, Rajat Subhra C...

Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Klaus Havelund, Erika Abraham

Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques, Fachbücher von Masaaki Kurosu