David Basin: tìm kiếm trên Z-Library

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

Truy cập tự do vào tri thức và văn hóa.

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024

Z-Library là một trong những thư viện trực tuyến lớn nhất trên thế giới bào gồm thêm 17,000,000 sách và 84,837,000 báo. Chúng tôi hướng tới việc tạo khả năng tiếp cận văn hóa cho mọi người. Hôm nay (15 tháng 9 2024) chúng tôi bắt đầu tăng quỹ để duy trì và phát triển dự án.

Cũng tải về KHÔNG GIỚI HẠN (trong 31 ngày sau khi quyển góp) cho TẤT CẢ người dùng quyên góp trong giai đoạn tăng quỹ 1 tháng 10 2024.

Về việc thu tiềnChi tiết

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (26)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning

Cambridge University Press

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

Năm:

2005

Ngôn ngữ:

english

File:

PDF, 996 KB

0 / 0

english, 2005

2

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 12.00 MB

0 / 0

english, 2004

3

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)

Năm:

1994

Ngôn ngữ:

english

File:

DJVU, 3.51 MB

0 / 0

english, 1994

4

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 2.93 MB

0 / 0

english, 2003

5

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 4.40 MB

0 / 0

english, 2004

6

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 6.39 MB

0 / 0

english, 2010

7

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.)

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 8.67 MB

0 / 0

english, 2010

8

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 10.61 MB

0 / 0

english, 2009

9

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Năm:

2004

Ngôn ngữ:

english

File:

DJVU, 9.11 MB

0 / 0

english, 2004

10

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 5.05 MB

0 / 0

english, 2009

11

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 6.47 MB

0 / 0

english, 2010

12

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.)

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 8.73 MB

0 / 0

english, 2010

13

信息安全实用教程

信息安全实用教程

北京：国防工业出版社

（瑞士）大卫·贝森（DAVID BASIN），帕特里克·沙勒（PATRICK SCHALLER），迈克尔·施莱普菲儿著；张涛，王金双，赵敏译, 贝森 (Basin, David)

Năm:

2015

Ngôn ngữ:

Chinese

File:

PDF, 33.86 MB

0 / 0

Chinese, 2015

14

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig

Năm:

2022

Ngôn ngữ:

english

File:

PDF, 10.40 MB

4.0 / 5.0

english, 2022

15

Applied Information Security: A Hands-on Approach

Applied Information Security: A Hands-on Approach

Springer-Verlag Berlin Heidelberg

David Basin, Patrick Schaller, Michael Schläpfer (auth.)

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 1.43 MB

0 / 0

english, 2011

16

Labelled Deduction

Labelled Deduction

Springer Netherlands

David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)

Năm:

2000

Ngôn ngữ:

english

File:

PDF, 9.36 MB

0 / 0

english, 2000

17

Applied Information Security: A Hands-on Approach

Applied Information Security: A Hands-on Approach

Springer-Verlag Berlin Heidelberg

David Basin, Patrick Schaller, Michael Schläpfer (auth.)

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 1.58 MB

0 / 4.5

english, 2011

18

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig

Năm:

2022

Ngôn ngữ:

english

File:

PDF, 10.40 MB

0 / 5.0

english, 2022

19

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Springer-Verlag London

Ina Kraan, David Basin, Alan Bundy (auth.), Kung-Kiu Lau Bsc, PhD, Timothy Paul Clement Ma, DPhil (eds.)

Năm:

1993

Ngôn ngữ:

english

File:

PDF, 10.01 MB

0 / 0

english, 1993

20

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 1.79 MB

0 / 0

english, 2003

21

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Rémy Chrétien, Stéphanie Delaune (auth.), David Basin, John C. Mitchell (eds.)

Năm:

2013

Ngôn ngữ:

english

File:

PDF, 3.46 MB

0 / 0

english, 2013

22

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)

Năm:

1994

Ngôn ngữ:

english

File:

PDF, 6.81 MB

0 / 0

english, 1994

23

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 5.45 MB

0 / 0

english, 2009

24

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 5.50 MB

0 / 0

english, 2009

25

Labelled deduction

Labelled deduction

Springer Netherlands

David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)

Năm:

2000

Ngôn ngữ:

english

File:

DJVU, 2.27 MB

0 / 0

english, 2000

26

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 4.74 MB

0 / 0

english, 2009