Wu Wen-tsun (auth.): Z-Library web sitesinde arama yap

Bağış 15 Eylül 2024 – 1 Ekim 2024 Bağış toplama hakkında

Bilgi ve kültür için geçidiniz. Herkesçe erişilebilir.

Bağış 15 Eylül 2024 – 1 Ekim 2024

Z-Library- 17,000,000'den fazla kitap ve 84,837,000 makale barındıran dünyanın en büyük çevrimiçi kitaplıklarından biridir. Edebiyatı herkes için erişilebilir hale getirmeye çalışıyoruz. Bugün (15 Eylül 2024) projeyi desteklemek ve geliştirmek için ek bir bağış koleksiyonu açıyoruz.

Ayrıca SINIRSIZ indirme (bağış gününden sonraki 31 gün içinde), 'ye kadar olan bağış toplama döneminde projeyi destekleyecek TÜM 1 Ekim 2024 kullanıcılar tarafından kullanılabilir.

Bağış toplama hakkındaAyrıntılı

Kitaplar (7)
En popüler
- Şuna göre sırala×
- En popüler
- En iyi eşleşme
- Son eklenenler
- İsme göre (A-Z)
- İsme göre (Z-A)
- Yıla göre
- Dosya boyutu ↓
- Dosya boyutu ↑
Liste
- Liste
- Tablo

1

Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings

Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Wu Wen-Tsün (auth.), William McCune (eds.)

Yıl:

1997

Dil:

english

Dosya:

PDF, 8.12 MB

0 / 0

english, 1997

2

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Atsushi Ohori (eds.)

Yıl:

2003

Dil:

english

Dosya:

PDF, 3.49 MB

0 / 0

english, 2003

3

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Atsushi Ohori (eds.)

Yıl:

2003

Dil:

english

Dosya:

PDF, 4.29 MB

0 / 0

english, 2003

4

Mechanical Theorem Proving in Geometries: Basic Principles

Mechanical Theorem Proving in Geometries: Basic Principles

Springer-Verlag Wien

Dr. Wen-tsün Wu (auth.)

Yıl:

1994

Dil:

english

Dosya:

PDF, 4.87 MB

0 / 0

english, 1994

5

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Hongbo Li, Peter J. Olver, Gerald Sommer (eds.)

Yıl:

2005

Dil:

english

Dosya:

PDF, 6.38 MB

0 / 0

english, 2005

6

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Hongbo Li, Peter J. Olver, Gerald Sommer (eds.)

Yıl:

2005

Dil:

english

Dosya:

PDF, 5.21 MB

0 / 0

english, 2005

7

Algorithms and Computation: 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings

Algorithms and Computation: 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Wu Wen-tsun (auth.), Ding-Zhu Du, Xiang-Sun Zhang (eds.)

Yıl:

1994

Dil:

english

Dosya:

DJVU, 6.07 MB

0 / 0

english, 1994