Andreas Podelski (auth.): przeszukaj witrynę Z-Library

Swobodny dostęp do wiedzy i kultury.

Don't use scam websites

Książki (15)
Najbardziej popularne
Spis
- Spis
- Tablica

1

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

Springer-Verlag Berlin Heidelberg

Andreas Podelski (auth.), Mark Wallace (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 9.96 MB

0 / 0

english, 2004

2

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Springer-Verlag Berlin Heidelberg

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 6.53 MB

0 / 0

english, 2004

3

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Springer-Verlag Berlin Heidelberg

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 11.05 MB

0 / 0

english, 2004

4

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 4.02 MB

0 / 0

english, 2007

5

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

Springer-Verlag Berlin Heidelberg

Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.)

Rok:

1993

Język:

english

Plik:

DJVU, 4.02 MB

0 / 0

english, 1993

6

Constraint Processing: Selected Papers

Constraint Processing: Selected Papers

Springer-Verlag Berlin Heidelberg

Andreas Podelski, Peter Van Roy (auth.), Manfred Meyer (eds.)

Rok:

1995

Język:

english

Plik:

PDF, 14.27 MB

0 / 0

english, 1995

7

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

Springer-Verlag Berlin Heidelberg

Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)

Rok:

2012

Język:

english

Plik:

PDF, 5.95 MB

0 / 0

english, 2012

8

Constraint Programming: Basics and Trends: 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers

Constraint Programming: Basics and Trends: 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers

Springer-Verlag Berlin Heidelberg

Frédéric Benhamou, (auth.), Andreas Podelski, (ed.)

Rok:

1995

Język:

english

Plik:

DJVU, 3.00 MB

0 / 0

english, 1995

9

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

Springer-Verlag Berlin Heidelberg

Andreas Podelski (auth.), Mark Wallace (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 29.42 MB

0 / 0

english, 2004

10

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

Springer-Verlag Berlin Heidelberg

Andreas Podelski (auth.), Mark Wallace (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 8.55 MB

0 / 0

english, 2004

11

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

Springer-Verlag Berlin Heidelberg

Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)

Rok:

2012

Język:

english

Plik:

PDF, 3.90 MB

0 / 0

english, 2012

12

Constraint Processing: Selected Papers

Constraint Processing: Selected Papers

Springer-Verlag Berlin Heidelberg

Andreas Podelski, Peter Van Roy (auth.), Manfred Meyer (eds.)

Rok:

1995

Język:

english

Plik:

DJVU, 2.32 MB

0 / 0

english, 1995

13

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

Springer-Verlag Berlin Heidelberg

Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 2.51 MB

0 / 0

english, 2003

14

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Springer-Verlag Berlin Heidelberg

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 11.79 MB

0 / 0

english, 2004

15

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

Springer-Verlag Berlin Heidelberg

Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 22.12 MB

0 / 0

english, 2003