|
1481.
|
Handbook of model checking by Clarke, Edmund M. (Editor) | Henzinger, Thomas A. (Editor) | Veith, Helmut (Editor) | Bloem, Roderick (Editor). Edition: 1st ed. Language: English Publisher: Switzerland Springer 2018Availability: Items available for loan: Central Library
[Call number: 004.24 CLA/H]
(4). Items available for reference: Central Library
[Call number: 004.24 CLA/H]
(1).
|
|
1482.
|
Logic in computer science: modelling and reasoning about systems by Huth, Michael | Ryan, Mark. Edition: 2nd ed. Language: English Publisher: Cambridge Cambridge University Press 2018Availability: Items available for loan: Central Library
[Call number: 005.1015113 HUT/L]
(7). Items available for reference: Central Library
[Call number: 005.1015113 HUT/L]
(1). Checked out (2).
|
|
1483.
|
Modern applications of automata theory by D'Souza, Deepak (Editor) | Shankar, Priti (Editor). Language: English Publisher: Singapore IISc Press, World Scientific c2012Availability: Items available for loan: Central Library
[Call number: 005.31 DSO/M]
(2). Items available for reference: Central Library
[Call number: 005.131 DSO/M]
(1).
|
|
1484.
|
Theory of computation by Kozen, Dexter C. Language: English Publisher: London Springer-Verlag c2006Availability: Items available for loan: Central Library
[Call number: 004.0151 KOZ/T]
(3). Items available for reference: Central Library
[Call number: 004.0151 KOZ/T]
(1). Checked out (4).
|
|
1485.
|
Theory of computational complexity by Du, Ding-Zu | Ko, Ker-I. Edition: 2nd ed. Language: English Publisher: New Jersey Wiley c2014Availability: Items available for loan: Central Library
[Call number: 004.0151 DU/T]
(1). Items available for reference: Central Library
[Call number: 004.0151 DU/T]
(1). Checked out (1).
|
|
1486.
|
Introduction to circuit complexity: a uniform approach by Vollmer, Heribert. Edition: 1st ed. Language: English Publisher: Berlin Springer-Verlag c1999Availability: Items available for loan: Central Library
[Call number: 004.0151 VOL/I]
(4). Items available for reference: Central Library
[Call number: 004.0151 VOL/I]
(1).
|
|
1487.
|
Boolean function complexity: advances and frontiers by Jukna, Stasys. Edition: 1st ed. Language: English Publisher: Berlin Springer 2012Availability: Items available for loan: Central Library
[Call number: 004.0151 JUK/B]
(3). Items available for reference: Central Library
[Call number: 004.0151 JUK/B]
(1). Checked out (1).
|
|
1488.
|
|
|
1489.
|
Data structures and algorithms in Java by Goodrich, Michael T | Tamassia, Roberto | Goldwasser, Michael H. Edition: 6th ed. Language: English Publisher: New Delhi Wiley 2021Availability: Items available for loan: Central Library
[Call number: 005.73 GOO/D]
(8). Items available for reference: Central Library
[Call number: 005.73 GOO/D]
(1). Checked out (1).
|
|
1490.
|
An Introduction to Statistical Learning: with Applications in R by James, Gareth | Witten, Daniela Hastie, Trevor Tibshirani, Robert. Edition: Ed. 2 Language: English Publisher: United States of America -- Springer -- 2021Availability: Items available for loan: Central Library
[Call number: 006.31 JAM/I]
(2). Items available for reference: Central Library
[Call number: 006.31 JAM/I]
(1).
|
|
1491.
|
Pattern recognition and machine learning by Bishop, Christopher M. Language: English Publisher: New York Springer 2009Availability: Items available for loan: Central Library
[Call number: 006.4 BIS/P]
(1). Items available for reference: Central Library
[Call number: 006.4 BIS/P]
(1). Checked out (1).
|
|
1492.
|
Deep learning with Python by Chollet, Francois. Edition: 2nd ed. Language: English Publisher: New York Manning Publications 2021Availability: Items available for loan: Central Library
[Call number: 006.31 CHO/D]
(1). Items available for reference: Central Library
[Call number: 006.31 CHO/D]
(1). Checked out (3).
|
|
1493.
|
|
|
1494.
|
R for data science: import, tidy, transform, visualize, and model data by Wickham, Hadley | Grolemund, Garrett. Language: English Publisher: Navi Mumbai Shroff Publishers and Distributors 2023Availability: Items available for loan: Central Library
[Call number: 006.312 WIC/R]
(4). Items available for reference: Central Library
[Call number: 006.312 WIC/R]
(1). Checked out (3).
|
|
1495.
|
|
|
1496.
|
Pattern Classification by Duda, Richard O | Hart, Peter E. Stork, David G. Edition: Ed. 2 Language: English Publisher: United States of America -- John Wiley & Sons -- 2000Availability: Items available for loan: Central Library
[Call number: 006.4 DUD/P]
(2). Items available for reference: Central Library
[Call number: 006.4 DUD/P]
(1).
|
|
1497.
|
Applied statistics and probability for engineers by Montgomery, Douglas C | Runger, George C. Edition: 6th ed. Language: English Publisher: New Delhi Wiley 2019Availability: Items available for loan: Central Library
[Call number: 519.5 MON/A]
(7). Items available for reference: Central Library
[Call number: 519.5 MON/A]
(1).
|
|
1498.
|
AI ethics by Coeckelbergh, Mark. Language: English Publisher: Cambridge The MIT Press 2020Availability: Items available for loan: Central Library
[Call number: 170 COE/A]
(6). Items available for reference: Central Library
[Call number: 170 COE/A]
(1).
|
|
1499.
|
|
|
1500.
|
Topics in functional analysis and applications by Kesavan, S. Edition: 3rd ed. Language: English Publisher: New Delhi New Age International Publishers 2019Availability: Items available for loan: Central Library
[Call number: 515.7 KES/T]
(3). Items available for reference: Central Library
[Call number: 515.7 KES/T]
(1). Checked out (6).
|