Add Wish List Add to Cart The item has been added Adaptive and Natural Computing Algorithms 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: $220.00 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 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: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Product Lines in Action 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: $92.00 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 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: $220.00 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 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: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Agent-Oriented Software Engineering VII 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: $122.00 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 Combinatorial optimisation is a ubiquitous discipline whose usefulness spans vast applications domains. The intrinsic complexity of most combinatorial optimisation problems makes classical methods ... RRP: $335.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Product-Focused Software Process Improvement 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: $116.00 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 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: $122.00 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 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added ECOOP 2008 - Object-Oriented Programming 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: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Objects, Components, Models and Patterns 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: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added SOFSEM 2007 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: $220.00 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 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: $116.00 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 RRP: $227.00 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 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: $227.00 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 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: $122.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 2008 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: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added B 2007 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Models in Software Engineering 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: $122.00 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 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: $122.00 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 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: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Autonomic and Trusted Computing ThisvolumecontainstheproceedingsofATC2008,the5thInternationalConf- ence on Autonomic and Trusted Computing: Bringing Safe, Self-x and Organic Computing Systems into Reality. The conference was held... RRP: $184.00 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 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Declarative Programming for Knowledge Management 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: $122.00 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 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: $92.00 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 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Concurrency, Graphs and Models 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: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Enterprise Engineering I 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: $122.00 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 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Tools for High Performance Computing RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added OpenMP Shared Memory Parallel Programming 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: $122.00 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 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Formal Methods in Systems Biology Thisvolumecontainstheproceedingsofthe?rstinternationalmeetingonFormal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4-5, 2008. While there are several venues that cover... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added FM 2008 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: $92.00 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 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: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added The IT Measurement Compendium "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: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Modeling Semantic Web Services 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Service-Oriented Computing - ICSOC 2006 RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Design Patterns for e-Science 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: $116.00 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 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: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added High Performance Computing - HiPC 2006 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: $184.00 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 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: $220.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Field-Programmable Logic and Applications. The Roadmap to Reconfigurable Computing This book is the proceedings volume of the 10th International Conference on Field Programmable Logic and its Applications (FPL), held August 27 30, 2000 in Villach, Austria, which covered areas like... RRP: $309.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Network-Based Parallel Computing - Communication, Architecture, and Applications Clusters of workstations/PCs connected by o?-the-shelf networks have become popular as platforms for cost-e?ective parallel computing. Technological - vances in both hardware and software have made... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Agent Communication II This book constitutes the thoroughly refereed post-proceedings of the two International Workshops on Agent Communication, AC 2005 and AC 2006, held in Utrecht, Netherlands in July 2005 and in... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Distributed Computing and Networking This book constitutes the refereed proceedings of the 8th International Conference on Distributed Computing and Networking, ICDCN 2006, held in Guwahati, India in December 2006. Coverage in this... RRP: $220.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Automated Theorem Proving in Software Engineering Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the... RRP: $116.00 Add to Cart The item has been added