Jump to main content

yr 〜
yr

Search results 14

Static analysis : 12th international symposium, SAS 2005 : London, UK, September 7-9, 2005 : proceedings. : Sep 2005, London, UK. (Lecture Notes in Computer Science ; 3672)

Static analysis : 12th international symposium, SAS 2005 : London, UK, September 7-9, 2005 : proceedings. : Sep 2005, London, UK. (Lecture Notes in Computer Science ; 3672)
Paper図書
Springerc2005.<M17-06-178>
National Diet Library
  • Author HeadingHankin, Chris. Siveroni, Igor. Internationa...

Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings

Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
Paper図書
Chris Hankin, Igor Siveroni (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingSAS Hankin, Chris Siveroni, Igor

An introduction to lambda calculi for computer scientists

An introduction to lambda calculi for computer scientists
Paper図書
Chris HankinKing's Collegec2004
Other Libraries in Japan
  • Author HeadingHankin, Chris

Principles of program analysis Corrected 2nd printing

Principles of program analysis Corrected 2nd printing
Paper図書
Flemming Nielson , Hanne Riis Nielson , Chris HankinSpringer2005
Other Libraries in Japan
  • Author HeadingNielson, Flemming Nielson, Hanne Riis Hankin, Chris

Principles of program analysis : softcover

Principles of program analysis : softcover
Paper図書
Flemming Nielson, Hanne Riis Nielson, Chris HankinSpringerc1999
Other Libraries in Japan
  • Author HeadingNielson, Flemming Nielson, Hanne Riis Hankin, Chris

Principles of program analysis

Principles of program analysis
Paper図書
Flemming Nielson , Hanne Riis Nielson , Chris HankinSpringer-Verlagc1999
Other Libraries in Japan
  • Author HeadingNielson, Flemming Nielson, Hanne Riis Hankin, Chris

Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings

Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Paper図書
Chris Hankin (ed.)Springer-Verlagc1998
Other Libraries in Japan
  • Author Heading...ce of Software Hankin, Chris

Coordination languages and models : First International Conference COORDINATION '96, Cesena, Italy, April 15-17 1996 : proceedings

Coordination languages and models : First International Conference COORDINATION '96, Cesena, Italy, April 15-17 1996 : proceedings
Paper図書
Paolo Ciancarini, Chris Hankin (eds.)Springerc1996
Other Libraries in Japan
  • Author HeadingInternational Conference COORDINATION Ciancarini, Paolo Hankin, Chris

Lambda calculi : a guide for computer scientists : pbk

Lambda calculi : a guide for computer scientists : pbk
Paper図書
Chris HankinClarendon Press1994
Other Libraries in Japan
  • Author HeadingHankin, Chris

Coordination programming : mechanisms, models and semantics

Coordination programming : mechanisms, models and semantics
Paper図書
editors, J. -M. Andreoli, C. Hankin, D. Le MétayerImperial College Pressc1996
Other Libraries in Japan
  • Author HeadingAndreoli, J. -M. Hankin, Chris Le Métayer, D. (Daniel)

Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop

Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop
Paper図書
editors, C. Hankin, I. Mackie, R. NagarajanImperial College Pressc1995
Other Libraries in Japan
  • Author HeadingHankin, Chris Mackie, I. (Ian) Nagarajan, R...

Abstract interpretation of declarative languages : Horwood : Halsted

Abstract interpretation of declarative languages : Horwood : Halsted
Paper図書
editors, Samson Abramsky and Chris HankinE. Horwood1987
Other Libraries in Japan
  • Author HeadingAbramsky, Samson Hankin, Chris

Principles of functional programming pbk.

Principles of functional programming pbk.
Paper図書
Hugh Glaser, Chris Hankin and David TillPrentice/Hall Internationalc1984
Other Libraries in Japan
  • Author HeadingGlaser, Hugh Hankin, Chris Till, David

Security science and technology

Security science and technology
Paper図書
series editor, Chris HankinWorld Scientific
Other Libraries in Japan
  • Author HeadingHankin, Chris

Reached to the end of result.

RSS