Add Wish List Add to Cart The item has been added Computational Logic 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: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added FME 2002 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: $184.00 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 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: $122.00 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 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Funktionale Programmierung 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: $71.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Life Long Learning 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: $89.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Automata, Languages and Programming 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: $226.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Computational Science - ICCS 2002 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: $280.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Intelligent Agents VIII 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: $92.00 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 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: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Innovative Internet Computing Systems 2 I CS2002wasthesecondworkshoponInnovativeInternetComputingSystems, a series of international workshops on system and information management for 2 theNextGenerationInternet(NGI)... RRP: $116.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 2002 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added ECOOP 2002 - Object-Oriented Programming 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: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Quality - ECSQ 2002 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: $122.00 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 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added B2B Integration 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Soft-Ware 2002 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Contracts, Scenarios and Prototypes 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: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Cryptology - EUROCRYPT 2002 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: $220.00 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 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: $220.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software-Entwicklung für Kommunikationsnetze 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.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Programming Constraint Services 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: $122.00 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 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Visualization 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: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Agent-Oriented Software Engineering II 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: $92.00 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 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: $220.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Object Modeling with the OCL 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added ZB 2002 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: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Cooperative Environments for Distributed Systems Engineering The engineering life cycle for complex systems design and development, where partners are dispersed in different locations, requires the set-up of adequate and controlled processes involving many... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Rough-Neural Computing 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: $335.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Stochastic Algorithms 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Progress in Cryptology - INDOCRYPT 2001 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Formal and Natural Computing 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: $122.00 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 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: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Soft Computing - AFSS 2002 It is our great pleasure to welcome you all to the 2002 AFSS International Conference on Fuzzy Systems (AFSS 2002) to be held in Calcutta, the great City of Joy. AFSS 2002 is the ?fth conference in... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Multiset Processing Themultiset (a set with multiplicities associated with its elements, in the form of natural numbers) is a notion which has appeared again and again in many areas of mathematics and computer science,... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Transactional Agents 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added High Performance Computing - HiPC 2001 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added FST TCS 2001 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: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Cryptology Asiacrypt 2001 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: $122.00 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 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: $101.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Theoretical Aspects of Computer Software 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: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Persistent Object Systems 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: $92.00 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 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: $107.00 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 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: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added SOFSEM 2001 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: $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 - CP 2001 This book constitutes the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001, held in Paphos, Cyprus, in November/December 2001.The... RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Automata Implementation 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: $92.00 Add to Cart The item has been added