LEADER 04223nam 2200661 a 450 001 9910462759603321 005 20211216220924.0 010 $a3-11-027307-1 024 7 $a10.1515/9783110273076 035 $a(CKB)2670000000234932 035 $a(EBL)3040345 035 $a(SSID)ssj0000625345 035 $a(PQKBManifestationID)11378116 035 $a(PQKBTitleCode)TC0000625345 035 $a(PQKBWorkID)10596316 035 $a(PQKB)10108680 035 $a(MiAaPQ)EBC3040345 035 $a(WaSeSS)Ind00018535 035 $a(DE-B1597)174293 035 $a(OCoLC)1002242105 035 $a(OCoLC)979745311 035 $a(DE-B1597)9783110273076 035 $a(Au-PeEL)EBL3040345 035 $a(CaPaEBR)ebr10585413 035 $a(CaONFJC)MIL805449 035 $a(OCoLC)922943231 035 $a(EXLCZ)992670000000234932 100 $a20120913d1886 uy 0 101 0 $alat 135 $aurnn#---|u||u 181 $ctxt 182 $cc 183 $acr 200 10$aAd Lucilium epistularum moralium$b[electronic resource] $ilibri XX /$fadiecit Fridericus Haase 205 $aReprint 2011 210 $aLipsiae $cB.G. Teubneri$d1886 215 $a1 online resource (624 p.) 225 0 $aL. Annaei Senecae Opera omnia quae supersunt ;$vv. 3 225 0 $aAd Lucilium epistularum moralium ;$vlibri 20 300 $aDescription based upon print version of record. 311 0 $a3-11-027299-7 320 $aIncludes bibliographical references and index. 327 $tFront matter --$tFRID. HAASII PRAEFATIO --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER I --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER II --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER III --$tL. ANNAEI SEN?CAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER IV --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER V --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER VI --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER VII --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER VIII --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER IX --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER X --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER XI --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER XII --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER XIII --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER XIV --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER XV --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER XVI --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER XVII --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER XVIII --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER XIX --$tL. ANNAEI SENECAE. AD LUCILIUM. EPISTULARUM MORALIUM. LIBER XX --$tDE AMISSIS L. ?NNA?? SENECAE LIBRIS TESTIMONIA VETERUM ET FRAGMENTA EX IIS SERVATA --$tL. ?????I SEN?CAE. AD GALLIONEM DE REMEDIIS FORTUITORUM LIBER --$tDE PAUPERTATE. EXCERPTA ? SENECAE EPISTULIS --$tL. ANNAEI SENECAE CORDUBENSIS. DE MORIBUS LIBER --$tL. ANNAEI CORDUBENSIS (MARTINI DUMIENSIS EPISCOPI AD MIRONEM REGEM GALLICIAE). DE FORMULA HONESTAE VITAE [VEL DE VERBORUM COPIA VEL. DE QUATUOR VIRTUTIBUS CARDINALIBUS] LIBER --$tEPISTOLAE SENECAE, NERONIS IMPERATORIS MAGISTRI, AD PAULUM APOSTOLUM ET PAULI APOSTOLI AD SENECAM --$tEPITAPHIUM SENECAE --$tL. ANNAEI SENECAE. LIBRORUM ORDO ET SIGNA --$tINDEX RERUM MEMORABILIUM --$t?. G. Teubners. Schulausgaben griechischer und lateinischer Schriftsteller mit deutschen Anmerkungen 410 0$aBibliotheca scriptorum Graecorum et Romanorum Teubneriana 606 $aConduct of life$vEarly works to 1800 606 $aEthics$vEarly works to 1800 608 $aElectronic books. 615 0$aConduct of life 615 0$aEthics 700 $aSeneca$b Lucius Annaeus$fca. 4 B.C.-65 A.D.$07130 701 $aHaase$b Friedrich$f1808-1867.$0189768 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910462759603321 996 $aAd Lucilium epistularum moralium$92490040 997 $aUNINA LEADER 01297nam 2200373 450 001 9910717031403321 005 20211229141241.0 035 $a(CKB)5470000002527894 035 $a(OCoLC)1290321005 035 $a(EXLCZ)995470000002527894 100 $a20211229d2007 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCyprus $ehuman rights violations in the northern part of Cyprus as determined by the European Court of Human Rights /$fprepared by Theresa Papademetriou 210 1$a[Washington, D.C.] :$cThe Law Library of Congress, Global Legal Research Directorate,$d2007. 215 $a1 online resource (8 pages) 300 $a"May 2007." 300 $a"LL file no. 2007-03747." 300 $a"LRA-D-PUB-000376." 320 $aIncludes bibliographical references. 517 $aCyprus 606 $aInternational law and human rights$zCyprus, Northern 615 0$aInternational law and human rights 700 $aPapademetriou$b Theresa$01386868 712 02$aLaw Library of Congress (U.S.).$bGlobal Legal Research Directorate, 801 0$bDLC 801 1$bGPO 906 $aBOOK 912 $a9910717031403321 996 $aCyprus$93503149 997 $aUNINA LEADER 03890nam 22006735 450 001 9910506376103321 005 20251225173527.0 010 $a3-030-89247-6 024 7 $a10.1007/978-3-030-89247-0 035 $a(CKB)4950000000281755 035 $a(MiAaPQ)EBC6784269 035 $a(Au-PeEL)EBL6784269 035 $a(OCoLC)1281960537 035 $a(PPN)258296372 035 $a(BIP)81914094 035 $a(BIP)81554092 035 $a(DE-He213)978-3-030-89247-0 035 $a(EXLCZ)994950000000281755 100 $a20211016d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFundamentals of Software Engineering $e9th International Conference, FSEN 2021, Virtual Event, May 19?21, 2021, Revised Selected Papers /$fedited by Hossein Hojjat, Mieke Massink 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (235 pages) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12818 311 08$a3-030-89246-8 327 $aCoordination -- Protocol Scheduling -- Automated Replication of Tuple Spaces via Static Analysis -- Incremental Refinement of Goal Models with Contracts -- Logic -- Proof Calculi for Epistemic Logics with Structured Knowledge -- Introducing Intervalar differential dynamic logic -- A Program Logic for Fresh Name Generation -- Event-Driven Temporal Logic Pattern for Control Software Requirements Specification -- Extending OCL with map and function types -- Networks -- Deadlock in packet switching networks -- Runtime Monitoring Processes Across Blockchains -- Solving Systems of Bilinear Equations for Transition Rate Reconstruction -- Parallel Computation -- Term Rewriting on GPUs -- Promise Plus: Flexible Synchronization for Parallel Computations on Arrays -- Testing -- Towards Test Case Generation for Industrial Software Systems Based on Functional Specifications -- Compressing Automatically Generated Unit Test Suites through Test Parameterization -- Systematic Extractionof Test Cases from Object-oriented Programs. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021. The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v12818 606 $aSoftware engineering 606 $aMicroprogramming 606 $aComputer networks 606 $aComputer science 606 $aSoftware Engineering 606 $aControl Structures and Microprogramming 606 $aComputer Communication Networks 606 $aTheory of Computation 615 0$aSoftware engineering. 615 0$aMicroprogramming. 615 0$aComputer networks. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aControl Structures and Microprogramming. 615 24$aComputer Communication Networks. 615 24$aTheory of Computation. 676 $a005.1 700 $aHojjat$b Hossein$0905425 702 $aMassink$b Mieke 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910506376103321 996 $aFundamentals of software engineering$92897772 997 $aUNINA