Your search returned 5 results.

Results
	1.	Advances in verification of time petri nets and timed automata : a temporal logic approach / Wojciech Penczek, Agata Polrola. by Penczek, Wojciech [author] Polrola, Agata Series: Material type: 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 (remove)
	2.	Biological petri nets / edited by Edgar Wingender. by Wingender, Edgar Series: Material type: Text; Format: print ; Literary form: Not fiction Publisher: Washington, DC : IOS Press, 2011 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QH324.8 .B56 2011. Place hold Place recall Add to cart (remove)
	3.	Performance analysis of communication systems with non-Markovian stochastic Petri nets / Reinhard German. by German, Reinhard [author] Series: Material type: Text; Format: print Publisher: Chichester : John Wiley, 2000 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TK5105.5 .G47 2000. Place hold Place recall Add to cart (remove)
	4.	Parallel and distributed logic programming : towards the design of a framework for the next generation database machines / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal. by Bhattacharya, Alakananda [author] Mandal, Ajit K Konar, Amit Series: Material type: Text; Format: print Publisher: Berlin : Springer, 2006 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.642 .B42 2006. Place hold Place recall Add to cart (remove)
	5.	Verification of systems and circuits using LOTOS, Petri Nets, and CCS / Michael Yoeli, Rakefet Kol. by Yoeli, Michael [author] Kol, Rakefet Series: Material type: Text; Format: print Publisher: Hoboken, NJ : Wiley-Interscience, 2008 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TK7874.58 .Y63 2008. Place hold Place recall Add to cart (remove)

Powered by Koha