Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Results
Artificial intelligence

by Rich, Elaine | Knight, Kevin | Nair, Shivashankar B.

Edition: 3rd ed. Publication details: New Delhi : McGraw Hill Education(India) Pvt. Ltd., 2009Availability: Items available for loan: Bangalore University Library (2) Call number: 066.3 RIC, ...

Formal Modeling and Analysis of Timed Systems [electronic resource] : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings / edited by Krishnendu Chatterjee, Thomas A. Henzinger.

by Chatterjee, Krishnendu [editor.] | Henzinger, Thomas A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6246Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) .

Formal Modeling and Analysis of Timed Systems [electronic resource] : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings / edited by Krishnendu Chatterjee, Thomas A. Henzinger.

by Chatterjee, Krishnendu [editor.] | Henzinger, Thomas A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6246Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available.

Pages

Powered by Koha