Add Wish List Add to Cart The item has been added Principles and Practice of Constraint Programming - CP98 Michael Maher Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This volume contains papers... RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Reliable Software Technologies - Ada-Europe '98 Lars Asplund This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala, Sweden, in June 1998.The 23 revised full... RRP: $121.54 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 - CP97 Gert Smolka This book constitutes the refereed proceedings of the Third International Conference on Principles and Practice of Constraint Programming, CP'97, held in Linz, Austria in October/November 1997.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 FME '97 Industrial Applications and Strengthened Foundations of Formal Methods John Fitzgerald This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods ,... RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Engineering - ESEC-FSE '97 Mehdi Jazayeri This book constitutes the refereed proceedings of the 6th European Conference on Software Engineering, FSE '97, held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Compiler Compilers Dieter Hammer Advances and problems in the field of compiler compilers are considered in this volume, which presents the proceedings of the third in a series of biannual workshops on compiler compilers. Selected... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added ICDT '90 Serge Abiteboul The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Combinatorics on Traces Volker Diekert Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concurrency are not yet sufficiently developed. This... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Attribute Grammars and their Applications Pierre Deransart Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particularly so in industry, despite their qualities 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 Programming Language Implementation and Logic Programming Pierre Deransart This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Programming (PLILP '90) held in Linköping, Sweden,... 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 1990 Branislav Rovan This volume contains papers selected for presentation at the 15th Symposium on Mathematical Foundations of Computer Science, MFCS '90, held at Banská Bystrica, Czechoslovakia, August 27-31, 1990... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Parallel Lisp Takayasu Ito This volume presents the proceedings of a workshop at which major Parallel Lisp activities in the US and Japan were explained. Work covered includes Multilisp and Mul-T at MIT, Qlisp at Stanford,... RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Design and Implementation of Symbolic Computation Systems Alfonso Miola The growing importance of the systems for symbolic computation has greatly influenced the decision of organizing DISCO '90 which is short for International Symposium on Design and Implementation of... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added SIL - a Simulation Language Niels Houbak RRP: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Specification and Transformation of Programs Helmut A. Partsch "Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem... RRP: $105.39 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 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 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 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 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 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 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 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 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 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 Recent Trends in Data Type Specification Donald Sannella 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: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Attribute Grammars Pierre Deransart 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: $121.54 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 Klaus Havelund 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: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Leveraging Applications of Formal Methods Tiziana Maragria 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: $121.54 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 Awais Rashid 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: $115.93 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 Michael Butler 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: $121.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Central European Functional Programming School Zoltn Horvth 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: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Middleware 2006 Maarten van Steen 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: $121.54 Add to Cart The item has been added