Springer London, Limited

e-Business and Telecommunications

Lebenserinnerungen

Natural Language Processing and Information Systems

Foundations and Practice of Security

Evaluation of Novel Approaches to Software Engineering

Annals of Systems Research

Computational Logistics

Simulation and Modeling Methodologies, Technologies and Applications

Financial Cryptography and Data Security

Model And Data Engineering

Distributed, Ambient, and Pervasive Interactions

Engineering Psychology and Cognitive Ergonomics

Human Behavior Understanding

Friedrich Engels

Structured Object-Oriented Formal Language and Method

The politics of adoption

Neural Information Processing

Digital Forensics and Watermarking

Modeling Decisions for Artificial Intelligence

Proceedings of 2013 Chinese Intelligent Automation Conference

Artificial Evolution

Information Processing and Management of Uncertainty in Knowledge-Based Systems

Logic for programming artificial intelligence and reasoning

English Writings Of Hu Shih

A History of Chinese Science and Technology

Agents and Artificial Intelligence

Agents and Data Mining Interaction

Multiagent System Technologies

Underwater Robots

Computational Intelligence. Theory and Applications

Computational Color Imaging

Advances in Information Technology

Human Centered Computing

Business Ethics

Advances in Knowledge Discovery and Data Mining

Pattern recognition and machine intelligence

Image Analysis and Recognition

Speech and Computer

Intelligent Information and Database Systems

Robotics Research

Advances in Information Systems

Intelligence and Security Informatics

Formal methods for components and objects

Logic functions and equations

Arts, Sciences, and Economics

Fundamentals of robotic mechanical systems

The Semantic Web - ISWC 2013

Agent and Multi-Agent Systems. Technologies and Applications

Foundations of intelligent systems

Computers and Games

From Curve Fitting to Machine Learning

Formal concept analysis

Foundations of knowledge acquisition

Soft computing

Recent Advances on Soft Computing and Data Mining

Computational Intelligence and Intelligent Systems

Logic and Structure

Argumentation in multi-agent systems

The Joy of Sets

Instrumental rationality and moral philosophy

Robotic Urologic Surgery

Brownian Agents and Active Particles

Computer Vision

Data Integration in the Life Sciences

U- and E-Service, Science and Technology

Geographic information science

Intelligent Information and Database Systems

Robotics in practice

Ambient Intelligence

Ambient Intelligence

Artificial General Intelligence

Logic and Its Applications

Novelty, Information and Surprise

Logic for Programming, Artificial Intelligence, and Reasoning

Computer-Assisted and Robotic Endoscopy

The Semantic Web -- ISWC 2012

Modeling and Simulation in Engineering, Economics, and Management

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

Human and Machine Vision

Computational logic in multi-agent systems

Next Generation Intelligent Environments

Decision Procedures

Model predictive control

Proceedings of First International Conference on Information and Communication Technology for Intelligent Systems

Distributed systems for system architects

Jean Buridan's Logic

First-order modal logic

Essays on explanation and understanding

Rationality

Perspectives of System Informatics

Combinatorics and Reasoning

Mössbauer spectroscopy of environmental materials and their industrial utilization

Space psychology and psychiatry

Spatially Structured Evolutionary Algorithms

Intelligent Robotic Systems

Industrial Robots Programming

Perceptual metrics for image database navigation

Design and control of intelligent robotic systems

Virtual decomposition control

Dynamic stabilisation of the biped Lucy powered by actuators with controllable stiffness

Swarm robotics

The biology and technology of intelligent autonomous agents

Active Media Technology

Semantics in Data and Knowledge Bases

Image and Signal Processing

Information and Software Technologies

Process Support and Knowledge Representation in Health Care

Extreme NXT

Adaptive control, filtering, and signal processing

Combinatorial Search

Advanced Information Systems Engineering

Handbook of Human Computation

Evolution of Semantic Systems

Advanced Technologies in Modern Robotic Applications

Neuro-Robotics

Intelligent Multimedia Surveillance

Robot 2015 : Second Iberian Robotics Conference

Formal Concept Analysis

Handbook of Human Centric Visualization

Learning-based robot vision