Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

所蔵情報QRコード

Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Mogens Nielsen, Uffe Engberg (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c2002

形態:

xiii, 433 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2303 <BA00009279>

著者名:

ISBN:

9783540433668 [354043366X]

書誌ID:

BA56329296

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	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 … Nielsen, Mogens., Engberg, Uffe., SpringerLink (Online service)	7 図書 Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on … TACAS, Katoen, Joost-Pieter, Stevens, Perdita, European Conferences on Theory and Practice of Software Springer
2 図書 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	8 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on … Katoen, Joost-Pieter., Stevens, Perdita., SpringerLink (Online service)
3 図書 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	9 図書 Fundamental approaches to software engineering : 5th International Conference, FASE 2002, held as part of the Joint European Conferences on Theory and Practice … FASE, Kutsche, Ralf-Detlef, Weber, Herbert, 1940-, European Conferences on Theory and Practice of Software Springer
4 図書 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	10 電子ブック Fundamental Approaches to Software Engineering : 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice … Kutsche, Ralf-Detlef., Weber, Herbert., SpringerLink (Online service)
5 電子ブック Foundations of Software Science and Computation Structures FOSSACS 2002, Engberg, Uffe, Nielsen, Mogens SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of … Le Metayer, Daniel., SpringerLink (Online service)
6 図書 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	12 電子ブック Compiler Construction : 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, … Horspool, R. Niegel., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12