Add Wish List Add to Cart The item has been added Extreme Programming and Agile Methods - XP/Agile Universe 2002 Don Wells The second XP Universe and ?rst Agile Universe brought together many p- ple interested in building software in a new way. Held in Chicago, August 4-7, 2002 it attracted software experts, educators,... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Computational Logic A.C. Kakas Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a... RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added FME 2002 Lars-Henrik Eriksson This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are... RRP: $185.90 $183.11 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advanced Environments, Tools, and Applications for Cluster Computing Dan Grigoras Started by small group of well known scientists with the aim of sharing knowledge, experiences, and results on all aspects of cluster computing, the initiative of a workshop on cluster computing... 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 2001 Workshop Reader Akos Frohner For the ?fth time in its history, in cooperation with Springer-Verlag, the European C- ference on Object-Oriented Programming (ECOOP) conference series is glad to offer the object-oriented research... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Funktionale Programmierung Peter Pepper Dieses Lehrbuch gibt eine kompakte Einführung in die Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Es setzt keine Programmierkenntnisse voraus und eignet sich... RRP: $70.40 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Life Long Learning Cornelia Seeberg Lernen mit elektronischen Dokumenten wird immer wichtiger. Der entscheidende Vorteil des Mediums Computer ist die Möglichkeit, dynamische Dokumente zu erzeugen. Diese Dynamik kann zum einen in den... RRP: $88.65 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Automata, Languages and Programming Peter Widmayer This volume contains the contributions of the 29th International Colloquium on Automata, Languages, and Programming (ICALP) held July8-13, 2002 in M´alaga, Spain. The diversityand the qualityof the... RRP: $228.69 $225.26 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Computational Science - ICCS 2002 Peter M.A. Sloot Computational Science is the scienti?c discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems. The area of... RRP: $279.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Intelligent Agents VIII John-Jules C. Meyer This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops. These workshops on "Agent Theories, Architectures, and L- guages" have established themselves as a... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Next Generation Information Technologies and Systems Alon Halevy NGITS2002 was the ?fth workshop of its kind, promoting papers that discuss new technologies in information systems. Following the success of the four p- vious workshops (1993, 1995, 1997, and 1999),... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Innovative Internet Computing Systems Herwig Unger 2 I CS2002wasthesecondworkshoponInnovativeInternetComputingSystems, a series of international workshops on system and information management for 2 theNextGenerationInternet(NGI)... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Reliable Software Technologies - Ada-Europe 2002 Johann Blieberger This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002.The 24 revised full papers... RRP: $105.39 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added ECOOP 2002 - Object-Oriented Programming Boris Magnusson Object-Orientation has for a number of years now been accepted as the ind- try standard in many areas. Coming from the area of simulation it showed its ... RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Quality - ECSQ 2002 Jyrki Kontio Software professionals and companies live in a new world today. Increasingly complex systems need to be built faster and cheaper. While many of the est- lished approaches in software quality are... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Roland Backhouse Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added B2B Integration Christoph Bussler Business-to-business (B2B) integration is a buzzword which has been used a lot in recent years, with a variety of meanings. Starting with a clear technical definition of this term and its relation to... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Soft-Ware 2002 David Bustard This was the ?rst conference of a new series devoted to the e?ective handling of soft issues in the design, development, and operation of computing systems. The conference brought together... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Contracts, Scenarios and Prototypes Reinhold Ploesch What is this Book About? At the beginning of the 21st century, computer systems-and especially so- ware-play an important role in our society. Software is contained in virtually every technical... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Cryptology - EUROCRYPT 2002 Lars Knudsen This book constitutes the refereed proceedings of the International Conference on the Theory and Application of Cryptographic Techniques, EUROCRYPT 2002, held in Amsterdam, The Netherlands, in... RRP: $219.36 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Data Mining and Knowledge Discovery with Evolutionary Algorithms Alex A. Freitas This book integrates two areas of computer science, namely data mining and evolutionary algorithms. Both these areas have become increasingly popular in the last few years, and their integration is... RRP: $219.36 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software-Entwicklung für Kommunikationsnetze Axel Pink 1 Das Wesen von Software.- 2 Dynamik in der Software- Entwicklung.- 3 Software-Architektur.- 4 Beispiel einer Software-Architektonik.- 5 Zeit- und Kostenschätzungen.- 6 Architekturfaktoren, Prozedur... RRP: $87.99 $86.23 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Programming Constraint Services Christian Schulte Constraint Programming is an approach for modeling and solving combi- torial problems that has proven successful in many applications. It builds on techniques developed in Arti?cial Intelligence,... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added From Theory to Practice in Multi-Agent Systems Barbara Dunin-Keplicz This volume contains the papers selected for presentation at CEEMAS 2001. The wo- shop was the fourth in a series of international conferences devoted to autonomous agents and multi-agent systems... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Visualization Stephan Diehl This book presents the state of the art in software visualization and thus attempts to establish it as a field on its own. Based on a seminar held at Dagstuhl Castle in May 2001, the book offers... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Agent-Oriented Software Engineering II Michael J. Wooldridge Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in computing generally. One of the most... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Smart Card Application Development Using Java Uwe Hansmann Smart cards play an increasingly important role in everyday life. We encounter them as credit cards, loyalty cards, electronic purses, health cards, ands as secure tokens for authentication or... RRP: $189.28 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Object Modeling with the OCL Tony Clark As part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added ZB 2002 Didier Bert These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Rough-Neural Computing Sankar Kumar Pal Soft computing comprises various paradigms dedicated to approximately solving real-world problems, e.g. in decision making, classification or learning; among these paradigms are fuzzy sets, rough... RRP: $334.16 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Stochastic Algorithms Kathleen Steinhöfel SAGA 2001, the ?rst Symposium on Stochastic Algorithms, Foundations and Applications, took place on December 13-14, 2001 in Berlin, Germany. The present volume comprises contributed papers and four... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Progress in Cryptology - INDOCRYPT 2001 C. Pandu Rangan INDOCRYPT 2001, the Second Annual Crypto Conference, is proof of the s- ni?cant amount of enthusiasm generated among Indian as well as International crypto communities. INDOCRYPT 2001 was organized... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Formal and Natural Computing Wilfried Brauer This book presents state of the art research in theoretical computer science and related ?elds. In particular, the following areas are discussed: automata theory, formal languages and combinatorics... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Modular Specification and Verification of Object-Oriented Programs Peter Müller Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots 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 Transactional Agents Khaled Nagi The term "agent" is one of those catchwords that mean widely differing things to different people. To telecommunications people it is little more than a mobile piece of code that may be executed at... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added High Performance Computing - HiPC 2001 Burkhard Monien MessagefromtheGeneralCo-Chairs It is our pleasure to welcome you to the Eighth International Conference on High Performance Computing and to Hyderabad, a leading center for Infor- ... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added FST TCS 2001 Ramesh Hariharan This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of 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 Advances in Cryptology Asiacrypt 2001 C. Boyd The origins of the Asiacrypt series of conferences can be traced back to 1990, when the ?rst Auscrypt conference was held, although the name Asiacrypt was ?rst used for the 1991 conference in Japan... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Modeling and Verification of Parallel Processes Franck Cassez Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad... RRP: $100.09 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Theoretical Aspects of Computer Software Naoki Kobayashi This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001. The... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Persistent Object Systems Graham N.C. Kirby The Ninth International Workshop on Persistent Object Systems (POS 9) took place at the SAS Radisson Hotel in Lillehammer, Norway, from 6th to 8th September 2000. Previous workshops in the series... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Quality and Software Testing in Internet Times Dirk Meyerhoff This publication deals with two major software quality management challenges. The first one involves how to deliver a software product within a competitive time frame and with a satisfying quality to... RRP: $106.58 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Logic for Programming, Artificial Intelligence, and Reasoning Robert Nieuwenhuis This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the... RRP: $185.90 $183.11 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added SOFSEM 2001 Leszek Pacholski SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 - December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. This... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Automata Implementation Oliver Boldt This volume contains the revised versions of papers presented at the fourth international Workshop on Implementing Automata (WIA), held 17-19 July, 1999, at Potsdam University, Germany. As for its... 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 2001 Rachid Guerraoui 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: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Proof Theory in Computer Science Reinhard Kahle 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: $121.54 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 Martin Gogolla 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: $115.93 Add to Cart The item has been added