Monographs in Computer Science – serie
Visar alla böcker i serien Monographs in Computer Science. Handla med fri frakt och snabb leverans.
94 produkter
Selected Writings on Computing: A personal Perspective
Häftad, 2011
1463 kr
Lägg i varukorg
Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before. The daily routine changed: instead of going to the University each day, where I used to spend most of my time in the company of others, I now went there only one day a …
Software Configuration Management Using Vesta
Av Clark Allan Heydon, Roy Levin m. fl.
Inbunden, 2006
1127 kr
Lägg i varukorg
The core technologies underlying software configuration managementhave changed little in more than two decades. Developmentorganizations struggle to manage ever larger software systems with tools that were never designed to handle them. Their development processes are warped by the inadequacies of …
High Performance Discovery In Time Series
Techniques and Case Studies
Av Donna Ryan, New York University Courant Inst. Mathematical Sciences m. fl.
Inbunden, 2004
1079 kr
Lägg i varukorg
Overview and Goals Data arriving in time order (a data stream) arises in fields ranging from physics to finance to medicine to music, just to name a few. Often the data comes from sensors (in physics and medicine for example) whose data rates continue to improve dramati cally as sensor technology …
Parsing Techniques
A Practical Guide
Av Dick Grune, Ceriel J.H. Jacobs
Inbunden, 2007
2471 kr
Lägg i varukorg
Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics. Today, parsing techniques are also implemented in a number of other disciplines, including but not limited to, document preparation and conversion, typesetting chemical …
Geometric Fundamentals of Robotics
Av J.M. Selig
Inbunden, 2004
1094 kr
Lägg i varukorg
Geometric Fundamentals of Robotics provides an elegant introduction to the geometric concepts that are important to applications in robotics. This second edition is still unique in providing a deep understanding of the subject: rather than focusing on computational results in kinematics and …
Evolutionary Synthesis of Pattern Recognition Systems
Av Bir Bhanu, Yingqiang Lin m. fl.
Inbunden, 2005
1687 kr
Lägg i varukorg
Evolutionary computation is becoming increasingly important for computer vision and pattern recognition and provides a systematic way of synthesis and analysis of object detection and recognition systems. Incorporating "learning" into recognition systems will enable these systems to automatically …
Adapting Proofs-as-Programs
The Curry--Howard Protocol
Av Iman Poernomo, John N. Crossley m. fl.
Inbunden, 2005
1638 kr
Lägg i varukorg
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs …
Abstraction, Refinement and Proof for Probabilistic Systems
Av Annabelle McIver, Charles Carroll Morgan
Inbunden, 2004
1638 kr
Lägg i varukorg
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a …
Reverse Engineering of Object Oriented Code
Av Paolo Tonella, Alessandra Potrich
Inbunden, 2004
1127 kr
Lägg i varukorg
During maintenance of a software system, not all questions can be answered directly by resorting to otherwise reliable and accurate source code. Reverse engineering aims at extracting abstract, goal-oriented views of the system, able to summarize relevant properties of the program's computations. …
Numerical Geometry of Non-Rigid Shapes
Av Alexander M. Bronstein, Michael M. Bronstein m. fl.
Inbunden, 2008
822 kr
Lägg i varukorg
Deformable objects are ubiquitous in the world surrounding us, on all levels from micro to macro. The need to study such shapes and model their behavior arises in a wide spectrum of applications, ranging from medicine to security. In recent years, non-rigid shapes have attracted growing interest, …
Algorithmic Algebra
Inbunden, 1993
551 kr
Lägg i varukorg
Algorithmic Algebra studies some of the main algorithmic tools of computer algebra, covering such topics as Gröbner bases, characteristic sets, resultants and semialgebraic sets. The main purpose of the book is to acquaint advanced undergraduate and graduate students in computer science, …
Practical Theory of Programming
Inbunden, 1993
567 kr
Lägg i varukorg
There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular …
Logical Approach to Discrete Math
Av David Gries, Fred B. Schneider
Inbunden, 1993
877 kr
Lägg i varukorg
This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo sitional and predicate calculi and then to exercise that skill …
Asynchronous Circuits
Av Janusz A. Brzozowski, Carl-Johan H. Seger
Inbunden, 1995
1638 kr
Lägg i varukorg
Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchronous circuits have been viewed as difficult to understand and design. In recent years, however, there has been a great surge of interest in …
Theory of Objects
Av Martin Abadi, Luca Cardelli
Inbunden, 1996
2583 kr
Lägg i varukorg
Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in …
Parameterized Complexity
Av Rodney G. Downey, M.R. Fellows
Inbunden, 1998
2725 kr
Lägg i varukorg
The idea for this book was conceived over the second bottle of Villa Maria's Caber net Medot '89, at the dinner of the Australasian Combinatorics Conference held at Palmerston North, New Zealand in December 1990, where the authors first met and discovered they had a number of interests in common. …
Specification and Development of Interactive Systems
Focus on Streams, Interfaces, and Refinement
Inbunden, 2001
567 kr
Lägg i varukorg
This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to …
Panoramic Vision
Sensors, Theory, and Applications
Av Ryad Benosman, Sing B. Kang
Inbunden, 2001
1687 kr
Lägg i varukorg
This book features representative work in the design of panoramic image capturing systems, the theory involved in the imaging process, and applications that use panoramic images. The intended audience is anyone who wishes to become familiar with panoramic vision and its latest research work. The …
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
Av Domenico Cantone, Eugenio Omodeo m. fl.
Inbunden, 2001
1687 kr
Lägg i varukorg
Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today's variety of systems with crisp, formal tools is a prerequisite for a high degree of control over sets and aggregates. The many algorithmic …
Discipline of Multiprogramming
Programming Theory for Distributed Applications
Inbunden, 2001
567 kr
Lägg i varukorg
In this book, a programming model is developed that addresses the fundamental issues of "large-scale programming," unifying several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory have been christened "Seuss." The major …
Programming Methodology
Av Annabelle Mclver, Carroll Morgan
Inbunden, 2002
1127 kr
Lägg i varukorg
The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this …
Super-Recursive Algorithms
Av Mark Burgin
Inbunden, 2004
1094 kr
Lägg i varukorg
Super-Recursive Algorithms provides an accessible, focused examination of the theory of super-recursive algorithms and its ramifications for the computer industry, networks, artificial intelligence, embedded systems, and the Internet. The book demonstrates how these algorithms are more appropriate …
Computational Geometry
An Introduction
Av Franco P. Preparata, Michael I. Shamos
Inbunden, 1985
1312 kr
Lägg i varukorg
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 so as computational geometry. ... ... The book is well organized and lucidly written; a timely contribution by two founders of the field. It clearly …
Relational Database Technology
Av Suad Alagic
Häftad, 1986
1127 kr
Lägg i varukorg
This book presents a unified collection of concepts, tools, and techniques that constitute the most important technology available today for the design and implementation of information systems. The framework adopted for this integration goal is the one offered by the relational model of data, its …
Science of Programming
Av David Gries
Häftad, 1987
1015 kr
Lägg i varukorg
Describes basic programming principles and their step-by-step applications.Numerous examples are included.
Synthesizer Generator Reference Manual
Av Thomas W. Reps, Tim Teitelbaum
Häftad, 1988
1127 kr
Lägg i varukorg
The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The editor designer prepares a specification that includes rules defining a language's context-free abstract syn tax, context-sensitive relationships, display format, and concrete input …
Beauty Is Our Business
A Birthday Salute to Edsger W. Dijkstra
Av W.H.J. Feijen, A.J.M. van Gasteren m. fl.
Inbunden, 1990
2247 kr
Lägg i varukorg
More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enough to be influenced by him and his work and to be called his friend or relation, his master, colleague, or pupil. This book contains fifty-four …
Programming in the 1990s
An Introduction to the Calculation of Programs
Av Edward Cohen
Häftad, 1990
567 kr
Lägg i varukorg
Programming is a fascinating and challenging subject. Unfortunately, it is rarely presented as such. Most often it is taught by "induction": features of some famous programming languages are given operational meaning (e.g. a loop "goes round and round"), a number of examples are shown, and by …
Design and Analysis of Algorithms
Inbunden, 1991
1239 kr
Lägg i varukorg
These are my lecture notes from CS681: Design and Analysis of Algo rithms, a one-semester graduate course I taught at Cornell for three consec utive fall semesters from '88 to '90. The course serves a dual purpose: to cover core material in algorithms for graduate students in computer science …
Active Rules in Database Systems
Inbunden, 1998
1687 kr
Lägg i varukorg
Active rules provide a new and important method for designing databases and the subject is seeing an increasing amount of attention from commercial database companies. This book provides a timely survey of the field from the point of view of some of the subject's most active researchers. The book …
