Add Wish List Add to Cart The item has been added Middleware 2008 Valérie Issarny This volume contains the proceedings of the International Middleware Con- rence, held in Leuven, Belgium during December 1-4, 2008. This year marked the ninth rendition of this annual conference in... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Software Engineering Egon Börger WorkonthisvolumestartedwiththeLipariSummerSchoolonAdvancesinSo- ware Engineering, which the ?rst editor organizedtogether with Alfredo Ferro fromtheUniversityofCataniainJuly2007... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Reliable Systems on Unreliable Networked Platforms Fabrice Kordon This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with special focus on realization of reliable systems on top of unreliable... RRP: $121.54 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 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 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 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 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 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 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 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 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 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 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 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
Add Wish List Add to Cart The item has been added Modular Programming Languages Jürg Gutknecht Thecircleisclosed.The European Modula-2 Conference was originally launched with the goal of increasing the popularity of Modula-2, a programming language created by Niklaus Wirth and his team at ETH... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Distributed Virtual Worlds Stephan Diehl Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Reflection and Software Engineering Walter Cazzola This volume represents a rst attempt to bring together ideas from two pre- ously unrelated research areas, namely Software Engineering and Computational Re?ection, and to evaluate the bene ts that... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Reliable Software Technologies Ada-Europe 2000 Hubertus B. Keller The Fifth International Conference on Reliable Software Technologies, Ada- Europe 2000, took place in Potsdam, Germany, June 26-30, 2000. It was - ganized by Ada Deutschland and sponsored by... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Essentials of Constraint Programming Thom Frühwirth The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Middleware 2000 Joseph Sventek Middleware is everywhere. Ever since the advent of sockets and other virtu- circuit abstractions, researchers have been looking for ways to incorporate high- value concepts into distributed systems... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Principles and Practice of Declarative Programming Gopalan Nadathur This volume contains the papers presented at the 1999 International C- ference on Principles and Practice of Declarative Programming (PPDP'99) held in Paris from September 29 through October 1, 1999... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Approaches to Intelligent Agents Hideyuki Nakashima Intelligent agents will be the necessity of the coming century. Software agents will pilot us through the vast sea of information, by communicating with other agents. A group of cooperating agents... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Generalized Quantifiers and Computation Jouko Väänänen This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence, France, in August 1997. The... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Object-Oriented Technology. ECOOP'99 Workshop Reader Ana Moreira The 13th European Conference on Object-Oriented Programming (ECOOP'99) brought some 500 participants to Lisbon from June 14th to June 18th, 1999. As usual, the workshops took place during the rst two... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Partial Evaluation. Practice and Theory John Hatcliff As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Internet Programming Languages Henri E. Bal This book is a collection of articles about the influence that the recent greater scope and availability of wide area networks is having on the semantics, design, and implementa tion of programming... RRP: $93.49 $91.62 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'99 Joxan Jaffar Thisis theconferencerecordfortheFifthInternationalConferenceonPrinciples and Practice of Constraint Programming (CP'99), held in Alexandria, Virginia, USA, on October 11-14, 1999. The series of CP... RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Correct System Design Ernst-Rüdiger Olderog Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added FM'99 - Formal Methods Jeannette M. Wing Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A... RRP: $249.48 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Engineering - ESEC/FSE '99 Oskar Nierstrasz For the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE). Although the two conferences... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Meta-Level Architectures and Reflection Pierre Cointe This book constitutes the refereed proceedings of the Second International Conference on Meta-Level Architectures and Reflection, Reflection'99, held in St. Malo, France in July 1999. The 13 revised... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Reliable Software Technologies - Ada-Europe '99 Michael Gonzalez Harbour The Fourth International Conference on Reliable Software Technologies, Ada- Europe'99, took place in Santander, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Fully Integrated Data Environments Malcolm P. Atkinson This book presents the work of researchers in the Esprit Fully Integrated Data Environments (FIDE) projects which had the goal of substantially improving the quality of complex application systems... RRP: $308.53 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Formal Syntax and Semantics of Java Jim Alves-Foss Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Compiling Natural Semantics Mikael Pettersson Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added STACS 99 Christoph Meinel The Symposium on Theoretical Aspects of Computer Science (STACS) is held annually, alternating between France and Germany. The current volume cons- tutes the proceedings of the 16th STACS conference,... RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Computing Science - ASIAN'98 Jieh Hsiang This volume contains the proceedings of the Fourth Asian Computing Science Conference (ASIAN98), held December 8{10, 1998, in Manila, the Philippines. The previous three ASIAN conferences were also... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Lectures on Embedded Systems Grzegorz Rozenberg This volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in November 1996 as the first event organized by the European Educational Forum. Besides thoroughly... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Languages, Compilers, and Tools for Embedded Systems Frank Mueller This book constitutes the strictly refereed post-workshop proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, LCTES '98, held in Montreal, Canada, in June... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added ZUM '98 Jonathan P. Bowen 1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Principles of Declarative Programming Catuscia Palamidessi This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International... RRP: $121.54 Add to Cart The item has been added