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

Algorithms and Architectures for Parallel Processing, Fachbücher

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

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

Digital Human Modeling: Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics, Fachbücher von Vince...

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

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

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

Advances in Swarm and Computational Intelligence, Fachbücher von Yuhui Shi, Alexander Gelbukh, Andries Engelbrecht, Fern...

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