| 198293 |
|
Miglioli P., Moscato U., Mundici D. |
Theorem Proving with Analytic Tableaux and Related Methods 5 conf., TABLEAUX '96 |
1996 • | •• |
| 21133 |
|
Euler L. |
Theorems about the divisors of numbers contained in the form paa ± qbb |
1748 | •• |
| 132075 |
|
Gelbaum B.R., Olmsted J. |
Theorems and Counterexamples in Mathematics |
1990 | •• |
| 134422 |
|
Kirillov A.A., Gvishiani A.D., McFaden H.H. |
Theorems and Problems in Functional Analysis |
1982 | •• |
| 181335 |
|
Precup R. |
Theorems of Leray-Schauder type and applications |
2002 | •• |
| 167137 |
|
Simon L. |
Theorems on regularity and singularity of energy minimizing maps |
1996 | •• |
| 158988 |
|
Leon Simon |
Theorems on regularity and singularity of energy minimizing maps (Lectures in Mathematics. ETH Z?rich) |
1996 • | •• |
| 21134 |
|
Euler L. |
Theorems on residues obtained by the division of powers |
1755 | •• |
| 44779 |
|
Miller G.A. |
Theorems Relating to the History of Mathematics |
1931 | •• |
| 35849 |
|
Hamilton W.R. |
Theorems Respecting Algebraic Elimination |
1836 | •• |
| 35559 |
|
Taylor T. |
Theoretic Arithmetic |
1816 | •• |
| 208498 |
|
L. M. MILNE-THOMSON, |
THEORETICAL AERODYNAMICS |
1958 • | •• |
| 199066 |
|
Oscar Castillo, Melin P., Ross O.M. |
Theoretical Advances and Applications of Fuzzy Logic and Soft Computing |
2007 • | •• |
| 111274 |
|
Milne-Thomson L.M. |
Theoretical Aerodynamics |
1973 • | •• |
| 85366 |
|
Tolstoy A., Shang E.-C., Teng Y.-C. |
Theoretical and Computational Acoustics 2005 |
1996 | •• |
| 49716 |
|
Shang E. (ed.), Gao Q. (ed.) |
Theoretical and Computional Acoustics 2001 |
2001 • | •• |
| 132079 |
|
Pankaj P. |
Theoretical and Experimental Sonochemistry Involving Inorganic Systems |
2010 | •• |
| 54415 |
|
Poinsot T., Veynante D. |
Theoretical and Numerical Combustion |
2001 • | •• |
| 5755 |
|
Dridi K.H. |
Theoretical and numerical investigations of sub-wavelength diffractive optical structures |
2000 | •• |
| 33456 |
|
Tijssen G.A. |
Theoretical and Practical Aspects of Linear Optimization |
2000 | •• |
| 78375 |
|
Dams D., Gerth R., Leue S. |
Theoretical and Practical Aspects of SPIN Model Checking, 5 and 6 conf.s |
1999 • | •• |
| 199256 |
|
Ivanov S. |
Theoretical and Quantum Mechanics: Fundamentals for Chemists |
2005 | •• |
| 200367 |
|
MacLennan B. |
Theoretical and Technological Advancements in Nanotechnology and Molecular Computation: Interdisciplinary Gains |
2011 | •• |
| 134447 |
|
Hawkins B.L., Cornell H. |
Theoretical Approaches to Biological Control |
1999 | •• |
| 140998 |
|
Toro-Labbe A. |
Theoretical Aspects of Chemical Reactivity |
2007 | •• |
| 77995 |
|
Khosrovshahi G.B. |
Theoretical Aspects of Computer Science: Advanced Lectures |
2002 | •• |
| 155873 |
|
Takayasu Ito, Albert R. Meyer |
Theoretical Aspects of Computer Software, TACS '91 |
1991 | •• |
| 175971 |
|
Hagiya M., Mitchell J. |
Theoretical Aspects of Computer Software: International Symposium TACS '94, Sendai, Japan, April 19-22, 1994 - Proceedings |
1994 | •• |
| 161155 |
|
Abadi M., Ito T. |
Theoretical Aspects of Computer Software: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings |
1997 | •• |
| 78946 |
|
Jones C.B., Liu Z. |
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings |
2007 | •• |
| 85682 |
|
Fitzgerald J.S., Haxthausen A.E., Yenigun H. |
Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium Istanbul, Turkey, September 1-3, 2008 Proceedings |
2008 | •• |
| 155084 |
|
Leucker M., Morgan C. |
Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues) |
2009 | •• |
| 187506 |
|
Zhu H., Woodcock J., Liu Z. |
Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings |
2013 | •• |
| 159971 |
|
Cavalcanti A., Deharbe D., Gaudel M. |
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues) |
2010 | •• |
| 137483 |
|
Nikoletseas S., Rolim Jose D. P. |
Theoretical Aspects of Distributed Computing in Sensor Networks |
2011 • | •• |
| 132301 |
|
Nascimento M.A. |
Theoretical aspects of heterogeneous catalysis |
2010 • | •• |
| 140360 |
|
Michiels W., Aarts E., Korst J. |
Theoretical Aspects of Local Search |
2007 | •• |
| 51209 |
|
Frenking G., Deubel D.V. |
Theoretical Aspects Of Transition Metal Catalysis |
2006 | •• |
| 142373 |
|
Frenking G. |
Theoretical Aspects of Transition Metal Catalysis |
2005 | •• |
| 171435 |
|
Padmanabhan T. |
Theoretical astrophysics vol.1: astrophysical processes |
2000 | •• |
| 44467 |
|
Padmanabhan T. |
Theoretical astrophysics, vol. 2 |
n/a | •• |
| 44468 |
|
Padmanabhan T. |
Theoretical astrophysics, vol. 3 |
n/a | •• |
| 116231 |
|
Rosseland S. |
Theoretical Astrophysics: Atomic Theory and The Analysis of Stellar Atmospheres and Envelopes |
1936 | •• |
| 43906 |
|
Padmanabhan T. |
Theoretical Astrophysics: Volume 1, Astrophysical Processes |
2000 | •• |
| 38847 |
|
Friedrich H.S. |
Theoretical Atomic Physics |
1998 • | •• |
| 165126 |
|
Friedrich H. |
Theoretical Atomic Physics |
1991 | •• |
| 171250 |
|
Friedrich H. |
Theoretical Atomic Physics |
1990 | •• |
| 189403 |
|
Friedrich H. |
Theoretical Atomic Physics |
2006 • | •• |
| 130999 |
|
Rudzikas Z. |
Theoretical Atomic Spectroscopy |
2007 | •• |
| 159178 |
|
Rudzikas Z. |
Theoretical Atomic Spectroscopy (Cambridge Monographs on Atomic, Molecular and Chemical Physics) |
1997 | •• |
|
|
Î ïðîåêòå