Christoph Haase – författare
Visar alla böcker från författaren Christoph Haase. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 2 - EditionGartenReich
Die Gärten des Peter Joseph Lennés im heutigen Polen
Inbunden, Tyska, 2016
278 kr
Skickas inom 3-6 vardagar
Del 16458 - Lecture Notes in Computer Science
Dependable Software Engineering. Theories, Tools, and Applications
11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1–3, 2025, Proceedings
Häftad, Engelska, 2026
825 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 1–3, 2025.The 18 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in the following topical sections: Invited Contribution; Software Quality and System Design; Logic and Theorem Proving; Automata; Monitoring; Formal Verification; Neural Networks and Large Language Models; Blockchains and Distributed Protocols.
1 059 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 1–3, 2025.The 18 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in the following topical sections: Invited Contribution; Software Quality and System Design; Logic and Theorem Proving; Automata; Monitoring; Formal Verification; Neural Networks and Large Language Models; Blockchains and Distributed Protocols.
Inbunden, Engelska, 2019
1 622 kr
Tillfälligt slut
The focus of this volume in our ongoing series has shifted from the technological advances that were the topic of numerous papers in the previous book to more rigorous and empirical research, especially in the linguistics and methodology section. While the former is represented by the majority of papers, methodology still manages to surprise with new findings in often-overlooked areas, such as how to address students with impairments in English Language Teaching (ELT), the use of gesture, and the development of Massive Open Online Courses (MOOCs). The linguistics section starts out with a look at academic English as a lingua franca (ELF) practices, native and non-native English varieties and ELT, pragmatic markers and hedging, and corpora. The compact literary section correlates with the diversity inherent in the field and concerns ethnic writing, indigenous storytelling, animality and elaborations on postmodernist fiction.As such, this collection of research papers will bring topics and approaches to the attention of a wide spectrum of practitioners as both an impetus and inspiration.