Luca Cardelli – författare
Visar alla böcker från författaren Luca Cardelli. Handla med fri frakt och snabb leverans.
11 produkter
Theory of Objects
Av Martin Abadi, Luca Cardelli
Inbunden, 1996
2587 kr
Lägg i varukorg
Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in …
Theory of Objects
Av Luca Cardelli, Martin Abadi
E-bok, 2012
3348 kr
Lägg i varukorg
Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in …
Theory of Objects
Av Martin Abadi, Luca Cardelli
Häftad, 2012
2587 kr
Lägg i varukorg
Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in …
Transactions on Computational Systems Biology IV
Av Luca Cardelli, Stephen Emmott
Häftad, 2006
552 kr
Lägg i varukorg
This, the 4th Transactions on Computational Systems Biology volume, contains carefully selected and enhanced contributions presented at the first Converging Science conference held at the University of Trento, Italy, in December 2004. Dedicated especially to models and metaphors from biology to …
Transactions on Computational Systems Biology IV
Av Stephen Emmott, Luca Cardelli
E-bok, 2006
734 kr
Lägg i varukorg
ECOOP 2003 - Object-Oriented Programming
17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
Häftad, 2003
1129 kr
Lägg i varukorg
The refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003. The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 88 submissions. The papers are organized in …
ECOOP 2003 - Object-Oriented Programming
17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
E-bok, 2003
1470 kr
Lägg i varukorg
Internet Programming Languages
ICCL''98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings
Av Luca Cardelli, Boumediened Belkhouche m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
This book is a collection of articles about the influence that the recent greater scope and availability of wide area networks is having on the semantics, design, and implementa tion of programming languages. The Internet has long provided a global computing in frastructure but, for most of its …
Internet Programming Languages
ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings
Av Henri E. Bal, Boumediened Belkhouche m. fl.
Häftad, 1999
568 kr
Lägg i varukorg
This book is a collection of articles about the influence that the recent greater scope and availability of wide area networks is having on the semantics, design, and implementa tion of programming languages. The Internet has long provided a global computing in frastructure but, for most of its …
DNA Computing and Molecular Programming
17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011, Proceedings
Av Luca Cardelli, William Shih
Häftad, 2011
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on DNA Computing and Molecular Programming, DNA17, held in Pasadena, CA, USA, in September 2011. The 12 revised full papers presented together with 5 invited talks were carefully selected from numerous submissions. …
DNA Computing and Molecular Programming
17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011, Proceedings
Av William Shih, Luca Cardelli
E-bok, 2011
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on DNA Computing and Molecular Programming, DNA17, held in Pasadena, CA, USA, in September 2011. The 12 revised full papers presented together with 5 invited talks were carefully selected from numerous submissions. …
