01262nam2 22002771i 450 UON0030739920231205104039.67920080130d1898 |0itac50 baengGB|||| 1||||ˆThe ‰history of Pendennisby William Makepeace ThackerayLondonSmith, Elder, & Co.1898xlviii, 752 p.ill.21 cm.001UON002342042001 ˆThe ‰works of William Makepeace Thackerayin thirteen volumeswith bibliographical introductions by his daughter, Anne Ritchie205 London : SmithElder1898210 13 v.ill. ; 21 cm215 Manca il vol. 13.2GBLondonUONL003044823Letteratura narrativa inglese21THACKERAYWilliam MakepeaceUONV108635163526RITCHIEAnneUONV141908Smith, Elder & Co.UONV246792650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00307399SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI Angl O.C 14 b SI LO 71284 5 b History of Pendennis1182434UNIOR03903nam 22007695 450 991099393360332120250408034603.09789819646562981964656110.1007/978-981-96-4656-2(MiAaPQ)EBC32004232(Au-PeEL)EBL32004232(CKB)38280270800041(DE-He213)978-981-96-4656-2(OCoLC)1514630800(EXLCZ)993828027080004120250408d2025 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierEngineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures /edited by Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu1st ed. 2025.Singapore :Springer Nature Singapore :Imprint: Springer,2025.1 online resource (255 pages)Lecture Notes in Computer Science,1611-3349 ;155849789819646555 9819646553 SETSS 2024 School -- What Came First, Mathematics or Computing? -- From Logic to Programming -- Digital Twin Tutorial: The Incubator Case Study -- AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems _ A Challenge for Formal Methods -- Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing -- SETSS 2024 Workshop -- Software Engineering Experiences of an Optimist -- Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs.This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024. The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedings focuses on -Preparatory Course: Introduction to Mathematical Logic and Logic of Programming; -Introduction to Digital Twins -Theories of Contracts and Their Applications -From Automata Models to Validated BCI-Based Cooperative Control On the Viability of Rigorous Approaches to Human-Cyber-Physical Systems of Systems; What Came First, Math or Computing? -What Came First, Math or Computing? -Software Engineering for Explainable AI -Distribution Testing: The New Frontier for Formal Methods.Lecture Notes in Computer Science,1611-3349 ;15584Software engineeringComputer networksArtificial intelligenceComputer programmingComputer systemsNatural language processing (Computer science)Software EngineeringComputer Communication NetworksArtificial IntelligenceProgramming TechniquesComputer System ImplementationNatural Language Processing (NLP)Software engineering.Computer networks.Artificial intelligence.Computer programming.Computer systems.Natural language processing (Computer science)Software Engineering.Computer Communication Networks.Artificial Intelligence.Programming Techniques.Computer System Implementation.Natural Language Processing (NLP).005.1Bowen Jonathan P1429202Gomes Cláudio1766209Liu Zhiming1708452MiAaPQMiAaPQMiAaPQBOOK9910993933603321Engineering Trustworthy Software Systems4365024UNINA