Jump to main content

yr 〜
yr

Search results 3

Transactions on computational systems biology 6. : 4th international conference on computational methods in systems biology : CMSB 2005 : workshop on computational methods in systems biology : ETAPS 2005 : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 4220. Lecture Notes in Bioinformatics. Journal Subline)

Transactions on computational systems biology 6. : 4th international conference on computational methods in systems biology : CMSB 2005 : workshop on computational methods in systems biology : ETAPS 2005 : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 4220. Lecture Notes in Bioinformatics. Journal Subline)
Paper図書
Springerc2006.<M17-09-1284>
National Diet Library
  • Author HeadingPriami, Corrado. Plotkin, G. (Gordon) , 1946- CMSB 2005 (2005 : Edinburgh, ...

Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.). (Lecture notes in computer science)

Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9583>
National Diet Library
  • Author Heading... (Mariangiola) Plotkin, G. (Gordon) , 1946-

Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings / edited by G. Kahn, D.B. MacQueen, and G. Plotkin. (Lecture notes in computer science)

Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings / edited by G. Kahn, D.B. MacQueen, and G. Plotkin. (Lecture notes in computer science)
Paper図書
Springer-Verlag1984.<M15-A3565>
National Diet Library
  • Author Heading...id B.) , 1946- Plotkin, G. (Gordon) , 1946- International Federation for ...

Reached to the end of result.

RSS