Formal Methods and Software Engineering, Fachbücher von Jing Sun, Lindsay Groves

Collaboration and Technology, Fachbücher von Pedro Antunes, Julita Vassileva, Gert-Jan de Vreede, Marco Aurélio Gerosa, ...

Structured Object-Oriented Formal Language and Method, Fachbücher von Zhenhua Duan, Shaoying Liu

Information and Communications Security, Fachbücher von Jianying Zhou, Sihan Qing, Dongmei Liu

Advanced Concepts for Intelligent Vision Systems, Fachbücher von Paul Scheunders, Andrzej Kasiniski, Dan Popescu, Wilfri...

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

Software Engineering and Formal Methods, Fachbücher

Software Language Engineering, Fachbücher von Martin Erwig, Richard F. Paige, Eric Van Wyk

PRIMA 2013: Principles and Practice of Multi-Agent Systems, Fachbücher von Martin K. Purvis, Guido Boella, Frank Dignum,...

Brain and Health Informatics, Fachbücher von Ning Zhong, Tomoaki Shirao, Shiro Usui, Kazayuki Imamura, Lars Schwabe, Tak...

Security, Privacy, and Applied Cryptography Engineering, Fachbücher von Debdeep Mukhopadhyay, Benedikt Gierlichs, Sylvai...

Active Media Technology, Fachbücher von Andrzej Skowron, Ning Zhong, Tetsuya Yoshida, Gang Kou, Jiannong Cao, Hakim Haci...

Social Robotics, Fachbücher von Martin Pearson, Guido Herrmann, Paul Bremner, Ute Leonards, Adam Spiers, Alexander Lenz

Intelligent Data Engineering and Automated Learning -- IDEAL 2013, Fachbücher von Frank Klawonn, Minho Lee, Ke Tang, Huj...

Hardware and Software: Verification and Testing, Fachbücher von Axel Legay, Valeria Bertacco

Formal Methods: Foundations and Applications, Fachbücher von Juliano Iyoda, Leonardo De Moura