Foundations of Software Science and Computation Structures, Fachbücher von Anca Muscholl

Foundations of Software Science and Computational Structures, Fachbücher von Andrew D. Gordon

Algorithms and Data Structures, Fachbücher von Jörg-Rüdiger Sack, Marina Gavrilova, Csaba Toth, Frank Dehne

Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Fachbücher von Claudio Sossai, Gaetano Chemello

Coordination Models and Languages, Fachbücher von John Field, Vasco Thudichum Vasconcelos

Formal Methods: Foundations and Applications, Fachbücher von Jim Woodcock, Marcel Vinícius Medeiros Oliveira

Fast Software Encryption, Fachbücher von Thomas/, Peyrin

Automata, Languages and Programming, Fachbücher von Wolfgang Thomas, Susanne Albers, Alberto Marchetti-Spaccamela, Sotir...

Case-Based Reasoning Research and Development, Fachbücher von Lorraine McGinty, David C. Wilson

Testing of Software and Communication Systems, Fachbücher von Paul Baker, Manuel Nunez, Mercedes G. Merayo

Public Key Cryptography - PKC 2009, Fachbücher von Stanislaw Jarecki, Gene Tsudik

Typed Lambda Calculi and Applications, Fachbücher von Pierre-Louis Curien

Artificial Intelligence and Computational Intelligence, Fachbücher von Fu Lee Wang, Hepu Deng, Jingsheng Lei, Duoqian Mi...

Information and Communications Security, Fachbücher von Liqun Chen, Mark Ryan, Guilin Wang

Logic, Language, Information and Computation, Fachbücher von Ruy De Queiroz, Hiroakira Ono, Makoto Kanazawa

Mathematical Theory and Computational Practice, Fachbücher von Wolfgang Merkle, Benedikt Löwe, Klaus Ambos-Spies