FEEDBACK Smiley face

Your search returned 2 results. Subscribe to this search

1. Logic in computer science : modelling and reasoning about systems

by Huth, Michael | Ryan, Mark.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Cambridge University Press, ©2004Availability: Items available for loan: IIITD [005.101 HUT-L] (2).
Items available for reference: IIITD [REF 005.101 HUT-L] (1).

2. Objects, Agents, and Features [electronic resource] :International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers /

by Ryan, Mark D [editor.] | Meyer, John-Jules Ch [editor.] | Ehrich, Hans-Dieter [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: