LEADER 01464nam0-2200337 --450 
001 9910217759903321
005 20170928133006.0
100   $a20170928d1796----kmuy0itay5050    ba
101   $aita
102   $aIT
105   $a        001yy
200 1 $aElementi di medicina pratica di Guglielmo Cullen professore di medicina pratica nell'Universita di Edimburgo ... Traduzione dall'inglese arricchita di varie annotazioni del sig. Bosquillon e del traduttore italiano. Volume 1. [-4.]
205   $aEdizione terza ricorretta sull'originale
210   $aIn Venezia$cappresso Tommaso Bettinelli$d1796
215   $a4 v.$d8°
300   $aAltra ed., pubblicata nello stesso anno dallo stesso editore, presenta testo ricomposto
300   $aIndicazione di edizione solo sul volume 1
300   $aFregio xilogr. sui front.
327 1 $avol. 2$avol. 4
620   $dVenezia
700  1$aCullen,$bWilliam$0741226
702  1$aBosquillon,$bEdouard Francois Marie
712 02$aBettinelli, Tommaso$4650
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901  0$aAQ
912   $a9910217759903321
952  0$a90 CCH RARI 1 (2)$fFMEBC
952  0$a90 CCH RARI 1 (4)$fFMEBC
959  0$aFMEBC
996   $aElementi di medicina pratica di Guglielmo Cullen professore di medicina pratica nell'Universita di Edimburgo ... Traduzione dall'inglese arricchita di varie annotazioni del sig. Bosquillon e del traduttore italiano. Volume 1.$91470938
997   $aUNINA

LEADER 03440nam  22006855  450 
001 996466228503316
005 20230221064032.0
010   $a3-319-57861-8
024 7 $a10.1007/978-3-319-57861-3
035   $a(CKB)4340000000061486
035   $a(DE-He213)978-3-319-57861-3
035   $a(MiAaPQ)EBC5576826
035   $a(PPN)202990346
035   $a(EXLCZ)994340000000061486
100   $a20170504d2017      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aApplication and Theory of Petri Nets and Concurrency$b[electronic resource] $e38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25?30, 2017, Proceedings /$fedited by Wil van der Aalst, Eike Best
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XIV, 351 p. 136 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10258
311   $a3-319-57860-X 
320   $aIncludes bibliographical references and index.
327   $aDistinguished Carl Adam Petri Lecture -- Simulation of Colored Petri Nets -- Petri Net Tools -- Model Checking -- Liveness and Opacity -- Stochastic Petri Nets -- Specific Net Classes -- Petri Nets for Pathways.
330   $aThis book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017. The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10258
606   $aComputer science
606   $aSoftware engineering
606   $aComputer simulation
606   $aMachine theory
606   $aArtificial intelligence
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aComputer Modelling
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aComputer simulation.
615  0$aMachine theory.
615  0$aArtificial intelligence.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aComputer Modelling.
615 24$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
676   $a511.35
702   $avan der Aalst$b Wil$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBest$b Eike$f1951-$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466228503316
996   $aApplication and Theory of Petri Nets and Concurrency$91905519
997   $aUNISA