نتایج جستجو
Programming in Martin-Löf's Type Theory: An Introduction
Bengt Nordstrom, 1990
Leray-Schauder Type Alternatives, Complemantarity Problems and Variational Inequalities
George Isac (auth.), 2006
A Bernstein type theorem on a Randers space
Souza M., 2004
A Cantor-Bernstein type theorem for effect algebras
Jenca G., 2002
Type systems for programming languages.
Harper R., 2000
Newton-Type Methods for Optimization and Variational Problems
Alexey F. Izmailov, 2014
Newton-type methods for optimization and variational problems
Alexey F. Izmailov, 2014
The complete manual of typography : a guide to setting perfect type
James Felici, 2012
Morse theoretic aspects of p-Laplacian type operators
Ravi P. Agarwal,, 2010
Type-theoretical grammar
Aarne Ranta, 1995
Lp estimates on convex domains of finite type
Fischer B., 2001
Lecture Notes on Mixed Type Partial Differential Equations
John M. Rassias, 1990
338 Finitary Measures for Subshifts of Finite Type and Sofic Systems
Bruce Kitchens, 1985
Parallel Kinematics: Type, Kinematics, and Optimal Design
Xin-Jun Liu, 2014
Double choreographical solutions for n-body type problems
Barutello V., 2006
The Type VII U-boat
David Westwood, 1984
