Thomas Reps: tìm kiếm trên Z-Library

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

Truy cập tự do vào tri thức và văn hóa.

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024

Z-Library là một trong những thư viện trực tuyến lớn nhất trên thế giới bào gồm thêm 17,000,000 sách và 84,837,000 báo. Chúng tôi hướng tới việc tạo khả năng tiếp cận văn hóa cho mọi người. Hôm nay (15 tháng 9 2024) chúng tôi bắt đầu tăng quỹ để duy trì và phát triển dự án.

Cũng tải về KHÔNG GIỚI HẠN (trong 31 ngày sau khi quyển góp) cho TẤT CẢ người dùng quyên góp trong giai đoạn tăng quỹ 1 tháng 10 2024.

Về việc thu tiềnChi tiết

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (18)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 4.51 MB

0 / 0

english, 2007

2

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Reinhard Wilhelm, Mooly Sagiv, Thomas Reps (auth.), David A. Watt (eds.)

Năm:

2000

Ngôn ngữ:

english

File:

PDF, 2.40 MB

0 / 0

english, 2000

3

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

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 4.02 MB

0 / 0

english, 2007

4

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Reinhard Wilhelm, Mooly Sagiv, Thomas Reps (auth.), David A. Watt (eds.)

Năm:

2000

Ngôn ngữ:

english

File:

PDF, 4.73 MB

0 / 0

english, 2000

5

Generating Language-Based Environments

Generating Language-Based Environments

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 6.95 MB

0 / 0

english, 2004

6

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 4.62 MB

0 / 0

english, 2007

7

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 12.34 MB

0 / 5.0

english, 2007

8

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

Năm:

2002

Ngôn ngữ:

english

File:

PDF, 5.29 MB

0 / 0

english, 2002

9

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

Năm:

2002

Ngôn ngữ:

english

File:

PDF, 6.30 MB

0 / 0

english, 2002

10

Generating Language-based Environments

Generating Language-based Environments

Năm:

1984

Ngôn ngữ:

english

File:

DJVU, 964 KB

0 / 0

english, 1984

11

Generating Language-Based Environments

Generating Language-Based Environments

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 6.95 MB

0 / 5.0

english, 2004

12

The Synthesizer Generator Reference Manual

The Synthesizer Generator Reference Manual

Thomas W. Reps, Tim Teitelbaum

Năm:

1989

Ngôn ngữ:

english

File:

PDF, 3.09 MB

0 / 0

english, 1989

13

The Synthesizer Generator: A System for Constructing Language-Based Editors

The Synthesizer Generator: A System for Constructing Language-Based Editors

Thomas W. Reps, Tim Teitelbaum

Năm:

1989

Ngôn ngữ:

english

File:

PDF, 3.08 MB

0 / 0

english, 1989

14

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceed

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceed

Springer-Verlag Berlin Heidelberg

Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.)

Năm:

2006

Ngôn ngữ:

english

File:

PDF, 5.35 MB

0 / 0

english, 2006

15

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 4.78 MB

0 / 0

english, 2007

16

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps, Susan Horwitz (auth.), H. Ganzinger (eds.)

Năm:

1988

Ngôn ngữ:

english

File:

DJVU, 4.14 MB

0 / 0

english, 1988

17

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps, Susan Horwitz (auth.), H. Ganzinger (eds.)

Năm:

1988

Ngôn ngữ:

english

File:

PDF, 11.17 MB

0 / 0

english, 1988

18

Analysis Techniques for Information Security

Analysis Techniques for Information Security

Morgan and Claypool Publishers

Somesh Jha, Anupam Datta, Ninghui Li, David Melski, Thomas Reps

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 1.30 MB

0 / 0

english, 2010