Add Wish List Add to Cart The item has been added Middleware 2001 This book constitutes the refereed proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms, Middleware 2001, held in Heidelberg, Germany, in November 2001.The 20 revised... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Proof Theory in Computer Science Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001.The 33 revised full papers... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added History of Computing The papers in this volume were presented at a conference that was designed to map out historical study needs in one area of the history of computing, namely, software. The Paderbom conference was... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Metalevel Architectures and Separation of Crosscutting Concerns This volume constitutes the proceedings of REFLECTION 2001, the Third Int- national Conference on Metalevel Architectures and Separation of Crosscutting Concerns, which was held in Kyoto, September... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Smart Card Programming and Security The E-smart 2001 international conference on research in smart cards was held in Cannes, France on 19-21 September. The conference was jointlyorganized bythe Java Card Forum, Eurosmart and INRIA, and... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Algorithm Engineering and Experimentation This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Algorithm Engineering and Experimentation, ALENEX 2001, held in Washington, DC, USA in January... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Multi-Agent Systems and Applications IV The aim of the CEEMAS conference series is to provide a biennial forum for the presentation of multi-agent research and development results. With its p- ticular geographicalorientation towards... RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Architecting Dependable Systems III As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process,... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Computer and Information Sciences - ISCIS 2005 This volume collects a subset of the high-quality papers that were accepted for presentationatthe20thInternationalSymposiumonComputerandInformation Sciences (ISCIS). ISCIS 2005 was organized by the... RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Conceptual Modeling - ER 2005 Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because it fosters communication - tween technology experts and those who would... RRP: $116.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 - CP 2005 The 11th International Conference on the Principles and Practice of Constraint Programming (CP 2005) was held in Sitges (Barcelona), Spain, October 1-5, 2005. Information about the conference can be... RRP: $220.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Peer-to-Peer Systems and Applications Starting with Napster and Gnutella, peer-to-peer systems became an integrated part of the Internet fabric attracting millions of users. According to recent evaluations, peer-to-peer traffic now... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Theoretical Aspects of Computing - ICTAC 2005 This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17-21, 2005. ICTAC... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Frontiers of Combining Systems This volume contains the proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS 2005) held September 19-21, 2005 in Vienna, Austria. Previously, FroCoS was organized... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added High Performance Computing and Communications Welcome to the proceedings of the 2005 International Conference on High P- formance Computing and Communications (HPCC 2005) which was held in Sorrento (Naples), Italy, September 21-23, 2005. ... RRP: $270.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Model Driven Engineering Languages and Systems The MoDELS (Model Driven Engineering, Languages, and Systems) conference is a continuation of the successful series of UML conferences. This volume contains the ?nal versions of the technical papers... RRP: $220.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added UbiComp 2005 The 7th International Conference on Ubiquitous Computing (UbiComp 2005) marked the ?rst time that this premier venue for original research contributions in ubiquitous computing was held in Asia. The... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Composition Component-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.These advantages have also been identi?ed by the industry,... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Multiagent System Technologies After two successful MATES conferences in Erfurt 2003 and 2004, the 3rd G- man conference on Multi-agent System Technologies (MATES 2005) took place in Koblenz, Germany, in September 2005, and was... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Algebra and Coalgebra in Computer Science In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Al- braic Development Techniques, decided to... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advanced Functional Programming This volume contains the revised lecture notes corresponding to nine of the lecturecoursespresentedatthe5thInternationalSchoolonAdvancedFunctional Programming, AFP 2004, held in Tartu, Estonia,... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Automated Deduction - CADE-20 This volume contains the proceedings of the 20th International Conference on AutomatedDeduction (CADE-20).ItwasheldJuly22-27,2005inTallinn,Es-... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Field-Based Coordination for Pervasive Multiagent Systems More and more, software systems involve autonomous and distributed software components that have to execute and interact in open and dynamic environments, such as in pervasive, autonomous, and mobile... RRP: $220.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added CONCUR 2005 - Concurrency Theory This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Parallel Computing Technologies The PaCT 2005 (Parallel Computing Technologies) conference was a four-day conference held in Krasnoyarsk, September 5-9, 2005. This was the Eighth - ternational conference in the PaCT series. The... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Languages and Compilers for High Performance Computing The 17th International Workshop on Languages and Compilers for High P- formance Computing was hosted by Purdue University in September 2004 on Purdue campus in West Lafayette, Indiana, USA. The... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added ECOOP 2005 - Object-Oriented Programming The 19th Annual Meeting of the European Conference on Object-Oriented Programming-ECOOP 2005-took place during the last week of July in Glasgow, Scotland, UK. This volume includes the refereed... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Unconventional Programming Paradigms Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the users, the growing number of p- grams and the sharing of information,... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added FM 2005 This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18-22, 2005. Formal Methods Europe (FME, www... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Engineering Societies in the Agents World V The ?rst workshop "Engineering Societies in the Agents World" (ESAW) was held in August 2000, in conjunction with the 14th European Conference on Arti?cial Intelligence (ECAI 2000) in Berlin. It was... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Model-Based Testing of Reactive Systems Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been... RRP: $116.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 II The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New York City, and was a great success. We saw a signi?cant increase in both the... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Constraint Solving and Language Processing This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advanced Encryption Standard - AES This volume comprises the proceedings of the 4th Conference on Advanced - cryption Standard, 'AES - State of the Crypto Analysis,' which was held in Bonn, Germany, during 10-12 May 2004. The... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Implementation and Application of Functional Languages The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ eck, Germany, September 8-10, 2004. It was jointly organized by the Institute of... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Self-star Properties in Complex Information Systems Information systems can be complex due to numerous factors including scale, decentralization, heterogeneity, mobility, dynamism, bugs and failures. Depl- ing, operating and maintaining such systems... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added SDL 2005 This volume contains the papers presented at the 12th SDL Forum, Grimstad, Norway. The SDL Forum was ?rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with... RRP: $122.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 2005 This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Data Management in a Connected World Data management systems play the most crucial role in building large application s- tems. Since modern applications are no longer single monolithic software blocks but highly flexible and... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Reliable Software Technology - Ada-Europe 2005 Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added New Computational Paradigms CiE 2005: New Computational Paradigms http://www. illc. uva. nl/CiE/ ThecooperationComputabilityinEurope (CiE)isaninformalEuropeannetwork covering computability in theoretical computer science and... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Engineering Human Computer Interaction and Interactive Systems As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Computational Science -- ICCS 2005 The Fifth International Conference on Computational Science (ICCS 2005) held in Atlanta, Georgia, USA, May 22-25, 2005, continued in the tradition of p- vious conferences in the series: ICCS 2004 in... RRP: $309.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Value-Based Software Engineering Ross Jeffery When, as a result of pressure from the CEO, the Chief Information Officer poses the question "Just what is this information system worth to the organization?" the IT staff members are... RRP: $335.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 2004 VECPAR is a series of international conferences dedicated to the promotion and advancement of all aspects of high-performance computing for computational science, as an industrial technique and... RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Interfacing with C++ Learn to write C++ programs by interfacing a computer to a wide range of popular and fundamental real-world technologies. Unique and original approach to use the PC to do real things- not ... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Communicating Sequential Processes. The First 25 Years This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare's paper "Communicating Sequential Processes" is today... RRP: $116.00 Add to Cart The item has been added