Add Wish List Add to Cart The item has been added Advances in Database Technology - EDBT '90 Database technology is currently being pushed by the needs of new applications and pulled by the oppor- tunities of novel developments in hardware and systems architecture. The invited paper, two... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Concepts, Design, and Performance Analysis of a Parallel Prolog Machine This monograph presents a novel execution model for the parallel execution of standard sequential Prolog. In this execution model Prolog procedure calls can be efficiently pipelined, and the author... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added CAD*I Drafting Model RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Parsing Theory This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars. Volume I, "Languages and Parsing" (Chapters 1 to 5), was an introduction to the basic... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Introduction to Programming with Modula-2 This book is intended for the novice as well as for the experienced programmer who wants to learn Modula-2. We do not limit ourselves to just a description of Modula-2. Instead, we seek to... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Interactive Relational Database Design Relational databases have quickly come to be regarded as a natural and efficient way of organizing information. Duplicate data can be eliminated and powerful set-theoretic operations can be used to... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added CSL'88 This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Mathematical Foundations of Computer Science 1989 The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS '89 held in Porabka-Kozubnik, Poland, from August 28 to... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Algorithms for Parallel Polygon Rendering This book is the result of the research in the implementation of polygon-based graphics operations on certain general purpose parallel processors; the aim is to provide a speed-up over sequential... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Algebraic Methods RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added ESEC '89 The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Apl2 Dieses Buch ist eine Einführung in APL2, eine Erweiterung und Verallgemeinerung der Programmiersprache APL. APL2 ist eine ideale Programmiersprache zur Lösung kommerzieller, technischer und... RRP: $83.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Logic Programming '88 This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Foundations of Equational Logic Programming Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic... RRP: $86.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Finite Representations of CCS and TCSP Programs by Automata and Petri Nets This work relates different approaches for the modelling of parallel processes. On the one hand there are the so-called "process algebras" or "abstract programming languages" with Milner's Calculus... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Compiler Generators The OrIgIn of this monograph is a course entitled "Semantics directed Compiler Generation" which Professor Neil D. Jones gave in 1982 at Copenhagen University, where I was a student at the time. In... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Compiler Compilers and High Speed Compilation Advances and problems in the field of compiler compilers are the subject of the 2nd CCHSC Workshop which took place in Berlin, GDR, in October 1988. The 18 papers which were selected for the workshop... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added PARLE '89 - Parallel Architectures and Languages Europe Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the organization of this second issue known as PARLE... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: -... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consisted of three parts: - Advanced... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Reliability Modelling and Identification This volume contains five tutorial papers based on the lectures given at the intensive course on Software Reliability Modelling and Identification in Como (Italy) from September 2 to 4, 1987. The... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Compositionality, Concurrency, and Partial Correctness The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this principle of program decomposition on... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Programming Languages Implementation and Logic Programming The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results. The intention was... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Fsttcs 2006 This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006, held in Kolkata, India, in... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Recent Trends in Data Type Specification The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Attribute Grammars Attribute Grammars have turned into one of the most fundamental formalisms of modern Computer Science. Since 1968 when Knuth introduced the basic concepts, they have been the subject of a very large... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Formal Approaches to Software Testing and Runtime Verification This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Leveraging Applications of Formal Methods This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Transactions on Aspect-Oriented Software Development II This volume presents two regular revised papers, a guest editors' introduction, and six papers in a special section that have been through a careful peer reviewing process by the journal's Editorial... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Rigorous Development of Complex Fault-Tolerant Systems This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Central European Functional Programming School This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the first Central European Functional Programming School, CEFP 2005, held in... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Middleware 2006 This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 7th International Middleware Conference 2006, held in Melbourne, Australia, in November/December 2006. The 21 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 Theoretical Aspects of Computing - ICTAC 2006 This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006 held in Tunis, Tunisia in November 2006. The 21 revised full... 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 2006 This book constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint Programming, CP 2006, held in Nantes, France in September 2006. ... RRP: $238.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Refinement Techniques in Software Engineering This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Generative and Transformational Techniques in Software Engineering This tutorial book presents an augmented selection of material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2005. The book... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Variations on Constants This monograph focuses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem, combining... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added UML 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools Five years on from its adoption in 1997 by the Object Management Group (OMG), the Uni?ed Modeling Language is the de facto standard for creating - agrammatic models of software systems. More than 100... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Invasive Software Composition Invasive software composition as a new, component-based way to construct software systems is presented. To improve reuse, this method regards software components as greybox and integrates them during... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Autonomous Dynamic Reconfiguration in Multi-Agent Systems High communication efforts and poor problem solving results due to restricted overview are two central issues in collaborative problem solving. This work addresses these issues by introducing the... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Formal Techniques in Real-Time and Fault-Tolerant Systems This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9-12... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Computer Safety, Reliability and Security This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.The 27... 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 2002 This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.The 38... RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Applied Semantics This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in... RRP: $92.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 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 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