Benjamin C. Pierce (auth.): ค้นหาบนเว็บ Z-Library

ประตูสู่ความรู้และวัฒนธรรมสำหรับคุณ

Don't use scam websites

ตัวกรองที่กำลังใช้อยู่

ตรงกับคำค้นหาทุกประการ

ตรงกับคำค้นหาทุกประการ

1

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Luís Caires, Luca Cardelli (auth.), Naoki Kobayashi, Benjamin C. Pierce (eds.)

ปี:

2001

ภาษา:

english

ไฟล์:

PDF, 5.23 MB

0 / 0

english, 2001

2

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce (auth.), Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)

ปี:

1999

ภาษา:

english

ไฟล์:

PDF, 1.39 MB

0 / 0

english, 1999

3

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

Springer-Verlag Berlin Heidelberg

Roy Campbell, Jalal Al-Muhtadi, Prasad Naldurg, Geetanjali Sampemane (auth.), Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa (eds.)

ปี:

2003

ภาษา:

english

ไฟล์:

PDF, 7.27 MB

0 / 0

english, 2003

4

Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Benjamin C. Pierce (auth.), Richard F. Paige (eds.)

ปี:

2009

ภาษา:

english

ไฟล์:

PDF, 4.85 MB

0 / 0

english, 2009

5

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce (auth.), Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)

ปี:

1999

ภาษา:

english

ไฟล์:

PDF, 3.35 MB

0 / 0

english, 1999

6

Ir Genes: Past, Present, and Future

Ir Genes: Past, Present, and Future

Chella S. David, William P. Lafuse (auth.), Carl W. Pierce, Susan E. Cullen, Judith A. Kapp, Benjamin D. Schwartz, Donald C. Shreffler (eds.)

ปี:

1983

ภาษา:

english

ไฟล์:

PDF, 16.82 MB

0 / 0

english, 1983

7

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

Springer-Verlag Berlin Heidelberg

Roy Campbell, Jalal Al-Muhtadi, Prasad Naldurg, Geetanjali Sampemane (auth.), Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa (eds.)

ปี:

2003

ภาษา:

english

ไฟล์:

PDF, 5.41 MB

0 / 0

english, 2003

8

Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Benjamin C. Pierce (auth.), Richard F. Paige (eds.)

ปี:

2009

ภาษา:

english

ไฟล์:

PDF, 4.90 MB

0 / 0

english, 2009

9

Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Benjamin C. Pierce (auth.), Rocco De Nicola, Davide Sangiorgi (eds.)

ปี:

2005

ภาษา:

english

ไฟล์:

PDF, 5.95 MB

0 / 0

english, 2005