Filteren
1
Sorteren
Pagina 3 van
95 resultaten
Serie: Monographs in computer science
paperbackEngels9781461287421
8-10-2011
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
paperbackEngels9781461287575
7-10-2011
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
paperbackEngels9781441918420
12-12-2011
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
paperbackEngels9781461287926
16-12-2011
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. Meer
paperbackEngels9781461291602
12-10-2011
Probabilistic Analysis of Algorithms begins with a presentation of the "tools of the trade" currently used in probabilistic analyses, and continues with an applications section in which these tools are used in the analysis ofr selected algorithms. Meer
paperbackEngels9781461395973
2-3-2012
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 reasons for this centrality were connected with the specification and analy sis of programming languages, which led naturally to the following ques tions. Meer
paperbackEngels9781461396253
14-12-2011
This book is a detailed account of the Synthesizer Generator, a system for creat ing specialized editors that are customized for editing particular languages. Meer
paperbackEngels9781461396604
16-1-2012
This book provides a superb introduction to and overview of the MIT PI System for custom VLSI placement and routing. Alan Sher man has done an excellent job of collecting and clearly presenting material that was previously available only in various theses, confer ence papers, and memoranda. Meer
paperbackEngels9781461397731
14-12-2011
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 part of this century. Meer
paperbackEngels9781441930606
6-12-2010
* The first exposition on super-recursive algorithms, systematizing all main classes and providing an accessible, focused examination of the theory... Meer
paperbackEngels9781461293477
8-10-2011
The main purpose of this book is to bring together much of the research conducted in recent years in a subject I find both fascinating and impor tant, namely fairness. Meer
paperbackEngels9781461293491
27-12-2012
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 programming language that was introduced in 1970 by Niklaus Wirth. Meer
paperbackEngels9781461293828
1-10-2011
The creation of the text really began in 1976 with the author being involved with a group of researchers at Stanford University and the Naval Ocean Systems Center, San Diego. Meer
paperbackEngels9781461295723
26-9-2011
This book is written as an introduction to polynomial matrix computa tions. It is a companion volume to an earlier book on Methods and Applications of Error-Free Computation by R. Meer
paperbackEngels9781461297543
26-9-2011
This book is written as an introduction to the theory of error-free computation. In addition, we include several chapters that illustrate how error-free com putation can be applied in practice. Meer
paperbackEngels9781441928801
12-12-2011
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. Meer
paperbackEngels9781441929051
21-9-2011
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning. Meer
paperbackEngels9781441920140
19-11-2010
This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. Meer
paperbackEngels9781441934727
8-10-2011
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
paperbackEngels9781441919434
29-11-2010
Integrates computer vision, pattern recognition, and AI. Meer