Marco temperini (56 Ergebnisse)

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: Brand New. revised edition. 250 pages. 9.25x6.10x0.83 inches. In Stock.

Zustand: New.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops:CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.Due to the Corona pandemic this event washeld virtually. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Symposium, SETE 2019, held in conjunction with ICWL 2019, in Magdeburg, Germany, in September 2019.The 10 full and 6 short papers presented together with 24 papers from 5 workshops were carefully reviewed and selected from 34 submissions. The papers cover the latest findings in various areas, such as: virtual reality and game-based learning; learning analytics; K-12 education; language learning; design, model and implementation of e-learning platforms and tools; digitalization and industry 4.0; pedagogical issues, practice and experience sharing.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Web-Based Learning, ICWL 2016, held in Rome, Italy, in October 2016.The 19 revised full papers presented together with 10 short papers and 4 poster papers were carefully reviewed and selected from 110 submissions. The papers are organized in topical sections on design for learning; education and teaching; massive open online courses; mobile learning; modeling for learning; serious games; social-collaborative learning; and support for learning.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the revised selected papers of the 24th International Conference on Web-based Learning, ICWL 2025 and 10th International Symposium on Emerging Technologies for Education, SETE 2025, held in Hongkong, China, during November 30 December 3, 2025.The 36 full papers were included in this were carefully reviewed and selected from 125 submissions. They focus on AI Agent Applications in Education, Artificial Intelligence for Education, Assessment in Technology-Enhanced Learning, Big Data-Driven Education, Data-Driven Decision Making in Education, Education for Artificial Intelligence, Game-Based Learning, Generative AI in Education, and HTML5 Web-Based Learning.…

Paperback. Zustand: Brand New. 517 pages. 6.14x1.05x9.21 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 18th International Conference on Advances in Web-Based Learning, ICWL 2019, held in Magdeburg, Germany, in September 2019. The 15 full, 15 short, and 7 poster papers presented in this volume were carefully reviewed and selected from 68 submissions. The contributions were organized in topical sections named: Semantic Web for E-Learning, Learning Analytics, Computer Supported Collaborative Learning, Assessment and Pedagogical Issues, E-learning Platforms and Tools, Mobile Learning, and Poster Papers.…

Taschenbuch. Zustand: Neu. Emerging Technologies for Education | 4th International Symposium, SETE 2019, Held in Conjunction with ICWL 2019, Magdeburg, Germany, September 23-25, 2019, Revised Selected Papers | Elvira Popescu (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2020 | Springer | EAN 9783030387778 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Advances in Web-Based Learning - ICWL 2016 | 15th International Conference, Rome, Italy, October 26-29, 2016, Proceedings | Dickson K. W. Chiu (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2016 | Springer | EAN 9783319474397 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops | CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers | Antonio Cerone (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2022 | Springer | EAN 9783031124280 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Zustand: Brand New. 320 pages. 9.25x6.10x0.73 inches. In Stock.

Paperback. Zustand: Brand New. 150 pages. 9.25x6.10x0.83 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Learning Technologies and Systems | 24th International Conference on Web-based Learning, lCWL 2025 and 10th International Symposium on Emerging Technologies for Education, SETE 2025, Hongkong, China, November 30 - December 3, 2025, Revised Selected Papers | Baltasar Fernández-Manjón (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2026 | Springer | EAN 9789819200412 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This two-volume set LNCS 14606-14607 constitutes the revised selected papers of several workshops which were held in conjunction with the 8th International Symposium on Emerging Technologies for Education, SETE 2023, held in Sydney, Australia, during November 26-28, 20223.The 46 revised full papers presented in this book were carefully reviewed and selected from 23 submissions.SETE 2023 presented the following six workshops:First International Workshop on Cognitive Neuroscience of Language Learning (CLNN).Second International Workshop on Digitalization In Language And Cross-Cultural Education (DLCCE).Sixth International Workshop on Educational Technology for Language Learning (ETLL).Second Workshop on Hardware And Software Systems as Enablers for Lifelong Learning (HASSELL).Ninth International Workshop on Peer Review, Peer Assessment, and Self Assessment in Education (PRASAE). …

Paperback. Zustand: Brand New. 355 pages. 9.25x6.10x9.21 inches. In Stock.

Taschenbuch. Zustand: Neu. Advances in Web-Based Learning - ICWL 2019 | 18th International Conference, Magdeburg, Germany, September 23-25, 2019, Proceedings | Michael A. Herzog (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2019 | Springer | EAN 9783030357573 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Emerging Technologies for Education | 8th International Symposium, SETE 2023, Sydney, Australia, November 26-28, 2023, Revised Selected Papers, Part I | Zuzana Kubincová (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2024 | Springer | EAN 9789819742424 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: Gut. Zustand: Gut | Seiten: 364 | Sprache: Englisch | Produktart: Bücher | This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6¿10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops:CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.Due to the Corona pandemic this event washeld virtually. …

Paperback. Zustand: Brand New. 295 pages. 9.25x6.10x9.25 inches. In Stock.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 364 | Sprache: Englisch | Produktart: Bücher | This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6¿10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops:CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.Due to the Corona pandemic this event washeld virtually.…

paperback. Zustand: Very Good. Cover and edges may have some wear.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-oriented programming paradigm, automated theorem proving through methods à la Hilbert and methods of natural deduction. In particular the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and implementation issues, and reasoning capabilities supported by the whole framework are described.…

Zustand: New.

Kartoniert / Broschiert. Zustand: New.

Zustand: New.

Taschenbuch. Zustand: Neu. Emerging Technologies for Education | 8th International Symposium, SETE 2023, Sydney, Australia, November 26-28, 2023, Revised Selected Papers, Part II | Zuzana Kubincová (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2024 | Springer | EAN 9789819742455 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…