Programming Languages and Systems, Fachbücher von Chung-chien Shan

Certified Programs and Proofs, Fachbücher von Georges Gonthier, Michael Norrish

Programming Languages and Systems, Fachbücher von Xinyu Feng, Elvira Albert

Automated Technology for Verification and Analysis, Fachbücher von Dang Van Hung, Mizuhito Ogawa

Service-Oriented Computing, Fachbücher von Cesare Pautasso, Xiang Fu, Liang Zhang, Samik Basu

Algorithms and Models for the Web Graph, Fachbücher von Pawel Pralat, Fan Chung Graham, Anthony Bonato

Algorithms and Computation, Fachbücher von Leizhen Cai, Tak-Wah Lam, Siu-Wing Cheng

Multi-disciplinary Trends in Artificial Intelligence, Fachbücher von Pawan Lingras, Aneesh Krishna, Chattrakul Sombatthe...

Advances in Neural Networks – ISNN 2014, Fachbücher von Zhigang Zeng, Yangmin Li, Irwin King

Databases Theory and Applications, Fachbücher von Mohamed A. Sharaf, Jianzhong Qi, Muhammad Aamir Cheema

Principles of Distributed Systems, Fachbücher von Eduardo Tovar, Philippas Tsigas, Hacène Fouchal

Self-Organizing Systems, Fachbücher von Nico Kruber

Programming Languages and Systems, Fachbücher von Jan Vitek

Foundations of Intelligent Systems, Fachbücher von Jiming Liu, Alexander Felfernig, Zbigniew W. Ras, Li Chen

String Processing and Information Retrieval, Fachbücher von Moshe Lewenstein, Oren Kurland, Ely Porat

Trusted Systems, Fachbücher von Peter Lipp, Roderick Bloem