| 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 | •• |
| 216566 |
|
Selle H. |
Theognis und die Theognidea |
2008 | •• |
| 79073 |
|
Friell G., Williams S. |
Theodosius: The Empire at Bay (Roman Imperial Biographies) |
1998 | •• |
| 210605 |
|
Halton T. |
Theodoret of Cyrus: On Divine Providence |
1988 | •• |
| 211141 |
|
Leon Parmentier |
THEODORET KIRCHENGESCHICHTE |
1998 | •• |
| 215222 |
|
Wickert L. |
Theodor Mommsen |
n/a | •• |
| 212150 |
|
Mark H. Gelber, Vivian Liska |
Theodor Herzl: From Europe to Zion |
2007 | •• |
| 214103 |
|
Urban M. |
Theodicy of Culture and the Jewish Ethos. David Koigen’s Contribution to the Sociology of Religion |
2012 | •• |
| 217171 |
|
Stearns P. |
Themes in World History |
2020 | •• |
| 209576 |
|
C.C. ANDERSON |
TheMaterialCultureofDomesticReligion inEarlyModernFlorence, c.1480-c.1650 |
2007 | •• |
| 210188 |
|
CAROLINE CORISANDE ANDERSON |
TheMaterialCultureofDomesticReligion inEarlyModernFlorence, c.1480-c.1650 |
2007 | •• |
| 184821 |
|
Finch A. |
Theilheimers Synthetic Methods of Organic Chemistry. Volume 44 |
1990 | •• |
| 184839 |
|
Theilheimer W. |
Theilheimers Synthetic Methods of Organic Chemistry. Volume 31 |
1977 | •• |
| 184884 |
|
Theilheimer W. |
Theilheimers Synthetic Methods of Organic Chemistry. Volume 28 |
1974 | •• |
| 51165 |
|
Finch A.F. |
Theilheimer's Synthetic Methods of Organic Chemistry, Vol. 44 |
1990 | •• |
| 215624 |
|
Bassino P. |
The ›Certamen Homeri et Hesiodi‹. A Commentary |
2018 | •• |
| 119735 |
|
Blanchard Ph., Krüger T. |
The ‘‘Cameo Principle’’ and the Origin of Scale-Free Graphs in Social Networks |
2004 | •• |
| 212140 |
|
Joseph R. Dodson |
The ‘Powers’ of Personification |
2008 | •• |
| 212535 |
|
Berto L. A. |
The ‘Other’, Identity, and Memory in Early Medieval Italy |
2023 | •• |
| 39267 |
|
Taylor J. |
The ‘miss rate’ for the analysis of gene expression data |
2005 | •• |
| 115194 |
|
Asimov I. |
The ñollapsing universe. The story of black holes |
1978 | •• |
| 79783 |
|
Knight K., McBride A. (Illustrator) |
The Zulus |
1989 | •• |
| 44776 |
|
Eyping H. |
The Zero Point Energy and the Separation of Isotopes |
1932 | •• |
| 28478 |
|
Coggeshall J., Tabini M. |
The Zend PHP Certification Practice Test Book: Practice Questions for the Zend Certified Engineer Exam |
2005 | •• |
| 16284 |
|
Shea D., Holzschlag M.E. |
The Zen of CSS Design: Visual Enlightenment for the Web |
2005 | •• |
| 40413 |
|
Lam Ch.- S. |
The Zen in Modern Cosmology |
2008 | •• |
| 42178 |
|
MacNair W.A. |
The Zeeman Effect of the Hyper-Fine Structure Components of 2537 of Mercury |
1927 | •• |
| 211967 |
|
Charlene McAfee Moss |
The Zechariah Tradition and the Gospel of Matthew |
2008 | •• |
| 142150 |
|
Detrich H., Detrich III H., Westerfield M. |
The Zebrafish: Genetics and Genomics (Methods in Cell Biology, Volume 60) |
1999 | •• |
|
|
Î ïðîåêòå