Jump to main content
NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
Search
Refiners
Refiners
Library
Close field
National Diet Library
Other Libraries in Japan
Available online
Title
Close field
Author/Editor
Close field
Publisher
Close field
Year
Close field
yr
〜
yr
Open
1980s
(2)
1990s
(7)
2000s
(4)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
（14）
Periodicals
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
Paper
（14）
Microform
Recording Media
Deselect all
Refiners
Refiners
Search results 14
20 results per page
50 results per page
100 results per page
List
Thumbnails
Table
Relevance
Published (old first)
Published (new first)
Title (ascend)
Title (descend)
Author (ascend)
Author (descend)
Call number
Group by title
Add all to My List
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
図書
Springer
c2005.
<M17-06-178>
National Diet Library
Author Heading
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
Paper
図書
Chris Hankin, Igor Siveroni (eds.)
Springer
c2005
Other Libraries in Japan
An introduction to lambda calculi for computer scientists
An introduction to lambda calculi for computer scientists
Paper
図書
Chris Hankin
King's College
c2004
Other Libraries in Japan
Principles of program analysis Corrected 2nd printing
Principles of program analysis Corrected 2nd printing
Paper
図書
Flemming Nielson , Hanne Riis Nielson , Chris Hankin
Springer
2005
Other Libraries in Japan
Principles of program analysis : softcover
Principles of program analysis : softcover
Paper
図書
Flemming Nielson, Hanne Riis Nielson, Chris Hankin
Springer
c1999
Other Libraries in Japan
Principles of program analysis
Principles of program analysis
Paper
図書
Flemming Nielson , Hanne Riis Nielson , Chris Hankin
Springer-Verlag
c1999
Other Libraries in Japan
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-Verlag
c1998
Other Libraries in Japan
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.)
Springer
c1996
Other Libraries in Japan
Lambda calculi : a guide for computer scientists : pbk
Lambda calculi : a guide for computer scientists : pbk
Paper
図書
Chris Hankin
Clarendon Press
1994
Other Libraries in Japan
Coordination programming : mechanisms, models and semantics
Coordination programming : mechanisms, models and semantics
Paper
図書
editors, J. -M. Andreoli, C. Hankin, D. Le Métayer
Imperial College Press
c1996
Other Libraries in Japan
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. Nagarajan
Imperial College Press
c1995
Other Libraries in Japan
Abstract interpretation of declarative languages : Horwood : Halsted
Abstract interpretation of declarative languages : Horwood : Halsted
Paper
図書
editors, Samson Abramsky and Chris Hankin
E. Horwood
1987
Other Libraries in Japan
Principles of functional programming pbk.
Principles of functional programming pbk.
Paper
図書
Hugh Glaser, Chris Hankin and David Till
Prentice/Hall International
c1984
Other Libraries in Japan
Security science and technology
Security science and technology
Paper
図書
series editor, Chris Hankin
World Scientific
Other Libraries in Japan
Reached to the end of result.
Bulk download of bibliographic information
RSS