Foundations of software science and computation structures : second International Conference, FOSSACS ʾ99, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʾ99, Amsterdam, The Netherlands, March 22 - 28, 1999 proceedings | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Foundations of software science and computation structures : second International Conference, FOSSACS ʾ99, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʾ99, Amsterdam, The Netherlands, March 22 - 28, 1999 proceedings

種類:

図書

責任表示:

Wolfgang Thomas (ed.)

出版情報:

Berlin ; Tokyo : Springer, c1999

著者名:

シリーズ名:

Lecture notes in computer science ; 1578 <BA00009279>

ISBN:

9783540657194 [3540657193]

注記:

Includes bibliographical references and index

所蔵情報

Loading availability information

子書誌情報

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

詳細

主題:	Computer software--Congresses; System analysis--Congresses
分類・件名:	NDC9 : 007 LCSH : Computer software -- Congresses LCSH : System analysis -- Congresses
TTLL:	eng
言語:	英語
形態:	x, 321 p. ; 24 cm
書誌ID:	BA40935526

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 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
2 図書 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	8 図書 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
3 図書 Fundamental approaches to software engineering : Second International Conference, FASE'99, held as part of the Joint European Conferences on Theory and Practice … FASE <> (2nd : 1999 : Amsterdam, Netherlands), Finance, Jean Pierre Springer-Verlag	9 図書 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
4 図書 Programming languages and systems : 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, Swierstra, S. Doaitse Springer	10 図書 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of Joint European Conferences on Theory and Practice of … European Symposium on Programming, Hankin, Chris Springer-Verlag
5 図書 Compiler construction : 8th International Conference, CC'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, … International Workshop on Compiler Construction CC, Jähnichen, Stefan Springer-Verlag	11 図書 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
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 Springer	12 図書 Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on … Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Steffen, Bernhard Springer