LEADER 01782nam 2200553 450 001 9910449713103321 005 20071009183537.0 010 $a0-19-152483-2 010 $a0-19-172655-9 035 $a(CKB)1000000000214939 035 $a(SSID)ssj0000333086 035 $a(PQKBManifestationID)12080361 035 $a(PQKBTitleCode)TC0000333086 035 $a(PQKBWorkID)10355016 035 $a(PQKB)10529956 035 $a(StDuBDS)EDZ0000172566 035 $a(MiAaPQ)EBC431087 035 $a(Au-PeEL)EBL431087 035 $a(CaPaEBR)ebr11197658 035 $a(OCoLC)60655035 035 $a(EXLCZ)991000000000214939 100 $a20050407h20042004 uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 12$aA dictionary of Celtic mythology /$fJames MacKillop 210 1$aOxford ;$aNew York :$cOxford Universtiy Press,$d[2004] 210 4$d©2004 215 $a1 online resource (xxxiv, 456 p.) 225 1 $aOxford paperback reference 300 $aOriginally published: New York; Oxford: Oxford University Press, 1998. 311 $a0-19-860967-1 320 $aIncludes bibliographical references and index. 330 8 $aThis text contains full coverage of the persons, themes concepts, places, and creatures of Celtic mythology, in all ancient and modern traditions. 410 0$aOxford paperback reference. 606 $aMythology, Celtic$vDictionaries 608 $aElectronic books. 615 0$aMythology, Celtic 676 $a299/.16 700 $aMacKillop$b James$0942868 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910449713103321 996 $aA dictionary of Celtic mythology$92127683 997 $aUNINA LEADER 04017nam 22007095 450 001 9910483007603321 005 20251226195951.0 010 $a3-319-10702-X 024 7 $a10.1007/978-3-319-10702-8 035 $a(CKB)3710000000228642 035 $a(SSID)ssj0001354131 035 $a(PQKBManifestationID)11758990 035 $a(PQKBTitleCode)TC0001354131 035 $a(PQKBWorkID)11322311 035 $a(PQKB)10792038 035 $a(DE-He213)978-3-319-10702-8 035 $a(MiAaPQ)EBC5610730 035 $a(PPN)181351668 035 $a(EXLCZ)993710000000228642 100 $a20140901d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods for Industrial Critical Systems $e19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings /$fedited by Frédéric Lang, Francesco Flammini 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XIV, 201 p. 84 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v8718 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-10701-1 320 $aIncludes bibliographical references and index. 327 $aFormal Verification of Steady-State Errors in Unity-Feedback Control Systems -- Assertion-Based Monitoring in Practice ? Checking Correctness of an Automotive Sensor Interface -- Analysis of Real-Time Properties of a Digital Hydraulic Power Management System -- Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip -- Formal Specification and Verification of TCP Extended with the Window Scale Option -- Learning Fragments of the TCP Network Protocol -- On the Validation of an Interlocking System by Model-Checking -- Deadlock Avoidance in Train Scheduling: A Model Checking Approach -- An Open Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs with Conditional Predicates -- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements -- Test Specification Patterns for Automatic Generation of Test Sequences -- Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation. 330 $aThis book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v8718 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aSoftware engineering 606 $aComputers, Special purpose 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aSpecial Purpose and Application-Based Systems 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aComputers, Special purpose. 615 14$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a004.0151 702 $aLang$b Frédéric$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFlammini$b Francesco$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483007603321 996 $aFormal Methods for Industrial Critical Systems$91921860 997 $aUNINA