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 Adaptive Control Strategies for Industrial Use The objective of this workshop was to bring together engineers from industry and scientists from universities to focus attention on new developments and practical enhancements for using adaptive... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added CAD Data Transfer for Solid Models 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 Engineering Databases Automation is nothing new to industry. It has a long tradition on the factory floor, where its constant objective has been to increase the productivity of manufacturing processes. Only with the... RRP: $227.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 Optimal Algorithms This volume brings together papers from various fields of theoretical computer science, including computational geometry, parallel algorithms, algorithms on graphs, data structures and complexity of... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Temporal Logic in Specification RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Analogical and Inductive Inference RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Categorical Methods in Computer Science This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Computational Aspects of an Order-Sorted Logic with Term Declarations RRP: $86.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Specification for Exchange of Product Analysis Data RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Lecture Notes in Engineering RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Interactive Multi-Objective Programming as a Framework for Computer-Aided Control System Design This monograph reports the development of an approach to computer-aided control system design (CACSD). Of primary concern is the quality of cooperation between the designer and his computer. The... 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 Parallel Computing 1988 Parallel computing research is now yielding a growing stream of results, and the first applications within Shell may be expected to be delivered within a few years. The aim of this conference on... RRP: $122.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 EUROCAL '87 This is the sixth in a series of conference proceedings of international conferences on computer algebra held in Europe. All the preceding ones have also been published as Lecture Notes in Computer... RRP: $122.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 Logic at Botik '89 The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added CAD Computer Aided Design - kurz CAD - ist die Wissenschaft und Technik des Automatisierens von Konstruktions- und Zeichentätigkeiten. Wesentliche Inhalte des vorliegenden Buches sind ... RRP: $87.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 Algebraic and Logic Programming This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was... RRP: $116.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 Proceedings / Parcella 1988 This volume contains selected papers for the Parcella '88, the Fourth International Workshop on "Parallel Processing by Cellular Automata and Arrays" held in Berlin from October 17 to 21, 1988. 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 Specification of a CAD * I Neutral File for CAD Geometry ESPRIT Project 322, "CAD Interfaces", has been established to define the most important interfaces in CAD/CAM systems for data exchange, data base, finite element analysis, experimental analysis, and... RRP: $184.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 Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Foundations of Software Technology and Theoretical Computer Science This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Concurrency 88 This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hamburg. CONCURRENCY 88 responded to great... RRP: $92.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 CSL '87 This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic... RRP: $92.00 Add to Cart The item has been added