Home | Amazing | Today | Tags | Publishers | Years | Search 
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...

Solving Odes with Matlab
Solving Odes with Matlab

This book is a text for a one-semester course for upper-level undergraduates and beginning graduate students in engineering, science, and mathematics. Prerequisites are a first course in the theory of ODEs and a survey course in numerical analysis, in addition to specific programming experience, preferably in MATLAB, and knowledge of...

Permutation Group Algorithms (Cambridge Tracts in Mathematics)
Permutation Group Algorithms (Cambridge Tracts in Mathematics)

Permutation group algorithms are indispensable in the proofs of many deep results, including the construction and study of sporadic finite simple groups. This work describes the theory behind permutation group algorithms, up to the most recent developments based on the classification of finite simple groups. Rigorous complexity estimates,...

Mathematical Explorations with MATLAB
Mathematical Explorations with MATLAB

Mathematical Explorations with MATLAB examines the mathematics most frequently encountered in first-year university courses. A key feature of the book is its use of MATLAB, a popular and powerful software package. The book's emphasis is on understanding and investigating the mathematics by putting the mathematical tools into practice in a...

Computer Age Statistical Inference: Algorithms, Evidence, and Data Science (Institute of Mathematical Statistics Monographs)
Computer Age Statistical Inference: Algorithms, Evidence, and Data Science (Institute of Mathematical Statistics Monographs)
The twenty-first century has seen a breathtaking expansion of statistical methodology, both in scope and in influence. “Big data,” “data science,” and “machine learning” have become familiar terms in the news, as statistical methods are brought to bear upon the enormous data sets of modern science...
Mobile Commerce : Opportunities, Applications, and Technologies of Wireless Business
Mobile Commerce : Opportunities, Applications, and Technologies of Wireless Business
This book provides the context, architectures, case studies, and intelligent analysis that will help the reader grasp the rapidly evolving subject of mobile commerce. May explains the technological aspects of mobile commerce to business decision makers and the business models to the technologists who design and build these electronic systems. It...
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...
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...
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...
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...
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...
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...
Result Page: 14 13 12 11 10 9 8 7 6 5 4 3 2 1 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy