Thomas Kropf: Z-Library 사이트에서 검색하기

모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서

지식과 문화를 자유롭게 접하기.

모금 9월 15일 2024 – 10월 1일 2024

Z-Library이란 세계에서 가장 큰 온라인 도서관 중 하나이며, 17,000,000 이상의 책과 84,837,000 이상의 기사 포함합니다. 우리는 모든 사람이 문학을 접할 수 있도록 하는 것을 목표로 합니다. 오늘 (9월 15일 2024) 프로젝트 운영과 발전을 위해 새로운 모금활동을 시작합니다.

또한 무제한 다운로드(기부가 이루어진 날 이후로 31일 동안)가 까지 모금 기간 내에 프로젝트를 지원해 주시는 모든10월 1일 2024 사용자 분들에게 주어집니다.

모금에 대해서상세정보

책들 (9)
가장 인기 있는
목록
- 목록
- 표

1

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)

년:

1999

언어:

english

파일:

PDF, 3.53 MB

0 / 0

english, 1999

2

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)

년:

1999

언어:

english

파일:

PDF, 3.24 MB

0 / 0

english, 1999

3

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)

년:

1999

언어:

english

파일:

PDF, 4.53 MB

0 / 0

english, 1999

4

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)

년:

1999

언어:

english

파일:

PDF, 4.67 MB

0 / 0

english, 1999

5

Kommunikative Funktionen des Dialekts im Unterricht: Theorie und Praxis in der deutschen Schweiz

Kommunikative Funktionen des Dialekts im Unterricht: Theorie und Praxis in der deutschen Schweiz

Max Niemeyer Verlag

년:

1986

언어:

german

파일:

PDF, 13.78 MB

0 / 0

german, 1986

6

Introduction to Formal Hardware Verification

Introduction to Formal Hardware Verification

Springer-Verlag Berlin Heidelberg

Dr. Thomas Kropf (auth.)

년:

1999

언어:

english

파일:

PDF, 6.27 MB

0 / 0

english, 1999

7

Formal Hardware Verification: Methods and Systems in Comparison

Formal Hardware Verification: Methods and Systems in Comparison

Springer-Verlag Berlin Heidelberg

Scott Hazelhurst, Carl-Johan H. Seger (auth.), Thomas Kropf (eds.)

년:

1997

언어:

english

파일:

DJVU, 3.14 MB

0 / 3.0

english, 1997

8

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Ramayya Kumar, Thomas Kropf (eds.)

년:

1995

언어:

english

파일:

DJVU, 3.04 MB

0 / 0

english, 1995

9

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Ramayya Kumar, Thomas Kropf (eds.)

년:

1995

언어:

english

파일:

PDF, 4.57 MB

0 / 0

english, 1995