Skip to main content
Indraprastha Institute of Information Technology, Delhi
Your cart is empty.
Cart
Lists
Public lists
Machine Learning
Books to check out
Need to read
For the love of physics
Women & Gender Studies
"Field", Archive & Ethnography
Correlation/Causation: Quant
Real vs Reel: Power & Self
Academic Writing, Critical Thinking & Work-Ethic
Beyond Borders, Within Lines - Art & Cultural Pluralism
View all
Your lists
Log in to create your own lists
Log in to your account
Search history
Clear
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
All item type
Books
CDs
Children Collection Book
DVDs
eBooks
eBooks-CSE-Springer
eBooks-SSH-OUP
Highly Demanded Book
Kindle eBook
Kindle eBook Reader
Maps
Mixed Materials
Music
Periodicals
Reference
Thesis
Advanced search
Course reserves
Tag cloud
Most popular
Libraries
Log in to your account
×
Log in with Google
If you do not have a Google account, but do have a local account, you can still log in:
Login:
Password:
Forgot your password?
Home
Search results
Refine your search
Availability
Limit to currently available items
Authors
Das, M. K.
Korb, Kevin B.
Kroening, Daniel
Nicholson, Ann E.
Strichman, Ofer
Collections
Mathematics
[
x
]
Holding libraries
IIITD
[
x
]
Item types
Books
Reference
Locations
General Stacks
Reference
Series
Chapman & Hall/CRC c...
Texts in theoretical...
Topics
Algorithms
Bayesian statistical...
BUSINESS & ECONOMICS...
Computer science
Computers
COMPUTERS / General
COMPUTERS / Software...
Engineering mathemat...
Machine learning
Mathematical models
Neural networks (Com...
Software engineering
Show more
Show less
Your search returned 3 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)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
Cart
Machine Learning
[ New list ]
Place hold
Results
1.
Decision procedures : an algorithmic point of view
by
Kroening, Daniel
Strichman, Ofer
Series:
Texts in theoretical computer science an EATCS
Edition:
2nd ed.
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Berlin :
Springer,
©2016
Availability:
Items available for reference:
IIITD: Not for loan
(1)
Call number:
REF 519.542 KRO-D
.
Add to cart
(remove)
2.
Discrete mathematical structures for computer scientists and engineers
by
Das, M. K
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
New Delhi. :
Narosa Publishing House,
c2007
Availability:
Items available for loan:
IIITD
(1)
Call number:
511 DAS-D
.
Place hold
Add to cart
(remove)
3.
Bayesian artificial intelligence
by
Korb, Kevin B
Nicholson, Ann E
Series:
Chapman & Hall/CRC computer science and data analysis series
Edition:
2nd ed.
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Boca Raton, FL :
CRC Press,
c2011
Availability:
Items available for loan:
IIITD
(1)
Call number:
REF 006.3 KOR-B
.
Place hold
Add to cart
(remove)
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in