LEADER 01056nam0-2200361---450 001 990009099000403321 005 20210212112336.0 010 $a1-55581-292-9 035 $a000909900 035 $aFED01000909900 035 $a(Aleph)000909900FED01 035 $a000909900 100 $a20091006d2004----km-y0itay50------ba 101 0 $aeng 102 $aUS 105 $aaf------001yy 200 1 $aIron transport in bacteria$fedited by Jorge H. Crosa, Alexandra R. Mey, and Shelley M. Payne 210 $aWashington$cASM Press$dc2004 215 $aXIX, 499 p., tav.$cill.$d26 cm 225 1 $aEmerging issues in food safety 610 0 $aMicrorganismi$ametabolismo 676 $a579$v20$zita 676 $a572.429$v23$zita 702 1$aCrosa,$bJorge H. 702 1$aMey,$bAlexandra R. 702 1$aPayne,$bShelley M. 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009099000403321 952 $a60 572.429 CROJ 2004$b12078$fFAGBC 959 $aFAGBC 996 $aIron transport in bacteria$9782038 997 $aUNINA LEADER 01197nam 2200361 450 001 9910704334003321 005 20130205151140.0 035 $a(CKB)5470000002440347 035 $a(OCoLC)826792238 035 $a(EXLCZ)995470000002440347 100 $a20130205d2012 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$a2020 census $einitial research milestones generally met but plans needed to mitigate highest risks : report to congressional requesters 210 1$a[Washington, D.C.] :$cUnited States Government Accountability Office,$d2012. 215 $a1 online resource (ii, 34 pages) $ccolor illustrations 300 $aTitle from title screen (viewed Feb. 4, 2013). 300 $a"November 2012." 300 $a"GAO-13-53." 320 $aIncludes bibliographical references. 517 $a2020 census 606 $aGovernment publicity$zUnited States 607 $aUnited States$xCensus, 2020$xPlanning 615 0$aGovernment publicity 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910704334003321 996 $a2020 census$93442354 997 $aUNINA LEADER 01450nam0 22003493i 450 001 PUV0818068 005 20251003044315.0 010 $a0824706293 100 $a20100105d2002 ||||0itac50 ba 101 | $aeng 102 $aus 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aCombustion and incineration processes$fWalter R. Niessen 205 $a3. ed. rev. and expanded 210 $aNew York$aBasel$cM. Dekker$d[2002] 215 $aXVII, 715 p.$cill.$d26 cm$e1 floppy disk. 225 | $aEnvironmental science and pollution control series$v25 410 0$1001TSA0001352$12001 $aEnvironmental science and pollution control series$v25 606 $aRifiuti$xTrattamento$2FIR$3CFIC007540$9E 606 $aCombustione$2FIR$3CFIC046876$9I 676 $a628.4$9TECNOLOGIA DEI RIFIUTI, GABINETTI PUBBLICI, PULIZIA DELLE STRADE$v14 676 $a628.4457$9TRATTAMENTO E SMALTIMENTO DEI RIFIUTI. INCENERIMENTO$v22 700 1$aNiessen$b, Walter R.$f <1938- >$3TSAV002096$4070$09053 801 3$aIT$bIT-000000$c20100105 850 $aIT-BN0095 901 $bNAP 01$cSALA DING $n$ 912 $aPUV0818068 950 0$aBiblioteca Centralizzata di Ateneo$c1 v. + 1 floppy disk$d 01SALA DING 628.4 NIE.co$e 0102 0000049125 VMA A4 1 v. + 1 floppy disk$fY $h20030910$i20030910 977 $a 01 996 $aCombustion and incineration processes$9113005 997 $aUNISANNIO LEADER 04996nam 22007575 450 001 9910485588703321 005 20251225175054.0 010 $a3-030-76983-6 024 7 $a10.1007/978-3-030-76983-3 035 $a(CKB)5590000000487491 035 $a(MiAaPQ)EBC6643613 035 $a(Au-PeEL)EBL6643613 035 $a(OCoLC)1257076483 035 $a(DE-He213)978-3-030-76983-3 035 $a(PPN)257358048 035 $a(EXLCZ)995590000000487491 100 $a20210520d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aApplication and Theory of Petri Nets and Concurrency $e42nd International Conference, PETRI NETS 2021, Virtual Event, June 23?25, 2021, Proceedings /$fedited by Didier Buchs, Josep Carmona 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (487 pages) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12734 300 $aIncludes index. 311 08$a3-030-76982-8 327 $aKeynotes -- Topics in Region Theory and Synthesis Problems -- Flat Petri Nets -- Application of Concurrency to System Design -- Cost and Quality in Crowdsourcing Workflows -- Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design -- A Turn-Based Approach for Qualitative Time Concurrent Games -- Games -- Canonical Representations for Direct Generation of Strategies in High-level Petri Games -- Automatic Synthesis of Transiently Correct Network Updates via Petri Games -- Verification -- Computing Parameterized Invariants of Parameterized Petri Nets -- On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets -- Skeleton Abstraction for Universal Temporal Properties -- Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets -- Model Checking of Synchronized Domain-Specific Multi-Formalism Models Using High-Level Petri Nets -- Synthesis and Mining -- Edge and event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable -- Synthesis of (Choice-Free) Reset Nets -- Synthesis of Petri Nets with restricted place-environments: classical and parameterized -- Discovering Stochastic Process Models By Reduction and Abstraction -- Reachability and Partial Order -- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets -- A Lazy Query Scheme for Reachability Analysis in Petri nets -- Abstraction-based Incremental Inductive Coverability for Petri nets -- Firing Partial Orders in a Petri Net -- Semantics -- Deterministic concurrent systems -- Deciphering the Co-car Anomaly of Circular Traffic Queues using Petri Nets -- Tools -- Cortado ? An Interactive Tool for Data-Driven Process Discovery and Modeling -- PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data. 330 $aThis book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021. The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12734 606 $aComputer science 606 $aAlgorithms 606 $aData structures (Computer science) 606 $aInformation theory 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aSoftware engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aDesign and Analysis of Algorithms 606 $aData Structures and Information Theory 606 $aDiscrete Mathematics in Computer Science 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aData structures (Computer science). 615 0$aInformation theory. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aSoftware engineering. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aDesign and Analysis of Algorithms. 615 24$aData Structures and Information Theory. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aSoftware Engineering. 676 $a511.3 702 $aBuchs$b Didier 702 $aCarmona$b Josep 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910485588703321 996 $aApplication and Theory of Petri Nets and Concurrency$91905519 997 $aUNINA