Radhia: mencari di situs web Z-Library

Sumbangan 15 September 2024 – 1 Oktober 2024 Tentang pengumpulan dana

Akses gratis ke pengetahuan dan budaya.

Sumbangan 15 September 2024 – 1 Oktober 2024

Z-Library adalah perpustakaan online yang terbesar di dunis yang mengandung lebih dari 17,000,000 buku dan 84,837,000 artikel. Misi kami adalah membuat buku dapat diakses oleh semua orang! Hari ini (15 September 2024) kami mulai mengumpulkan sumbangan untuk mendukung dan mengembangkan proyek.

Juga unduhan TANPA BATASAN (selama 31 hari setelah hari pemberian donasi) tersedia untuk SEMUA pengguna yang akan menyumbang proyek selama periode pengumpulan sumbangan hingga 1 Oktober 2024.

Tentang pengumpulan danaMembaca lebih lanjut

Diterapkan filter

Pencocokan lengkap

Pencocokan lengkap

Buku (11)
Yang paling populer
Daftar
- Daftar
- Tabel

1

A Muslim on the Throne of the Holy Roman Empire - The Story of Frederick II of Hohenstaufen (2013)

A Muslim on the Throne of the Holy Roman Empire - The Story of Frederick II of Hohenstaufen (2013)

Spohr Publishers Limited

Salim E. Spohr (compilation & editing), Radhia Shukrullah (transl.)

Tahun:

2013

Bahasa:

english

File:

PDF, 364 KB

0 / 0

english, 2013

2

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Patrick Cousot (auth.), Radhia Cousot (eds.)

Tahun:

2005

Bahasa:

english

File:

PDF, 6.62 MB

0 / 0

english, 2005

3

Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

E. Allen Emerson (auth.), Radhia Cousot, Matthieu Martel (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 4.30 MB

0 / 0

english, 2011

4

Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings

Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach (auth.), Radhia Cousot (eds.)

Tahun:

2003

Bahasa:

english

File:

PDF, 7.21 MB

0 / 0

english, 2003

5

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings (Lecture ... Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings (Lecture ... Computer Science and General Issues)

Tahun:

2005

Bahasa:

english

File:

PDF, 15.19 MB

0 / 0

english, 2005

6

()

Bahasa:

arabic

File:

PDF, 2.13 MB

0 / 0

arabic

7

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)

Tahun:

2008

Bahasa:

english

File:

PDF, 3.97 MB

0 / 0

english, 2008

8

Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings

Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Alex Aiken (auth.), Radhia Cousot, David A. Schmidt (eds.)

Tahun:

1996

Bahasa:

english

File:

DJVU, 5.74 MB

0 / 0

english, 1996

9

Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

E. Allen Emerson (auth.), Radhia Cousot, Matthieu Martel (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 8.26 MB

0 / 0

english, 2011

10

Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

E. Allen Emerson (auth.), Radhia Cousot, Matthieu Martel (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 5.53 MB

0 / 0

english, 2011

11

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)

Tahun:

2008

Bahasa:

english

File:

PDF, 6.01 MB

0 / 0

english, 2008