Pawel Urzyczyn: 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 (9)
Najbardziej popularne
Spis
- Spis
- Tablica

1

Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism

Elsevier Science

Morten Heine Sørensen, Paweł Urzyczyn

Rok:

2006

Język:

english

Plik:

PDF, 34.09 MB

0 / 0

english, 2006

2

Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism

Elsevier Science

Morten Heine Sorensen, Pawel Urzyczyn

Rok:

2006

Język:

english

Plik:

DJVU, 3.46 MB

0 / 0

english, 2006

3

Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism

Morten Heine Sørensen, Paweł Urzyczyn

Język:

english

Plik:

PDF, 1.72 MB

0 / 3.0

english

4

Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky (auth.), Rastislav Královič, Paweł Urzyczyn (eds.)

Rok:

2006

Język:

english

Plik:

PDF, 7.86 MB

0 / 0

english, 2006

5

Lectures on the Curry-Howard Isomorphism [unpub. notes]

Lectures on the Curry-Howard Isomorphism [unpub. notes]

Morten Heine Sørensen, Paweł Urzyczyn

Język:

english

Plik:

PDF, 1.33 MB

0 / 4.0

english

6

Lecture Notes in Computer Science 3461 Typed Lambda Calculi and Applications 7th International Conference,TLCA 2005

Lecture Notes in Computer Science 3461 Typed Lambda Calculi and Applications 7th International Conference,TLCA 2005

Springer-Verlag

Paweł Urzyczyn, International Conference on Typed Lambda Calculi and Applications, TLCA 2005, Urzyczyn, Pawel [editor], Pawel Urzyczyn

Rok:

2005

Język:

English

Plik:

PDF, 128.72 MB

0 / 0

English, 2005

7

Typed Lambda Calculi and Applications (Lecture Notes in Computer Science 3461: Theoretical Computer Science and General Issues)

Typed Lambda Calculi and Applications (Lecture Notes in Computer Science 3461: Theoretical Computer Science and General Issues)

Springer Science & Business Media

Rok:

2005

Język:

english

Plik:

PDF, 3.50 MB

0 / 0

english, 2005

8

Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky (auth.), Rastislav Královič, Paweł Urzyczyn (eds.)

Rok:

2006

Język:

english

Plik:

PDF, 28.67 MB

0 / 0

english, 2006

9

Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings

Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Thierry Coquand (auth.), Paweł Urzyczyn (eds.)

Rok:

2005

Język:

english

Plik:

PDF, 2.81 MB

0 / 0

english, 2005