Wellcome

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Coloured Petri Nets [electronic resource] : Modelling and Validation of Concurrent Systems / by Kurt Jensen, Lars M. Kristensen.

by Jensen, Kurt | Kristensen, Lars M | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
Log in to add tags Add to cart
Applications and Theory of Petri Nets [electronic resource] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / edited by Lars M. Kristensen, Laure Petrucci.

by Kristensen, Lars M | Petrucci, Laure | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6709Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
Log in to add tags Add to cart
Pages

No. of hits (from 9th Mar 12) :

web counter

Powered by Koha