Types and Programming Languages (The MIT Press)
by Benjamin C Pierce
ISBN 13: 9780262162098
Format: Hardcover (648 pages) Publisher: MIT Press Published: 05 Feb 2002
Save for later
Computational Methods for Modeling of Nonlinear Systems,212: Volume 212 (Mathematics in Science and Engineering)
by Anatoli Torokhti
ISBN 13: 9780444530448
Format: Illustrated (250 pages) Publisher: Elsevier Published: 02 Mar 2007
Theory and Practice of Model Transformations: First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings: First ... 5063 (Lecture Notes in Computer Science)
by Antonio Vallecillo
ISBN 13: 9783540699262
Format: Paperback (280 pages) Publisher: Springer Published: 24 Jul 2008
Theory of Semi-Feasible Algorithms (Monographs in Theoretical Computer Science. An EATCS Series)
by Lane Hemaspaandra,Leen Torenvliet
ISBN 13: 9783540422006
Format: Illustrated (164 pages) Publisher: Springer Published: 28 Oct 2002