Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Reasoning about java programming in higher order logic with PVS and Isabelle by Marieke Huisman by Series: IPA Dissertation series
Material type: Text Text
Publication details: Utrecht IPA 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.117 N73.

Place hold
2.
No cover image available
Tribute to a titan: birth centenary of Homi Jehangir Bhabha ed by Dipan K Ghosh and Arun K Grover by
Material type: Text Text
Publication details: Mumbai IPA 2009
Availability: Not available: JRD Tata Memorial Library: Checked out (1).

Place hold
Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
                             Contact   Phone: +91 80 2293 2832