| 187506 |
|
Zhu H., Woodcock J., Liu Z. |
Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings |
2013 | •• |
| 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 | •• |
| 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 | •• |
| 78946 |
|
Jones C.B., Liu Z. |
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings |
2007 | •• |
| 161155 |
|
Abadi M., Ito T. |
Theoretical Aspects of Computer Software: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings |
1997 | •• |
| 175971 |
|
Hagiya M., Mitchell J. |
Theoretical Aspects of Computer Software: International Symposium TACS '94, Sendai, Japan, April 19-22, 1994 - Proceedings |
1994 | •• |
| 155873 |
|
Takayasu Ito, Albert R. Meyer |
Theoretical Aspects of Computer Software, TACS '91 |
1991 | •• |
| 77995 |
|
Khosrovshahi G.B. |
Theoretical Aspects of Computer Science: Advanced Lectures |
2002 | •• |
| 140998 |
|
Toro-Labbe A. |
Theoretical Aspects of Chemical Reactivity |
2007 | •• |
| 134447 |
|
Hawkins B.L., Cornell H. |
Theoretical Approaches to Biological Control |
1999 | •• |
| 200367 |
|
MacLennan B. |
Theoretical and Technological Advancements in Nanotechnology and Molecular Computation: Interdisciplinary Gains |
2011 | •• |
| 199256 |
|
Ivanov S. |
Theoretical and Quantum Mechanics: Fundamentals for Chemists |
2005 | •• |
| 78375 |
|
Dams D., Gerth R., Leue S. |
Theoretical and Practical Aspects of SPIN Model Checking, 5 and 6 conf.s |
1999 • | •• |
| 33456 |
|
Tijssen G.A. |
Theoretical and Practical Aspects of Linear Optimization |
2000 | •• |
| 5755 |
|
Dridi K.H. |
Theoretical and numerical investigations of sub-wavelength diffractive optical structures |
2000 | •• |
| 54415 |
|
Poinsot T., Veynante D. |
Theoretical and Numerical Combustion |
2001 • | •• |
| 132079 |
|
Pankaj P. |
Theoretical and Experimental Sonochemistry Involving Inorganic Systems |
2010 | •• |
| 49716 |
|
Shang E. (ed.), Gao Q. (ed.) |
Theoretical and Computional Acoustics 2001 |
2001 • | •• |
| 85366 |
|
Tolstoy A., Shang E.-C., Teng Y.-C. |
Theoretical and Computational Acoustics 2005 |
1996 | •• |
| 111274 |
|
Milne-Thomson L.M. |
Theoretical Aerodynamics |
1973 • | •• |
| 199066 |
|
Oscar Castillo, Melin P., Ross O.M. |
Theoretical Advances and Applications of Fuzzy Logic and Soft Computing |
2007 • | •• |
| 208498 |
|
L. M. MILNE-THOMSON, |
THEORETICAL AERODYNAMICS |
1958 • | •• |
| 35559 |
|
Taylor T. |
Theoretic Arithmetic |
1816 | •• |
| 35849 |
|
Hamilton W.R. |
Theorems Respecting Algebraic Elimination |
1836 | •• |
| 44779 |
|
Miller G.A. |
Theorems Relating to the History of Mathematics |
1931 | •• |
| 21134 |
|
Euler L. |
Theorems on residues obtained by the division of powers |
1755 | •• |
| 158988 |
|
Leon Simon |
Theorems on regularity and singularity of energy minimizing maps (Lectures in Mathematics. ETH Z?rich) |
1996 • | •• |
| 167137 |
|
Simon L. |
Theorems on regularity and singularity of energy minimizing maps |
1996 | •• |
| 181335 |
|
Precup R. |
Theorems of Leray-Schauder type and applications |
2002 | •• |
| 134422 |
|
Kirillov A.A., Gvishiani A.D., McFaden H.H. |
Theorems and Problems in Functional Analysis |
1982 | •• |
| 132075 |
|
Gelbaum B.R., Olmsted J. |
Theorems and Counterexamples in Mathematics |
1990 | •• |
| 21133 |
|
Euler L. |
Theorems about the divisors of numbers contained in the form paa ± qbb |
1748 | •• |
| 198293 |
|
Miglioli P., Moscato U., Mundici D. |
Theorem Proving with Analytic Tableaux and Related Methods 5 conf., TABLEAUX '96 |
1996 • | •• |
| 198114 |
|
Baumgartner P., Hahnle R., Posegga J. |
Theorem Proving with Analytic Tableaux and Related Methods 4 conf., TABLEAUX '95 |
1995 • | •• |
| 170492 |
|
Berghofer S., Nipkow T., Urban C. |
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues) |
2009 | •• |
| 135723 |
|
Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan |
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science) |
2004 • | •• |
| 139093 |
|
Slind K., Bunker A., Gopalakrishnan G. |
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science) |
2005 | •• |
| 166666 |
|
Gunter E., Felty A. |
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science) |
1997 | •• |
| 171943 |
|
Kumar R., Kropf T. |
Theorem Provers in Circuit Design: Theory, Practice and Experience |
1995 | •• |
| 124224 |
|
van Zon R., Cohen E. G. D. |
Theorem on the Distribution of Short-Time Particle Displacements with Physical Applications |
2005 | •• |
| 44407 |
|
Birlhoff G.D. |
Theorem Concerning the Singular Points of Ordinary Linear Differential Equations |
1915 | •• |
| 199659 |
|
C. Roos |
Theor and Algorithms for Linear Optimisation |
n/a | •• |
| 212259 |
|
Shauf S. |
Theology as History, History as Theology |
2005 | •• |
| 80259 |
|
Milbank J. |
Theology and social theory. Beyond secular reason |
2006 • | •• |
| 158961 |
|
Peter E. Hodgson |
Theology And Modern Physics (Ashgate Science and Religion Series) |
2006 | •• |
| 215775 |
|
Nicklas T. (ed.), Zamfir K. (ed.) |
Theologies of Creation in Early Judaism and Ancient Christianity |
2010 | •• |
| 110009 |
|
Baruch S. |
Theologico-Political Treatise. Part 4 |
2000 | •• |
| 108498 |
|
Baruch S. |
Theologico-Political Treatise. Part 3 |
n/a | •• |
| 117150 |
|
Spinoza B. |
Theologico-Political Treatise. Part 2 – Chapters VI to X |
2000 | •• |
| 211758 |
|
Lisa Sowle Cahill |
Theological bioethics |
2005 | •• |
|
|
Î ïðîåêòå