Functional Programming

Decision Procedures: An Algorithmic Point of View

Springer (9783662504963)

Process Mining: Data Science in Action

Springer (9783662498507)

Platzierung von Softwarekomponenten auf Mehrkernprozessoren: Automatisierte Konstruktion und Analyse für funktionssichere Systeme

Springer Vieweg (9783658111724) | Platzierung von

Software System Design Methods: The Challenge of Advanced Computing Technology: 22

Springer (9783642828485)

Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks

Springer (9783642544316) | Agent-Oriented Software

Agile Software Development: Current Research and Future Directions

Springer (9783642432651)

Feature-Oriented Software Product Lines: Concepts and Implementation

Springer (9783642375200)

QoS Management of Web Services

Springer (9783642342066)

Introduction to Cryptography with Maple

Springer (9783642321658)

Relationale Datenbanken und SQL in Theorie und Praxis

Springer (9783642289859)

Advances in Computer Science and Information Technology. Computer Science and Engineering: Second International Conference, CCSIT 2012, Bangalore, ... and Telecommunications Engineering, 85)

Springer (9783642273070)

Convergence and Hybrid Information Technology: 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings: 206

Springer (9783642241055)

Digital Information Processing and Communications, Part II: International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, ... in Computer and Information Science)

Springer (9783642224096)

Computer and Computing Technologies in Agriculture IV: 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Part II, Selected ... and Communication Technology, 345)

Springer (9783642183355)

Hybrid Metaheuristics: 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010, Proceedings: 6373

Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783642160530) | Hybrid Metaheuristics

Python Scripting for Computational Science: 3

Springer (9783642093159)

Strategic IT Management: A Toolkit for Enterprise Architecture Management

Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited: ... 5397

Springer (9783540939191) | 6th International Workshop

Architecting Dependable Systems V

Springer (9783540855705) | Architecting Dependable Systems

Transactions on Computational Science: No. 1

Springer (9783540792987) | Computational science, Transactions on Computational Science

Distributed Applications Engineering: Building New Applications and Managing Legacy Applications with Distributed Technologies

Springer (9783540762102) | Distributed Applications

A Practical Programming Model for the Multi-Core Era: 3rd International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings

Springer (9783540693024)

Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings: 1349

Springer (9783540638889) | 6th International Conference

Genetic Algorithms + Data Structures = Evolution Programs

Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers: 910

Springer (9783540591559) | Constraint Programming

Software Engineering and Human-Computer Interaction: ICSE '94 Workshop on SE-HCI: Joint Research Issues, Sorrento, Italy, May 16-17, 1994. Proceedings: 896

Springer (9783540590088) | Software Engineering, Workshop on Joint

Intelligent Agents: ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8 - 9, 1994. Proceedings: 890

Springer (9783540588559) | Intelligent Agents, Architectures and Languages

Programming in Modula-3: An Introduction in Programming with Style

Springer (9783540579120) | Programming in Modula-3, Introduction in Programming

Interactive Dramaturgies: New Approaches in Multimedia Content and Design

Springer (9783540442066) | Interactive Dramaturgies

Soft-Ware 2002: Computing in an Imperfect World: First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings: 2311

Springer (9783540434818)

Multimedia Systems

Springer (9783540408673) | Multimedia systems

Self-Organizing Systems: First International Workshop, IWSOS 2006 and Third International Workshop on New Trends in Network Architectures and ...

Springer (9783540376583)

Software Composition: 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers: 4089

Springer (9783540376576) | Software Composition

Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ... 3443

Springer (9783540254119) | Compiler Construction

Introduction to SIMULA 67

Springer (9783528133405)

Understanding Modern Dive Computers and Operation: Protocols, Models, Tests, Data, Risk and Applications

Springer (9783319940533) | Father Christmas, Polar bear, North Pole, Note to Tolkien's, Tolkien's children, North Polar, Edition of Tolkien's, Pictures and Letters