Helmut Schwichtenberg (eds.): Z-Library সাইটে অনুসন্ধান করুন

জ্ঞান ও সংস্কৃতিতে অবাধ অ্যাক্সেস।

Don't use scam websites

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

সাল:

1993

ভাষা:

english

ফাইল:

DJVU, 4.03 MB

0 / 0

english, 1993

2

Computational Logic

Computational Logic

Ulrich Berger, Helmut Schwichtenberg (eds.)

সাল:

1999

ভাষা:

english

ফাইল:

PDF, 13.23 MB

0 / 0

english, 1999

3

Computational Logic

Computational Logic

Ulrich Berger, Helmut Schwichtenberg (eds.)

সাল:

1999

ভাষা:

english

ফাইল:

DJVU, 4.02 MB

0 / 0

english, 1999

4

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

সাল:

2001

ভাষা:

english

ফাইল:

PDF, 2.52 MB

0 / 0

english, 2001

5

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

সাল:

1993

ভাষা:

english

ফাইল:

PDF, 15.90 MB

0 / 0

english, 1993

6

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

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

সাল:

1997

ভাষা:

english

ফাইল:

PDF, 12.55 MB

0 / 0

english, 1997

7

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

সাল:

2001

ভাষা:

english

ফাইল:

PDF, 1.73 MB

0 / 0

english, 2001

8

Proof and Computation

Proof and Computation

Springer-Verlag Berlin Heidelberg

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

সাল:

1995

ভাষা:

english

ফাইল:

PDF, 33.16 MB

0 / 0

english, 1995

9

Proof and System-Reliability

Proof and System-Reliability

Springer Netherlands

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

সাল:

2002

ভাষা:

english

ফাইল:

PDF, 12.35 MB

0 / 0

english, 2002

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

সাল:

2000

ভাষা:

english

ফাইল:

PDF, 3.26 MB

0 / 0

english, 2000

11

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

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

সাল:

1997

ভাষা:

english

ফাইল:

DJVU, 3.21 MB

0 / 0

english, 1997

12

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

সাল:

2000

ভাষা:

english

ফাইল:

PDF, 5.77 MB

0 / 0

english, 2000