Nastavení ochrany vašich osobních údajů

Výběrem možnosti „Přijmout vše“ povolujete společnosti Rakuten Kobo a jejím partnerům používat soubory cookie, sledovací a podobné technologie ke shromažďování vašich osobních údajů a jejich zpracování pro následující účely: provozování webových stránek a služeb Kobo a zajištění jejich správného fungování, poskytování personalizovaného obsahu na stránkách Kobo a reklam pro Kobo na jiných platformách, měření analytických údajů a analýza toho, jak jsou naše webové stránky a služby používány. V opačném případě klikněte na „Odmítnout“ níže a odmítněte všechny jiné než základní účely nebo přejděte do Nastavení ochrany osobních údajů a spravujte své předvolby pro jednotlivé účely. Více informací naleznete v našich Ochrana osobních údajů.

Computing and Software Science

State of the Art and Perspectives

Bernhard Steffen,Gerhard Woeginger

Computer Science (R0)

Nacházíte se v obchodě v USA

Není v USA? Vyberte si obchod ve vaší zemi a zobrazte si knihy, které si můžete koupit.

Vyberte obchod

Synopse

Kategorie

O knize

Jazyk:English
ISBN:9783319919089
Datum vydání:6. 10. 2019
Vydavatel:Springer International Publishing

Tiráž:Springer
Formát souboru:EPUB3
Velikost souboru:27.13 MB
Možnosti stahování:EPUB3 (Adobe DRM)

In this series

Transactions on Foundations for Mastering Change I

Bernhard Steffen

Více knih podle autora

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Tiziana Margaria, Bernhard Steffen

1 637,39 Kč

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification – e-kniha od Tiziana Margaria, Bernhard Steffen

Líbila se vám kniha?

Buďte první, kdo knihu ohodnotí a napíše na ni recenzi.

Nastavení ochrany vašich osobních údajů

Computing and Software Science

Synopse

O knize

Podrobnosti o knize

Jak číst

In this series

Transactions on Foundations for Mastering Change I

Více knih podle autora

Formal Methods for Industrial Critical Systems

Bridging the Gap Between AI and Reality

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Leveraging Applications of Formal Methods, Verification and Validation

Real Time and Such

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Model Checking, Synthesis, and Learning

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Transactions on Foundations for Mastering Change I

The Combined Power of Research, Education, and Dissemination

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Bridging the Gap Between AI and Reality

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Leveraging Applications of Formal Methods, Verification and Validation: Applications

SOFSEM 2017: Theory and Practice of Computer Science

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Líbila se vám kniha?

eKnihy

Audioknihy

Líbila se vám kniha?

Nejnovější příspěvky na blogu

Více knih podle autora

Formal Methods for Industrial Critical Systems

Bridging the Gap Between AI and Reality

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Leveraging Applications of Formal Methods, Verification and Validation

Real Time and Such

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Model Checking, Synthesis, and Learning

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Transactions on Foundations for Mastering Change I

The Combined Power of Research, Education, and Dissemination

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Bridging the Gap Between AI and Reality

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Leveraging Applications of Formal Methods, Verification and Validation: Applications

SOFSEM 2017: Theory and Practice of Computer Science

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles