Larch: Languages and Tools for Formal Specification

John V Guttag, James J Horning

• Paperback | Engels | Monographs in Computer Science
• Building software often seems harder than it ought to be. It takes longer than expected, the software's functionality and performance are not as wonde... Lees meer

Adapting Proofs-As-Programs

Iman Poernomo, John N Crossley, Martin Wirsing

• Paperback | Engels | Monographs in Computer Science
• This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches t... Lees meer

A Theory of Objects

Martin Abadi, Luca Cardelli

• Paperback | Engels | Monographs in Computer Science
• This book develops a theory of objects as a foundation for object- oriented languages and programming. It shows how object-oriented notions may be exp... Lees meer

Compiler Construction

William M Waite, Gerhard Goos

• Paperback | Engels | Monographs in Computer Science
• Compilers and operating systems constitute the basic interfaces between a programmer and the machine for which he is developing software. In this book... Lees meer

High Performance Discovery in Time Series

New York University

• Paperback | Engels | Monographs in Computer Science
• This monograph is a technical survey of concepts and techniques for describing and analyzing large-scale time-series data streams. Some topics covered... Lees meer

An Introduction to Formal Language Theory

Robert N Moll, Michael A Arbib, A J Kfoury

• Paperback | Engels | Monographs in Computer Science
• The study of formal languages and of related families of automata has long been at the core of theoretical computer science. Until recently, the main ... Lees meer

Expert Systems and Probabilistic Network Models

Enrique Castillo, Jose M Gutierrez, Ali S Hadi

• Paperback | Engels | Monographs in Computer Science
• Artificial intelligence and expert systems have seen a great deal of research in recent years, much of which has been devoted to methods for incorpora... Lees meer

A Practical Theory of Programming

Eric C R Hehner

• Hardcover | Engels | Monographs in Computer Science
• This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is simpler and more... Lees meer

A Theory of Objects

Martin Abadi, Luca Cardelli

• Hardcover | Engels | Monographs in Computer Science
• This book develops a theory of objects as a foundation for object- oriented languages and programming. It shows how object-oriented notions may be exp... Lees meer

A Logical Approach to Discrete Math

David Gries, Fred B Schneider

• Paperback | Engels | Monographs in Computer Science
• This text attempts to change the way logic and discrete math are taught in computer science and mathematics. While many books treat logic simply as an... Lees meer

Numerical Geometry of Non-Rigid Shapes

Alexander M Bronstein, Michael M Bronstein, Ron Kimmel

• Paperback | Engels | Monographs in Computer Science
• Deformable objects are ubiquitous in the world, on all levels from micro to macro. Study and modeling of such shapes arises in a wide spectrum of appl... Lees meer

Mathematical Foundations of Computer Science

Peter A Fejer, Dan A Simovici

• Paperback | Engels | Monographs in Computer Science
• Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) wh... Lees meer

What Computing Is All about

Jan L a Van De Snepscheut

• Paperback | Engels | Monographs in Computer Science
• This book will be for a first or second year undergraduate course in computer science. Assuming that a student already has had one course in programmi... Lees meer

A Guide to Modula-2

Kaare Christian

• Paperback | Engels | Monographs in Computer Science
• Modula-2 is a simple yet powerful programming language that is suitable for a wide variety of applications. It is based on Pascal, a successful progra... Lees meer

String-Rewriting Systems

Ronald V Book, Friedrich Otto

• Paperback | Engels | Monographs in Computer Science
• The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting was first introduced by Axel Thue in the early pa... Lees meer

Programming in Modula-2

Niklaus Wirth

• Paperback | Engels | Monographs in Computer Science
• This text is an introduction to programming in general, and a manual for programming with the language Modula-2 in particular. It is oriented primaril... Lees meer

Asynchronous Circuits

Janusz A Brzozowski, Carl-Johan H Seger

• Hardcover | Engels | Monographs in Computer Science
• Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchro... Lees meer

Computational Geometry

Franco P Preparata, Michael I Shamos

• Paperback | Engels | Monographs in Computer Science
• From the reviews: "This book offers a coherent treatment, at the graduate textbook level, of the field that has come to be known in the last decade or... Lees meer

Software Configuration Management Using Vesta

Clark Allan Heydon, Roy Levin, Timothy P Mann, Yuan Yu

• Hardcover | Engels | Monographs in Computer Science
• This monograph, and accompanying open-source software Vesta, addresses two core problems in developing large software projects: versioning and buildin... Lees meer

Computer Systems

• Paperback | Engels | Monographs in Computer Science
• A critical collection of edited-survey research papers spanning the entire range of Roger Needham's distinguished scientific career, from operating sy... Lees meer

Reverse Engineering of Object Oriented Code

Paolo Tonella, Alessandra Potrich

• Paperback | Engels | Monographs in Computer Science
• During maintenance of a software system, not all questions can be answered directly by resorting to otherwise reliable and accurate source code. Rever... Lees meer

Relational Database Technology

Suad Alagic

• Hardcover | Engels | Monographs in Computer Science
• This book presents a unified collection of concepts, tools, and techniques that constitute the most important technology available today for the desig... Lees meer

Methods and Applications of Error-Free Computation

R T Gregory, E V Krishnamurthy

• Paperback | Engels | Monographs in Computer Science
• This book is written as an introduction to the theory of error-free computation. In addition, we include several chapters that illustrate how error-fr... Lees meer

Adapting Proofs-As-Programs

Iman Poernomo, John N Crossley, Martin Wirsing

• Hardcover | Engels | Monographs in Computer Science
• This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches t... Lees meer