02390nlm0 22006491i 450 9900092609004033219783642024245000926090FED01000926090(Aleph)000926090FED0100092609020100926d2009----km-y0itay50------baengDEdrnn-008mamaaApplications and Theory of Petri NetsRisorsa elettronica30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedingsedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Giuliana Franceschinis, Karsten WolfBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435606Documento elettronicoTestoFormato html, pdfFranceschinis,GiulianaHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardWolf,KarstenITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-02424-5EB990009260900403321Algorithm Analysis and Problem ComplexityComputational complexityComputer scienceComputer ScienceComputer softwareDiscrete Mathematics in Computer ScienceInformation theoryLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringTheory of ComputationApplications and Theory of Petri Nets774213UNINA