Andrea Asperti：在 Z-Library 上搜索

您通往知識和文化的門戶。每個人都可以使用。

Don't use scam websites

已應用篩選

精確匹配

精確匹配

圖書 (22)
最受歡迎
- 排序方式×
- 最受歡迎
- 最佳匹配
- 最近添加的
- 按標題 (A-Z)
- 按標題 (Z-A)
- 按年
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

Categories, types, and structures. Introduction to category theory for computer scientists

Categories, types, and structures. Introduction to category theory for computer scientists

Andrea Asperti, Giuseppe Longo

年:

1991

語言:

english

文件:

PDF, 2.41 MB

0 / 0

english, 1991

2

The optimal implementation of functional programming languages

The optimal implementation of functional programming languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

年:

1999

語言:

english

文件:

PDF, 3.38 MB

0 / 0

english, 1999

3

Logica a informatica

Logica a informatica

Andrea Asperti, Agata Ciabattoni

年:

1997

語言:

italian

文件:

PDF, 909 KB

0 / 0

italian, 1997

4

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)

Andrea Asperti, Giuseppe Longo

年:

1991

語言:

english

文件:

PDF, 1.60 MB

0 / 3.0

english, 1991

5

Categories, types, and structures : an introduction to category theory for the working computer scientist

Categories, types, and structures : an introduction to category theory for the working computer scientist

年:

1991

語言:

english

文件:

PDF, 1.60 MB

0 / 5.0

english, 1991

6

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

年:

1998

語言:

english

文件:

PDF, 3.38 MB

0 / 0

english, 1998

7

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)

年:

1995

語言:

english

文件:

DJVU, 3.54 MB

0 / 0

english, 1995

8

Categories, types, and structures : an introduction to category theory for the working computer scientist

Categories, types, and structures : an introduction to category theory for the working computer scientist

年:

1991

語言:

english

文件:

PDF, 39.09 MB

0 / 4.5

english, 1991

9

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Andrea Asperti, Stefano Guerrini

年:

1999

語言:

english

文件:

AZW3 , 2.47 MB

0 / 0

english, 1999

10

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams, James H. Davenport (auth.), Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)

年:

2004

語言:

english

文件:

PDF, 3.73 MB

0 / 0

english, 2004

11

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)

年:

2012

語言:

english

文件:

PDF, 3.74 MB

0 / 0

english, 2012

12

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

年:

1998

語言:

spanish

文件:

PDF, 3.35 MB

0 / 0

spanish, 1998

13

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

年:

1998

語言:

english

文件:

LIT , 2.17 MB

0 / 0

english, 1998

14

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

年:

1998

語言:

english

文件:

FB2 , 3.35 MB

0 / 0

english, 1998

15

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

年:

1998

語言:

english

文件:

MOBI , 2.46 MB

0 / 0

english, 1998

16

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)

年:

2003

語言:

english

文件:

PDF, 2.02 MB

0 / 0

english, 2003

17

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (eds.)

年:

1994

語言:

english

文件:

DJVU, 2.66 MB

0 / 0

english, 1994

18

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams, James H. Davenport (auth.), Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)

年:

2004

語言:

english

文件:

PDF, 7.54 MB

0 / 0

english, 2004

19

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)

年:

2012

語言:

english

文件:

PDF, 3.72 MB

0 / 0

english, 2012

20

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)

年:

2003

語言:

english

文件:

PDF, 2.91 MB

0 / 0

english, 2003

21

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)

年:

2003

語言:

english

文件:

PDF, 2.54 MB

0 / 0

english, 2003

22

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)

年:

1995

語言:

english

文件:

PDF, 6.89 MB

0 / 0

english, 1995