Skip to main content
LRC IIT Indore
Your cart is empty.
Cart
Log in to your account
Search history
Clear
विद्यार्जन
संसाधन
केंद्र, भारतीय
प्रौद्योगिकी
संस्थान
इन्दौर
Learning Resource Center, Indian Institute of Technology Indore
ऑनलाइन सार्वजनिक अभिगम प्रसूची
O
nline
P
ublic
A
ccess
C
atalogue (
OPAC
)
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Browse by hierarchy
Authority search
Library
Log in to your account
×
Login:
Password:
Forgot your password?
Home
Results of search for 'ccl=su:"Computer science" and location:GS-3rd and au: Ryan, Mark and (( (allrecords,AlwaysMatches='') and (not-onloan-count,st-numeric >= 1) and (lost,st-numeric=0) ))'
Refine your search
Availability
Limit to currently available items
Authors
Ryan, Mark
(9)
Huth, Michael
(9)
Item types
Book
(9)
Locations
3rd Floor - General Stack
(9)
Topics
Computer Science
(9)
Your search returned 9 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Results per page:
20 (default)
20
40
60
80
100
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
Cart
Place hold
Results
1.
Logic in Computer Science: Modelling and Reasoning about Systems
by
Huth, Michael
Ryan, Mark
Material type:
Text
Publication details:
Cambridge
Cambridge University Press
2004
Availability:
Items available for loan:
LRC, IIT Indore
(1)
Location, call number:
3rd Floor - General Stack
005.1015113 HUT
.
Place hold
Add to cart
(remove)
2.
Logic in Computer Science: Modelling and Reasoning about Systems
by
Huth, Michael
Ryan, Mark
Material type:
Text
Publication details:
Cambridge
Cambridge University Press
2004
Availability:
Items available for loan:
LRC, IIT Indore
(1)
Location, call number:
3rd Floor - General Stack
005.1015113 HUT
.
Place hold
Add to cart
(remove)
3.
Logic in Computer Science: Modelling and Reasoning about Systems
by
Huth, Michael
Ryan, Mark
Material type:
Text
Publication details:
Cambridge
Cambridge University Press
2004
Availability:
Items available for loan:
LRC, IIT Indore
(1)
Location, call number:
3rd Floor - General Stack
005.1015113 HUT
.
Place hold
Add to cart
(remove)
4.
Logic in Computer Science: Modelling and Reasoning about Systems
by
Huth, Michael
Ryan, Mark
Material type:
Text
Publication details:
Cambridge
Cambridge University Press
2004
Availability:
Items available for loan:
LRC, IIT Indore
(1)
Location, call number:
3rd Floor - General Stack
005.1015113 HUT
.
Place hold
Add to cart
(remove)
5.
Logic in Computer Science: Modelling and Reasoning about Systems
by
Huth, Michael
Ryan, Mark
Material type:
Text
Publication details:
Cambridge
Cambridge University Press
2004
Availability:
Items available for loan:
LRC, IIT Indore
(1)
Location, call number:
3rd Floor - General Stack
005.1015113 HUT
.
Place hold
Add to cart
(remove)
6.
Logic in Computer Science: Modelling and Reasoning about Systems
by
Huth, Michael
Ryan, Mark
Material type:
Text
Publication details:
Cambridge
Cambridge University Press
2004
Availability:
Items available for loan:
LRC, IIT Indore
(1)
Location, call number:
3rd Floor - General Stack
005.1015113 HUT
.
Place hold
Add to cart
(remove)
7.
Logic in Computer Science: Modelling and Reasoning about Systems
by
Huth, Michael
Ryan, Mark
Material type:
Text
Publication details:
Cambridge
Cambridge University Press
2004
Availability:
Items available for loan:
LRC, IIT Indore
(1)
Location, call number:
3rd Floor - General Stack
005.1015113 HUT
.
Place hold
Add to cart
(remove)
8.
Logic in Computer Science: Modelling and Reasoning about Systems
by
Huth, Michael
Ryan, Mark
Material type:
Text
Publication details:
Cambridge
Cambridge University Press
2004
Availability:
Items available for loan:
LRC, IIT Indore
(1)
Location, call number:
3rd Floor - General Stack
005.1015113 HUT
.
Place hold
Add to cart
(remove)
9.
Logic in Computer Science: Modelling and Reasoning about Systems
by
Huth, Michael
Ryan, Mark
Material type:
Text
Publication details:
Cambridge
Cambridge University Press
2004
Availability:
Items available for loan:
LRC, IIT Indore
(1)
Location, call number:
3rd Floor - General Stack
005.1015113 HUT
.
Place hold
Add to cart
(remove)
Pages
Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.
Managed & maintained by Learning Resource Center, IIT Indore
Powered by
Koha