Model Checking and Artificial Intelligence
5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers
Bibliographic details
Additional authors
Peled, Doron A. Wooldrige, Michael J.
Related catalogue records
Electronic project management systems ( PMS)
Nadeem Ashraf, Muhammad
Introduction to Bioinformatics
Krawetz Stephen. A
Computer systems performance evaluation and prediction
Fortier, Paul J.
Introduction to analog computer programming
Rummer, Dole I.
Computers: from logic to architecture
Dowsing, R.D.
Communication and computing systems
B. M. K. Prasad, Karan Singh, Shyam Pandey and Richard O Kennedy
Introduction to computers for healthcare professionals
Joos, Irene Makar
Computer systems
Warford, J. Stanley