close
1.

図書
図書
1. Proceedings, fifth IEEE International Conference on Engineering of Complex Computer Systems, October 18-21, 1999, Las Vegas, Nevada USA
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1999  xi, 185 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'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
Bernhard Steffen, ed.
出版情報: Berlin ; New York : Springer, c1998  xiii, 455 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1384
所蔵情報: loading…
目次情報: 続きを見る
The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions
The volume is devoted to conceptual foundations, development, and applications of tools and algorithms
For the specification, verification, analysis, and construction of software and hardware systems
The papers are organized in sections on model checking, design and architecture
Various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience
The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions
The volume is devoted to conceptual foundations, development, and applications of tools and algorithms
For the specification, verification, analysis, and construction of software and hardware systems
3.

図書
図書
3. DIS '95, Symposium on Designing Interactive Systems, Processes, Practices, Methods & Techniques : conference proceedings, University of Michigan, Ann Arbor, Michigan, USA, August 23-25, 1995
edited by Gary M. Olson & Sue Schuon
出版情報: New York : Association for Computing Machinery, c1995  x, 268 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. Proceedings, second IEEE International Conference on Engineering of Complex Computer Systems : held jointly with 6th CSESAW, 4th IEEE RTAW, and SES'96, Montréal, Québec, Canada, October 21-25, 1996
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing in cooperation with IFAC COMPUT
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xx, 528 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Proceedings, third IEEE International Conference on Engineering of Complex Computer Systems, Villa Olmo, Como, Italy, September 8-12, 1997 (: softbound ; : casebound)
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xi, 253 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. Proceedings of the Fifth International Workshop on Hardware/Software Co-Design : (Codes/CASHE '97), March 24-26, 1997, Braunschweig, Germany (: pbk ; : microfiche)
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997  ix, 179 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. Proceedings of the Sixth International Workshop on Hardware/Software Co-Design : (Codes/CASHE '98), March 15-18, 1998, Seattle, Washington, USA (: pbk ; : microfiche)
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1998  viii, 151 p. ; 28 cm
所蔵情報: loading…
8.

図書
図書
8. Advances in databases and information systems : Second East European Symposium, ADBIS'98, Poznań, Poland, September 7-10, 1998 : proceedings
Witold Litwin, Tadeusz Morzy, Gottfried Vossen (eds.)
出版情報: Berlin : Springer, c1998  xiv, 368 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1475
所蔵情報: loading…
9.

図書
図書
9. Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings (: pbk)
Ed Brinksma (ed.)
出版情報: Berlin : Springer, c1997  x, 431 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1217
所蔵情報: loading…
10.

図書
図書
10. Domain knowledge for interactive system design : proceedings of the TC8/WG8.2 Conference on Domain Knowledge in Interactive System Design, Switzerland, May 1996. 1st ed
edited by Alaistair Sutcliffe, David Benyon and Frans van Assche
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing, 1996  vi, 273 p. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼