Introduction to Programming Springer
The Calculus of Computation: Decision Procedures with Applications to Verification
Springer (9783642093470)
Design and Analysis of Randomized Algorithms: Introduction to Design Paradigms
Springer (9783642063008)
SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, ...
Springer (9783540958901) | Computer Science, Practice of Computer Science
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
Advances in Multimedia Modeling: 15th International Multimedia Modeling Conference, MMM 2009, Sophia-Antipolis, France, January 7-9, 2009 Proceedings
Springer (9783540928911) | Advances in Multimedia Modeling
Recent Advances in Reinforcement Learning: 8th European Workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30-July 3, 2008, Revised and Selected Papers: 5323
Springer (9783540897217) | 8th European Workshop
Database and Expert Systems Applications: 19th International Conference, DEXA 2008, Turin, Italy, September 1-5, 2008. Proceedings
Springer (9783540856535) | Expert Systems Applications
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques: 11th International Workshop, APPROX 2008 and 12th ... 2008
Springer (9783540853626) | Combinatorial Optimization, Approximation Algorithms
Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings
Springer (9783540852377) | Computer Science, Mathematical Foundations
Distributed Applications Engineering: Building New Applications and Managing Legacy Applications with Distributed Technologies
Springer (9783540762102) | Distributed Applications
Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings: 1349
Springer (9783540638889) | 6th International Conference
Job Scheduling Strategies for Parallel Processing: IPPS '95 Workshop, Santa Barbara, CA, USA, April 25, 1995. Proceedings: 949
Springer (9783540601531) | Job Scheduling
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933
Springer (9783540600176) | Computer Science, Computer Science Logic, 8th Workshop
Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers: 910
Springer (9783540591559) | Constraint Programming
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
Software Composition: 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers: 4089
Springer (9783540376576) | Software Composition
Medical Imaging and Augmented Reality: Third International Workshop, Shanghai, China, August 17-18, 2006, Proceedings: 4091
Springer (9783540372202) | Medical Imaging
Theoretical Computer Science: Essays in Memory of Shimon Even
Springer (9783540328803) | Computer Science, Theoretical computer science
Mobile AD-Hoc and Sensor Networks: First International Conference, MSN 2005, Wuhan, China, December 13-15, 2005, Proceedings
Springer (9783540308560) | Sensor Networks
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
Implementing Practical Db2 Applications
Springer (9783540199533) | Implementing Practical
Introduction to Parallel Computing: From Algorithms to Programming on State-of-the-Art Platforms
Springer (9783319988320) | Introduction to Parallel
