Foundations of software science and computation structures : third International Conference, FOSSACS 2000, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Foundations of software science and computation structures : third International Conference, FOSSACS 2000, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

種類:

図書

責任表示:

Jerzy Tiuryn (ed.)

出版情報:

Berlin : Springer, 2000

著者名:

シリーズ名:

Lecture notes in computer science ; 1784 <BA00009279>

ISBN:

9783540672579 [3540672575]

注記:

Includes bibliographical references

所蔵情報

Loading availability information

子書誌情報

タイトルが類似している資料

詳細

主題:	総記--情報学．情報科学
分類・件名:	NDC9 : 007
TTLL:	eng
言語:	英語
形態:	x, 390 p. : ill. ; 24 cm
書誌ID:	BA46078145

類似資料:

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 : second International Conference, FOSSACS ʾ99, held as part of the joint European Conferences on … FOSSACS, Thomas, Wolfgang Springer
2 図書 Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on … FOSSACS, European Conferences on Theory and Practice of Software, Gordon, Andrew D. Springer	8 図書 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
3 図書 Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, Smolka, Gert Springer	9 図書 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
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 図書 Fundamental approaches to software engineering : first international conference, FASE'98 held as part of the joint European Conferences on Theory and Practice … FASE, Astesiano, E. (Egidio), 1939-, International Joint Conference on Theory and Practice of Software Development Springer
5 図書 Foundations of software science and computation structures : First International Conference, FoSSaCS ʾ98 held as part of the joint European Conferences on … FoSSaCS, Nivat, Maurice, International Joint Conference on Theory and Practice of Software Development Springer	11 図書 Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice … FASE, Hussmann, Heinrich, European Conferences on Theory and Practice of Software Springer
6 図書 Compiler construction : 9th International Conference, CC 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, … International Workshop on Compiler Construction, Watt, David Anthony, 1946-, European Conferences on Theory and Practice … Springer	12 図書 Compiler construction : 7th International Conference, CC '98, held as part of the Joint European Conferences on the Theory and Practice of Software, ETAPS '98, … International Workshop on Compiler Construction CC, Koskimies, Kai Springer