Thomas Reps (auth.): Z-Libraryలో శోధించండి

జ్ఞానం మరియు సంస్కృతికి మీ గేట్‌వే. అందరికీ అందుబాటులో ఉంటుంది.

Don't use scam websites

వర్తింప చేసిన వడపోత సూచనలు

సరిగ్గా సరిపోలిక

సరిగ్గా సరిపోలిక

పుస్తకాలు (12)
అత్యంత ప్రజాదరణమైనవి
- ప్రకారం క్రమబద్ధీకరించు×
- అత్యంత ప్రజాదరణమైనవి
- ఉత్తమ సరిపోలిక
- ఇటీవల జోడించినవి
- శీర్షక ప్రకారం (అ-హ)
- శీర్షక ప్రకారం (హ-అ)
- సంవత్సరం ప్రకారం
- ఫైల్ పరిమాణం ↓
- ఫైల్ పరిమాణం ↑
జాబితా
- జాబితా
- పట్టిక

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

సంవత్సరం:

2007

భాష:

english

ఫైల్:

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

సంవత్సరం:

2000

భాష:

english

ఫైల్:

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

సంవత్సరం:

2007

భాష:

english

ఫైల్:

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

సంవత్సరం:

2000

భాష:

english

ఫైల్:

PDF, 4.73 MB

0 / 0

english, 2000

5

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

సంవత్సరం:

2007

భాష:

english

ఫైల్:

PDF, 12.34 MB

0 / 5.0

english, 2007

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

సంవత్సరం:

2007

భాష:

english

ఫైల్:

PDF, 4.62 MB

0 / 0

english, 2007

7

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

సంవత్సరం:

2002

భాష:

english

ఫైల్:

PDF, 5.29 MB

0 / 0

english, 2002

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

సంవత్సరం:

2002

భాష:

english

ఫైల్:

PDF, 6.30 MB

0 / 0

english, 2002

9

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

సంవత్సరం:

2006

భాష:

english

ఫైల్:

PDF, 5.35 MB

0 / 0

english, 2006

10

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

సంవత్సరం:

2007

భాష:

english

ఫైల్:

PDF, 4.78 MB

0 / 0

english, 2007

11

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

సంవత్సరం:

1988

భాష:

english

ఫైల్:

DJVU, 4.14 MB

0 / 0

english, 1988

12

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

సంవత్సరం:

1988

భాష:

english

ఫైల్:

PDF, 11.17 MB

0 / 0

english, 1988