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

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

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

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

Unifying Theories of Programming and Formal Engineering Methods, Fachbücher von Jim Woodcock, Zhiming Liu, Huibiao Zhu

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

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

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

Information Computing and Applications, Fachbücher von Leizhen Wang, Chun-Feng Liu, Aimin Yang

Network and Parallel Computing, Fachbücher von Keqiu Li, Hai Jin, Jean-Luc Gaudiot, Chris Jesshope