Andreas Podelski (eds.)：在 Z-Library 上搜索

您通往知識和文化的門戶。每個人都可以使用。

籌款 9月15日 2024 – 10月1日 2024

Z-Library 是世界上最大的在線圖書館之一，其中包含超過 17,000,000 本書和 84,837,000 篇文章。我們的目標是讓每個人都能接觸到文學。今天 (9月15日 2024) 我們已經開始為項目維護和開發籌集額外的資金.

此外，UNLIMITED 下載（捐贈日後 31 天內）可供 ALL 貢獻者使用，他們將在籌款期間捐贈，直到 10月1日 2024.

關於籌款閱讀更多

捐款

已應用篩選

精確匹配

圖書 (14)
最受歡迎
- 排序方式×
- 最受歡迎
- 最佳匹配
- 最近添加的
- 按標題 (A-Z)
- 按標題 (Z-A)
- 按年
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

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.)

年:

2004

語言:

english

文件:

PDF, 9.96 MB

0 / 0

english, 2004

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.)

年:

2004

語言:

english

文件:

PDF, 6.53 MB

0 / 0

english, 2004

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.)

年:

2004

語言:

english

文件:

PDF, 11.05 MB

0 / 0

english, 2004

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.)

年:

2007

語言:

english

文件:

PDF, 4.02 MB

0 / 0

english, 2007

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.)

年:

1993

語言:

english

文件:

DJVU, 4.02 MB

0 / 0

english, 1993

Constraint Processing: Selected Papers

Springer-Verlag Berlin Heidelberg

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

年:

1995

語言:

english

文件:

PDF, 14.27 MB

0 / 0

english, 1995

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.)

年:

2012

語言:

english

文件:

PDF, 5.95 MB

0 / 0

english, 2012

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.)

年:

2004

語言:

english

文件:

PDF, 29.42 MB

0 / 0

english, 2004

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.)

年:

2004

語言:

english

文件:

PDF, 8.55 MB

0 / 0

english, 2004

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.)

年:

2012

語言:

english

文件:

PDF, 3.90 MB

0 / 0

english, 2012

Constraint Processing: Selected Papers

Springer-Verlag Berlin Heidelberg

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

年:

1995

語言:

english

文件:

DJVU, 2.32 MB

0 / 0

english, 1995

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.)

年:

2003

語言:

english

文件:

PDF, 2.51 MB

0 / 0

english, 2003

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.)

年:

2004

語言:

english

文件:

PDF, 11.79 MB

0 / 0

english, 2004

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.)

年:

2003

語言:

english

文件:

PDF, 22.12 MB

0 / 0

english, 2003