IUKL Library

Your search returned 11 results. Subscribe to this search

Not what you expected? Check for suggestions
|
Petri nets [electronic resource] : fundamental models, verification and applications / edited by Michel Diaz.

by Diaz, Michel, 1945- | ebrary, Inc.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Hoboken, NJ : ISTE ; John Wiley and Sons, 2009Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
Log in to add tags. Add to cart
Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol.

by Yoeli, Michael, 1917- | Kol, Rakefet | ebrary, Inc.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Hoboken, N.J. : Wiley-Interscience, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
Logic, computation, hierarchies / edited by Vasco Brattka, Hannes Diener, Dieter Spreen.

by Selivanov, Victor [honouree.] | Brattka, Vasco, 1966- [editor.] | Diener, Hannes [editor.] | Spreen, Dieter [editor.].

Material type: book Book; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Boston : De Gruyter, [2014]Copyright date: �2014Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.].

by Huang, Hejiao | ebrary, Inc.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : World Scientific Pub. Co., 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
Petri nets [electronic resource] : fundamental models, verification and applications / edited by Michel Diaz.

by Diaz, Michel, 1945- | ebrary, Inc.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Hoboken, NJ : ISTE ; John Wiley and Sons, 2009Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
Biological petri nets [electronic resource] / edited by Edgar Wingender.

by Wingender, Edgar | ebrary, Inc.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Washington, D.C. : IOS Press, 2011Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.].

by Huang, Hejiao | ebrary, Inc.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : World Scientific Pub. Co., 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.].

by Huang, Hejiao | ebrary, Inc.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : World Scientific Pub. Co., 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.].

by Huang, Hejiao | ebrary, Inc.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : World Scientific Pub. Co., 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.].

by Huang, Hejiao | ebrary, Inc.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : World Scientific Pub. Co., 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
Systems dependability assessment : benefits of petri net models / Jean-Fran�cois Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni.

by Aubry, Jean-Fran�cois [author.] | Br�inzei, Nicolae [author.] | Mazouni, Mohammed-Habib [author.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Hoboken, New Jersey : ISTE : Wiley, 2015Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
The Library's homepage is at http://library.iukl.edu.my/.