Automated Technology for Verification and Analysis, Fachbücher von Dang Van Hung, Oleg Sokolsky

Automated Technology for Verification and Analysis, Fachbücher von Jean-Francois Raskin, Franck Cassez

Distributed Computing, Fachbücher von Yehuda Afek

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

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

Automated Technology For Verification And Analysis 11th International

Research in Attacks, Intrusions, and Defenses, Fachbücher von Charles V. Wright, Angelos Stavrou, Salvatore J. Stolfo

Algorithmic Game Theory, Fachbücher von Berthold Vöcking

Image and Video Technology, Fachbücher von Shin'ichi Satoh, Reinhard Klette, Mariano Rivera

Image Analysis and Recognition, Fachbücher von Aurélio Campilho, Mohamed Kamel

Automated Technology for Verification and Analysis, Fachbücher von Zhiming Liu, Anders P. Ravn

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

Advances in Intelligent Data Analysis XIV, Fachbücher

Algorithmic Game Theory, Fachbücher von Marios Mavronicolas, Vicky G. Papadoupoulou

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

Modeling Decisions for Artificial Intelligence, Fachbücher von Vicenç Torra, Yasuo Narukawa, Yasunori Endo