Freek Wiedijk (eds.): որոնել Z-Library կայքում

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024

Z-Library-ը աշխարհի ամենամեծ առցանց գրադարաններից մեկն է, որտեղ տեղակայված ենավելի քան 17,000,000 գրքեր և 84,837,000 հոդվածներ: Մենք ձգտում ենք գրականությունը մատչելի դարձնել բոլորի համար. Այսօր (Սեպտեմբերի 15 2024) մենք բացում ենք նվիրատվությունների լրացուցիչ հավաք՝ նախագիծը աջակցելու և զարգացնելու համար.

Նաև, ԱՆՍԱՀՄԱՆԱՓԱԿ ներբեռնումներ (նվիրատվության օրվանից 31 օր սկսած) հասանելի կլինեն բոլոր օգտվողներին, ովքեր նվիրատվություն են կատարում գումարների հավաքման ընթացքում՝ մինչևՀոկտեմբերի 1 2024.

Դրամահավաքի մասինՄանրամասն

Գրքեր (9)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings

Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Steve Linton (auth.), Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (eds.)

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 9.73 MB

0 / 0

english, 2008

2

Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings

Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Steve Linton (auth.), Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (eds.)

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 17.07 MB

0 / 0

english, 2008

3

The Seventeen Provers of the World: Foreword by Dana S. Scott

The Seventeen Provers of the World: Foreword by Dana S. Scott

Springer-Verlag Berlin Heidelberg

Freek Wiedijk (auth.), Freek Wiedijk (eds.)

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 1.35 MB

0 / 0

english, 2006

4

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Springer-Verlag Berlin Heidelberg

Andreas Abel, Ralph Matthes (auth.), Herman Geuvers, Freek Wiedijk (eds.)

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 2.94 MB

0 / 0

english, 2003

5

The Seventeen Provers of the World: Foreword by Dana S. Scott

The Seventeen Provers of the World: Foreword by Dana S. Scott

Springer-Verlag Berlin Heidelberg

Freek Wiedijk (auth.), Freek Wiedijk (eds.)

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 2.16 MB

0 / 0

english, 2006

6

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 3.65 MB

0 / 0

english, 2011

7

The Seventeen Provers of the World: Foreword by Dana S. Scott

The Seventeen Provers of the World: Foreword by Dana S. Scott

Springer-Verlag Berlin Heidelberg

Freek Wiedijk (auth.), Freek Wiedijk (eds.)

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 1.33 MB

0 / 0

english, 2006

8

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 4.09 MB

0 / 0

english, 2011

9

The Seventeen Provers of the World: Foreword by Dana S. Scott

The Seventeen Provers of the World: Foreword by Dana S. Scott

Springer-Verlag Berlin Heidelberg

Freek Wiedijk (auth.), Freek Wiedijk (eds.)

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 1.33 MB

0 / 0

english, 2006