KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig am 15.10.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
Produktbild: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Band 13230

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.09.2022

Abbildungen

XI, 350 p. 109 illus., 82 illus. in color.

Herausgeber

Antonio Cerone + weitere

Verlag

Springer

Seitenzahl

350

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

552 g

Auflage

1st ed. 2022

Sprache

Englisch

ISBN

978-3-031-12428-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.09.2022

Abbildungen

XI, 350 p. 109 illus., 82 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

350

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

552 g

Auflage

1st ed. 2022

Sprache

Englisch

ISBN

978-3-031-12428-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
  • CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.-  What Does It Mean to Inhibit an Action? A Critical Discussion of Benjamin Libet's Veto in a Recent Study.-  Regret from cognition to code.- In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL).- Fostering safe behaviors via metaphor-based nudging technologies.- Developing the Semantic Web via the Resolution of Meaning Ambiguities.- Original or Fake? How to Understand the Digital Artworks’ Value in the Blockchain.- Grounding Psychological Shape Space in Convolutional Neural Networks.- Unexpectedness and Bayes’ Rule.- Can reinforcement learning learn itself? A reply to ‘Reward is enough’.-  CoSim-CPS 2021 - 5th Workshop on  Formal Co-Simulation of Cyber-Physical Systems.-  Enabling Distributed and Hybrid Digital Twins in the Industry5.0 Cloud Continuum.- Under What Conditions does a Digital Shadow Track a Periodic Linear Physical System?.- Convergence Properties of Hierarchical Co-Simulation Approaches.- Co-simulation-based pre-training of a ship trajectory predictor.- Effect of Ship Propulsion Retrofit on Maneuverability Research Based on Co-simulation.- Co-simulation of a Model Predictive Control System for Automotive Applications.- Running Large-Scale and Hybrid Real-Time Aircraft Simulations in an HLA Framework.- Comparison between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twin.-  OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology.-  A Life-long Learning Education Passport powered by Blockchain Technology and Verifiable Digital Credentials: The BlockAdemiC Project.- Open Source Discovery, Adoption, and Use: an Informal Perspective.- DrPython–WEB: a tool to help teaching well-written Python programs.- Formal Methods Communities of Practice: A Survey of Personal Experience.- Learning from Mistakes in an Open Source Software Course.-  ASYDE 2021 - 3rd International Workshop on  Automated and verifiable Software sYstem DEvelopment.-  A Probabilistic Model Checking Approach to Self-Adapting Machine Learning Systems.- Integration of COTS Processing Architectures in Small Satellites for Onboard Computing using Fault Injection Testing Methodology.