Your search returned 12 results.

Results
		Performance modeling of automated manufacturing systems / N. Viswanadham, Y. Narahari. by Viswanadham, N, 1943- Narahari, Y Series: Prentice-Hall information and system sciences series Material type: Text Publication details: Prentice Hall, c1992 Availability: Items available for loan: TUS: Midlands, Main Library (2)Location, call number: Athlone General Lending 670.427 VIS, ... Place hold Place recall Add to cart (remove)
		No cover image available Decline of the steller sea lions in Alaskan waters [electronic resource] : untangling food webs and fishing nets / Committee on the Alaska Groundfish Fishery and Steller Sea Lions, Ocean Studies Board, Polar Research Board, Division on Earth and Life Studies, National Research Council of the National Academies. by ProQuest (Firm) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Washington, D.C. : National Academies Press, c2003 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)
		No cover image available Partnerships for malaria control [electronic resource] : engaging the formal and informal private sectors : a review / commissioned by the UNICEF/UNDP/World Bank/WHO Special Programme for Research and Training in Tropical Diseases (TDR), in collaboration with the Working Group on Financing and Resources of the Roll Back Malaria Partnership, chaired by the World Bank. by Fraser, Nicole Druce, Nel Global Partnership to Roll Back Malaria. Working Group on Financing and Resources Special Programme for Research and Training in Tropical Diseases World Health Organization HLSP Institute (London, England) ProQuest (Firm) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Geneva : Special Programme for Research & Training in Tropical Diseases (TDR) : World Health Organization, c2006 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)
		No cover image available Nets, puzzles, and postmen [electronic resource] / Peter M. Higgins. by Higgins, Peter M, 1956- ProQuest (Firm) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Oxford ; New York : Oxford University Press, 2007 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)
		No cover image available 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 ProQuest (Firm) Series: Wiley series on parallel and distributed computing Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Hoboken, N.J. : Wiley-Interscience, c2008 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)
		No cover image available Petri nets [electronic resource] : fundamental models, verification and applications / edited by Michel Diaz. by Diaz, Michel, 1945- ProQuest (Firm) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Hoboken, NJ : ISTE ; John Wiley and Sons, 2009 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)
		No cover image available Biological petri nets [electronic resource] / edited by Edgar Wingender. by Wingender, Edgar ProQuest (Firm) Series: Studies in health technology and informatics ; v. 162. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Washington, D.C. : IOS Press, 2011 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)
		No cover image available Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.]. by Huang, Hejiao ProQuest (Firm) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Singapore : World Scientific Pub. Co., 2012 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)
		Systems dependability assessment : benefits of petri net models / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni. [electronic resource] by Aubry, Jean-François [author.] Brînzei, Nicolae [author.] Mazouni, Mohammed-Habib [author.] Series: Systems and industrial engineering series \| Systems dependability assessment set Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Hoboken, New Jersey : ISTE : Wiley, 2015 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)
		Logic, computation, hierarchies / edited by Vasco Brattka, Hannes Diener, Dieter Spreen. [electronic resource] by Selivanov, Victor [honouree.] Brattka, Vasco, 1966- [editor.] Diener, Hannes [editor.] Spreen, Dieter [editor.] Series: Ontos mathematical logic ; v. 4. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Boston : De Gruyter, [2014]Copyright date: ©2014 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)
		No cover image available Delaunay mesh generation [electronic resource] / Siu-Wing Cheng, Tamal Krishna Dey, Jonathan Richard Shewchuk. by Cheng, Siu-Wing Dey, Tamal K. (Tamal Krishna), 1964- Shewchuk, Jonathan ProQuest (Firm) Series: Chapman & Hall/CRC computer and information science series Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boca Raton, Fla. : Taylor & Francis, 2013 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)
		Elements of distributed algorithms : modeling and analysis with Petri nets / Wolfgang Reisig. [electronic resource] by Reisig, Wolfgang, 1950- [author.] Edition: First edition. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin, [Germany] ; Heidelberg, [Germany] : Springer, 1998Copyright date: ©1998 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)

Report a problem

Powered by Koha