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

Integrated Uncertainty in Knowledge Modelling and Decision Making, Fachbücher von Masahiro Inuiguchi, Van-Nam Huynh, Thi...

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

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

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

Automated Technology For Verification And Analysis 11th International

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

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

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

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

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

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

Advances in Intelligent Data Analysis XIV, Fachbücher

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