Filteren
1
Sorteren
95 resultaten
Serie: Monographs in computer science
gebondenEngels420 blz.9780387940908
1e druk
29-9-1993
'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. Meer
gebondenEngels9780387953496
1-10-2002
Written by the members of the IFIP Working Group 2.3 (Programming Methodology) this text constitutes an exciting reference on the front-line of research activity in programming methodology. Meer
gebondenEngels9780387988702
11-6-1999
Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i. Meer
gebondenEngels9780387008578
3-6-2004
This monograph is a technical survey of concepts and techniques for describing and analyzing large-scale time-series data streams. Some topics covered are algorithms for query by humming, gamma-ray burst detection, pairs trading, and density detection. Meer
gebondenEngels9780387401157
19-11-2004
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
Presents results of a large and integrated body of research in the area of 'quantitative' program logics. Meer
gebondenEngels9780387961316
6-8-1993
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. Meer
gebondenEngels9780387208749
19-11-2004
* Provides an elegant introduction to the geometric concepts that are important to applications in robotics
* Includes significant state-of-the art... Meer
gebondenEngels9780387212951
17-2-2005
Integrates computer vision, pattern recognition, and AI. Meer
gebondenEngels9780387955698
1-12-2004
* The first exposition on super-recursive algorithms, systematizing all main classes and providing an accessible, focused examination of the theory... Meer
gebondenEngels9780387976877
3-12-1991
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. Meer
gebondenEngels9780387941066
6-8-1993
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). Meer
gebondenEngels9780387944203
24-2-1995
In recent years, there has been a great surge of interest in asynchronous circuits, largely through the development of new asynchronous design methodologies. Meer
gebondenEngels9780387002293
28-2-2006
Helps in the development of large software projects.
Uses a well-known open-source software prototype system (Vesta developed at Digital and Compaq Systems Research Lab). Meer
paperbackEngels9780387962764
24-6-1986
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. Meer
gebondenEngels9780387733005
23-10-2008
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. Meer
paperbackEngels9780387964805
21-4-1989
Describes basic programming principles and their step-by-
step applications.Numerous examples are included. Meer
paperbackEngels9780387969107
19-12-1988
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 syntax. Meer
gebondenEngels9780387908212
25-11-1985
Compilers and operating systems constitute the basic interfaces between a programmer and the machine for which he is developing software. In this book we are concerned with the construction of the former. Meer
gebondenEngels9780387941158
22-10-1993
Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. Meer
gebondenEngels9780387950730
27-4-2001
A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Meer