Helmut Schwichtenberg (auth.): buscar en el sitio web de Z-Library

Libre acceso a los conocimientos y la cultura.

Don't use scam websites

Libros (10)
Más populares
Lista
- Lista
- Tabla

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

Año:

1993

Idioma:

english

Archivo:

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

Año:

2001

Idioma:

english

Archivo:

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

Año:

1993

Idioma:

english

Archivo:

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

Año:

1997

Idioma:

english

Archivo:

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

Año:

2001

Idioma:

english

Archivo:

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

Año:

1995

Idioma:

english

Archivo:

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

Año:

2002

Idioma:

english

Archivo:

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

Año:

2000

Idioma:

english

Archivo:

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

Año:

1997

Idioma:

english

Archivo:

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

Año:

2000

Idioma:

english

Archivo:

PDF, 5.77 MB

0 / 0

english, 2000