Wu Wen-tsun (auth.): przeszukaj witrynę Z-Library

Darowizna 15 września 2024 – 1 października 2024 O zbieraniu funduszy

Swobodny dostęp do wiedzy i kultury.

Darowizna 15 września 2024 – 1 października 2024

Z-Library to jedna z największych bibliotek internetowych na świecie, w której znajduje się więcej 17,000,000 książek i 84,837,000 artykułów. Staramy się, aby literatura była dostępna dla każdego. Dziś (15 września 2024) otwieramy kolejną zbiórkę darowizn na wsparcie i rozwój projektu.

Również BEZLIMITOWE pobrania (w ciągu 31 dni od dnia przekazania darowizny) są dostępne dla WSZYSTKICH użytkowników, którzy będą wspierać projekt w okresie zbierania funduszy do 1 października 2024.

O zbieraniu funduszyWięcej szczegółów

Wesprzyj darowizną

Książki (7)
Najbardziej popularne
Spis
- Spis
- Tablica

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

Rok:

1997

Język:

english

Plik:

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

Rok:

2003

Język:

english

Plik:

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

Rok:

2003

Język:

english

Plik:

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

Rok:

1994

Język:

english

Plik:

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

Rok:

2005

Język:

english

Plik:

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

Rok:

2005

Język:

english

Plik:

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

Rok:

1994

Język:

english

Plik:

DJVU, 6.07 MB

0 / 0

english, 1994