Self-Stabilizing Systems: 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005
Springer (9783540298144) | Self-Stabilizing Systems
Computer & Internet Bücher
Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, ... Notes in Computer Science, 3785, Band 3785)
Springer (9783540297970) | Formal Engineering Methods
Algorithmic Learning Theory: 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings
Springer (9783540292425) | Algorithmic Learning Theory
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Springer (9783540292098) | For Verification and Analysis
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 15th International Workshop, PATMOS 2005, Leuven, ... Notes in Computer Science, 3728, Band 3728)
Springer (9783540290131) | And System Design, Power and Timing
Software Composition: 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
Springer (9783540287483) | Selected Papers, Software Composition
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques: 8th International Workshop on Approximation Algorithms for ... Notes in Computer Science, 3624, Band 3624)
Springer (9783540282396) | Algorithms and, And Combinatorial Optimization, Approximation Algorithms
Mathematics of Surfaces XI: 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings
Springer (9783540282259) | Mathematics of Surfaces XI
Algorithms and Data Structures: 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings
Springer (9783540281016) | Algorithms and Data Structures
Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers ... Notes in Computer Science
Springer (9783540280637) | Advanced Distributed Systems
ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
Springer (9783540279921) | Object-oriented Programming
Software Architecture: 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings
Springer (9783540262756) | Software Architecture
New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
Springer (9783540261797) | New Computational Paradigms
Experimental and Efficient Algorithms: 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings
Springer (9783540259206) | Experimental and Efficient Algorithms
Component-Based Software Engineering: 8th International Symposium, CBSE 2005 St. Louis, MO, USA, May 14-15, 2005, Procedings
Springer (9783540258773) | Component-Based Software Engineering
Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Springer (9783540251088) | Hybrid Systems, Computation and Control
Embedded Systems Design: The ARTIST Roadmap for Research and Development
Springer (9783540251071) | Research and Development, Embedded Systems Design
Membrane Computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
Springer (9783540250807) | Membrane Computing, And Invited Papers
Switching and Learning in Feedback Systems: European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures ... Notes in Computer Science, 3355, Band 3355)
Springer (9783540244578) | Learning in Feedback Systems
Intelligent Techniques in E-Commerce: A Case Based Reasoning Perspective
Springer (9783540205180) | Intelligent Techniques in E-Commerce
Wissenskommunikation in Organisationen: Methoden - Instrumente - Theorien
Springer (9783540203506) | Wissenskommunikation in Organisationen
Modeling, Estimation, and Their Applications for Distributed Parameter Systems
Springer (9783540091424)
Computergestützte Analyse qualitativer Daten. Eine Einführung in Methoden und Arbeitstechniken.
Vs Verlag Für Sozialwissenschaften (9783531221786) | Computergestützte Analyse qualitativer
Schriften zur Wirtschafts- und Kultursoziologie
Vs Verlag Für Sozialwissenschaften (9783531162386)
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
Vieweg+Teubner Verlag (9783528155742) | Of Theorem Proving Strategies
Von der Unternehmensarchitektur zur IT-Governance. Bausteine für ein wirksames IT-Management.
Vieweg+Teubner Verlag (9783528058562) | Für ein wirksames IT-Management
1.102 Produkte