Title: Uncertainty and Surprise in Complex Systems: Questions on Working with the Unexpected / Edition 1, Author: Reuben R. McDaniel
Title: Uncertainty and Surprise in Complex Systems: Questions on Working with the Unexpected / Edition 1, Author: Reuben R. McDaniel
Title: Uncertain Input Data Problems and the Worst Scenario Method, Author: Ivan Hlavacek
Title: Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / Edition 1, Author: Thorsten Altenkirch
Title: Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / Edition 1, Author: Jean-Christophe Filliatre
Title: Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / Edition 1, Author: Stefano Berardi
Title: Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers / Edition 1, Author: Stefano Berardi
Title: Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers / Edition 1, Author: Peter Dybjer
Title: Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers / Edition 1, Author: Henk Barendregt
Title: Two-Dimensional Information Theory and Coding: With Applications to Graphics Data and High-Density Storage Media / Edition 1, Author: Jørn Justesen
Title: Twentieth Anniversary Volume: Discrete & Computational Geometry / Edition 1, Author: Jacob E. Goodman
Title: Turnpike Properties in the Calculus of Variations and Optimal Control / Edition 1, Author: Alexander J. Zaslavski
Title: Turnpike Properties in the Calculus of Variations and Optimal Control / Edition 1, Author: Alexander J. Zaslavski
Title: Turing Machines with Sublogarithmic Space / Edition 1, Author: Andrzej Szepietowski
Title: Tuning Metaheuristics: A Machine Learning Perspective / Edition 1, Author: Mauro Birattari
Title: Trees in Algebra and Programming - CAAP '96: 21st International Colloquium, Link�ping, Sweden, April 22-24, 1996. Proceedings / Edition 1, Author: Helene Kirchner
Title: Trees in Algebra and Programming - CAAP '94: 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings / Edition 1, Author: Sophie Tison
Title: Transactions on Computational Science II / Edition 1, Author: Yingxu Wang
Title: Tractable Reasoning in Aritificial Intelligence / Edition 1, Author: Marco Cadoli
Title: Towards Dynamic Randomized Algorithms in Computational Geometry / Edition 1, Author: Monique Teillaud

Pagination Links