Author books / Книги автора Andreas Podelski » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Andreas Podelski

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

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

pdf

Author: Andreas Podelski
Language: English
Year: 2018

00

30.01.2024

0

0

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

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

pdf

Author: Andreas Podelski François Taïani
Language: English
Year: 2019

00

30.01.2024

0

0

book Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

pdf

Author: Andreas Podelski (auth.) Lenore D. Zuck Paul C. Attie Agostino Cortesi Supratik Mukhopadhyay (eds.)
Language: English
Year: 2003

00

27.01.2024

3

0

book Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings

Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings

pdf

Author: Andreas Podelski (auth.) Mark Wallace (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

pdf

Author: Wolfgang Paul (auth.) Rajeev Joshi Peter Müller Andreas Podelski (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

pdf

Author: Wolfgang Paul (auth.) Rajeev Joshi Peter Müller Andreas Podelski (eds.)
Language: English
Year: 2012

00

27.01.2024

1

0

book Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings

Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings

pdf

Author: Andreas Podelski (auth.) Mark Wallace (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Constraint Processing: Selected Papers

Constraint Processing: Selected Papers

pdf

Author: Andreas Podelski Peter Van Roy (auth.) Manfred Meyer (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0

book Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings

Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings

pdf

Author: Andreas Podelski (auth.) Mark Wallace (eds.)
Language: English
Year: 2004

00

27.01.2024

3

0

book Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

djvu

Author: Hassan Aït-Kaci Andreas Podelski (auth.) Andrei Voronkov (eds.)
Language: English
Year: 1993

00

27.01.2024

0

0