LEADER 04364nam 22008415 450 001 9910483645303321 005 20250206100738.0 010 $a9783319281148 010 $a3319281143 024 7 $a10.1007/978-3-319-28114-8 035 $a(CKB)4340000000001265 035 $a(SSID)ssj0001599566 035 $a(PQKBManifestationID)16305992 035 $a(PQKBTitleCode)TC0001599566 035 $a(PQKBWorkID)14892362 035 $a(PQKB)11272944 035 $a(DE-He213)978-3-319-28114-8 035 $a(MiAaPQ)EBC6299161 035 $a(MiAaPQ)EBC5591442 035 $a(Au-PeEL)EBL5591442 035 $a(OCoLC)1066191860 035 $a(PPN)190884924 035 $a(EXLCZ)994340000000001265 100 $a20151229d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRecent Trends in Algebraic Development Techniques $e22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /$fedited by Mihai Codescu, R?zvan Diaconescu, Ionu? ?u?u 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XI, 171 p. 35 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9463 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9783319281131 311 08$a3319281135 327 $aOn Logic Embeddings and Gödel?s God -- An Institutional Foundation for the K Semantic Framework -- A Theoretical Foundation for Programming Languages Aggregation -- Coalgebraic Semantics of Heavy-Weighted Automata -- Foundations of Logic Programming in Hybridised Logics -- What Is a Derived Signature Morphism? -- Use Case Analysis Based on Formal Methods: An Empirical Study -- A Full Operational Semantics for Asynchronous Relational Networks -- A SOC-Based Formal Specification and Verification of Hybrid Systems. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania. The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing, specification languages, methods, and environments, semantics of conceptual modeling methods and techniques, model-driven development, graph transformations, term rewriting and proof systems, integration of formal specification techniques, formal testing and quality assurance, validation, and verification. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9463 606 $aComputer science 606 $aMachine theory 606 $aComputer science$xMathematics 606 $aSoftware engineering 606 $aLogic, Symbolic and mathematical 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aMathematics of Computing 606 $aSoftware Engineering 606 $aTheory of Computation 606 $aMathematical Logic and Foundations 615 0$aComputer science. 615 0$aMachine theory. 615 0$aComputer science$xMathematics. 615 0$aSoftware engineering. 615 0$aLogic, Symbolic and mathematical. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aMathematics of Computing. 615 24$aSoftware Engineering. 615 24$aTheory of Computation. 615 24$aMathematical Logic and Foundations. 676 $a004.0151 702 $aCodescu$b Mihai$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDiaconescu$b R?zvan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $a?u?u$b Ionu?$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483645303321 996 $aRecent Trends in Algebraic Development Techniques$9771917 997 $aUNINA LEADER 01200nam0 22002771i 450 001 UON00516476 005 20231205105523.970 010 $a978-90-04-32470-1 100 $a20230731d2016 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 200 1 $aFolklore, religion and the songs of a Bengali Madman$eA journey between performance and the politics of cultural representation$fby Carola Erika Lorea 210 $aLeiden$cBrill$d2016 215 $a xvi, 332 p.$cill.$d24 cm 410 1$1001UON00309010$12001 $aJerusalem studies in religion and culture$fEds. Guy G. Stroumsa and David Shilman$v22 620 $aNL$dLeiden$3UONL003056 700 1$aLorea$bCarola Erika$3UONV291586$01591046 712 $aBrill$3UONV245886$4650 801 $aIT$bSOL$c20251205$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO E ARCHIVIO STORICO$2UONSI 912 $aUON00516476 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO E ARCHIVIO STORICO$dSI SI SHIVA 150/22 $eSI 44671 7 150/22 996 $aFolklore, religion and the songs of a Bengali Madman$93903762 997 $aUNIOR 998 $a1