Jump to main content

yr 〜
yr

Search results 8

DNA computing and molecular programming : 17th international conference, DNA 17 : Pasadena, CA, USA, September 19-23, 2011 : proceedings : Sep 2011, Pasadena, CA. (Lecture Notes in Computer Science ; 6937)

DNA computing and molecular programming : 17th international conference, DNA 17 : Pasadena, CA, USA, September 19-23, 2011 : proceedings : Sep 2011, Pasadena, CA. (Lecture Notes in Computer Science ; 6937)
Paper図書
Springerc2011.<M17-12-1230>
National Diet Library
  • Author Heading...adena, Calif.) Cardelli, Luca. Shih, William. California In...

ECOOP 2003 -- object-oriented programming : 17th European conference : Darmstadt, Germany, July 21-25, 2003 : proceedings. : 17th ECOOP conference : Jul 2003, Darmstadt, Germany. (Lecture Notes in Computer Science ; 2743)

ECOOP 2003 -- object-oriented programming : 17th European conference : Darmstadt, Germany, July 21-25, 2003 : proceedings. : 17th ECOOP conference : Jul 2003, Darmstadt, Germany. (Lecture Notes in Computer Science ; 2743)
Paper図書
Springerc2003.<M17-04-639>
National Diet Library
  • Author Heading...hnology Group. Cardelli, Luca. ECOOP 2003 (2003 : Darmstadt...

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
Paper図書
Luca Cardelli, William Shih (eds.)Springerc2011
Other Libraries in Japan
  • Author HeadingCardelli, Luca Shih, William International C...

Transactions on Computational systems biology IV

Transactions on Computational systems biology IV
Paper図書
Corrado Priami, Luca Cardelli, Stephen Emmott (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingPriami, Corrado Cardelli, Luca Emmott, Stephen

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
Paper図書
Luca Cardelli (ed.)Springerc2003
Other Libraries in Japan
  • Author HeadingEuropean Conference on Object-Oriented Programming Cardelli, Luca

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
Paper図書
Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)Springerc1999
Other Libraries in Japan
  • Author HeadingICCL Workshop Bal, Henri Belkhouche, Boumediene Cardelli, Luca

A theory of objects

A theory of objects
Paper図書
Martín Abadi, Luca CardelliSpringerc1996
Other Libraries in Japan
  • Author HeadingAbadi, Martín Cardelli, Luca

An algebraic approach to hardware description and verification

An algebraic approach to hardware description and verification
Paper図書
by Luca CardelliUniversity of Edinburgh, Department of Computer Science1982
Other Libraries in Japan
  • Author HeadingCardelli, Luca

Reached to the end of result.

RSS