Andrea Asperti: mencari di tapak web Z-Library

Akses percuma kepada pengetahuan dan budaya.

Don't use scam websites

Buku (22)
Yang paling popular
Senarai
- Senarai
- Jadual

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

Tahun:

1991

Bahasa:

english

Fail:

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

Tahun:

1999

Bahasa:

english

Fail:

PDF, 3.38 MB

0 / 0

english, 1999

3

Logica a informatica

Logica a informatica

Andrea Asperti, Agata Ciabattoni

Tahun:

1997

Bahasa:

italian

Fail:

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

Tahun:

1991

Bahasa:

english

Fail:

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

Tahun:

1991

Bahasa:

english

Fail:

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

Tahun:

1998

Bahasa:

english

Fail:

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

Tahun:

1995

Bahasa:

english

Fail:

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

Tahun:

1991

Bahasa:

english

Fail:

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

Tahun:

1999

Bahasa:

english

Fail:

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

Tahun:

2004

Bahasa:

english

Fail:

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

Tahun:

2012

Bahasa:

english

Fail:

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

Tahun:

1998

Bahasa:

spanish

Fail:

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

Tahun:

1998

Bahasa:

english

Fail:

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

Tahun:

1998

Bahasa:

english

Fail:

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

Tahun:

1998

Bahasa:

english

Fail:

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

Tahun:

2003

Bahasa:

english

Fail:

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

Tahun:

1994

Bahasa:

english

Fail:

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

Tahun:

2004

Bahasa:

english

Fail:

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

Tahun:

2012

Bahasa:

english

Fail:

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

Tahun:

2003

Bahasa:

english

Fail:

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

Tahun:

2003

Bahasa:

english

Fail:

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

Tahun:

1995

Bahasa:

english

Fail:

PDF, 6.89 MB

0 / 0

english, 1995