|
|
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
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 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,... |
|
|
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... | | | | |
|
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
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... | | |
|
Result Page: 14 13 12 11 10 9 8 7 6 5 4 3 2 1 |