LEADER 01591nam--2200397---450- 001 990000948780203316 035 $a0094878 035 $aUSA010094878 035 $a(ALEPH)000094878USA01 035 $a0094878 100 $a20020206d1986----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aAtti della tavola rotonda su I problemi medici e sociali della sclerosi multipla$eRoma, 12 giugno 1986$fpromossa ed organizzata dall'Istituto italiano di medicina sociale, in collaborazione con l'Associazione italiana sclerosi multipla 210 $aRoma$cIstituto italiano di medicina sociale$d1986 215 $a59 p$d24 cm 225 2 $aI quaderni degli incontri 300 $aTit. in cop.: I problemi medici e sociali della sclerosi multipla. - Ed. f.c. 410 $12001$aI quaderni degli incontri 606 0 $aSclerosi multipla$xMedicina sociale 676 $a362.196834 710 12$aTavola rotonda su I problemi medici e sociali della sclerosi multipla <1986 ; Roma>$0552458 712 02$aIstituto italiano di medicina sociale 712 02$aAssociazione italiana sclerosi multipla 801 0$aIT$bsalbc$gISBD 912 $a990000948780203316 951 $aXV C MISC. 1/7$b25736 LM$cXV C MISC 959 $aBK 969 $aUMA 979 $aPATTY$b90$c20020206$lUSA01$h1239 979 $aPATTY$b90$c20020325$lUSA01$h1215 979 $c20020403$lUSA01$h1737 979 $aPATRY$b90$c20040406$lUSA01$h1705 996 $aAtti della tavola rotonda su I problemi medici e sociali della sclerosi multipla$9974004 997 $aUNISA LEADER 01323nam--2200385---450- 001 990002256100203316 005 20091127150841.0 010 $a88-14-11039-5 035 $a000225610 035 $aUSA01000225610 035 $a(ALEPH)000225610USA01 035 $a000225610 100 $a20041210d2004----km-y0enga50------ba 101 0 $aita 102 $aIT 105 $ay|||z|||001yy 200 1 $aProfili di responsabilità della banca nella concessione del credito$fAmalita Viscusi 210 $aMilano$cGiuffrè$d2004 215 $aVI, 245 p.$d24 cm 225 2 $a<> diritto della banca e della borsa$iStudi e dibattiti$v35 410 $a<> diritto della banca e della borsa$iStudi e dibattiti 606 0 $aConcessioni di credito$xLegislazione 606 0 $aBanche$xResponsabilità 676 $a346.450821753 700 1$aVISCUSI,$bAmalita$0279515 801 0$aIT$2UNIMARC 912 $a990002256100203316 951 $aXXV.3. Coll. 4/ 34 (COLL HLT 35)$b43802 G.$cXXV.3. Coll. 4/ 34 (COLL HLT)$d00140165 959 $aBK 969 $aGIU 979 $aACQUISTI$b10$c20041210$lUSA01$h1222 979 $aPAOLA$b90$c20050426$lUSA01$h1010 979 $aRSIAV3$b90$c20091127$lUSA01$h1508 996 $aProfili di responsabilità della banca nella concessione del credito$9746589 997 $aUNISA LEADER 05582nam 22007815 450 001 9910483534503321 005 20251226202630.0 010 $a1-280-38721-1 010 $a9786613565136 010 $a3-642-13675-3 024 7 $a10.1007/978-3-642-13675-7 035 $a(CKB)2670000000028915 035 $a(SSID)ssj0000446300 035 $a(PQKBManifestationID)11282004 035 $a(PQKBTitleCode)TC0000446300 035 $a(PQKBWorkID)10496214 035 $a(PQKB)11377637 035 $a(DE-He213)978-3-642-13675-7 035 $a(MiAaPQ)EBC3065414 035 $a(PPN)149063938 035 $a(BIP)30955833 035 $a(EXLCZ)992670000000028915 100 $a20100611d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aApplications and Theory of Petri Nets $e31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings /$fedited by Johan Lilius, Wojciech Penczek 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (X, 329 p. 129 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6128 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-13674-5 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Instance Deadlock: A Mystery behind Frozen Programs -- Some Thoughts on Behavioral Programming -- Petri Nets with Localities and Testing -- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future -- Full Papers -- Can Stubborn Sets Be Optimal? -- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition -- Canonical Transition Set Semantics for Petri Nets -- A Characterization of Combined Traces Using Labeled Stratified Order Structures -- Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets -- The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification -- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets -- Forward Analysis for Petri Nets with Name Creation -- Learning Workflow Petri Nets -- Process Mining from a Basis of State Regions -- Separability in Persistent Petri Nets -- New Algorithms for Deciding the Siphon-Trap Property -- Tool Papers -- AlPiNA: A Symbolic Model Checker -- Wendy: A Tool to Synthesize Partners for Services -- GreatSPN Enhanced with Decision Diagram Data Structures -- PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. 330 $aThis volume consists of the proceedings of the 31th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri nets and related models of conc- rency. They provide a forum for researchers to present and discuss both app- cations and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. The satellite program of the conference comprised ?ve workshops and three tutorials. This year, the c- ference was co-located with the 10th International Conference on Application of Concurrency to System Design (ACSD 2010). The two conferences shared ?ve invited speakers. Detailed information about PETRI NETS 2010 can be found at http://petrinets2010. di. uminho. pt. The PETRI NETS 2010 conference was organized by the Universidade du Minho and the Instituto Polyte?cnico de Beja. It took place in Braga, Portugal during June 21-25, 2010. We would like to express our deepest thanks to the Organizing Committee, chaired by Joa?o M. Fernandes, for the time and e'ort invested in the conference and for all the help with local organization. We are also grateful for the ?nancial support by Centro de Cie?ncias e Tecnologias de Computac?a?o. Thisyearthenumberofsubmittedpapersamountedto50,whichincluded43 full papers and 7 tool papers. The authors of the papers come from 20 di'erent countries. We thank allthe authorswho submitted their papers. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6128 606 $aComputer science 606 $aComputer programming 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aTheory of Computation 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 615 0$aComputer science. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 14$aTheory of Computation. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 676 $a004.0151135 701 $aLilius$b Johan$01758505 701 $aPenczek$b Wojciech$01758506 712 12$aInternational Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483534503321 996 $aApplications and theory of petri nets$94196732 997 $aUNINA