Home Advanced Search

Advanced Search - Page 1

Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers
  • PDF
  • English
  • Year: 2001
  • Author: David Harel, Hillel Kugler (auth.), Shen Yu, Andrei Păun (eds.)
DNA Computing: 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Mihai Ionescu, Andrei Păun, Gheorghe Păun, Mario J. Pérez-Jiménez (auth.), Chengde Mao, Takashi Yokomori (eds.)
DNA Computing: 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Mihai Ionescu, Andrei Păun, Gheorghe Păun, Mario J. Pérez-Jiménez (auth.), Chengde Mao, Takashi Yokomori (eds.)
DNA Computing: 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Mihai Ionescu, Andrei Păun, Gheorghe Păun, Mario J. Pérez-Jiménez (auth.), Chengde Mao, Takashi Yokomori (eds.)
Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: David Harel (auth.), Johan Jeuring (eds.)
First-Order Dynamic Logic
  • PDF
  • English
  • Year: 1979
  • Author: David Harel (eds.)
First-Order Dynamic Logic
  • DJVU
  • English
  • Year: 1979
  • Author: David Harel (eds.)
RNA Interference Techniques
  • PDF
  • English
  • Year: 2011
  • Author: Yu Shen (auth.), Scott Q. Harper (eds.)
Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: David Harel, Yaki Setty (auth.), Jasmin Fisher (eds.)
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.)
search