نتایج جستجو
برای Nuno A. Cruz (eds.)، صفحه ۱۵۶ از ۱,۵۸۵ در بین ۳۹,۶۱۳ کتاب.
DJVU
Computer-aided reasoning: ACL2 case studies
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.), 2000PDF
Design and Verification of Microprocessor Systems for High-Assurance Applications
Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.), 2010DJVU
25 Years of Non-Equilibrium Statistical Mechanics: Proceedings of the XIII Sitges Conference, Held in Sitges, Barcelona, Spain, 13–17 June 1994
Joel L. Lebowitz (auth.), J. J. Brey, J. Marro, J. M. Rubí, M. San Miguel (eds.), 1995DJVU
A Primer in Density Functional Theory
John P. Perdew, Stefan Kurth (auth.), Carlos Fiolhais, Fernando Nogueira, Miguel A. L. Marques (eds.), 2003PDF
A Primer in Density Functional Theory
John P. Perdew, Stefan Kurth (auth.), Carlos Fiolhais, Fernando Nogueira, Miguel A. L. Marques (eds.), 2003PDF
A Treatise
E.R. Weber (Eds.), 2008DJVU
Accretion discs, jets and high energy phenomena in astrophysics
Beskin V., et al. (eds.), 2002DJVU
Accretion discs, jets and high energy phenomena in astrophysics: Les Houches Session LXXVIII, 29 July-23 August, 2002
Jean Heyvaerts (auth.), Vassily Beskin, Gilles Henri, François Menard, Guy Pelletier, Jean Dalibard (eds.), 2003PDF
Evidence-Based Cardiology Consult
Edward J. Miller MD, PhD (auth.), Kathleen Stergiopoulos, David L. Brown (eds.), 2014PDF
The Natural Philosophy of Leibniz
Kathleen Okruhlik, James Robert Brown (auth.), Kathleen Okruhlik, James Robert Brown (eds.), 1985PDF
Adaptive and Multilevel Metaheuristics
Konstantin Chakhlevitch, Peter Cowling (auth.), Carlos Cotta, Marc Sevaux, Kenneth Sörensen (eds.), 2008PDF
Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice
David Scott, Alice Wang (auth.), Alice Wang, Samuel Naffziger (eds.), 2008PDF
Biohydrometallurgy and the Environment Toward the Mining of the 21 Century - Proceedings of the International Biohydrometallurgy Symposium
R. Amils and A. Ballester (Eds.), 1999PDF
Encyclopedia of Astrobiology
Muriel Gargaud, Prof. Ricardo Amils, José Cernicharo Quintanilla, Henderson James (Jim) Cleaves II, William M. Irvine, Prof. Daniele L. Pinti, Michel Viso (eds.), 2011PDF
Encyclopedia of Astrobiology
Muriel Gargaud, Prof. Ricardo Amils, José Cernicharo Quintanilla, Henderson James (Jim) Cleaves II, William M. Irvine, Prof. Daniele L. Pinti, Michel Viso (eds.), 2011PDF
Encyclopedia of Astrobiology
Muriel Gargaud, William M. Irvine, Ricardo Amils, Henderson James (Jim) Cleaves II, Daniele L. Pinti, José Cernicharo Quintanilla, Daniel Rouan, Tilman Spohn, Stéphane Tirard, Michel Viso (eds.), 2015PDF
Life in Extreme Environments
Stephan Ulamec, Jens Biele, Oliver Funke, Marc Engelhardt (auth.), Ricardo Amils, Cynan Ellis-Evans, Helmut Hinghofer-Szalkay (eds.), 2007PDF
Axions: Theory, Cosmology, and Experimental Searches
Roberto D. Peccei (auth.), Markus Kuster, Georg Raffelt, Berta Beltrán (eds.), 2008DJVU
Black holes
DeWitt B.S., DeWitt C. (eds.), 1973DJVU
Black holes
DeWitt B.S., DeWitt C. (eds.), 1973DJVU
Black Holes
DeWitt C., DeWitt, B.S. (eds.), 1973DJVU
Black Holes
DeWitt C., DeWitt, B.S. (eds.), 1973DJVU
Black Holes: Theory and Observation : Proceedings of the 179th W.E. Heraeus Seminar Held at Bad Honnef, Germany, 18-22 August 1997
Jean-Pierre Luminet (auth.), Friedrich W. Hehl, Claus Kiefer, Ralph J.K. Metzler (eds.), 1998DJVU
Comets to Cosmology: Proceedings of the Third IRAS Conference Held at Queen Mary College, University of London July 6–10, 1987
S. F. Dermott, P. D. Nicholson, Y. Kim, B. Wolven, E. F. Tedesco (auth.), Andrew Lawrence (eds.), 1988PDF
