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
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
3
Politics and Theater: The Crisis of Legitimacy in Restoration France, 1815-1830 (Studies on the History of Society and Culture)

Politics and Theater: The Crisis of Legitimacy in Restoration France, 1815-1830 (Studies on the History of Society and Culture)

Sheryl Kroen
साल:
2000
भाषा:
english
फ़ाइल:
PDF, 1.92 MB
0 / 0
english, 2000
4
Analysis of Chemical Warfare Degradation Products

Analysis of Chemical Warfare Degradation Products

Karolin K. Kroening, Renee N. Easter, Douglas D. Richardson, Stuart A. Willison, Joseph A. Caruso
साल:
2011
भाषा:
english
फ़ाइल:
PDF, 5.36 MB
0 / 0
english, 2011
5
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
7
Politics and theater: the crisis of legitimacy in restoration France, 1815-1830

Politics and theater: the crisis of legitimacy in restoration France, 1815-1830

American Council of Learned Societies., Kroen, Sheryl
साल:
2000
भाषा:
english
फ़ाइल:
PDF, 2.01 MB
0 / 0
english, 2000
9
Golf: How Good Do You Want to Be?

Golf: How Good Do You Want to Be?

Bill Kroen
साल:
2009
भाषा:
english
फ़ाइल:
EPUB, 2.92 MB
0 / 5.0
english, 2009
10
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
12
Decision Procedures_ An Algorithmic Point

Decision Procedures_ An Algorithmic Point

Kroening, Daniel
फ़ाइल:
PDF, 3.72 MB
0 / 0
13
Politics and Theater: The Crisis of Legitimacy in Restoration France, 1815-1830

Politics and Theater: The Crisis of Legitimacy in Restoration France, 1815-1830

Sheryl Kroen
साल:
2000
भाषा:
english
फ़ाइल:
PDF, 1.77 MB
0 / 0
english, 2000
15
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
17
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
18
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
19
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
20
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
23
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