|
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings (Lecture Notes in Computer Science, 5195)
by
0.00 avg rating — 0 ratings
—
published
2008
—
4 editions
|
|
|
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, ... (Lecture Notes in Computer Science, 6186)
by
0.00 avg rating — 0 ratings
—
published
2010
|
|
|
Critica della ragione progettuale
by
0.00 avg rating — 0 ratings
|
|
|
L'aula e la piazza: Dialogo sull’architettura, l’università e la società
by
0.00 avg rating — 0 ratings
|
|
|
Next Generation CERTs (NATO Science for Peace and Security Series - D: Information and Communication Security (IOS Press))
by
0.00 avg rating — 0 ratings
|
|
|
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, ... Notes in Computer Science Book 6186)
by
0.00 avg rating — 0 ratings
|
|
|
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, ... Notes in Computer Science Book 6186)
by
0.00 avg rating — 0 ratings
|
|
|
Designing Shougang, or the Story of a Section
by
0.00 avg rating — 0 ratings
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.