opac header image

Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Mathematical Problems from Applied Logic I

by Gabbay, Dov M., editor.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: New York, NY Springer New York 2006Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.

2.
Instruction Sequences for Computer Science

by Bergstra, Jan A., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Paris Atlantis Press, Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 004.0151, 23.

3.
Modern Formal Methods and Applications

by Gabbar, Hossam A., editor.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands 2006Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 541.2, 23.

4.
Digital logic and computer design

by Mano, M. Morris.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Noida: Pearson, 2016Availability: Items available for loan: CMRP Library (5)Call number: 004.2 MAN-D, ...

Pages
© 2024 Copyright: Customised and Maintained by Central Library NISER

Central Library, NISER Library Building, PO-Jatni, Khurda, Odisha - 752050, India | Email: libniser@niser.ac.in Phone: +91-674-2494171

Powered by Koha