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

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

Software Engineering and Formal Methods, Fachbücher von Antonio Cerone, Marco Roveri

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

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

Software Engineering and Formal Methods, Fachbücher

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

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...

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

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

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