Data Science Analytics and Applications : First International Conference,DaSAA 2017, Chennai, India, January 4-6, 2017, Revised Selected Papers
Logic for Learning : Learning Comprehensible Theories from Structured Data
Introduction to C++ Programming and Graphics
Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer,Communication, and Software Systems, SFM-
Journal on Data Semantics I
Intelligent Agents and Multi-Agent Systems : 6th Pacific Rim International Workshop on Multi-Agents,PRIMA 2003, Seoul, Korea, November 7-8, 2003, Pro
Matchmaking in Electronic Markets : An Agent-Based Approach towards Matchmaking in Electronic Negotiations
Agent-Based Hybrid Intelligent Systems : An Agent-Based Framework for Complex Problem Solving
Foundations of Security Analysis and Design II : FOSAD 2001/2002 Tutorial Lectures
Data Integration in the Life Sciences : First International Workshop,DILS 2004, Leipzig, Germany, March 25-26, 2004, proceedings
Software and Compilers for Embedded Systems : 8th International Workshop,SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings
Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space