Add Wish List Add to Cart The item has been added Cooperative Bug Isolation Ben Liblit This monograph presents a new and fundamental approach to software analysis that will provide a source of ideas and inspiration for many years to come. It constitutes a thoroughly revised and... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Smalltalk Wolfgang De Meuter This book constitutes the thoroughly refereed post-proceedings of the 14th International Smalltalk Conference, ISC 2006, held in Prague, Czech Republic in September 2006. Being a live forum on... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Model-Driven Architecture in Practice Oscar Pastor This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial practice. It clearly explains which conceptual primitives should be... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics Elena Marchiori This book constitutes the refereed proceedings of the 5th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2007, held in Valencia, Spain,... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Object-Oriented Technology.ECOOP 2006 Workshop Reader Mario Südholt This book contains the final reports of 19 workshops held during the 20th European Conference on Object-Oriented Programming, ECOOP 2006, held in Nantes, France in July 2006. The 19 reports cover the... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Adaptive and Natural Computing Algorithms Bartlomiej Beliczynski The two volume set LNCS 4431 and LNCS 4432 constitutes the refereed proceedings of the 8th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2007, held in Warsaw, Poland,... RRP: $219.36 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Transactions on High-Performance Embedded Architectures and Compilers I Mike O'Boyle Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Product Lines in Action Frank J. Linden Software product lines represent perhaps the most exciting paradigm shift in software development since the advent of high-level programming languages. Nowhere else in software engineering have we... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added High Performance Computing for Computational Science - VECPAR 2006 Michel Daydé This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on High Performance Computing for Computational Science, VECPAR 2006, held in Rio de Janeiro,... RRP: $219.36 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Program Analysis and Compilation, Theory and Practice Thomas Reps Reinhard Wilhelm's career in Computer Science spans more than a third of a century. This Festschrift volume, published to honor him on his 60th Birthday on June 10, 2006, includes 15 refereed papers... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Agent-Oriented Software Engineering VII Lin Padgham This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Agent-Oriented Software Engineering, AOSE 2006, held in Hakodate, Japan, in May 2006 as part of... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Recent Advances in Evolutionary Computation for Combinatorial Optimization Carlos Cotta Combinatorial optimisation is a ubiquitous discipline whose usefulness spans vast applications domains. The intrinsic complexity of most combinatorial optimisation problems makes classical methods ... RRP: $334.16 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Product-Focused Software Process Improvement Andreas Jedlitschka On behalf of the PROFES Organizing Committee, we are proud to present to you the proceedings of the 9th International Conference on Product-Focused Software Process Improvement (PROFES 2008) held in... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Interactive Systems. Design, Specification, and Verification Gavin Doherty This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin,... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Hardware and Software, Verification and Testing Eyal Bin This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006. The 15 revised full papers... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added ECOOP 2008 - Object-Oriented Programming Jan Vitek It is a pleasure to present the proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP 2008) held in Paphos, Cyprus. The conference continues to serve a broad... RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Objects, Components, Models and Patterns Richard F. Paige The TOOLS conference series started in 1989 and, over the following 15 years, held 45 sessions: TOOLS EUROPE, TOOLS USA, TOOLS PACIFIC, TOOLS CHINA and TOOLS EASTERN EUROPE. TOOLS played a major role... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added SOFSEM 2007 Jan van Leeuwen This book constitutes the refereed proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2007, held in Harrachov, Czech Republic in January 2007. The... RRP: $219.36 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added A Practical Programming Model for the Multi-Core Era Barbara Chapman The Third International Workshop on OpenMP, IWOMP 2007, was held at Beijing,China.This year'sworkshopcontinuedits traditionofbeingthe premier opportunity to learn more about OpenMP, to obtain... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added New Frontiers in Applied Artificial Intelligence Leszek Borzemski RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Verification of Object-Oriented Software. The KeY Approach Bernhard Beckert The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society... RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Formal Methods for Computational Systems Biology Marco Bernardo This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). ... RRP: $121.54 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 2008 Kenji Suzuki This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added B 2007 Jacques Julliand This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this volume includes industrial applications... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Models in Software Engineering Thomas Kühne This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of the 9th International Conference on Model Driven Engineering Languages and... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added High Performance Embedded Architectures and Compilers Koen De Bosschere This book constitutes the refereed proceedings of the Second International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2007, held in Ghent, Belgium, in January 2007... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Ada 2005 Reference Manual. Language and Standard Libraries S. Tucker Taft The Ada 2005 Reference Manual combines the International Standard ISO/IEC 8652/1995(E) for the programming language Ada with the corrections of the Technical Corrigendum 1 approved by ISO in February... RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Autonomic and Trusted Computing Chunming Rong ThisvolumecontainstheproceedingsofATC2008,the5thInternationalConf- ence on Autonomic and Trusted Computing: Bringing Safe, Self-x and Organic Computing Systems into Reality. The conference was held... RRP: $185.90 $183.11 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Innovative Concepts for Autonomic and Agent-Based Systems Michael G. Hinchey This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Radical Agent Concepts, WRAC 2005, held in Greenbelt, MD, USA in September 2005. The 27 full... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Declarative Programming for Knowledge Management Masanobu Umeda This book constitutes the thoroughly refereed post-proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, held in Fukuoka,... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Declarative Agent Languages and Technologies IV Matteo Baldoni This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Japan in May 2006. This was an... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Applications and Theory of Petri Nets Kees van Hee This volume consists of the proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2008). The Petri Net conferences... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Concurrency, Graphs and Models Pierpaolo Degano This volume contains the 43 papers written by close collaboratorsand friends of UgoMontanariincelebrationofhis65thbirthday.Insomesense,thevolumeisa re?ection, with gratitude and admiration, on Ugo's... RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Enterprise Engineering I Jan L. G. Dietz The expectation for the future of the 21st century enterprise is complexity and agility. In this digital age, business processes are scattered not only throu- out the labyrinth of their own... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Reliable Software Technologies - Ada-Europe 2008 Fabrice Kordon th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2008) marked its arrival in Italy by selecting the splendid venue of Venice. It did so after having... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Tools for High Performance Computing Rainer Keller RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added OpenMP Shared Memory Parallel Programming Matthias S. Müller OpenMP is an application programming interface (API) that is widely accepted as a standard for high-level shared-memory parallel programming. It is a portable, scalable programming model that... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Testing of Software and Communicating Systems Kenji Suzuki This volume contains the proceedings of TESTCOM/FATES 2008, a joint c- ference of two communities: TESTCOM was the 20th edition of the IFIP TC6/ WG6.1 International Conference on Testing of... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Formal Methods in Systems Biology Jasmin Fisher Thisvolumecontainstheproceedingsofthe?rstinternationalmeetingonFormal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4-5, 2008. While there are several venues that cover... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added FM 2008 Jorge Cuellar This volume contains the proceedings of Formal Methods 2008, the 15th Inter- ? nationalSymposiumonFormalMethods,organizedbyAbo AkademiUniversity, Turku, Finland, during May 26-30, 2008. The series of... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Engineering Education in the Modern Age Paola Inverardi This tutorial book presents an augmented selection of the material presented at the Software Engineering Education and Training Track at the International Conference on Software Engineering, ICSE... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added The IT Measurement Compendium Manfred Bundschuh "As projects get more complicated, managers stop learning from their - perience. It is important to understand how that happens and how to change it.... Fallible estimates: In software development,... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Modeling Semantic Web Services Jos de Bruijn Semantic Web services promise to automate tasks such as discovery, mediation, selection, composition, and invocation of services, enabling fully flexible automated e-business. Their usage, however,... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Service-Oriented Computing - ICSOC 2006 Asit Dan RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Design Patterns for e-Science Henry Gardner This is a book about a code and about coding. The code is a case study which has been used to teachcourses in e-Science atthe Australian NationalUniv- sity since 2001. Students learn advanced... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added High Confidence Software Reuse in Large Systems Hong Mei Software reuse depicts a great vision for the software industry. It has been widely viewed as a promising way to improve both the productivity and quality of software development. However, despite of... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added High Performance Computing - HiPC 2006 Yves L. Robert This book constitutes the refereed proceedings of the 13th International Conference on High-Performance Computing, HiPC 2006, held in Bangalore, India, December 2006. Coverage in this volume includes... RRP: $185.90 $183.11 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Mathematical Foundations of Computer Science 2000 Mogens Nielsen Invited Talks.- Region Analysis and a ?-Calculus with Groups.- Abstract Data Types in Computer Algebra.- What Do We Learn from Experimental Algorithmics?.- And/Or Hierarchies and Round Abstraction.-... RRP: $219.36 Add to Cart The item has been added