Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Introduction to Probability and Statistics from a Bayesian Viewpoint, Part 2, Inference
Introduction to Probability and Statistics from a Bayesian Viewpoint, Part 2, Inference

The two parts of this book treat probability and statistics as mathematical disciplines and with the same degree of rigour as is adopted for other branches of applied mathematics at the level of a British honours degree. They contain the minimum information about these subjects that any honours graduate in mathematics ought to know. They are...

Computational Geometry in C Second Edition (Cambridge Tracts in Theoretical Computer Science (Paperback))
Computational Geometry in C Second Edition (Cambridge Tracts in Theoretical Computer Science (Paperback))
This is the newly revised and expanded edition of the popular introduction to the design and implementation of geometry algorithms arising in areas such as computer graphics, robotics, and engineering design. The second edition contains material on several new topics, such as randomized algorithms for polygon triangulation, planar point...
Modern Compiler Implementation in C
Modern Compiler Implementation in C

This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code...

Curves and Singularities
Curves and Singularities
The object of this book is to introduce to a new generation of students an area of mathematics that has received a tremendous impetus during the last twenty years or so from developments in singularity theory.

The differential geometry of curves, families of curves and surfaces in Euclidean space has fascinated mathematicians and users
...
Africa since 1800
Africa since 1800
This book, the Fifth Revised Edition of a well-known introductory textbook, has remained in steady demand for the past forty years. The new edition covers events up to the middle of 2003, and takes account of the fresh perspectives brought about by the end of the Cold War and the new global situation following the events of September 11, 2001. It...
Randomized Algorithms
Randomized Algorithms
For many applications, a randomized algorithm is either the simplest or the fastest algorithm available, and sometimes both. This book introduces the basic concepts in the design and analysis of randomized algorithms. The first part of the text presents basic tools such as probability theory and probabilistic analysis that are frequently used in...
Functional Programming and Input/Output (Distinguished Dissertations in Computer Science)
Functional Programming and Input/Output (Distinguished Dissertations in Computer Science)
A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly...
A Compendium of Partial Differential Equation Models: Method of Lines Analysis with Matlab
A Compendium of Partial Differential Equation Models: Method of Lines Analysis with Matlab
A Compendium of Partial Differential Equation Models presents numerical methods and associated computer codes in Matlab for the solution of a spectrum of models expressed as partial differential equations (PDEs), one of the mostly widely used forms of mathematics in science and engineering. The authors focus on the method of lines (MOL), a...
Simulating Ecol Evolution Systems C
Simulating Ecol Evolution Systems C
Computer simulations are a powerful tool for understanding ecological and evolutionary systems. Simulating Ecological and Evolutionary Systems in C models a diverse range of biological processes and systems, including competition, foraging, predation, mating systems, and life-history optimization, by simulating large collections of interacting...
Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)
Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)
This book tackles the problems of update algorithms for databases. How can one construct and maintain a database of facts, capable of incorporating new information and getting rid of all outdated information, and yet in the process not disturb any other information in the database? The author has produced a formal method of specifying the...
Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science)
Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science)
Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of...
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the broad range of subjects to which he contributed...
Result Page: 58 57 56 55 54 53 52 51 50 49 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy