Practical Aspects of Declarative Languages, Fachbücher von Matthew Flatt, Hai-Feng Guo

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Kenneth McMillan, Xavier Rival

Practical Aspects of Declarative Languages, Fachbücher

Practical Aspects of Declarative Languages, Fachbücher von Kostis Sagonas

Theory of Cryptography, Fachbücher von Yehuda Lindell

Human-Computer Interaction. Novel Interaction Methods and Techniques, Fachbücher von Julie A., Jacko

Stabilization, Safety, and Security of Distributed Systems, Fachbücher von Vijay Garg, Pascal Felber

Virtual and Mixed Reality, Fachbücher von Randall

Internationalization, Design and Global Development, Fachbücher von Nuray Aykin

Information Processing in Cells and Tissues, Fachbücher von Stephen Smith, Michael A. Lones, Gary Fogel, Andy Tyrrell

Verification, Model Checking, and Abstract Interpretation, Fachbücher

String Processing and Information Retrieval, Fachbücher

Model-Driven Engineering Languages and Systems, Fachbücher von Peter Clarke, Jeff Gray, Bernhard Schätz, Antonio Valleci...

Advances in Intelligent Data Analysis IX, Fachbücher von Michael R. Berthold, M. Adams, Paul R. Cohen, Niall

String Processing and Information Retrieval, Fachbücher von Maxime Crochemore

Foundations of Intelligent Systems, Fachbücher von Henning Christiansen