Jens Palsberg: Z-library saytında axtarmaq

İanələr 15 sentyabr 2024 – 1 oktyabr 2024 Vəsaitlərin toplanılması haqqında

Bilik və mədəniyyətə sərbəst giriş.

İanələr 15 sentyabr 2024 – 1 oktyabr 2024

Z-Library - 17,000,000-dan çox kitab və 84,837,000-dan çox məqalə ibarət olan dünyanın ən böyük onlayn kitabxanalarından biridir. Biz ədəbiyyatı hər kəs üçün əlçatan etməyə çalışırıq. Bu gün (15 sentyabr 2024) biz layihəyə dəstək və onun inkişafı üçün yeni əlavə ianə yığımı açırıq.

Həmçinin məbləğədək vəsaitin toplanması müddəti ərzində ianələr etmiş bütün istifadəçilər üçün LİMİTSİZ1 oktyabr 2024 yükləmələr də (ianə etdiyiniz gündən etibarən 31 gün ərzində) əlçatan olacaqdır.

Vəsaitlərin toplanılması haqqındaDaha ətraflı

Kitablar (14)
Ən məşhurları
Siyahı
- Siyahı
- Cədvəl

1

Modern Compiler Implementation in Java

Modern Compiler Implementation in Java

Cambridge University Press

Andrew W. Appel, Jens Palsberg

İl:

2002

Dil:

english

Fayl:

CHM, 8.02 MB

5.0 / 5.0

english, 2002

2

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Springer International Publishing

Isil Dillig, Jens Palsberg (eds.)

İl:

2018

Dil:

english

Fayl:

PDF, 8.31 MB

0 / 0

english, 2018

3

Object-Oriented Type Systems

Object-Oriented Type Systems

Jens Palsberg, Michael I. Schwartzbach

İl:

1994

Dil:

english

Fayl:

DJVU, 1.11 MB

0 / 0

english, 1994

4

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Jens Palsberg (auth.), Jens Palsberg (eds.)

İl:

2009

Dil:

english

Fayl:

PDF, 6.26 MB

0 / 0

english, 2009

5

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)

İl:

2008

Dil:

english

Fayl:

PDF, 11.26 MB

0 / 0

english, 2008

6

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)

İl:

2009

Dil:

english

Fayl:

PDF, 4.10 MB

0 / 0

english, 2009

7

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Jens Palsberg (eds.)

İl:

2000

Dil:

english

Fayl:

PDF, 3.76 MB

0 / 0

english, 2000

8

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Jens Palsberg (auth.), Jens Palsberg (eds.)

İl:

2009

Dil:

english

Fayl:

PDF, 4.85 MB

0 / 0

english, 2009

9

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)

İl:

2009

Dil:

english

Fayl:

PDF, 5.64 MB

0 / 5.0

english, 2009

10

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)

İl:

2008

Dil:

english

Fayl:

PDF, 7.54 MB

0 / 0

english, 2008

11

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

İl:

2006

Dil:

english

Fayl:

PDF, 5.35 MB

0 / 0

english, 2006

12

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Jens Palsberg (auth.), Jens Palsberg (eds.)

İl:

2009

Dil:

english

Fayl:

PDF, 5.06 MB

0 / 0

english, 2009

13

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Jens Palsberg (eds.)

İl:

2000

Dil:

english

Fayl:

PDF, 4.19 MB

0 / 0

english, 2000

14

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)

İl:

2009

Dil:

english

Fayl:

PDF, 4.14 MB

0 / 0

english, 2009