Practical Aspects of Declarative Languages, Fachbücher

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

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

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Gilles Barthe, Manuel Hermenegildo

Quantitative Evaluation of Systems, Fachbücher von Javier Campos, Boudewijn R. Haverkort

Logic-Based Program Synthesis and Transformation, Fachbücher

Database Programming Languages, Fachbücher von Floris Geerts, Philippa Gardner

Advances in Intelligent Data Analysis XII, Fachbücher von Arno Siebes, Allan Tucker, Frank Höppner

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

Advances in Neural Networks – ISNN 2015, Fachbücher von Yunong Zhang, Dongbin Zhao, Xiaolin Hu, Yousheng Xia

Computer Performance Engineering, Fachbücher von William Knottenbelt, Jeremy Bradley, Marta Beltrán

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

Automated Technology for Verification and Analysis, Fachbücher

Proceedings of the 12th International Symposium Continuous Surface Mining - Aachen 2014, Fachbücher von Christian Nieman...

Component-Based Software Engineering, Fachbücher

Biometric ID Management and Multimodal Communication, Fachbücher von Julian Fierrez, Anna Esposito, Marcos Faundez-Zanuy...