Liknande böcker

Space-Filling Curves : An Introduction with Applications in Scientific C...
Bok av Michael Bader
Adaptive mesh refinement, theory and applications : proceedings of the C...
Bok av 9783540270393
Mathematical Tools for Data Mining : Set Theory, Partial Orders, Combina...
Bok av Dan A. Simovici
Interpolating Cubic Splines
Bok av Gary D. Knott
Mathematical Analysis and Numerical Methods for Science and Technology
Bok av Jacques-Louis Lions
High Performance Computing in Science and Engineering, Garching 2004 : T...
Bok av Arndt Bode
Modeling and Simulation : An Application-Oriented Introduction
Bok av Hans-Joachim. Bungartz
Categorical Combinators, Sequential Algorithms, and Functional Programming
Bok av Pierre-Louis Curien

Semantics of Type Theory : Correctness, completeness and independence results

Bok av T. Streicher