Add Wish List Add to Cart The item has been added VDM '88. VDM - The Way Ahead This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Attribute Grammars Attribute Grammars have turned into one of the most fundamental formalisms of modern Computer Science. Since 1968 when Knuth introduced the basic concepts, they have been the subject of a very large... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added ECOOP '88 European Conference on Object-Oriented Programming " ..... object oriented seems to be becoming in the 1980s what structured programming was in the 1970s. " Brian Randell and Pete Lee This quotation is from the invitation to the annual Newcastle... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Formal Approaches to Software Testing and Runtime Verification This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added The Semantic Web - ISWC 2006 This book constitutes the refereed proceedings of the 5th International Semantic Web Conference, ISWC 2006, held in Athens, GA, USA in November 2006. It features more than 52 papers that address all... RRP: $335.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Web Based Learning -- ICWL 2006 This book contributes the thoroughly refereed post-proceedings of the 5th International Conference on Web-Based Learning, ICWL 2006, held in Penang, Malaysia in July 2006. The 31 revised full papers... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Leveraging Applications of Formal Methods This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Transactions on Aspect-Oriented Software Development II This volume presents two regular revised papers, a guest editors' introduction, and six papers in a special section that have been through a careful peer reviewing process by the journal's Editorial... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Evolutionary Scheduling Evolutionary scheduling is a vital research domain at the interface of artificial intelligence and operational research. This edited book gives an overview of many of the current developments in the... RRP: $335.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Intrusion Detection effektiv! RRP: $54.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Rigorous Development of Complex Fault-Tolerant Systems This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Echtzeitsysteme im Alltag Visuelle Lenkassistenz für Fahrzeuge mit Einachsanhänger.- DVB-T-C-S Digitales Fernsehen über Antenne, Kabel und Satellit, MHP Echtzeitübertragung im digitalen Fernsehen.- Koexistenz... RRP: $110.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Large Scale Management of Distributed Systems This book constitutes the refereed proceedings of the 17th IFIP/IEEE International Workshop on Distributed Systems, Operations and Management, DSOM 2006, held in Dublin, Ireland in October 2006 in... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Conceptual Modeling - ER 2006 This book constitutes the refereed proceedings of the 25th International Conference on Conceptual Modeling, ER 2006, held in Tucson, AZ, USA in November 2006. The 37 revised full papers presented... RRP: $220.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Central European Functional Programming School This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the first Central European Functional Programming School, CEFP 2005, held in... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Digitale Hardware/Software-Systeme RRP: $76.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added General Theory of Information Transfer and Combinatorics RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Middleware 2006 This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 7th International Middleware Conference 2006, held in Melbourne, Australia, in November/December 2006. The 21 revised full papers... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Theoretical Aspects of Computing - ICTAC 2006 This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006 held in Tunis, Tunisia in November 2006. The 21 revised full... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Requirements Management This book focuses on the interfaces of Requirements Management to the other disciplines of Systems Engineering. An introduction into Requirements Management and Requirements Development is given,... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Principles and Practice of Constraint Programming - CP 2006 This book constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint Programming, CP 2006, held in Nantes, France in September 2006. ... RRP: $238.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Refinement Techniques in Software Engineering This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Formal Techniques for Networked and Distributed Systems - FORTE 2006 This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in... RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Generative and Transformational Techniques in Software Engineering This tutorial book presents an augmented selection of material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2005. The book... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Variations on Constants This monograph focuses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem, combining... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Conceptual Modeling - ER 2002 For more than 20 years, the series of Conceptual Modeling - ER conferences has provided a forum for research communities and practitioners to present and - change research results and practical... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added UML 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools Five years on from its adoption in 1997 by the Object Management Group (OMG), the Uni?ed Modeling Language is the de facto standard for creating - agrammatic models of software systems. More than 100... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Algorithms - ESA 2002 This volume contains the 74 contributed papers and abstracts of 4 of the 5 invited talks presented at the 10th Annual European Symposium on Algorithms (ESA 2002), held at the University of Rome "La... RRP: $265.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Avatare I Grundlagen.- Wer braucht wofür Avatare? Konzeption und Implementierung natürlichsprachlicher Systeme - Zur Einführung.- Die Bedeutung von natürlichsprachlichen Dialogsystemen im Internet-Business.-... RRP: $87.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Algorithm Engineering and Experiments This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Algorithm Engineering and Experiments, ALENEX 2002, held in San Francisico, CA, USA in January 2002... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added CONCUR 2002 - Concurrency Theory This volume contains the proceedings of the 13th International Conference on Concurrency Theory (CONCUR 2002)held in Brno, Czech Republic, August 20-23, 2002. The purpose of the CONCUR conferences is... RRP: $220.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Invasive Software Composition Invasive software composition as a new, component-based way to construct software systems is presented. To improve reuse, this method regards software components as greybox and integrates them during... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Autonomous Dynamic Reconfiguration in Multi-Agent Systems High communication efforts and poor problem solving results due to restricted overview are two central issues in collaborative problem solving. This work addresses these issues by introducing the... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Graph Transformation ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Image Analysis, Random Fields and Markov Chain Monte Carlo Methods "This book is concerned with a probabilistic approach for image analysis, mostly from the Bayesian point of view, and the important Markov chain Monte Carlo methods commonly used....This book will be... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Noncommutative Gröbner Bases and Filtered-Graded Transfer This self-contained monograph is the first to feature the intersection of the structure theory of noncommutative associative algebras and the algorithmic aspect of Groebner basis theory. A double... RRP: $81.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Approximation Algorithms for Combinatorial Optimization The Workshop on Approximation Algorithms for Combinatorial Optimization Problems APPROX 2002 focused on algorithmic and complexity aspects ar- ing in the development of e?cient approximate solutions... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Formal Techniques in Real-Time and Fault-Tolerant Systems This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9-12... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Computer Safety, Reliability and Security This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.The 27... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Randomization and Approximation Techniques in Computer Science This volume contains the papers presented at the 6th International Workshop on Randomization and Approximation Techniques in Computer Science (RAN- DOM 2002), which took place at Harvard University,... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Parallel Problem Solving from Nature - PPSN VII We are proud to introduce the proceedings of the Seventh International C- ference on Parallel Problem Solving from Nature, PPSN VII, held in Granada, Spain, on 7-11 September 2002. PPSN VII was... RRP: $324.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Principles and Practice of Constraint Programming - CP 2002 This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.The 38... RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Object-Oriented Information Systems For the ?rst time four workshops have been held in conjunction with the 8th Object-Oriented Information Systems conference, OOIS 2002, to encourage - teraction between researchers and practitioners... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Object-Oriented Information Systems The OOIS series of conferences has provided a forum for the presentation and exchange of academic research and industrial experiences within the ?eld of information systems, based on object-oriented... RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Euro-Par 2002. Parallel Processing Euro-Par - the European Conference on Parallel Computing - is an international conference series dedicated to the promotion and advancement of all aspects of parallel computing. The major themes can... RRP: $265.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Applied Semantics This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Web-Based Learning On behalf of the organizing and program committees of ICWL 2002 we trust you found the conference a fruitful experience and hope you had an enjoyable stay in Hong Kong. August 2002 Ronnie... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Extreme Programming and Agile Methods - XP/Agile Universe 2002 The second XP Universe and ?rst Agile Universe brought together many p- ple interested in building software in a new way. Held in Chicago, August 4-7, 2002 it attracted software experts, educators,... RRP: $122.00 Add to Cart The item has been added