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 | 三重大学附属図書館 OPAC

>> Google Books

タイトル、所在を表示します

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>

書誌ID:

BA61613765

ISBN:

9783540008972 [3540008977]

子書誌情報

所蔵情報

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
資料形態(詳細):	Text
主題:	電気工学--電子工学
注記:	Includes bibliographical references and index
登録日:	2003-10-27

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

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 : 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
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 図書 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
3 図書 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	9 図書 Compiler Construction : 11th International Conference, CC 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, … International Workshop on Compiler Construction, Horspool, R. Nigel, 1948-, European Conferences on Theory and Practice … Springer
4 図書 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	10 図書 Compiler Construction : 17th International Conference, CC 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, … International Workshop on Compiler Construction, European Conferences on Theory and Practice of Software, Hendren, … Springer
5 図書 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	11 図書 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
6 図書 Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on … FOSSACS 2008 (2008 : Budapest, Hungary), Amadio, Roberto M., ETAPS 2008 (2008 : Budapest, Hungary) Springer	12 図書 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