LEADER 01065nam0-2200289 --450 001 9910502308803321 005 20211021120859.0 010 $a3487043599 100 $a20211021d1972----kmuy0itay5050 ba 101 0 $ager 102 $aDE 105 $a 001yy 200 1 $aVollständiges Wörterbuch zu den Gedichten des P. Vergilius Maro$emit besonderer Berücksichtigung des dichterischen Sprachgebrauchs und der für die Erklärung schwierigeren Stellen$fGeorg Aenotheus Koch 210 $aHildesheim$aNew York$cG. Olms$d1972 215 $aIV, 588 p.$d23 cm 300 $aRiproduzione facsimilare della 5. ed.: Hannover : Hahn, 1875 610 0 $aVirglio Marone, Publio$aOpere$aCritica del testo 676 $a870.9$v23 700 1$aKoch,$bGeorg Aenotheus$0785891 702 1$aVergilius Maro,$bPublius 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910502308803321 952 $aVI F 25$b46851$fFLFBC 959 $aFLFBC 996 $aVollständiges Wörterbuch zu den Gedichten des P. Vergilius Maro$91749770 997 $aUNINA LEADER 05019nam 22006855 450 001 996466359003316 005 20200704031107.0 010 $a3-319-98938-3 024 7 $a10.1007/978-3-319-98938-9 035 $a(CKB)4100000005958301 035 $a(DE-He213)978-3-319-98938-9 035 $a(MiAaPQ)EBC6295731 035 $a(PPN)229916236 035 $a(EXLCZ)994100000005958301 100 $a20180808d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntegrated Formal Methods$b[electronic resource] $e14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /$fedited by Carlo A. Furia, Kirsten Winter 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XVI, 420 p. 111 illus.) 225 1 $aProgramming and Software Engineering ;$v11023 311 $a3-319-98937-5 320 $aIncludes bibliographical references and index. 327 $aDynamic Symbolic Execution for Software Analysis -- Integrating Formal Methods for Modeling and Simulation of Swarm Robotics -- Program Correctness Under Weak Memory Consistency -- On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders -- Reasoning About JML: Differences Between KeY and OpenJML -- Design and Verification of Restart-robust Industrial Control Software -- Efficiently Characterizing the Undefined Requests of a Rule-Based System -- Study of Integrating Random and Symbolic Testing for Object-Oriented Software -- Making Linearizability Compositional for Partially Ordered Executions -- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA -- A Precise Pictorial Language for Array Invariants -- Robotics and Integrated Formal Methods: Necessity Meets Opportunity -- Formal Modeling of Software Defined Networking -- Resource-Aware Virtually Timed Ambients -- Stateful Behavioral Types for Active Objects -- Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC -- Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions -- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin -- Towards A Formal Notion of Impact Metric for Cyber-physical Attacks -- Task Planning with OMT: An Application to Production Logistics -- Branching Temporal Logic of Calls and Returns for Pushdown Systems -- Repair and Generation of Formal Models Using Synthesis -- Mode-aware Concolic Testing for PLC Software -- Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions -- Analysing AWN-specifications Using mCRL2. 330 $aThis book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice. 410 0$aProgramming and Software Engineering ;$v11023 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aArtificial intelligence 606 $aComputer simulation 606 $aMathematical logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aArtificial intelligence. 615 0$aComputer simulation. 615 0$aMathematical logic. 615 14$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aArtificial Intelligence. 615 24$aSimulation and Modeling. 615 24$aMathematical Logic and Formal Languages. 676 $a004.0151 702 $aFuria$b Carlo A$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWinter$b Kirsten$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466359003316 996 $aIntegrated Formal Methods$9772444 997 $aUNISA LEADER 02519nam 22004573a 450 001 9910557252103321 005 20250513222852.0 010 $a9783205212461 010 $a3205212460 035 $a(CKB)4100000011816178 035 $a(ScCtBLL)d5fa069c-ce2d-4c96-8873-eae4168f5444 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/72619 035 $a(oapen)doab72619 035 $a(EXLCZ)994100000011816178 100 $a20211214i20212021 uu 101 0 $ager 135 $auru|||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aSakralmöbel aus Österreich. Von Tischlern und ihren Arbeiten im Zeitalter des Absolutismus $eII: Kunstlandschaften im Norden, Süden und Westen /$fMichael Bohr$hVolume 11 205 $a1 ed. 210 $d2021 210 1$a[s.l.] :$cBo?hlau Verlag Wien,$d2021. 215 $a1 online resource (629 p.) 225 1 $aSakralmo?bel aus O?sterreich 311 08$a9783205212454 311 08$a3205212452 330 $aDas Buch knu?pft direkt an die 2017 publizierte Studie zu o?sterreichischen Kirchenmo?beln an. Wa?hrend fu?r den ersten Band Ausstattungsstu?cke aus dem Osten O?sterreichs bearbeitet wurden, pra?sentiert der zweite Mo?belensembles aus den anderen Landesteilen. Neben einem umfassenden Katalog mit genauen Beschreibungen und einer Vielzahl von Abbildungen beinhaltet das neue Buch einleitende Kapitel zu Planungsabla?ufen und handwerklichen Prozessen, zur Zusammenarbeit von Tischlern mit anderen Gewerken und zur Einbindung des sakralen Mobiliars in die ra?umliche Umgebung. Da die Recherche nicht nur Fragen der Stilkritik nachgeht, sondern auch Gebiete der Wirtschafts- und Sozialgeschichte streift, reicht sie u?ber eine rein deskriptive Analyse des u?berlieferten Bestandes weit hinaus. Die beiden Ba?nde tragen daher wesentlich dazu bei, unsere bisherigen Vorstellungen von Tischlern, ihren Werksta?tten und Arbeiten im Zeitalter des Ancien Re?gime zu pra?zisieren. 410 $aSakralmo?bel aus O?sterreich 606 $aAntiques & Collectibles / Furniture$2bisacsh 606 $aCollectibles 615 7$aAntiques & Collectibles / Furniture 615 0$aCollectibles. 700 $aBohr$b Michael$01220645 801 0$bScCtBLL 801 1$bScCtBLL 906 $aBOOK 912 $a9910557252103321 996 $aSakralmo?bel aus O?sterreich. Von Tischlern und ihren Arbeiten im Zeitalter des Absolutismus$93574835 997 $aUNINA