Luca Cardelli: mencari di tapak web Z-Library

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024 Mengenai pengumpulan sumbangan

Akses percuma kepada pengetahuan dan budaya.

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024

Z-Library - salah satu perpustakaan dalam talian terbesar di dunia yang menyimpan lebih daripada 17,000,000 buku dan 84,837,000 artikel. Kami bertujuan untuk buku boleh diakses oleh semua orang. Hari ini (15 hb September 2024) kami memulakan pengumpulan dana tambahan untuk menyokong dan mengembangkan projek.

Tambah lagi muat turun TANPA HAD (untuk 31 hari sejak menghantar sumbangan) boleh diakses oleh SEMUA pengguna yang menyumbangkan selama tempoh pengumpulan sumbangan hingga 1 hb Oktober 2024.

Mengenai pengumpulan sumbanganBaca lebih lanjut

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

1

A theory of Objects

A theory of Objects

Martín Abadi, Luca Cardelli

Tahun:

1996

Bahasa:

english

Fail:

PDF, 25.93 MB

5.0 / 5.0

english, 1996

2

A theory of objects

A theory of objects

Martín Abadi, Luca Cardelli

Tahun:

1996

Bahasa:

english

Fail:

DJVU, 3.04 MB

0 / 0

english, 1996

3

Typeful programming

Typeful programming

Digital Systems Research Center

Tahun:

1989

Bahasa:

english

Fail:

PDF, 230 KB

0 / 0

english, 1989

4

Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Giorgio Ghelli (auth.), David Sands (eds.)

Tahun:

2001

Bahasa:

english

Fail:

PDF, 2.76 MB

0 / 0

english, 2001

5

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

Tahun:

1994

Bahasa:

english

Fail:

DJVU, 4.20 MB

0 / 0

english, 1994

6

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Vincent Danos, Heinz Koeppl, John Wilson-Kanamori (auth.), Luca Cardelli, William Shih (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 4.94 MB

0 / 0

english, 2011

7

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Luís Caires, Luca Cardelli (auth.), Naoki Kobayashi, Benjamin C. Pierce (eds.)

Tahun:

2001

Bahasa:

english

Fail:

PDF, 5.23 MB

0 / 0

english, 2001

8

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Vincent Danos, Heinz Koeppl, John Wilson-Kanamori (auth.), Luca Cardelli, William Shih (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 5.68 MB

0 / 0

english, 2011

9

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Tahun:

2013

Bahasa:

english

Fail:

PDF, 5.32 MB

0 / 0

english, 2013

10

Mobile Object Systems Towards the Programmable Internet: Second International Workshop, MOS'96 Linz, Austria, July 8–9, 1996 Selected Presentations and Invited Papers

Mobile Object Systems Towards the Programmable Internet: Second International Workshop, MOS'96 Linz, Austria, July 8–9, 1996 Selected Presentations and Invited Papers

Springer-Verlag Berlin Heidelberg

Luca Cardelli (auth.), Jan Vitek, Christian Tschudin (eds.)

Tahun:

1997

Bahasa:

english

Fail:

DJVU, 3.64 MB

0 / 0

english, 1997

11

Theory of Distributed Objects: A Practical Framework for Reasoning about Asynchronous Communications, Determinism, Mobility, and Components

Theory of Distributed Objects: A Practical Framework for Reasoning about Asynchronous Communications, Determinism, Mobility, and Components

Denis Caromel, Ludovic Henrio, Luca Cardelli

Tahun:

2005

Bahasa:

english

Fail:

PDF, 8.44 MB

0 / 0

english, 2005

12

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Vincent Danos, Heinz Koeppl, John Wilson-Kanamori (auth.), Luca Cardelli, William Shih (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 4.63 MB

0 / 0

english, 2011

13

Transactions on Computational Systems Biology IV

Transactions on Computational Systems Biology IV

Springer-Verlag Berlin Heidelberg

Robin Milner (auth.), Corrado Priami, Luca Cardelli, Stephen Emmott (eds.)

Tahun:

2006

Bahasa:

english

Fail:

PDF, 3.78 MB

0 / 0

english, 2006

14

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce (auth.), Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)

Tahun:

1999

Bahasa:

english

Fail:

PDF, 1.39 MB

0 / 0

english, 1999

15

Research Issues in Structured and Semistructured Database Programming: 7th International Workshop on Database Programming Languages, DBPL’99 Kinloch Rannoch, UK, September 1–3,1999 Revised Papers

Research Issues in Structured and Semistructured Database Programming: 7th International Workshop on Database Programming Languages, DBPL’99 Kinloch Rannoch, UK, September 1–3,1999 Revised Papers

Springer-Verlag Berlin Heidelberg

Luca Cardelli (auth.), Richard Connor, Alberto Mendelzon (eds.)

Tahun:

2000

Bahasa:

english

Fail:

PDF, 3.18 MB

0 / 0

english, 2000

16

Advances in Database Technology—EDBT '88: International Conference on Extending Database Technology Venice, Italy, March 14–18, 1988 Proceedings

Advances in Database Technology—EDBT '88: International Conference on Extending Database Technology Venice, Italy, March 14–18, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli (auth.), J. W. Schmidt, S. Ceri, M. Missikoff (eds.)

Tahun:

1988

Bahasa:

english

Fail:

DJVU, 7.88 MB

0 / 5.0

english, 1988

17

Transactions on Computational Systems Biology IV

Transactions on Computational Systems Biology IV

Springer-Verlag Berlin Heidelberg

Robin Milner (auth.), Corrado Priami, Luca Cardelli, Stephen Emmott (eds.)

Tahun:

2006

Bahasa:

english

Fail:

PDF, 3.66 MB

0 / 0

english, 2006

18

ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Luca Cardelli (eds.)

Tahun:

2003

Bahasa:

english

Fail:

PDF, 4.98 MB

0 / 0

english, 2003

19

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Tahun:

2013

Bahasa:

english

Fail:

PDF, 4.73 MB

0 / 0

english, 2013

20

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce (auth.), Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)

Tahun:

1999

Bahasa:

english

Fail:

PDF, 3.35 MB

0 / 0

english, 1999

21

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

Tahun:

1994

Bahasa:

english

Fail:

PDF, 7.96 MB

0 / 0

english, 1994

22

Research Issues in Structured and Semistructured Database Programming: 7th International Workshop on Database Programming Languages, DBPL’99 Kinloch Rannoch, UK, September 1–3,1999 Revised Papers

Research Issues in Structured and Semistructured Database Programming: 7th International Workshop on Database Programming Languages, DBPL’99 Kinloch Rannoch, UK, September 1–3,1999 Revised Papers

Springer-Verlag Berlin Heidelberg

Luca Cardelli (auth.), Richard Connor, Alberto Mendelzon (eds.)

Tahun:

2000

Bahasa:

english

Fail:

PDF, 8.94 MB

0 / 0

english, 2000

23

Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Giorgio Ghelli (auth.), David Sands (eds.)

Tahun:

2001

Bahasa:

english

Fail:

PDF, 4.32 MB

0 / 0

english, 2001