Home Advanced Search

Advanced Search - Page 1

Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

PDF
English
Year: 2013
Author: Eric Goubault (auth.), Francesco Logozzo, Manuel Fähndrich (eds.)

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

PDF
English
Year: 2008
Author: Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)

Directed Algebraic Topology and Concurrency

PDF
English
Year: 2016
Author: Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen (auth.)

Directed Algebraic Topology and Concurrency

PDF
English
Year: 2016
Author: Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen

Navier—Stokes Equations and Related Nonlinear Problems

PDF
English
Year: 1995
Author: Francesco Mollica (auth.), A. Sequeira (eds.)

Concepts, Results, and Applications

PDF
English
Year: 1981
Author: Eric Klinger (auth.), Eric Klinger (eds.)

Biology of Endothelial Cells

PDF
English
Year: 1984
Author: Eric A. Jaffe (auth.), Eric A. Jaffe (eds.)

Evidence-Based Practice in Complementary and Alternative Medicine: Perspectives, Protocols, Problems and Potential in Ayurveda

PDF
English
Year: 2012
Author: Francesco Chiappelli (auth.), Sanjeev Rastogi (eds.)

Evidence-Based Practice in Complementary and Alternative Medicine: Perspectives, Protocols, Problems and Potential in Ayurveda

PDF
English
Year: 2012
Author: Francesco Chiappelli (auth.), Sanjeev Rastogi (eds.)

Die Ernährung: Physiologie · Pathologie · Therapie

PDF
German
Year: 1952
Author: E. Lehnartz (auth.), R. F. A. Dean, W. Diemair, W. H. Fähndrich, R. Jürgens, F. Koller, J. Kühnau, E. Lehnartz, K. Mellinghoff, A. Nitschke, A. Vannotti, Dr. Dr. Konrad Lang, Dr. Rudolf Schoen (eds.)