کتاب های Frsm (auth.)
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992
Mr Patrick O’Ferrall (auth.), Cliff B. Jones DPhil, Roger C. Shaw GIMA, MBCS, Tim Denvir MA, CEng, MIEE, MBCS (eds.), 1992
A Treatise of Legal Philosophy and General Jurisprudence
Enrico Pattaro, Hubert Rottleuthner, Roger A. Shiner, Aleksander Peczenik, Giovanni Sartor (auth.), Corrado Roversi (eds.), 2005
Acanthaster and the Coral Reef: A Theoretical Perspective: Proceedings of a Workshop held at the Australian Institute of Marine Science, Townsville, Aug. 6–7, 1988
John L. Farrands (auth.), Roger Bradbury (eds.), 1990
Acidic Precipitation: Sources, Deposition, and Canopy Interactions
Roger L. Tanner (auth.), S. E. Lindberg, A. L. Page, S. A. Norton (eds.), 1990
Adaptronics and Smart Structures: Basics, Materials, Design, and Applications
Dr. Craig A. Rogers (auth.), Prof. Dr.-Ing. habil. H. Janocha (eds.), 1999
Advanced Arthroscopy
Roger N. Chams, Stephen J. Snyder (auth.), James C. Y. Chow M.D. (eds.), 2001
Advanced Inorganic Fibers: Process - Structure - Properties - Applications
F. T. Wallenberger (auth.), Frederick T. Wallenberger, ofessor, Director Roger Naslain, John B. Macchesney, Harold D. Ackler, Frederick T. Wallenberger (eds.), 1999
Advanced Inorganic Fibers: Process - Structure - Properties - Applications
F. T. Wallenberger (auth.), Frederick T. Wallenberger, ofessor, Director Roger Naslain, John B. Macchesney, Harold D. Ackler, Frederick T. Wallenberger (eds.), 1999
Advanced Nuclear Systems Consuming Excess Plutonium
Erich R. Merz (auth.), Erich R. Merz, Carl E. Walter (eds.), 1997
Mixed Oxide Fuel (Mox) Exploitation and Destruction in Power Reactors
N. N. Egorov, V. M. Murogov, V. S. Kagramanian, M. F. Troyanov, V. M. Poplavski (auth.), Erich R. Merz, Carl E. Walter, Gennady M. Pshakin (eds.), 1995
Arterial Mesenchyme and Arteriosclerosis
Gardner C. McMillan (auth.), William D. Wagner, Thomas B. Clarkson (eds.), 1974
Retinal Vascular Disease
Desmond B. Archer FRCS, FRCSOph, Tom A. Gardiner PhD, Alan W. Stitt PhD (auth.), Antonia M. Joussen MD, PhD, Thomas W. Gardner MD, MS, Bernd Kirchhof MD, Stephen J. Ryan MD (eds.), 2007
Visual Dysfunction in Diabetes: The Science of Patient Impairment and Health Care
Heather Stuckey (auth.), Joyce Tombran-Tink, Colin J. Barnstable, Thomas W. Gardner (eds.), 2012
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.), 2013
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Anindya Banerjee (auth.), Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.), 2012
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Davide Ancona, Giovanni Lagorio, Elena Zucca (auth.), Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro (eds.), 2009
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Davide Ancona, Giovanni Lagorio, Elena Zucca (auth.), Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro (eds.), 2009
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Davide Ancona, Giovanni Lagorio, Elena Zucca (auth.), Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro (eds.), 2009
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Robin Adams (auth.), Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.), 2004
Machine Learning: Modeling Data Locally and Globally
Dr. Kaizhu Huang, Dr. Haiqin Yang, Prof. Irwin King, Dr. Michael Lyu (auth.), 2008
Neural Information Processing: 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006. Proceedings, Part I
Colin Molter, Naoyuki Sato, Utku Salihoglu, Yoko Yamaguchi (auth.), Irwin King, Jun Wang, Lai-Wan Chan, DeLiang Wang (eds.), 2006
Neural Information Processing: 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006. Proceedings, Part I
Colin Molter, Naoyuki Sato, Utku Salihoglu, Yoko Yamaguchi (auth.), Irwin King, Jun Wang, Lai-Wan Chan, DeLiang Wang (eds.), 2006
Neural Information Processing: 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006. Proceedings, Part I
Colin Molter, Naoyuki Sato, Utku Salihoglu, Yoko Yamaguchi (auth.), Irwin King, Jun Wang, Lai-Wan Chan, DeLiang Wang (eds.), 2006
