Home Advanced Search

Advanced Search - Page 1

NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Cesare Tinelli (auth.), Alwyn E. Goodloe, Suzette Person (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Christel Baier, Cesare Tinelli (eds.)
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev (auth.), Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.)
Mineral Deposit Evaluation: A practical approach
  • PDF
  • English
  • Year: 1991
  • Author: Alwyn E. Annels (auth.)
Laparoscopic Entry: Traditional Methods, New Insights and Novel Approaches
  • PDF
  • English
  • Year: 2012
  • Author: Tom A. J. Schneider (auth.), Andrea Tinelli (eds.)
Agricultural Use of Groundwater: Towards Integration Between Agricultural Policy and Water Resources Management
  • PDF
  • English
  • Year: 2001
  • Author: Cesare Dosi (auth.), Cesare Dosi (eds.)
Old and New Questions in Physics, Cosmology, Philosophy, and Theoretical Biology: Essays in Honor of Wolfgang Yourgrau
  • PDF
  • English
  • Year: 1983
  • Author: Alwyn van der Merwe (auth.), Alwyn van der Merwe (eds.)
Imagery and Cognition
  • PDF
  • English
  • Year: 1991
  • Author: John T. E. Richardson (auth.), Cesare Cornoldi, Mark A. McDaniel (eds.)
Applications of Fibonacci Numbers: Volume 5 Proceedings of ‘The Fifth International Conference on Fibonacci Numbers and Their Applications’, The University of St. Andrews, Scotland, July 20–July 24, 1992
  • PDF
  • English
  • Year: 1993
  • Author: Peter G. Anderson (auth.), Professor Gerald E. Bergum, Professor Andreas N. Philippou, Professor Alwyn F. Horadam (eds.)
Applications of Fibonacci Numbers: Volume 6 Proceedings of ‘The Sixth International Research Conference on Fibonacci Numbers and Their Applications’, Washington State University, Pullman, Washington, U.S.A., July 18–22, 1994
  • PDF
  • English
  • Year: 1996
  • Author: Peter G. Anderson (auth.), Professor Gerald E. Bergum, Professor Andreas N. Philippou, Professor Alwyn F. Horadam (eds.)
search