Results
|
1.
|
|
|
2.
|
Principles of model checking Christel Baier, Joost-Pieter Katoen. by
Publication details: Cambridge, Massachusetts The MIT Press 2008
Availability: Items available for loan: Central Library, IISER Bhopal (7)Call number: 004.24 B149P, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (4)Call number: 004.24 B149P, ...
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
Urban computing Yu Zheng. by Series: Information systems
Publication details: Cambridge: The MIT Press, 2018
Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 628.0285 Z61U.
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
|
|
16.
|
|
|
17.
|
Understanding deep learning Simon J. D. Prince. by
Publication details: Cambridge: The MIT Press, 2023
Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 006.31 P935U. Not available: Central Library, IISER Bhopal: Checked out (3).
|