LEADER 01113nlm 2200241Ia 450 001 996573168403316 005 20240130090453.0 100 $a19840516d1657---- uy | 101 0 $aeng 102 $aUK 135 $adrcnu 200 1 $a<> common rudiments of Latine grammar usually taught in all schools$edelivered in a very plain method for young beginners ... : with a synopsis of the matter and an index of words belonging to each of them$fwritten heretofore, and made use of, in Rotherham School, and now re-printed all together for the masters ease and scholars benefit in that and other schools by Charles Hoole 210 1 $a[London]$cPrinted by W. Godbid for John Saywell and are to be sold at his shop$d1657 215 $aTesto elettronico (PDF) ([8], 153, [20] ,18 p.) 230 $aBase dati testuale 606 0 $aLingua latina$xGrammatica$2BNCF 700 1$aHOOLE,$bCharles$f1610-1667.$0793350 801 0$aIT$bcba$cREICAT 912 $a996573168403316 959 $aEB 969 $aER 996 $aCommon rudiments of Latine grammar usually taught in all schools$93869913 997 $aUNISA LEADER 05583nam 22009255 450 001 9910416081603321 005 20251113195538.0 010 $a3-030-55814-2 024 7 $a10.1007/978-3-030-55814-7 035 $a(CKB)4100000011389970 035 $a(DE-He213)978-3-030-55814-7 035 $a(MiAaPQ)EBC6308644 035 $a(PPN)250215187 035 $a(EXLCZ)994100000011389970 100 $a20200806d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium $eInternational Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25?27, 2020, Proceedings 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XVIII, 370 p. 28 illus.) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v1260 311 08$a3-030-55813-4 320 $aIncludes bibliographical references and index. 327 $a1st Workshop on Intelligent Data - From Data to Knowledge (DOING 2020) -- 2nd Workshop on Modern Approaches in Data Engineering and Information System Design (MADEISD 2020) -- 1st Workshop on Scientic Knowledge Graphs (SKG 2020) -- 2nd Workshop of BI & Big Data Applications (BBIGAP 2020) -- International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2020) -- The 1st International Workshop on Assessing Impact and Merit in Science (AIMinScience 2020) -- Doctoral Consortium. 330 $aThis book constitutes thoroughly reviewed and selected papers presented at Workshops and Doctoral Consortium of the 24th East-European Conference on Advances in Databases and Information Systems, ADBIS 2020, the 24th International Conference on Theory and Practice of Digital Libraries, TPDL 2020, and the 16th Workshop on Business Intelligence and Big Data, EDA 2020, held in August 2020. Due to the COVID-19 the joint conference and satellite events were held online. The 26 full papers and 5 short papers were carefully reviewed and selected from 56 submissions. This volume presents the papers that have been accepted for the following satellite events: Workshop on Intelligent Data - From Data to Knowledge, DOING 2020; Workshop on Modern Approaches in Data Engineering and Information System Design, MADEISD 2020; Workshop on Scientic Knowledge Graphs, SKG 2020; Workshop of BI & Big Data Applications, BBIGAP 2020; International Symposium on Data-Driven Process Discovery and Analysis, SIMPDA 2020; International Workshop on Assessing Impact and Merit in Science, AIMinScience 2020; Doctoral Consortium. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v1260 606 $aDatabase management 606 $aArtificial intelligence 606 $aApplication software 606 $aComputer science 606 $aData structures (Computer science) 606 $aInformation theory 606 $aDatabase Management 606 $aArtificial Intelligence 606 $aComputer and Information Systems Applications 606 $aComputer and Information Systems Applications 606 $aTheory of Computation 606 $aData Structures and Information Theory 615 0$aDatabase management. 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aComputer science. 615 0$aData structures (Computer science). 615 0$aInformation theory. 615 14$aDatabase Management. 615 24$aArtificial Intelligence. 615 24$aComputer and Information Systems Applications. 615 24$aComputer and Information Systems Applications. 615 24$aTheory of Computation. 615 24$aData Structures and Information Theory. 676 $a005.74 676 $a005.74 702 $aBellatreche$b Ladjel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBieliková$b Mária$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBoussaïd$b Omar$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCatania$b Barbara$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDarmont$b Jérôme$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDemidova$b Elena$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDuchateau$b Fabien$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHall$b Mark$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMer?un$b Tanja$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNovikov$b Boris$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPapatheodorou$b Christos$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRisse$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRomero$b Oscar$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSautot$b Lucile$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTalens$b Guilaine$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWrembel$b Robert$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $a?umer$b Maja$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910416081603321 996 $aADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium$91984990 997 $aUNINA LEADER 03677nam 22007695 450 001 9910484632503321 005 20251225212305.0 010 $a3-319-63390-2 024 7 $a10.1007/978-3-319-63390-9 035 $a(CKB)4340000000061643 035 $a(DE-He213)978-3-319-63390-9 035 $a(MiAaPQ)EBC6286312 035 $a(MiAaPQ)EBC5577822 035 $a(Au-PeEL)EBL5577822 035 $a(OCoLC)994220466 035 $a(PPN)203668855 035 $a(EXLCZ)994340000000061643 100 $a20170712d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Aided Verification $e29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /$fedited by Rupak Majumdar, Viktor Kun?ak 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XVII, 623 p. 146 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10427 311 08$a3-319-63389-9 320 $aIncludes bibliographical references and index. 327 $aData Driven Techniques -- Runtime Verication -- Cyber-Physical Systems -- Concurrency -- Analysis of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems -- Synthesis -- Decision Procedures and their Applications -- Software Analysis. 330 $aThe two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10427 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aComputer programming 606 $aComputers 606 $aMachine theory 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aComputing Milieux 606 $aFormal Languages and Automata Theory 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aComputers. 615 0$aMachine theory. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aComputing Milieux. 615 24$aFormal Languages and Automata Theory. 676 $a005.14 702 $aMajumdar$b Rupak$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKun?ak$b Viktor$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484632503321 996 $aComputer Aided Verification$94409985 997 $aUNINA