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

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...

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

Human-Computer Interaction. Applications and Services, Fachbücher von Masaaki Kurosu

Human-Computer Interaction. Theories, Methods, and Tools, Fachbücher von Masaaki Kurosu