Lecture Notes in Computer Science

Filtre: Bernhard Steffen

Lecture Notes in Computer Science

Lecture Notes in Computer Science, nr. 15000

Editat de Barbara Steffen et al.

28 oct 2025

Preț: 360^.48 lei

6-8 săpt.

Formal Methods for Industrial Critical Systems

Lecture Notes in Computer Science, nr. 16040

Editat de Anne Remke et al.

28 aug 2025

Preț: 391^.26 lei 489^.08 lei

6-8 săpt. | 4-10 zile

-20%

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

Lecture Notes in Computer Science, nr. 15220

Editat de Tiziana Margaria et al.

27 oct 2024

Preț: 503^.70 lei 629^.63 lei

38-44 zile

-20%

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

Lecture Notes in Computer Science, nr. 15219

Editat de Tiziana Margaria et al.

9 oct 2024

Preț: 540^.45 lei 675^.56 lei

38-44 zile

-20%

Lecture Notes in Computer Science, nr. 15230

Editat de Susanne Graf et al.

5 oct 2024

Preț: 360^.35 lei 450^.44 lei

38-44 zile

-20%

Lecture Notes in Computer Science, nr. 16032

Editat de Bernhard Steffen

2 oct 2025

Preț: 282^.94 lei 353^.68 lei

38-44 zile

-20%

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

Lecture Notes in Computer Science, nr. 13702

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 485^.38 lei 606^.73 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 13703

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 442^.09 lei 552^.61 lei

3-5 săpt. | 4-10 zile

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Lecture Notes in Computer Science, nr. 13704

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 405^.95 lei 507^.44 lei

3-5 săpt. | 4-10 zile

-20%

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

Lecture Notes in Computer Science, nr. 13701

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 551^.49 lei 689^.37 lei

3-5 săpt. | 4-10 zile

-20%

Lecture Notes in Computer Science, nr. 13030

Editat de Ernst-Rüdiger Olderog et al.

22 noi 2021

Preț: 402^.47 lei 503^.10 lei

3-5 săpt. | 4-10 zile

-20%

SOFSEM 2017: Theory and Practice of Computer Science

Lecture Notes in Computer Science, nr. 10139

Editat de Bernhard Steffen et al.

11 ian 2017

Preț: 348^.02 lei 435^.02 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 12479

Editat de Tiziana Margaria et al.

5 aug 2021

Preț: 333^.98 lei 417^.47 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science

Let's Talk AI

Formal Methods for Industrial Critical Systems

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

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

Real Time and Such

Bridging the Gap Between AI and Reality

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

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. Verification Principles

Model Checking, Synthesis, and Learning

SOFSEM 2017: Theory and Practice of Computer Science

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

Ficțiune

Business

Medicină

Lifestyle

Copii și adolescenți

Biografii

Artă, arhitectură şi design

Calculatoare și IT

Științe

Tehnologie și inginerie

Papetărie, jocuri, reviste