Add Wish List Add to Cart The item has been added Field-Programmable Logic and Applications. The Roadmap to Reconfigurable Computing Reiner W. Hartenstein 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: $308.53 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 Babak Falsafi 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: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Agent Communication II Frank Dignum 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: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Distributed Computing and Networking Soma Chaudhuri 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: $219.36 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 D. Loveland 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: $115.93 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 New Trends in Constraints Krzysztof Apt This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 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 CONCUR 2000 - Concurrency Theory Catuscia Palamidessi This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the... RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Intelligent Systems and Soft Computing Behnam Azvine Artificial intelligence has, traditionally focused on solving human-centered problems like natural language processing or common-sense reasoning. On the other hand, for a while now soft computing has... 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 High-Performance Computing and Networking Marian Bubak RRP: $199.42 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 Numerical Challenges in Lattice Quantum Chromodynamics Andreas Frommer Lattice gauge theory is a fairly young research area in Theoretical Particle Physics. It is of great promise as it offers the framework for an ab-initio treatment of the nonperturbative features of... RRP: $219.36 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Algorithm Theory - SWAT 2000 Magnus M. Halldorsson The papers in this volume were presented at SWAT 2000, the Seventh Scandi- vian Workshop on Algorithm Theory. The workshop, which is really a conference, has been held biennially since 1988, rotating... RRP: $185.90 $183.11 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 ECOOP 2000 - Object-Oriented Programming Elisa Bertino Following a 13-year tradition of excellence, the 14th ECOOP conference repeated the success of its predecessors. This excellence is certainly due to the level of maturity that object-oriented... RRP: $115.93 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 Advances in Cryptology - EUROCRYPT 2000 Bart Preneel EUROCRYPT 2000, the nineteenth annual Eurocrypt Conference, was sp- sored by the International Association for Cryptologic Research (IACR), in - operation with the Katholieke Universiteit Leuven in... RRP: $185.90 $183.11 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Foundation of Software Science and Computation Structures Jerzy Tiuryn ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Telecommunications and IT Convergence. Towards Service E-volution Jaime Delgado Creation Techniques for Software Development and Deployment, Agent-Based Management, Virtual Home Environment, Integrated and Scalable Solutions for Telecommunications Management. This shows that the... RRP: $121.54 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 The Theory of Evolution Strategies Hans-Georg Beyer Evolutionary algorithms, such as evolution strategies, genetic algorithms, or evolutionary programming, have found broad acceptance in the last ten years. In contrast to its broad propagation,... RRP: $334.16 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Intelligent Agents VI. Agent Theories, Architectures, and Languages Nicholas R. Jennings Intelligent agents are one of the most important developments in computer science in the 1990s. Agents are of interest in many important application areas, ranging from human-computer interaction to... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added STACS 2000 Horst Reichel STACS,the SymposiumonTheoreticalAspects ofComputerScience,isheld- nually, alternating between France and Germany. STACS is organizedjointly by the Special Interest Group for Theoretical Computer... RRP: $185.90 $183.11 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added High Performance Computing - HiPC'99 Prith Banerjee These are the proceedings of the Sixth International Conference on High Performance Computing (HiPC'99) held December 17-20 in Calcutta, India. The meeting serves as a forum for presenting current... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Grading Knowledge Steffen Staab If you are sitting in a basement room without a view - not to mention the bars in front of the windows - and writing a book, then you better have good company. I had the best company you could... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Evolution as Computation Laura Landweber RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Agent-Oriented Programming Matthew M. Huntbach A book that furnishes no quotations is, me judice, no book - it is a plaything. TL Peacock: Crochet Castle The paradigm presented in this book is proposed as an agent programming language. The book... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added PREMO David J. Duke In 1998, SC24, the subcommittee of ISO/IEC JTC 1 concerned with computer graphics and image processing, completed work on a new standard for multimedia presentation; the PREMO standard (Presentation... RRP: $105.39 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added SOFSEM'99 Jan Pavelka This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Active Technologies for Network and Service Management Rolf Stadler This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Introduction to Process Algebra Wan Fokkink Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been... RRP: $105.39 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 Algorithm Engineering Jeffrey S. Vitter This work considers practical parallel list-ranking algorithms. The model for which programs are written is a single-program multiple-data (SPMD) \bri- ingmodel". Thismodel isdesignated asa... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Formal Models of Agents John-Jules C. Meyer This volume contains a number of revised papers that were selected from - pers presented at the last ModelAge workshop held in Certosa di Pertignano (Italy) in 1997, organised by the Institute of... 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 Models and Tools for Managing Development Processes Bernhard Westfechtel The development of products in disciplines such as mechanical, electrical, or software engineering is a challenging task. Costs have to be reduced, the ti- to-market has to be shortened, and quality... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added UML'99 - The Unified Modeling Language. Beyond the Standard Robert B. France \While in geometry attempts to square the circle never succeeded, the UML has achieved it: states canbeimplementedasclasses. "{\Wehavemade much progressfrom thetime cloudswere used. " The Uni ed... RRP: $185.90 $183.11 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 SCI Hermann Hellwagner Scalable Coherent Interface (SCI) is an innovative interconnect standard (ANSI/IEEE Std 1596-1992) addressing the high-performance computing and networking domain. This book describes in depth one... 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 Logic Programming and Automated Reasoning Harald Ganzinger This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted... RRP: $121.54 Add to Cart The item has been added