Arthropod Biology and Evolution: Molecules, Development, Morphology Arthropod Biology and Evolution: Molecules, Development, Morphology

Die Geschichte Der Rechenautomaten: Von Mechanischen Chiffriergeraten Bis Zu Den Ersten Programmierbaren Rechnern Die Geschichte Der Rechenautomaten: Von Mechanischen Chiffriergeraten Bis Zu Den Ersten Programmierbaren Rechnern

Real Algebraic Geometry Real Algebraic Geometry

Mechatronic Modeling of Real-Time Wheel-Rail Contact Mechatronic Modeling of Real-Time Wheel-Rail Contact

Converter Applications and Their Influence on Large Electrical Machines Converter Applications and Their Influence on Large Electrical Machines

L1-Norm and Linfinity-Norm Estimation L1-Norm and Linfinity-Norm Estimation

Business Intelligence Business Intelligence

Information Retrieval Meets Information Visualization: PROMISE Winter School 2012, Zinal, Switzerland, January 23-27, 2012 : Revised Tutorial Lectures Information Retrieval Meets Information Visualization: PROMISE Winter School 2012, Zinal, Switzerland, January 23-27, 2012 : Revised Tutorial Lectures

4D Modeling and Estimation of Respiratory Motion for Radiation Therapy 4D Modeling and Estimation of Respiratory Motion for Radiation Therapy

Medical Computer Vision: Recognition Techniques and Applications in Medical Imaging: Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012 : Revised Selected Papers Medical Computer Vision: Recognition Techniques and Applications in Medical Imaging: Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012 : Revised Selected Papers

Mobile Computing, Applications, and Services: Fourth International Conference, MOBICASE 2012, Seattle, WA, USA, October 2012, Revised Selected Papers Mobile Computing, Applications, and Services: Fourth International Conference, MOBICASE 2012, Seattle, WA, USA, October 2012, Revised Selected Papers

Combinations of Intelligent Methods and Applications Combinations of Intelligent Methods and Applications

Wireless Sensor Networks: 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013: Proceedings Wireless Sensor Networks: 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013: Proceedings

Medical Content-Based Retrieval for Clinical Decision Support: Third MICCAI International Workshop, MCBR-CDS 2012, Nice, France, October 1st, 2012: Revised Selected Papers Medical Content-Based Retrieval for Clinical Decision Support: Third MICCAI International Workshop, MCBR-CDS 2012, Nice, France, October 1st, 2012: Revised Selected Papers

Formal Methods for Mining Structured Objects Formal Methods for Mining Structured Objects

Computational Color Imaging: 4th International Workshop, CCIW 2013, Chiba, Japan, March 3-5, 2013 : Proceedings Computational Color Imaging: 4th International Workshop, CCIW 2013, Chiba, Japan, March 3-5, 2013 : Proceedings

Compound Control Methodology for Flight Vehicles Compound Control Methodology for Flight Vehicles

Nervenchirurgie: Trauma, Tumor, Kompression Nervenchirurgie: Trauma, Tumor, Kompression

S-BPM Illustrated S-BPM Illustrated

Seminal Contributions to Information Systems Engineering Seminal Contributions to Information Systems Engineering

Aliasing in Object-Oriented Programming: Types, Analysis and Verification Aliasing in Object-Oriented Programming: Types, Analysis and Verification

Advances in Information Retrieval: 35th European Conference on IR Research, ECIR 2013, Moscow, Russia, March 24-27, 2013 : Proceedings Advances in Information Retrieval: 35th European Conference on IR Research, ECIR 2013, Moscow, Russia, March 24-27, 2013 : Proceedings

Innovation and Future of Enterprise Information Systems Innovation and Future of Enterprise Information Systems

The Psychology of Human Leadership The Psychology of Human Leadership

A Real-time In-memory Discovery Service A Real-time In-memory Discovery Service

Methods of Clinical Epidemiology Methods of Clinical Epidemiology

Research in Computational Molecular Biology: 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013, Proceedings Research in Computational Molecular Biology: 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013, Proceedings

Evolutionary Computation in Combinatorial Optimization: 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013 : Proceedings Evolutionary Computation in Combinatorial Optimization: 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013 : Proceedings

Social Computing, Behavioral-cultural Modeling and Prediction: 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013 : Proceedings Social Computing, Behavioral-cultural Modeling and Prediction: 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013 : Proceedings

Computing Nature Computing Nature

Earth System Modelling: Volume 6 Earth System Modelling: Volume 6

Model-based Reasoning in Science and Technology Model-based Reasoning in Science and Technology

Database Systems for Advanced Applications: Part II Database Systems for Advanced Applications: Part II

Advances in Probabilistic Databases for Uncertain Information Management Advances in Probabilistic Databases for Uncertain Information Management

Repetitive Motion Planning and Control of Redundant Robot Manipulators Repetitive Motion Planning and Control of Redundant Robot Manipulators

Emerging from the Euro Debt Crisis Emerging from the Euro Debt Crisis

Design of Adhesive Joints Under Humid Conditions Design of Adhesive Joints Under Humid Conditions

Corporate Social Responsibility in the Global Business World Corporate Social Responsibility in the Global Business World

Modified Cyclodextrins for Chiral Separation Modified Cyclodextrins for Chiral Separation

Programming Logics: Essays in Memory of Harald Ganzinger Programming Logics: Essays in Memory of Harald Ganzinger

Quality Issues in the Management of Web Information Quality Issues in the Management of Web Information

Saure-Base-Diagramme: Ein Leitfaden Fur Die Praxis Und Fur Studierende Saure-Base-Diagramme: Ein Leitfaden Fur Die Praxis Und Fur Studierende

Coordination, Organizations, Intitutions, and Norms in Agent Systems VIII: 14th International Workshop, COIN 2012 Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012: Revised Selected Papers Coordination, Organizations, Intitutions, and Norms in Agent Systems VIII: 14th International Workshop, COIN 2012 Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012: Revised Selected Papers

Digital Repetitive Control Under Varying Frequency Conditions Digital Repetitive Control Under Varying Frequency Conditions

Advances in Computational Intelligence Advances in Computational Intelligence

Service-oriented Computing - ICSOC 2012 Workshops: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012 : Revised Selected Papers Service-oriented Computing - ICSOC 2012 Workshops: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012 : Revised Selected Papers

Advances in Artificial Intelligence: 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosai, Mexico, October 27-November 4, 2012. Revised Selected Papers Advances in Artificial Intelligence: 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosai, Mexico, October 27-November 4, 2012. Revised Selected Papers

Knowledge Engineering and Management Knowledge Engineering and Management

Metaheuristics for Bi-level Optimization Metaheuristics for Bi-level Optimization

Multidimensional Particle Swarm Optimization for Machine Learning and Pattern Recognition Multidimensional Particle Swarm Optimization for Machine Learning and Pattern Recognition

Arts and Technology Arts and Technology

Employee Assistance Programs: Externe Mitarbeiterberatung Im Betrieblichen Gesundheitsmanagement Employee Assistance Programs: Externe Mitarbeiterberatung Im Betrieblichen Gesundheitsmanagement

Grid and Pervasive Computing: 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013 : Proceedings Grid and Pervasive Computing: 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013 : Proceedings

Data Intensive Computing for Biodiversity Data Intensive Computing for Biodiversity

Multiple Classifier Systems Multiple Classifier Systems

Benchmarking Transaction and Analytical Processing Systems Benchmarking Transaction and Analytical Processing Systems

The Economics of Epidemiology The Economics of Epidemiology

Transactions on Petri Nets and Other Models of Concurrency: VII Transactions on Petri Nets and Other Models of Concurrency: VII

Advances in Aerospace Guidance, Navigation and Control Advances in Aerospace Guidance, Navigation and Control

Values of Our Times: Contemporary Axiological Research in China Values of Our Times: Contemporary Axiological Research in China

Nuclear Medicine Technology: Review Questions for the Board Examinations Nuclear Medicine Technology: Review Questions for the Board Examinations

Drilling of Polymer-matrix Composites Drilling of Polymer-matrix Composites

Adaptation and Autonomy: Adaptive Preferences in Enhancing and Ending Life Adaptation and Autonomy: Adaptive Preferences in Enhancing and Ending Life

Cleft Lip and Palate Primary Repair Cleft Lip and Palate Primary Repair

Operationsatlas Fur Die Orthopadisch-Unfallchirurgische Weiterbildung Operationsatlas Fur Die Orthopadisch-Unfallchirurgische Weiterbildung

Enterprise, Business-process and Information Systems Modeling Enterprise, Business-process and Information Systems Modeling

Dictyostelids Dictyostelids

Hybrid Metaheuristics Hybrid Metaheuristics

Experimental Algorithms: 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, Proceedings Experimental Algorithms: 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, Proceedings

Distributed Applications and Interoperable Systems: 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings Distributed Applications and Interoperable Systems: 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Multimedia Communications, Services and Security: 6th International Conference, MCSS 2013, Krakow, Poland, June 6-7, 2013, Proceedings Multimedia Communications, Services and Security: 6th International Conference, MCSS 2013, Krakow, Poland, June 6-7, 2013, Proceedings

Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings

Recent Trends in Applied Artificial Intelligence: 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, the Netherlands, June 17-21, 2013, Proceedings Recent Trends in Applied Artificial Intelligence: 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, the Netherlands, June 17-21, 2013, Proceedings

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conferences, FMOODS 2013 and FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conferences, FMOODS 2013 and FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Reliable Software Technologies -- Ada-Europe 2013: 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14 2013 : Proceedings Reliable Software Technologies -- Ada-Europe 2013: 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14 2013 : Proceedings

Artificial Intelligence and Soft Computing Artificial Intelligence and Soft Computing

Language Processing and Intelligent Information Systems Language Processing and Intelligent Information Systems

Artificial Intelligence and Soft Computing: 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013 - Proceedings: Part 1 Artificial Intelligence and Soft Computing: 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013 - Proceedings: Part 1

Benchmarking Peer-to-Peer Systems Benchmarking Peer-to-Peer Systems

Programming Multi-Agent Systems Programming Multi-Agent Systems

End-user Development: 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings End-user Development: 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings

Hiroshima to Fukushima Hiroshima to Fukushima

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Frontiers in Algorithmics and Algorithmic Aspects in Information and Management

Software Process Improvement and Capability Determination Software Process Improvement and Capability Determination

Theory and Practice of Model Transformations Theory and Practice of Model Transformations

Paradigms in Cartography Paradigms in Cartography

SDL 2013: Model Driven Dependability Engineering SDL 2013: Model Driven Dependability Engineering

Challenges and Opportunities for Respiratory Syncytial Virus Vaccines Challenges and Opportunities for Respiratory Syncytial Virus Vaccines

Safe and Secure Software Reuse Safe and Secure Software Reuse

Emerging Management Mechanisms for the Future Internet Emerging Management Mechanisms for the Future Internet

Modelling Foundations and Applications Modelling Foundations and Applications

Software Architecture Software Architecture

ECOOP 2013 -- Object-Oriented Programming ECOOP 2013 -- Object-Oriented Programming

Deformations of Surface Singularities Deformations of Surface Singularities

Cross-Cultural Design. Cultural Differences in Everyday Life Cross-Cultural Design. Cultural Differences in Everyday Life

Cross-Cultural Design. Methods, Practice, and Case Studies Cross-Cultural Design. Methods, Practice, and Case Studies

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Healthcare and Safety of the Environment and Transport Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Healthcare and Safety of the Environment and Transport

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body Modeling and Ergonomics Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body Modeling and Ergonomics

Universal Access in Human-Computer Interaction: User and Context Diversity Universal Access in Human-Computer Interaction: User and Context Diversity

Physics of Quantum Rings Physics of Quantum Rings

Web Engineering Web Engineering