| |

avaa valikko

Andreas Podelski | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?

Constraint Programming: Basics and Trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994.

Podelski, Andreas
Springer
1995
Pehmeäkantinen kirja

Constraint Programming: Basics and Trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994.

51,10 €

Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Podelski, Andreas
Springer
2018
Pehmeäkantinen kirja

Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

51,10 €

Networked Systems : 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

Podelski, Andreas; Taïani, François
Springer
2019
Pehmeäkantinen kirja

Networked Systems : 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

51,10 €

Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, TACAS 2004, Held as Part

Jensen, Kurt; Podelski, Andreas
Springer
2004
Pehmeäkantinen kirja

Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, TACAS 2004, Held as Part

100,90 €

Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January

Cook, Byron; Podelski, Andreas
Springer
2007
Pehmeäkantinen kirja

Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January

51,10 €

Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January

Joshi, Rajeev; Müller, Peter; Podelski, Andreas
Springer
2012
Pehmeäkantinen kirja

Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January

51,10 €