Home Advanced Search

Advanced Search - Page 1

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
Advances in Mathematics Education Research on Proof and Proving: An International Perspective
  • PDF
  • English
  • Year: 2018
  • Author: Andreas J. Stylianides,Guershon Harel (eds.)
Search Based Software Engineering: Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Andreas Zeller (auth.), Myra B. Cohen, Mel Ó Cinnéide (eds.)
Handbuch Fahrzeugakustik: Grundlagen, Auslegung, Berechnung, Versuch
  • PDF
  • German
  • Year: 2009
  • Author: Peter Zeller (auth.), Peter Zeller (eds.)
電腦也搞不定 (-a Taiwanese translation of David Harel's Computers Ltd.-)
  • PDF
  • Chinese
  • Year: 2002
  • Author: David Harel
Self-Evaluation: Affective and Social Grounds of Intentionality
  • PDF
  • English
  • Year: 2011
  • Author: Anita Konzelmann Ziv (auth.), Anita Konzelmann Ziv, Keith Lehrer, Hans Bernhard Schmid (eds.)
Echocardiography and Cardiovascular Function: Tools for the Next Decade
  • PDF
  • English
  • Year: 1997
  • Author: David Prater (auth.), Julio E. Pérez M.D., Roberto M. Lang M.D., Victor Mor-Avi Ph.D. (eds.)
Highlights of Pediatric Radiology: 22nd Post-Graduate Course of the European Society of Pediatric Radiology (ESPR) Jerusalem, Israel, May 23–24, 1999
  • PDF
  • English
  • Year: 1999
  • Author: B. Newman (auth.), J. Bar-Ziv, G. Horev, G. Kalifa (eds.)
Algorithmics: The Spirit of Computing
  • PDF
  • English
  • Year: 2004
  • Author: David Harel, Yishai A. Feldman
Algorithmics : the spirit of computing
  • PDF
  • English
  • Year: 2004
  • Author: Harel, David; Feldman, Yishai A
search