2
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

Έτος:
2021
Γλώσσα:
english
Αρχείο:
PDF, 29.21 MB
0 / 5.0
english, 2021
3
WALCOM: Algorithms and Computation

WALCOM: Algorithms and Computation

Έτος:
2023
Γλώσσα:
english
Αρχείο:
PDF, 9.73 MB
0 / 5.0
english, 2023
4
Computational Science and Its Applications – ICCSA 2022 Part I

Computational Science and Its Applications – ICCSA 2022 Part I

Έτος:
2022
Γλώσσα:
english
Αρχείο:
PDF, 71.48 MB
0 / 4.0
english, 2022
7
Computing and Software Science: State of the Art and Perspectives

Computing and Software Science: State of the Art and Perspectives

Έτος:
2019
Γλώσσα:
english
Αρχείο:
PDF, 25.29 MB
0 / 0
english, 2019
14
Leveraging applications of formal methods, verification and validation

Leveraging applications of formal methods, verification and validation

Έτος:
2008
Γλώσσα:
english
Αρχείο:
PDF, 12.67 MB
0 / 0
english, 2008
15
Formal Methods Teaching

Formal Methods Teaching

Έτος:
2021
Γλώσσα:
english
Αρχείο:
PDF, 7.67 MB
0 / 0
english, 2021
20
Computing and software science, state of the art and perspectives

Computing and software science, state of the art and perspectives

Έτος:
2019
Γλώσσα:
english
Αρχείο:
PDF, 6.53 MB
0 / 0
english, 2019
21
Formal Methods Teaching

Formal Methods Teaching

Έτος:
2021
Γλώσσα:
english
Αρχείο:
EPUB, 601 KB
0 / 0
english, 2021
31
Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Έτος:
2023
Γλώσσα:
english
Αρχείο:
PDF, 6.81 MB
0 / 5.0
english, 2023
36
Formal Methods Teaching

Formal Methods Teaching

Έτος:
2021
Γλώσσα:
english
Αρχείο:
AZW3 , 5.69 MB
0 / 0
english, 2021
40
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Έτος:
2019
Γλώσσα:
english
Αρχείο:
PDF, 9.84 MB
0 / 0
english, 2019
44
Formal Methods Teaching

Formal Methods Teaching

Έτος:
2021
Γλώσσα:
english
Αρχείο:
LIT , 5.52 MB
0 / 0
english, 2021
46
Graphical Models for Security

Graphical Models for Security

Έτος:
2020
Γλώσσα:
english
Αρχείο:
PDF, 13.15 MB
0 / 5.0
english, 2020
47
Formal Methods Teaching

Formal Methods Teaching

Έτος:
2021
Γλώσσα:
english
Αρχείο:
MOBI , 2.09 MB
0 / 0
english, 2021
48
Formal Methods Teaching

Formal Methods Teaching

Έτος:
2021
Γλώσσα:
english
Αρχείο:
FB2 , 7.71 MB
0 / 0
english, 2021
50
Baukonstruktion im Klimawandel

Baukonstruktion im Klimawandel

Έτος:
2016
Γλώσσα:
german
Αρχείο:
PDF, 84.97 MB
0 / 0
german, 2016