Home Advanced Search

Advanced Search - Page 1

Hybrid Systems Biology: Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Oded Maler, Ádám Halász, Thao Dang, Carla Piazza (eds.)
Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Amir Pnueli (auth.), Oded Maler (eds.)
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.)
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rachid Guerraoui, Michał Kapałka (auth.), Ahmed Bouajjani, Oded Maler (eds.)
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rachid Guerraoui, Michał Kapałka (auth.), Ahmed Bouajjani, Oded Maler (eds.)
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jean-Francois Kempf, Marius Bozga, Oded Maler (auth.), Uli Fahrenberg, Stavros Tripakis (eds.)
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jean-Francois Kempf, Marius Bozga, Oded Maler (auth.), Uli Fahrenberg, Stavros Tripakis (eds.)
Hybrid Systems II
  • DJVU
  • English
  • Year: 1995
  • Author: Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)
Control methods in polymer processing
  • PDF
  • English
  • Year: 1993
  • Author: László Halász (Eds.)
Research, Policymaking, and Innovation: Teacher and Education Development in Belt and Road Countries
  • PDF
  • English
  • Year: 2023
  • Author: Yan Wang, Gábor Halász, Ainat Guberman, Ahmed Baghdady, Oded Mcdossi
search