Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2005) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 13-17, 2005, Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

所蔵情報QRコード

Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2005) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 13-17, 2005, Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA / sponsored by the ACM Special Interest Group on Ada (SIGAda) ; in cooperation with SIGAPP, SIGCAS, SIGCSE, SIGPLAN, SIGSOFT & Ada Europe

資料種別:

図書

出版情報:

New York, N.Y. : ACM Press, c2005

形態:

viii, 115 p. ; 28 cm

著者名:

ISBN:

9781595931856 [1595931856]

書誌ID:

BA82173310

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	"ACM order number 825050"--T.p. verso Includes index HTTP:URL=http://www.loc.gov/catdir/toc/fy0611/2006276994.html Information=Table of contents only
主題:	Ada (Computer program language)--Congresses
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 図書 Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2004) : the engineering of correct and reliable software for real-time & distributed … ([: pbk]) SIGAda (Conference), SIGAda, SIGAPP, Association for Computing Machinery Association for Computing Machinery	7 図書 Reliable software technologies--Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : … Ada-Europe International Conference on Reliable Software Technologies, Asplund, Lars, 1949- Springer
2 電子ブック Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed … SIGAda (Conference), Association for Computing Machinery-Digital Library., SIGAda. ACM Digital Library Proceedings, ACM	8 図書 Reliable software technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 … Ada-Europe International Conference on Reliable Software Technologies, González-Harbour, Michael, 1960-, De la Puente, … Springer
3 電子ブック Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed … McCormick, John W., Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	9 図書 Reliable software technologies, Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : … Ada-Europe International Conference on Reliable Software Technologies, Hardy, Keith, Briggs, Jim Springer
4 図書 ACM SIGAda Annual International Conference : SIGAda '06 : November 12-16, 2006, Albuquerque, New Mexico, USA ([: pbk]) SIGAda (Conference), SIGAda, Association for Computing Machinery Association for Computing Machinery, Printed from e-media with permission by Curran Associates	10 図書 Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, … Ada-Europe International Conference on Reliable Software Technologies, Strohmeier, Alfred Springer
5 図書 Proceedings of the ACM SIGAda Annual international conference (SIGAda 2002) : the engineering of correct and reliable software for real-time & distributed … SIGAda (Conference), SIGAda, SIGAPP Association for Computing Machinery	11 図書 Reliable software technologies-Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : … Ada-Europe International Conference on Reliable Software Technologies, Craeynest, Dirk, 1957-, Strohmeier, Alfred Springer
6 図書 Reliable software technologies -- Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 … Ada-Europe International Conference on Reliable Software Technologies, Blieberger, Johann, Strohmeier, Alfred Springer	12 図書 Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings Ada-Europe International Conference on Reliable Software Technologies, Keller, H. B. (Hubert B.), Plödereder, Erhard Springer

1

2

3

4

5

6

7

8

9

10

11

12