विद्यार्जन संसाधन केंद्र, भारतीय प्रौद्योगिकी संस्थान इन्दौर
Learning Resource Center, Indian Institute of Technology Indore

ऑनलाइन सार्वजनिक अभिगम प्रसूची
Online Public Access Catalogue (OPAC)

Normal view MARC view ISBD view

Logic in Computer Science: Modelling and Resoning about Systems

By:

Huth, Michael

Contributor(s):

Ryan Mark

Material type: Text

Text

TextPublication details: New York Cambridge Univesity Press 2005Edition: 2nd edDescription: xiv, 427p.; 24 cmISBN:

9780521670896

DDC classification:

005.1015113 HUT

Average rating: 0.0 (0 votes)

Holdings ( 1 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Book	LRC, IIT Indore 3rd Floor - General Stack	005.1015113 HUT (Browse shelf(Opens below))	Available		2765

Total holds: 0

Browsing LRC, IIT Indore shelves, Shelving location: 3rd Floor - General Stack Close shelf browser (Hides shelf browser)

Previous			No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	005.1 VAZ Approximation algorithms	005.1 VAZ Approximation algorithms	005.1 ZHU Integration-ready architecture and design : software engineering with XML, Java, .NET, wireless, speech, and knowledge technologies	005.1015113 HUT Logic in Computer Science: Modelling and Resoning about Systems	005.1015113 HUT Logic in Computer Science: Modelling and Resoning about Systems	005.1015113 HUT Logic in Computer Science: Modelling and Resoning about Systems	005.1015113 HUT Logic in Computer Science: Modelling and Resoning about Systems	Next

Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:

Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.

Managed & maintained by Learning Resource Center, IIT Indore

Powered by Koha