A to Z List of eBooks
| Title | Author | Publisher | Subject | Year | ISBN/e-ISBN | URL |
|---|---|---|---|---|---|---|
| Theorem Provers in Circuit Design | Ramayya Kumar, Thomas Kropf |
Springer |
Computer Science |
1995 |
978-3-540-59047-7 |
http://dx.doi.org/10.1007/3-540-59047-1 |
| Theorem Proving in Higher Order Logics | Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison |
Springer |
Computer Science |
1996 |
978-3-540-61587-3 |
http://dx.doi.org/10.1007/BFb0105392 |
| Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany | Peter Baumgartner, Reiner Hähnle, Joachim Possega |
Springer |
Computer Science |
1995 |
978-3-540-59338-6 |
http://dx.doi.org/10.1007/3-540-59338-1 |
| Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy | P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi |
Springer |
Computer Science |
1996 |
978-3-540-61208-7 |
http://dx.doi.org/10.1007/3-540-61208-4 |
| Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan | Takayasu Ito, Albert R. Meyer |
Springer |
Computer Science |
1991 |
978-3-540-54415-9 |
http://dx.doi.org/10.1007/3-540-54415-1 |
| Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan | Masami Hagiya, John C. Mitchell |
Springer |
Computer Science |
1994 |
978-3-540-57887-1 |
http://dx.doi.org/10.1007/3-540-57887-0 |
| Theoretical Aspects of Computing – ICTAC 2020 | Violet Ka I Pun, Volker Stolz, Adenilso Simao |
Springer |
Computer Science |
2020 |
978-3-030-64276-1 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-64276-1 |
| Theoretical Aspects of Mainly Low Dimensional Magnetic Systems | Hans C. Fogedby |
Springer |
Physics |
1980 |
978-3-540-10238-0 |
http://dx.doi.org/10.1007/3-540-10238-8 |
| Theoretical Computer Science: 3rd Gl Conference Darmstadt | G. Goos, J. Hartmanis, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth |
Springer |
Computer Science |
1977 |
978-3-540-08138-8 |
http://dx.doi.org/10.1007/3-540-08138-0 |
| Theoretical Computer Science: 5th GI-Conference Karlsruhe | Peter Deussen |
Springer |
Computer Science |
1981 |
978-3-540-10576-3 |
http://dx.doi.org/10.1007/BFb0017288 |
| Theoretical Computer Science: 6th Gl-Conference Dortmund | Armin B. Cremers, Hans-Peter Kriegel |
Springer |
Computer Science |
1982 |
978-3-540-11973-9 |
http://dx.doi.org/10.1007/BFb0036464 |
| Theoretical Fluid Mechanics | Fitzpatrick, R |
Institute of Physics Publishing |
Physcis ; Classical physics |
2017 |
978-0-7503-1554-8 |
https://iopscience.iop.org/book/978-0-7503-1554-8 |
| Theoretical Foundations for Digital Libraries: the 5S (Societies, Scenarios, Spaces, Structures, Streams) Approach | Fox |
Morgan & Claypool |
Computing and Processing |
2012 |
9781608459117 |
https://ieeexplore.ieee.org/servlet/opac?bknumber=6813716 |
| Theoretical Frameworks in Qualitative Research | Vincent A. Anfara, Jr.; Norma T. Mertz |
SAGE Publications Ltd |
Qualitative Research |
2006 |
9781412986335 |
http://methods.sagepub.com/book/theoretical-frameworks-in-qualitative-research |
| Theoretical Optics - An Introduction | Römer |
Wiley |
Physical Sciences & Engineering; Electrical & Electronics Engineering |
2005 |
9783527604296 |
https://onlinelibrary.wiley.com/doi/book/10.1002/3527604294 |
| Théorie Cinétique des Gaz à Répartition Discrète de Vitesses | R. Gatignol |
Springer |
Physics |
1975 |
978-3-540-07156-3 |
http://dx.doi.org/10.1007/3-540-07156-3 |
| Théorie de Dieudonné Cristalline II | Pierre Berthelot, Lawrence Breen, William Messing |
Springer |
Mathematics |
1982 |
978-3-540-11556-4 |
http://dx.doi.org/10.1007/BFb0093025 |
| Théorie de la Descente et Algèbres d'Azumaya | Max-Albert Knus, Manuel Ojanguren |
Springer |
Mathematics |
1974 |
978-3-540-06791-7 |
http://dx.doi.org/10.1007/BFb0057799 |
| Théorie de la renormalisation | K. Hepp |
Springer |
Physics |
1969 |
978-3-540-04640-0 |
http://dx.doi.org/10.1007/BFb0108958 |
| Théorie des Bornologies et Applications | H. Hogbe-Nlend |
Springer |
Mathematics |
1971 |
978-3-540-05546-4 |
http://dx.doi.org/10.1007/BFb0069416 |
