本文に飛ぶ

年 〜
年

検索結果 13 件

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)
紙図書
Springerc2005.<M17-06-178>
国立国会図書館
  • 著者標目Hankin, Chris. Siveroni, Igor. International...

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
紙図書
Chris Hankin, Igor Siveroni (eds.)Springerc2005
全国の図書館

An introduction to lambda calculi for computer scientists

An introduction to lambda calculi for computer scientists
紙図書
Chris HankinKing's Collegec2004
全国の図書館

Principles of program analysis Corrected 2nd printing

Principles of program analysis Corrected 2nd printing
紙図書
Flemming Nielson , Hanne Riis Nielson , Chris HankinSpringer2005
全国の図書館

Principles of program analysis : softcover

Principles of program analysis : softcover
紙図書
Flemming Nielson, Hanne Riis Nielson, Chris HankinSpringerc1999
全国の図書館

Principles of program analysis

Principles of program analysis
紙図書
Flemming Nielson , Hanne Riis Nielson , Chris HankinSpringer-Verlagc1999
全国の図書館

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
紙図書
Chris Hankin (ed.)Springer-Verlagc1998
全国の図書館

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
紙図書
Paolo Ciancarini, Chris Hankin (eds.)Springerc1996
全国の図書館

Lambda calculi : a guide for computer scientists : pbk

Lambda calculi : a guide for computer scientists : pbk
紙図書
Chris HankinClarendon Press1994
全国の図書館

Coordination programming : mechanisms, models and semantics

Coordination programming : mechanisms, models and semantics
紙図書
editors, J. -M. Andreoli, C. Hankin, D. Le MétayerImperial College Pressc1996
全国の図書館

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
紙図書
editors, C. Hankin, I. Mackie, R. NagarajanImperial College Pressc1995
全国の図書館

Abstract interpretation of declarative languages : Horwood : Halsted

Abstract interpretation of declarative languages : Horwood : Halsted
紙図書
editors, Samson Abramsky and Chris HankinE. Horwood1987
全国の図書館

Principles of functional programming pbk.

Principles of functional programming pbk.
紙図書
Hugh Glaser, Chris Hankin and David TillPrentice/Hall Internationalc1984
全国の図書館

検索結果は以上です。

RSS