close
1.

図書
図書
1. Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
W. Rance Cleaveland (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1579
所蔵情報: loading…
2.

図書
図書
2. Conceptual modeling : current issues and future directions
Peter P. Chen ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1565
所蔵情報: loading…