| 161868 |
|
Schubert E.T., Windley P.J., Alves-Foss J. |
Higher Order Logic Theorem Proving and Its Applications. 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings |
1995 | •• |
| 145235 |
|
Joyce J.J., Seger C.-J. |
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 Proceedings |
1994 | •• |
| 109282 |
|
Skrypnik I.V. |
Higher order nonlinear elliptic equations |
1990 | •• |
| 123689 |
|
Lendi K. |
Higher Order Quantum Onsager Coefficients from Dynamical Invariants |
2000 | •• |
| 126416 |
|
Sacks G.E. |
Higher recursion theory |
1990 | •• |
| 175759 |
|
Sacks G. |
Higher Recursion Theory (Perspectives in Mathematical Logic) |
1990 | •• |
| 153516 |
|
Beilinson A. |
Higher regulators and values of L-functions |
1985 | •• |
| 165113 |
|
Muller G., Scott D. |
Higher set theory. Proceedings, Oberwolfach, Germany, 1977 |
1978 | •• |
| 33035 |
|
Mueller G.H. (Ed), Scott D.S. (Ed) |
Higher Set Theory: Proceeding, Oberwolfach |
1978 | •• |
| 106005 |
|
Igusa K. |
Higher singularities of smooth functions are unnecessary |
1984 | •• |
| 43048 |
|
Boyce J.C., Compton K.T. |
Higher spark spectra of neon and argon in the extreme ultra-violet |
1929 | •• |
| 173000 |
|
Cattaneo A., Giaquinto A., Xu P. |
Higher Structures in Geometry and Physics: In Honor of Murray Gerstenhaber and Jim Stasheff: Preliminary Entry 401 |
2011 | •• |
| 166519 |
|
Speed B., Gordon K., Evans K. |
Higher Student Book |
2006 | •• |
| 54259 |
|
Lurie J. |
Higher Topos Theory |
2007 | •• |
| 128859 |
|
Lurie J. |
Higher topos theory |
2009 | •• |
| 5075 |
|
Erdelyi A. |
Higher Transcendental Functions, Vol. 1 |
1953 | •• |
| 5076 |
|
Erdelyi A. |
Higher Transcendental Functions, Vol. 2 |
1955 | •• |
| 5077 |
|
Erdelyi A. |
Higher Transcendental Functions, Vol. 3 |
1955 | •• |
| 50884 |
|
Lee H.W., Pac P.Y. |
Higher-derivative operators and DeWitt's WKB ansatz |
1986 | •• |
| 3158 |
|
Debarre O. |
Higher-Dimensional Algebraic Geometry |
2001 | •• |
| 33796 |
|
Cheng E., Lauda A. |
Higher-Dimensional Categories |
2004 | •• |
| 107442 |
|
Cheng E., Lauda A. |
Higher-dimensional categories: an illustrated guide book |
2004 | •• |
| 23952 |
|
Sharp R. |
Higher-Level Hardware Synthesis |
2005 | •• |
| 131617 |
|
Sharp R. |
Higher-Level Hardware Synthesis |
2004 • | •• |
| 196666 |
|
Heering J., Meinke K. |
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers |
1994 | •• |
| 136021 |
|
Gilles Dowek, Jan Heering, Karl Meinke |
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers |
1996 • | •• |
| 139356 |
|
Dowek G., Heering Îþ, Meinke K. |
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers |
1996 | •• |
| 84101 |
|
Dunnweber J., Gorlac S. |
Higher-order components for grid programming making grids more usable |
2009 • | •• |
| 77730 |
|
Solin P., Segeth K., Dolezel I. |
Higher-Order Finite Element Methods |
2003 | •• |
| 172774 |
|
Solin P., Segeth K., Dolezel I. |
Higher-Order Finite Element Methods [With CDROM] |
2004 | •• |
| 125168 |
|
Kloeden P.E., Platen E. |
Higher-Order Implicit Strong Numerical Schemes for Stochastic Differential Equations |
1992 | •• |
| 15919 |
|
Dominus M.J. |
Higher-Order Perl: Transforming Programs with Programs |
2005 | •• |
| 138810 |
|
Dominus M. |
Higher-Order Perl: Transforming Programs with Programs |
2005 | •• |
| 141383 |
|
Dominus M.J. |
Higher-Order Perl: Transforming Programs with Programs |
2005 | •• |
| 180368 |
|
Dominus M. |
Higher-Order Perl: Transforming Programs with Programs |
2005 | •• |
| 120102 |
|
Anh V.V., Leonenko N.N., Sakhno L.M. |
Higher-Order Spectral Densities of Fractional Random Fields |
2003 | •• |
| 126109 |
|
Morita T., Horiguchi T. |
Higher-Order Susceptibilities of the Regular and the Random Ising Model on the Cayley Tree. I |
1980 | •• |
| 161489 |
|
Schmuck C., Wennemers H. |
Highlights in bioorganic chemistry |
2004 | •• |
| 164107 |
|
0 |
Highlights in Space 2006: Progress in Space Science, Technology and Applications, International Cooperation and Space Law |
2007 | •• |
| 197021 |
|
U. Nations |
Highlights in Space 2007: Progress in Space Science, Technology and Applications, International Cooperation and Space Law |
2008 | •• |
| 177176 |
|
Figueras F., Girart J., Hernanz M. |
Highlights of Spanish Astrophysics IV: Proceedings of the VII Scientific Meeting of the Spanish Astronomical Society (SEA) held in Barcelona, Spain, September 12-15, 2006 (Highlights of Spanish Astrophysics) |
2007 | •• |
| 196258 |
|
J. M. Diego, L. J. Goicoechea |
Highlights of Spanish Astrophysics V (Astrophysics and Space Science Proceedings) |
2010 | •• |
| 47177 |
|
Ding Y., Harjani R. |
HighLinearity CMOS RF FrontEnd Circuits |
2005 | •• |
| 121160 |
|
Kalyuzhnyi Yu.V., Holovko M.F., Vlachy V. |
Highly Asymmetric Electrolytes in the Associative Mean-Spherical Approximation |
2000 | •• |
| 204370 |
|
D. Mücke |
Highly complex syllable structure |
2019 | •• |
| 137152 |
|
Zelkowitz M. |
Highly Dependable Software |
2003 • | •• |
| 137601 |
|
Connerade J.-P. |
Highly Excited Atoms |
2005 | •• |
| 180463 |
|
Connerade J. |
Highly Excited Atoms (Cambridge Monographs on Atomic, Molecular and Chemical Physics) |
1998 | •• |
| 196238 |
|
J.Connerade |
Highly Excited Atoms (Cambridge Monographs on Atomic, Molecular and Chemical Physics) |
2005 | •• |
| 65062 |
|
Revell R., Scott C., Stott T. |
Highly Recommended: English for the Hotel and Catering Industry |
1995 | •• |
|
|
Î ïðîåêòå