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 | 名古屋工業大学図書館蔵書検索（名工大OPAC）

>> Google Books

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. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 2303 <BA00009279>

書誌ID:

BA56329296

ISBN:

9783540433668 [354043366X]

子書誌情報

所蔵情報

Loading availability information

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

詳細

主題:	情報科学
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 電子ブック Foundations of Software Science and Computational Structures (vol. # 3441) : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European … Sassone, Vladimiro, SpringerLink (Online service) Springer-Verlag GmbH.
2 図書 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	8 図書 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
3 図書 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	9 電子ブック Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on … Amadio, Roberto, SpringerLink (Online service) Springer-Verlag
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 Computational Structures (vol. 3921) : 9th International Conference FOSSACS 2006 Held as Part of the Joint European … Aceto Luca, Ing-lfsd-ttir Anna, SpringerLink (Online service) Springer-Verlag GmbH.
5 図書 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	11 電子ブック Foundations of Software Science and Computational Structures : 10th International Conference FOSSACS 2007 Held as Part of the Joint European Conferences on … Seidl Helmut, SpringerLink (Online service) Springer-Verlag
6 電子ブック Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on … Hutchison, David, Mattern, Friedemann, Alfaro, Luca, Kanade, Takeo, Kleinberg, Jon M., Mitchell, John C., Naor, Moni, … Springer Berlin Heidelberg	12 電子ブック Foundations of Software Science and Computational Structures : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on … Ong, Luke, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg