A to Z List of Ebooks

Title Author ISBN Publisher Subject Vol/Edition Year
The Reduction of the Product of Two Irreducible Unitary Representations of the Proper Orthochronous Quantummechanical Poincaré Group Manfred Schaaf 9783540363958 Springer Physics 5 1970
The Structure of Nuclear Frechet Spaces Ed Dubinsky 9783540351917 Springer Mathematics 720 1979
Theorem Provers in Circuit Design

Ramayya Kumar, Thomas Kropf

9783540491774

Springer

Computer Science

901

1995

Theorem Proving in Higher Order Logics

Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison

9783540706410

Springer

Computer Science

1125

1996

Theorem Proving with Analytic Tableaux and Related Methods 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings Peter Baumgartner, Reiner Hähnle, Joachim Possega 9783540492351 Springer Computer Science 918 1995
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy

P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi

9783540683681

Springer

Computer Science

1071

1996

Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan

Takayasu Ito, Albert R. Meyer

9783540476177

Springer

Computer Science

526

1991

Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan

Masami Hagiya, John C. Mitchell

9783540483830

Springer

Computer Science

789

1994

Theoretical Aspects of Computing – ICTAC 2020

Violet Ka I Pun, Volker Stolz, Adenilso Simao

9783030642761

Springer

Computer Science

2020

Theoretical Aspects of Mainly Low Dimensional Magnetic Systems

Hans C. Fogedby

9783540383154

Springer

Physics

131

1980

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

9783540373896

Springer

Computer Science

48

1977

Theoretical Computer Science: 5th GI-Conference Karlsruhe

Peter Deussen

9783540385615

Springer

Computer Science

104

1981

Theoretical Computer Science: 6th Gl-Conference Dortmund

Armin B. Cremers, Hans-Peter Kriegel

9783540394211

Springer

Computer Science

145

1982

Theoretical Fluid Mechanics

Fitzpatrick, R

9780750315524

Institute of Physics Publishing 

Physcis , Classical physics

2017

Theoretical Foundations for Digital Libraries

Edward Fox, Marcos André Gonçalves, Rao Shen

9783031022791

Synthesis Collection of Technology (R0)

Computing and Processing

2012

Theoretical Frameworks in Qualitative Research

Vincent A. Anfara, Jr.; Norma T. Mertz

9781412986335

SAGE Publications Ltd

Qualitative Research

2006

Theoretical Optics - An Introduction

Römer

9783527604296

Wiley

Physical Sciences & Engineering, Electrical & Electronics Engineering

2005

Theorie cinetique des gaz a repartition discrete de vitesses R. Gatignol 9783540374848 Springer Physics 36 1975
Theorie de Dieudonne Cristalline II Pierre Berthelot, Lawrence Breen, William Messing 9783540392279 Springer Mathematics 930 1982
Theorie de la renormalisation K. Hepp 9783540361671 Springer Physics 2 1969