Add Wish List Add to Cart The item has been added Meta-Level Architectures and Reflection 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: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Vector and Parallel Processing - VECPAR'98 This book stands as the visible mark of VECPAR'98 - 3rd International Meeting on Vector and Parallel Processing, which was held in Porto (Portugal) from 21 to 23 June 1998. VECPAR'98 was the third of... RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added ECOOP '99 - Object-Oriented Programming \My tailor is Object-Oriented". Most software systems that have been built - cently are claimed to be Object-Oriented. Even older software systems that are still in commercial use have been upgraded... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Application and Theory of Petri Nets 1999 This volume contains the proceedings of the 20th International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for the dissemination of... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Secure Internet Programming Large-scale open distributed systems provide an infrastructure for assembling global applications on the basis of software and hardware components originating from multiple sources. Open systems rely... RRP: $92.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 '99 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Coordination Languages and Models We welcome you to Coordination '99, the third in a series of conferences d- icated to an important perspective on the development of complex software systems. That perspective is shared by a growing... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Fully Integrated Data Environments 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: $309.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Logic-Based Program Synthesis and Transformation This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Tools and Algorithms for the Construction of Analysis of Systems ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of... RRP: $122.00 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 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: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Compiling Natural Semantics 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: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Application of Petri Nets to Communication Networks Petri nets offer a mathematically defined technique for the specification, design, analysis, verification and performance evaluation of concurrent distributed systems. They offer not only precise... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Parallel Computation TheAustrianCenterforParallelComputation(ACPC)isacooperativeresearch organization founded in 1989 to promote research and education in the eld of Software for Parallel Computer Systems. The areas in... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Interacting Code Motion Transformations Code motion techniques are integrated in many optimizing production and research compilers. They are still a major topic of ongoing research in program optimization, but traditional methods are... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Multi-Agent Systems. Theories, Languages and Applications This volume contains revisedversions of selected papers presented at the Fourth Australian Workshop on Distributed Arti?cial Intelligence (DAK'91), together with a set of invited papers. Each paper... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Computer Algebra Handbook This Handbook gives a comprehensive snapshot of a field at the intersection of mathematics and computer science with applications in physics, engineering and education. Reviews 67 software systems... RRP: $265.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Applied Parallel Computing. Large Scale Scientific and Industrial Problems This book constitutes the carefully refereed proceedings of the 4th International Workshop on Applied Parallel Computing, PARA'98, held in Umea, Sweden, in June 1998.The 75 revised papers presented... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added STACS 99 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: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Process 1 Jean Claude Derniame Software process technology is an emerging and strategic area that has already reached a reasonable degree of maturity, delivering products and significant industrial expe... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Compositionality This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Object-Oriented Technology. ECOOP '98 Workshop Reader At the time of writing (mid-October 1998) we can look back at what has been a very successful ECOOP'98. Despite the time of the year - in the middle of what is traditionally regarded as a holiday... RRP: $92.00 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 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Computing in Object-Oriented Parallel Environments This volume contains the Proceedings of the International Symposium on C- puting in Object-Oriented Parallel Environments (ISCOPE '98), held at Santa 1 Fe, New Mexico, USA on December 8{11, 1998... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Lectures on Petri Nets II The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Lectures on Petri Nets I The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Transactions and Change in Logic Databases This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming.The technical papers presenting... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added SOFSEM '98 This volume contains the invited papers and papers selected for presentation at the 25th conference on Theory and Practice of Informatics | SOFSEM '98, held in Jasn a, Slovakia, November 21{27, 1998... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Lectures on Embedded Systems 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: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Languages, Compilers, and Run-Time Systems for Scalable Computers It is a great pleasure to present this collection of papers from LCR '98, the Fourth Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers. The LCR workshop is a bi-annual... RRP: $122.00 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 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added ZUM '98 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Principles of Declarative Programming 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Evolutionary Programming VII 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 - CP98 Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This volume contains papers... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Optimal Interprocedural Program Optimization Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Logic Program Synthesis and Transformation This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 10-12, 1997, 'back to... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Logic Programming and Knowledge Representation This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA,... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Process Technology This book constitutes the refereed proceedings of the 6th European Workshop on Software Process Technology, EWSPT '98, held in Weybridge, UK in September 1998.The 16 revised full papers presented... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added CONCUR '98 Concurrency Theory This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.The 35 revised full papers presented were ... RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Artificial Intelligence in Structural Engineering This book presents the state of the art of artificial intelligence techniques applied to structural engineering. The 28 revised full papers by leading scientists were solicited for presentation at a... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added ECOOP '98 - Object-Oriented Programming This book constitutes the refereed proceedings of the 12th European Conference on Object-Oriented Programming, ECOOP'98, held in Brussels, Belgium, in July 1998.The book presents 24 revised full... RRP: $220.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Many-Valued Logics 2 Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics by two leading figures... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Development and Evolution of Software Architectures for Product Families This book originates from a workshop organised by ESPRIT project 20 477, ARES in Las Palmas de Gran Canaria, Spain, February 1998. ARES is an acronym for Architectural Reasoning for Embedded Systems... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Solving Irregularly Structured Problems in Parallel This book constitutes the refereed proceedings of the 5th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'98, held in Berkeley, California, in August 1998... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications This book constitutes the thoroughly refereed post-workshop proceedings of three workshops held in conjunction with the 10th Australian Joint Conference on Artificial Intelligence in Perth,... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Collective Robotics This book constitutes the refereed proceedings of the First International Workshop on Collective Robotics, CRW'98, held as part of the Agents' World 1998 conference in Paris, France, in July 1998.The... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added System Configuration Management This book constitutes the refereed proceedings of the 8th International Symposium on System Configuration Management, SCM-8, held in conjunction with ECOOP'98 in Brussels, Belgium, in July 1998.The... RRP: $122.00 Add to Cart The item has been added