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
(5)
2000s
(3)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
（10）
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
（10）
Microform
Recording Media
Deselect all
Refiners
Refiners
Search results 10
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
FME 2003: formal methods : international symposium of Formal Methods Europe : Pisa, Italy, September 8-14, 2003 : proceedings. : 12th international Formal Methods Europe symposium : Sep 2003, Pisa, Italy. (Lecture Notes in Computer Science ; 2805)
FME 2003: formal methods : international symposium of Formal Methods Europe : Pisa, Italy, September 8-14, 2003 : proceedings. : 12th international Formal Methods Europe symposium : Sep 2003, Pisa, Italy. (Lecture Notes in Computer Science ; 2805)
Paper
図書
Springer-Verlag
c2003.
<M17-04-1289>
National Diet Library
Author Heading
...tefania, 1954-
Mandrioli, Dino.
International Symposium of Fo...
Fundamentals of software engineering 2nd ed
Fundamentals of software engineering 2nd ed
Paper
図書
Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli
Prentice Hall
c2003
Other Libraries in Japan
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Paper
図書
Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
Springer
c2003
Other Libraries in Japan
The art and craft of computing pbk.
The art and craft of computing pbk.
Paper
図書
S. Ceri, D. Mandrioli, L. Sbattella
Addison Wesley
c1998
Other Libraries in Japan
Formal methods for real-time computing
Formal methods for real-time computing
Paper
図書
edited by Constance Heitmeyer and Dino Mandrioli
John Wiley
c1996
Other Libraries in Japan
Theoretical foundations of computer science Reprint ed
Theoretical foundations of computer science Reprint ed
Paper
図書
Dino Mandrioli, Carlo Ghezzi
Krieger Pub. Co.
1993, c1987
Other Libraries in Japan
Advances in object-oriented software engineering
Advances in object-oriented software engineering
Paper
図書
edited by Dino Mandrioli and Bertrand Meyer
Prentice Hall
1992
Other Libraries in Japan
Fundamentals of software engineering
Fundamentals of software engineering
Paper
図書
Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli
Prentice Hall
c1991
Other Libraries in Japan
Ｔｈｅｏｒｅｔｉｃａｌ ｆｏｕｎｄａｔｉｏｎｓ ｏｆ ｃｏｍｐｕｔｅｒ ｓｃｉｅｎｃｅ
Ｔｈｅｏｒｅｔｉｃａｌ ｆｏｕｎｄａｔｉｏｎｓ ｏｆ ｃｏｍｐｕｔｅｒ ｓｃｉｅｎｃｅ
Paper
図書
ＤｉｎｏＭａｎｄｒｉｏｌｉ，ＣａｒｌｏＧｈｅｚｚｉ． ;
Ｗｉｌｅｙ
ｃ１９８７．
Other Libraries in Japan
Theoretical foundations of computer science : pbk
Theoretical foundations of computer science : pbk
Paper
図書
Dino Mandrioli, Carlo Ghezzi
Wiley
c1987
Other Libraries in Japan
Reached to the end of result.
Bulk download of bibliographic information