შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ
1
Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
წელი:
2018
ენა:
english
ფაილი:
EPUB, 15.52 MB
0 / 5.0
english, 2018
2
Digitaltechnik — Eine praxisnahe Einführung

Digitaltechnik — Eine praxisnahe Einführung

Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)
წელი:
2008
ენა:
german
ფაილი:
PDF, 1.63 MB
0 / 0
german, 2008
3
Model Checking

Model Checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
წელი:
2018
ენა:
english
ფაილი:
EPUB, 13.56 MB
0 / 0
english, 2018
4
Digitaltechnik — Eine praxisnahe Einfuhrung

Digitaltechnik — Eine praxisnahe Einfuhrung

Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)
წელი:
2008
ენა:
german
ფაილი:
PDF, 2.45 MB
0 / 0
german, 2008
9
Digitaltechnik — Eine praxisnahe Einführung

Digitaltechnik — Eine praxisnahe Einführung

Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)
წელი:
2008
ენა:
german
ფაილი:
PDF, 1.59 MB
0 / 5.0
german, 2008
10
Decision Procedures_ An Algorithmic Point

Decision Procedures_ An Algorithmic Point

Kroening, Daniel
ფაილი:
PDF, 3.72 MB
0 / 0
11
Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Daniel Kroening, Ofer Strichman (auth.)
წელი:
2016
ენა:
english
ფაილი:
PDF, 3.72 MB
0 / 0
english, 2016
12
Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Daniel Kroening, Ofer Strichman
წელი:
2016
ენა:
english
ფაილი:
PDF, 2.43 MB
0 / 0
english, 2016
13
Validation of Evolving Software

Validation of Evolving Software

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina (eds.)
წელი:
2015
ენა:
english
ფაილი:
PDF, 7.14 MB
0 / 0
english, 2015
14
Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Daniel Kroening, Ofer Strichman
წელი:
2008
ენა:
english
ფაილი:
PDF, 3.45 MB
0 / 0
english, 2008
17
Decision procedures : an algorithmic point of view

Decision procedures : an algorithmic point of view

Daniel Kroening, Ofer Strichman, R.E. Bryant
წელი:
2008
ენა:
english
ფაილი:
PDF, 2.20 MB
0 / 0
english, 2008