Title: Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers, Author: Peter Dybjer
Title: Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers, Author: Henk Barendregt
Title: Twentieth Anniversary Volume: Discrete & Computational Geometry, Author: Jacob E. Goodman
Title: Turnpike Properties in the Calculus of Variations and Optimal Control, Author: Alexander J. Zaslavski
Title: Turnpike Conditions in Infinite Dimensional Optimal Control, Author: Alexander J. Zaslavski
Title: Turing Machines with Sublogarithmic Space, Author: Andrzej Szepietowski
Title: Trees in Algebra and Programming - CAAP '96: 21st International Colloquium, Link�ping, Sweden, April 22-24, 1996. Proceedings, Author: Helene Kirchner
Title: Trees in Algebra and Programming - CAAP '94: 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings, Author: Sophie Tison
Title: Transportation and Network Analysis: Current Trends: Miscellanea in honor of Michael Florian, Author: Michel Gendreau
Title: Transformation in Healthcare with Emerging Technologies, Author: Pushpa Singh
Title: Transactions on Computational Science II, Author: Yingxu Wang
Title: Tractable Reasoning in Aritificial Intelligence, Author: Marco Cadoli
Title: Towards Dynamic Randomized Algorithms in Computational Geometry, Author: Monique Teillaud
Title: Totally Convex Functions for Fixed Points Computation and Infinite Dimensional Optimization, Author: D. Butnariu
Title: Topology Design of Structures, Author: Martin P. Bendsøe
Title: Topological Aspects of Nonsmooth Optimization, Author: Vladimir Shikhman
Title: Topics in Theoretical Computer Science: Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings, Author: Luís S. Barbosa
Title: Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers, Author: Mohammed Taghi Hajiaghayi
Title: Topics in Matroid Theory, Author: Leonidas S. Pitsoulis
Title: Topics in Mathematical Analysis and Applications, Author: Themistocles M. Rassias

Pagination Links