Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Advances in verification of time petri nets and timed automata : a temporal logic approach / Wojciech Penczek, Agata Polrola. by Series:
Material type: Text Text; Format: print
Publisher: New York : Springer, 2006
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA267 .P45 2006.

Place hold Place recall Add to cart
2.
Half a century of inspirational research : honoring the scientific influence of Antoni Mazurkiewicz / edited by W. Penczek and G. Rozenberg. by
Material type: Text Text; Format: print festschrift ; Literary form: Not fiction
Publisher: Washington, DC : IOS Press, 2007
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76 .H35 2007.

Place hold Place recall Add to cart
Pages

© 2024 Hub Pendidikan Tinggi Pagoh

Bangunan Perpustakaan Gunasama,
Seksyen Projek Khas Hab Pendidikan Tinggi Pagoh,
Bahagian Pembangunan,
Kementerian Pendidikan Tinggi,
Jalan Edu Hub Gunasama 6,
KM. 1, Jalan Panchor,
84600, Pagoh, Muar,
Johor Darul Takzim.

06-974 2431

Follow Us

Flag Counter

Powered by Koha