Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Andrew D. Gordon (ed.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2003

形態:

xii, 440 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2620 <BA00009279>

著者名:

ISBN:

9783540008972 [3540008977]

書誌ID:

BA61613765

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings Foundations of software science and computation structures : FOSSACS 2003
注記:	Includes bibliographical references and index
主題:	器械計算．計算器
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on … FOSSACS, Nielsen, M. (Mogens), 1949-, Engberg, Uffe, European Conferences on Theory and Practice of Software Springer	7 図書 Foundations of software science and computation structures : 8th International Conference, FOSSACS 2005, held as part of the Joint European Conferences on … FOSSACS, Sassone, Vladimiro, European Conferences on Theory and Practice of Software Springer
2 図書 Programming languages and systems : 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, European Conferences on Theory and Practice of Software, Degano, Pierpaolo, 1950- Springer	8 図書 Foundations of software science and computation structures : 7th International Conference, FOSSACS 2004, held as part of the Joint European Conferences on … FOSSACS, Walukiewicz, Igor, European Conferences on Theory and Practice of Software Springer
3 図書 Compiler construction : 12th International Conference, CC 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, … International Workshop on Compiler Construction, European Conferences on Theory and Practice of Software, Hedin, Görel Springer	9 図書 Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on … TACAS, European Conferences on Theory and Practice of Software, Garavel, Hubert, Hatcliff, John, 1966- Springer
4 図書 Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the joint European Conferences on … FOSSACS, Honsell, Furio, Miculan, Marino, European Conferences on Theory and Practice of Software Springer	10 図書 Foundations of software science and computation structures : second international conference, FOSSACS '99, held as part of the joint European Conferences on … FOSSACS, Thomas, Wolfgang, European Conferences on Theory and Practice of Software Springer
5 図書 Fundamental approaches to software engineering : 6th International Conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice … FASE, European Conferences on Theory and Practice of Software, Pezzè, Mauro Springer	11 図書 Foundations of software science and computation structures : First International Conference, FoSSaCS ʾ98 held as part of the joint European Conferences on … FOSSACS, Nivat, Maurice, European Conferences on Theory and Practice of Software Springer
6 図書 Foundations of software science and computation structures : third International Conference, FOSSACS 2000, held as part of the joint European Conferences on … FOSSACS, Tiuryn, Jerzy, European Conferences on Theory and Practice of Software Springer	12 図書 Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, Le Métayer, D. (Daniel), European Conferences on Theory and Practice of Software Springer

1

2

3

4

5

6

7

8

9

10

11

12