Your search returned 5 results.

Sort
Results
1.
Mathematica: a problem-centered approach Roozbeh Hazrat. by
Publication details: New York : Springer-Verlag, 2010
Availability: Items available for reference: Central Library, IISER Bhopal: Not for loan (1)Call number: 515H339M.

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.
Beginning Android games Mario Zechner. by
Publication details: [New York, N.Y.] : Apress : distributed to the book trade worldwide by Springer Science+Business Media, c2011
Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 005.268 Z19B3.

4.
Modeling software behavior : a craftsman's approach Paul C. Jorgensen. by
Publication details: Boca Raton : CRC Press, c2009
Availability: Not available: Central Library, IISER Bhopal: Checked out (1).

5.
Guide to Competitive Programming : Learning and Improving Algorithms Through Contests by Antti Laaksonen. by Series: Undergraduate Topics in Computer Science
Edition: 2nd ed.
Publication details: Switzarland: Springer-Nature, 2020
Availability: Items available for loan: Central Library, IISER Bhopal (3)Call number: 005.11 L11G2, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 005.11 L11G2.

Pages



Contact for Queries: skpathak@iiserb.ac.in