نتایج جستجو
Deductive Software Verification – The KeY Book: From Theory to Practice
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.), 2016
Advances in Visual Computing: 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part II
George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Fatih Porikli, Sandra Skaff, Alireza Entezari, Jianyuan Min, Daisuke Iwai, Amela Sadagic, Carlos Scheidegger, Tobias Isenberg (eds.), 2016
Advances in Visual Computing: 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part I
George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Fatih Porikli, Sandra Skaff, Alireza Entezari, Jianyuan Min, Daisuke Iwai, Amela Sadagic, Carlos Scheidegger, Tobias Isenberg (eds.), 2016
Rethinking Sport and Exercise Psychology Research: Past, Present and Future
Peter Hassmén, Richard Keegan, David Piggott (auth.), 2016
The Sense of Self: Perspectives from Science and Zen Buddhism
Richard W. Sears (auth.), 2016
Automorphisms of First-Order Structures
Richard Kaye, Dugald Macpherson, 1994
Leading Teams: Setting the Stage for Great Performances
J. Richard Hackman, 2002
Synthesis gas combustion: fundamentals and applications
Lieuwen, Timothy C.; Yang, Vigor; Yetter, Richard A, 2010
Global problems and the culture of capitalism
Robbins, Richard Howard, 2014
Agricultural Chemicals and the Environment: Issues and Potential Solutions
Bailey, Steven; Collier, Rosemary; Harrison, R. M.; Hester, R. E.; Jones, Huw D.; Lampkin, Nicolas; McConnell, Laura; McDowell, Richard; Moffat, Colin, 2016
Bioactive Glasses - Fundamentals, Technology and Applications
Aldo R Boccaccini, Delia S Brauer, Leena Hupa, Hans-Jorg Schneider, Mohsen Shahinpoor, Himanshu Jain, Elisabeth Engel, Daniel Boyd, Edgar Zanotto, Richard Brow, Mohamed Rahaman, J Mano, Valeria Cannillo, Enrica Vernè, Showan Nazhat, Ifty Ahmed, Gowsihan Poologasundarampillai, Nina Lindfors, Judith Roether, Robert Hill, Steven Jung, Antonio Salinas, Pekka Vallittu, Chiara Vitale Brovarone, Antonio Tilocca, 2016
High throughput screening methods: evolution and refinement
Joshua A Bittker, Nathan T Ross, Tom Brown, Kira J Weissman, Claes Andersson, Douglas Auld, Peizin Zhu, Sean Ekins, Jaime Cheah, Mark Wigglesworth, Damien Young, Michael Mesleh, Greg Hoffman, Matthew Robers, Christopher Hale, Benjamin Haibe-Kains, Christopher Mader, Richard Eglen, Stephen Hale, Andrea deSouza, Rohan Beckwith, 2016
Simulating Enzyme Reactivity: Computational Methods in Enzyme Catalysis
Inaki Tunon, Vicent Moliner, Jonathan Hirst, James T. Hynes, Dennis R. Salahub, Ian H. Williams, Johannes Kästner, Modesto Orozco, Jiali Gao, Keiji Morokuma, Jordi Villa Freixa, Paolo Carloni, Dan Thomas Major, Adrian Mulholland, Joan Bertran Rusca, Damien Laage, Carme Rovira Virgili, Jean-Didier Marechal, Arieh Warshel, Richard Schowen, 2016
Thermoelectric materials and devices
Iris Nandhakumar, Neil M White, Stephen Beeby, Laurie Peter, Susan M Kauzlarich, Anthony Powell, Robert Freer, Douglas Paul, Alex Cuenat, Gao Min, Richard Stobart, Kevin Simpson, Andy Naylor, 2017
Textbook of diabetes
Cockram, Clive S.; Flyvbjerg, Allan; Goldstein, Barry J.; Holt, Richard I. G, 2016
Colorectal surgery: clinical care and management
George, Bruce; Guy, Richard; Jones, Oliver; Vogel, Jon, 2016
Grasping the moment: sensemaking in response to routine incidents and major emergencies
Baber, Christopher; McMaster, Richard Benjamin, 2016
Magnetosphere-ionosphere coupling in the solar system
Charles R. Chappell, Robert W. Schunk, Peter M. Banks, Richard M. Thorne, James L. Burch, 2017
Reliability of multiphysical systems set. Volume 2, Nanometer-scale defect detection using polarized light
Dahoo, Pierre Richard; El Hami, Abdelkhalak; Pougnet, Philippe, 2016
Spatial agent-based simulation modeling in public health: design, implementation, and applications for malaria epidemiology
Arifin, S.M. Niaz; Collins, Frank H.; Madey, Gregory Richard, 2016
Veterinary parasitology
Mike A. Taylor, R. L. Coop, Richard L. Wall, 2016
Analysis of protein post-translational modifications by mass spectrometry
Griffiths, John R.; Unwin, Richard D, 2016
Introduction to petroleum engineering
Christiansen , Richard L.; Fanchi, John R, 2016
