Home Advanced Search

Advanced Search - Page 1

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers ...
  • PDF
  • English
  • Year: 2009
  • Author: Doron A. Peled, Michael Wooldridge
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2009
  • Author: Natasha Alechina, Brian Logan (auth.), Doron A. Peled, Michael J. Wooldridge (eds.)
软件可靠性方法
  • PDF
  • Chinese
  • Year: 2012
  • Author: Doron A. Peled
Software Reliability Methods
  • DJVU
  • English
  • Year: 2001
  • Author: Doron A. Peled
Software Reliability Methods
  • PDF
  • English
  • Year: 2001
  • Author: Doron A. Peled
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)
Dependable software systems engineering
  • PDF
  • English
  • Year: 2017
  • Author: Alexander Pretschner, Doron A Peled, Thomas Hutzelmann
Artificial Intelligence
  • EPUB
  • English
  • Year: 2018
  • Author: Michael Wooldridge
The Road to Conscious Machines: The Story of AI (Pelican)
  • EPUB
  • English
  • Year: 2018
  • Author: Michael Wooldridge
Artificial intelligence today recent trends and developments
  • EPUB
  • English
  • Year: 2018
  • Author: Michael Wooldridge
search