Helmut Schwichtenberg (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 (10)
Najbardziej popularne
Spis
- Spis
- Tablica

1

Logic and Algebra of Specification

Logic and Algebra of Specification

Springer-Verlag Berlin Heidelberg

Wilfried Brauer (auth.), Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg (eds.)

Rok:

1993

Język:

english

Plik:

DJVU, 4.03 MB

0 / 0

english, 1993

2

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

Rok:

2001

Język:

english

Plik:

PDF, 2.52 MB

0 / 0

english, 2001

3

Logic and Algebra of Specification

Logic and Algebra of Specification

Springer-Verlag Berlin Heidelberg

Wilfried Brauer (auth.), Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg (eds.)

Rok:

1993

Język:

english

Plik:

PDF, 15.90 MB

0 / 0

english, 1993

4

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)

Rok:

1997

Język:

english

Plik:

PDF, 12.55 MB

0 / 0

english, 1997

5

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

Rok:

2001

Język:

english

Plik:

PDF, 1.73 MB

0 / 0

english, 2001

6

Proof and Computation

Proof and Computation

Springer-Verlag Berlin Heidelberg

Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)

Rok:

1995

Język:

english

Plik:

PDF, 33.16 MB

0 / 0

english, 1995

7

Proof and System-Reliability

Proof and System-Reliability

Springer Netherlands

G. Hamrin, V. Stoltenberg-Hansen (auth.), Helmut Schwichtenberg, Ralf Steinbrüggen (eds.)

Rok:

2002

Język:

english

Plik:

PDF, 12.35 MB

0 / 0

english, 2002

8

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)

Rok:

2000

Język:

english

Plik:

PDF, 3.26 MB

0 / 0

english, 2000

9

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)

Rok:

1997

Język:

english

Plik:

DJVU, 3.21 MB

0 / 0

english, 1997

10

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)

Rok:

2000

Język:

english

Plik:

PDF, 5.77 MB

0 / 0

english, 2000