Title: V-Invex Functions and Vector Optimization, Author: Shashi K. Mishra
Title: Using Toolpack Software Tools: Proceedings of the Ispra-Course held at the Joint Research Centre, Ispra, Italy, 17-21 November 1986, Author: A.A. Pollicini
Title: Using MSC/NASTRAN: Statics and Dynamics, Author: Arturo O. Cifuentes
Title: User Manual for the Interactive Geometry Software Cinderella, Author: Jürgen Richter-Gebert
Title: Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, Author: Jarkko Kari
Title: Unifying Themes in Complex Systems: Volume IIIB: New Research, Author: Ali A. Minai
Title: Unifying Themes in Complex Systems: Volume IIIA: Overview, Author: Ali A. Minai
Title: Unifying Themes in Complex Systems IV: Proceedings of the Fourth International Conference on Complex Systems, Author: Ali A. Minai
Title: Uniform Random Numbers: Theory and Practice, Author: Shu Tezuka
Title: Understanding Language: Man or Machine, Author: John A. Moyne
Title: Unconventional Computation and Natural Computation: 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings, Author: Martyn Amos
Title: Unconventional Computation and Natural Computation: 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings, Author: Cristian S. Calude
Title: Uncertainty and Surprise in Complex Systems: Questions on Working with the Unexpected, Author: Reuben R. McDaniel
Title: Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers, Author: Herman Geuvers
Title: Types for Proofs and Programs: International Workshop, TYPES'99, L�keberg, Sweden, June 12-16, 1999, Selected Papers, Author: Thierry Coquand
Title: Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, Author: Thorsten Altenkirch
Title: Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers, Author: Jean-Christophe Filliatre
Title: Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers, Author: Stefano Berardi
Title: Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers, Author: Paul Callaghan
Title: Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers, Author: Thorsten Altenkirch

Pagination Links