Add Wish List Add to Cart The item has been added COLOG-88 Per Martin-Löf This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added LOGLAN '88 - Report on the Programming Language Antoni Kreczmar LOGLAN '88 belongs to the family of object oriented programming languages. It embraces all important known tools and characteristics of OOP, i.e. classes, objects, inheritance, coroutine sequencing, ... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Database Technology - EDBT '90 Francois Bancilhon 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: $93.49 $91.62 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 Joachim Beer 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: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added CAD*I Drafting Model Richard Schuster RRP: $226.80 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 Sirish L. Shah 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: $226.80 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 Ernst G. Schlechtendahl RRP: $199.42 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Parsing Theory Seppo Sippu 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: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Engineering Databases Jose L. Encarnacao 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: $226.80 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 Günther Blaschek 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: $105.39 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Interactive Relational Database Design Tapan P. Bagchi 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: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Optimal Algorithms Hristo Djidjev 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: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Temporal Logic in Specification Behnam Banieqbal RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Analogical and Inductive Inference Klaus P. Jantke RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Categorical Methods in Computer Science Hartmut Ehrig 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: $121.54 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 Manfred Schmidt-Schauß RRP: $85.79 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 Deborah Thomas RRP: $185.90 $183.11 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Lecture Notes in Engineering Ghodratollah Karami RRP: $185.90 $183.11 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 Wai-Yin Ng 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: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added CSL'88 Egon Börger 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: $121.54 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 Antoni Kreczmar 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: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Algorithms for Parallel Polygon Rendering Theoharis Theoharis 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: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Algebraic Methods Martin Wirsing RRP: $185.90 $183.11 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added ESEC '89 Carlo Ghezzi 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: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Apl2 James A. Brown 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: $99.19 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Parallel Computing 1988 Gerrit A. van Zee 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: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Logic Programming '88 Koichi Furukawa 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: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Foundations of Equational Logic Programming Steffen Hölldobler 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: $85.79 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 Dirk A. Taubner 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: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added EUROCAL '87 James H. Davenport 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: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Compiler Generators Mads Tofte 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: $226.80 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 Dieter Hammer 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: $93.49 $91.62 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 Eddy Odijk 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: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Logic at Botik '89 Albert R. Meyer 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: $115.93 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 Jacobus W. de Bakker 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: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added CAD Rudolf Koller Computer Aided Design - kurz CAD - ist die Wissenschaft und Technik des Automatisierens von Konstruktions- und Zeichentätigkeiten. Wesentliche Inhalte des vorliegenden Buches sind ... RRP: $99.19 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 Josep Diaz 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: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Algebraic and Logic Programming Jan Grabowski 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: $115.93 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 Josep Diaz 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: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Reliability Modelling and Identification Sergio Bittanti 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: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Proceedings / Parcella 1988 Gottfried Wolf 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: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Compositionality, Concurrency, and Partial Correctness Job Zwiers 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: $93.49 $91.62 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 Pierre Deransart 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: $121.54 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 Ernst G. Schlechtendahl 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: $199.42 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Fsttcs 2006 S. Arun-Kumar 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: $121.54 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 Geyong Min RRP: $226.80 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 Kesav V. Nori 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: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Concurrency 88 Friedrich H. Vogt 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: $93.49 $91.62 Add to Cart The item has been added