Interactive Theorem Proving, Fachbücher von Christian Urban, Xingyuan Zhang

Intelligent Robotics and Applications, Fachbücher

Intelligent Robotics and Applications, Fachbücher von Rüdiger Dillmann, Honghai Liu, Naoyuki Kubota, Xiangyang Zhu

Knowledge Science, Engineering and Management, Fachbücher von Martin Wirsing, Zili Zhang, Songmao Zhang

Wireless Algorithms, Systems, and Applications, Fachbücher von Kuai Xu, Haojin Zhu

Computational Social Networks, Fachbücher von Nam P. Nguyen, My T. Thai, Huawei Shen

Interactive Theorem Proving, Fachbücher von Ruben Gamboa, Gerwin Klein

Image and Graphics, Fachbücher

Big Data Computing and Communications, Fachbücher von Jianzhong Li, Yu Wang, Shlomo Argamon, XiangYang Li, Hui Xiong

Advanced Intelligent Computing Theories and Applications, Fachbücher von De-Shuang Huang, Kyungsook Han

Intelligent Computing Theories and Methodologies, Fachbücher von Vitoantonio Bevilacqua, Prashan Premaratne, De-Shuang H...

Pairing-Based Cryptography -- Pairing 2013, Fachbücher von Fangguo Zhang, Zhenfu Cao

Trust and Trustworthy Computing, Fachbücher von Matthias Schunter, Ioannis Askoxylakis, Mauro Conti

Hybrid Learning: Innovation in Educational Practices, Fachbücher von Reggie Kwan, Lam-for Kwok, Harrison Yang, Joseph Fo...

Web Information Systems Engineering -- WISE 2013, Fachbücher von Yannis Manolopoulos, Xuemin Lin, Divesh Srivastava, Gua...

Mobile Web and Intelligent Information Systems, Fachbücher von Massimo Mecella, Irfan Awan, Muhammad Younas