LEADER 01972cam0-22003371i-450- 001 990007000850403321 005 20111114155021.0 035 $a000700085 035 $aFED01000700085 035 $a(Aleph)000700085FED01 035 $a000700085 100 $a20011122e19651581km-y0itay50------ba 101 0 $alat 102 $aIT 200 1 $aHenrici di Segusio Cardinalis hostiensis ... in primum [-sextum] decretalium librum Commentaria, doctissimorum virorum quampluribus adnotationibus illustrata ... Recens accesserunt Summaria et Index locupletissimus 210 $aTorino$cBottega d'Erasmo$d1965 215 $a6 pt. in 2 v.$d34 cm 324 $aRist. anastat. dell'ed.: Venetiis : apud Iuntas, 1581 (6 v. + indice) 327 1 $a1.: [v. 1] Henrici de Segusio cardinalis Hostiensis In primum Decretalium librum commentaria ; [v. 2] Henrici de Segusio cardinalis Hostiensis In secundum Decretalium librum commentaria : doctissimorum virorum quampluribus adnotationibus illustrata$a2.: [v. 3] Henrici de Segusio cardinalis Hostiensis In tertium Decretalium librum commentaria ; [v. 4] Henrici de Segusio cardinalis Hostiensis In Quartum Decretalium librum commentaria ; [v. 5] Henrici de Segusio cardinalis Hostiensis in Quintum Decretalium librum commentaria ; [v. 6] Henrici de Segusio cardinalis Hostiensis in Sextum Decretalium librum commentaria : doctissimorum virorum quampluribus adnotationibus illustrata 700 0$aEnrico da Susa$0287425 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990007000850403321 952 $aIII BB 6$b112$fDCEC 952 $aIII BB 6(1)$bs.i.$fDCEC 952 $aSDI-VI F 1$b84$fSDI 952 $aSDI-VI F 2$b84$fSDI 959 $aDCEC 959 $aSDI 996 $aHenrici di Segusio Cardinalis hostiensis ... in primum decretalium librum Commentaria, doctissimorum virorum quampluribus adnotationibus illustrata ... Recens accesserunt Summaria et Index locupletissimus$9699467 997 $aUNINA LEADER 02038cam--2200529---450 001 990001864360203316 005 20181206130932.0 010 $a2-85036-099-6$b(opera completa) 010 $a2-85036-076-2?$b(vol. 1, errato) 010 $a2-85036-077-5$b(vol. 2) 010 $a2-85036-078-3$b(vol. 3) 010 $a2-85036-092-2$b(vol. 4, errato) 010 $a2-85036-093-7$b(vol. 5) 010 $a2-85036-094-5$b(vol. 6) 010 $a2-85036-095-3$b(vol. 7) 010 $a2-85036-096-1$b(vol. 8) 010 $a2-85036-100-3$b(vol. 9) 035 $a000186436 035 $aUSA01000186436 035 $a(ALEPH)000186436USA01 035 $a000186436 100 $a20040720d1985----km-y0itay5003----ba 101 0 $afre 102 $aFR 105 $ay|||e|||001yy 200 1 $a<> grand Robert de la langue française$edictionnaire alphabétique et analogique de la langue française$fde Paul Robert 205 $a2. éd. entierement revue et enrichie$fpar Alain Rey 210 $aParis$cLe Robert$d1985 215 $a9 volumi (LVIII, 1000; 1029; 1043; 1058; 1055; 1046; 1025; 1012; 882, CXVI p.)$d31 cm 327 1 $aTome 1: A-Bio$aTome 2: Bip-Cout$aTome 3: Couv-Ento$aTome 4: Entr-Gril$aTome 5: Grim-Lil$aTome 6: Lim-Oz$aTome 7: P-Raisi$aTome 8: Raiso-Sub$aTome 9: Suc-Z 606 0 $aLingua francese$xDizionari$2BNCF 676 $a443 700 1$aROBERT,$bPaul$0333752 702 1$aREY,$bAlain 801 0$aIT$bsalbc$gISBD 912 $a990001864360203316 951 $aI.1.A. 443 1 1.1(443 1 1.1, 443 ROB)$b17009 L.M.$cI.1.$d427585 951 $aI.1.A. 443 1 1.2(443 1 1.2, 443 ROB)$b17010 L.M.$cI.1.$d427586 951 $aI.1.A. 443 1 1.3(443 1 1.3, 443 ROB)$b17011 L.M.$cI.1.$d427587 959 $aBK 969 $aUMA 979 $aSIAV5$b10$c20040720$lUSA01$h1513 979 $aSIAV5$b10$c20040720$lUSA01$h1518 979 $aCOPAT3$b90$c20051202$lUSA01$h1323 979 $aCOPAT6$b90$c20070314$lUSA01$h1253 996 $aGrand Robert de la langue française$9705665 997 $aUNISA LEADER 06086nam 22007815 450 001 9910144027103321 005 20200706221822.0 010 $a3-540-45089-0 010 $a1-4175-6477-6 024 7 $a10.1007/3-540-45089-0 035 $a(CKB)1000000000212112 035 $a(DE-He213)978-3-540-45089-4 035 $a(SSID)ssj0000177138 035 $a(PQKBManifestationID)11177904 035 $a(PQKBTitleCode)TC0000177138 035 $a(PQKBWorkID)10209328 035 $a(PQKB)11479987 035 $a(MiAaPQ)EBC3072137 035 $a(PPN)155167618 035 $a(EXLCZ)991000000000212112 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aImplementation and Application of Automata $e8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings /$fedited by Oscar H. Ibarra, Zhe Dang 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (XI, 312 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2759 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-40561-5 327 $aInvited Lectures -- Automata for Specifying Component Interfaces -- Automata on Words -- Regular Papers -- Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications -- Timing Parameter Characterization of Real-Time Systems -- Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata -- From Regular Weighted Expressions to Finite Automata -- Bideterministic Automata and Minimal Representations of Regular Languages -- Succinct Descriptions of Regular Languages with Binary ?-NFAs -- An Efficient Pre-determinization Algorithm -- Introducing Vaucanson -- WFSC ? A New Weighted Finite State Compiler -- Ternary Directed Acyclic Word Graphs -- Running Time Complexity of Printing an Acyclic Automaton -- Reducing the Time Complexity of Testing for Local Threshold Testability -- Branching Automata with Costs ? A Way of Reflecting Parallelism in Costs -- New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations -- TCTL Inevitability Analysis of Dense-Time Systems -- Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services -- Boolean Operations for Attribute-Element Constraints -- XML Schema Containment Checking Based on Semi-implicit Techniques -- Weak Minimization of DFA ? An Algorithm and Applications -- Bag Automata and Stochastic Retrieval of Biomolecules in Solution -- An Optimal Algorithm for Maximum-Sum Segment and Its Application in Bioinformatics -- Robust Parsing Using Dynamic Programming -- LR Parsing for Global Index Languages (GILs) -- The Ehrenfeucht-Mycielski Sequence -- Poster Paper -- The Longest Common Subsequence Problem A Finite Automata Approach -- AVA: An Applet for Visualizing FRACTRAN and Other Automata -- Preliminary Experiments in Hardcoding Finite Automata -- Computational Linguistic Motivations for a Finite-State Machine Hierarchy -- The Effect of Rewriting Regular Expressions on Their Accepting Automata -- Building Context-Sensitive Parsers from CF Grammars with Regular Control Language -- Finite-State Molecular Computing. 330 $aAutomata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. In addition, there is a growing number of software systems designed to manipulate automata, regular expressions, grammars, and related structures. This volume contains 24 regular papers from the 8th International Conference on Implementation and Application of Automata (CIAA 2003) held in Santa Barbara, CA, USA, in July 2003 covering various topics in the theory, implementation, and application of automata and related structures. It also includes the abstracts of two invited lectures as well as the abstracts of the poster papers displayed during the conference. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2759 606 $aArtificial intelligence 606 $aComputers 606 $aComputer science 606 $aAlgorithms 606 $aComputer logic 606 $aLogic, Symbolic and mathematical 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aComputers. 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aComputer logic. 615 0$aLogic, Symbolic and mathematical. 615 14$aArtificial Intelligence. 615 24$aComputation by Abstract Devices. 615 24$aComputer Science, general. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a004.0151 702 $aIbarra$b Oscar H$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDang$b Zhe$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aCIAA 2003 906 $aBOOK 912 $a9910144027103321 996 $aImplementation and Application of Automata$93552118 997 $aUNINA