Domain Modeling and the Duration Calculus, Fachbücher von Jim Woodcock, Zhiming Liu, Chris George

Advances in Computation and Intelligence, Fachbücher von Yong Liu, Lishan Kang, Sanyou Zeng

Reasoning Web, Fachbücher von Paula-Lavinia Patranjan, Nicola Henze, Cristina Baroglio, Grigoris Antoniou, Uwe Assmann, ...

Formal Methods for Dynamical Systems, Fachbücher von Erik de Vink, Herbert Wiklicky, Marco Bernardo, Alessandra Di Pierr...

Theoretical Aspects of Computing - ICTAC 2007, Fachbücher von Cliff B. Jones, Zhiming Liu, Jones Woodcock

Reasoning Web. Reasoning and the Web in the Big Data Era, Fachbücher von Manolis Koubarakis, Georg Lausen, Giorgos Stamo...

Rough Sets and Knowledge Technology, Fachbücher von Dominik Slzak, Duoqian Miao, Qinghua Hu, Georg Peters, Ruizhi Wang, ...

Web and Internet Economics, Fachbücher von Yinyu Ye, Qi Qi, Tie-Yan Liu

Information Security and Cryptology, Fachbücher von Dongdai Lin, Moti Yung, Peng Liu

Formal Methods and Hybrid Real-Time Systems, Fachbücher von Cliff B. Jones, Zhiming Liu, Jim Woodcock

Knowledge Science, Engineering and Management, Fachbücher von Weiru Liu, Bo Yang, Fausto Giunchiglia

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

Life System Modeling and Simulation, Fachbücher von Xin Li, Li Jia, Ling Wang, Shiwei Ma, Xin Sun, Huiyu Zhou

Advances in Human Factors in Simulation and Modeling, Fachbücher von Daniel N Cassenti

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

The Hamburg Lectures on Maritime Affairs 2011-2013, Fachbücher von Rüdiger Wolfrum, Ulrich Magnus, Jürgen Basedow