Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Parsing techniques : a practical guide / Dick Grune, Ceriel J.H. Jacobs. by Series: Monographs in computer science
Edition: 2nd ed.
Material type: Text Text; Format: print
Publication details: New York, NY : Springer, 2008
Availability: Not available: UMK Kampus Bachok: Withdrawn (1).

2.
Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsingl by Series: Monographs in computer science
Material type: Text Text; Format: print
Publication details: New York : Springer 2005
Availability: Items available for loan: UMK Kampus Jeli (1)Call number: QA9.54 .P64 2005 OS.

Place hold
Pages

©2025 Pustaka Universiti Malaysia Kelantan

THE OFFICE OF LIBRARY AND KNOWLEDGE MANAGEMENT