Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

資料種別:

図書

出版情報:

Berlin : Springer-Verlag, c1996

形態:

xvii, 446 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1181 <BA00009279>

著者名:

ISBN:

9783540620648 [3540620648]

書誌ID:

BA29335795

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	Computer science--Congresses; Computer systems--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : … International Andrei Ershov Memorial Conference, Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Zamulin, Alexandre V. Springer	7 電子ブック Perspectives of System Informatics International Andrei Ershov Memorial Conference, BjÃ¸rner, Dines, Broy, M., Zamulin, Aleksandr VasilÊ〓evich SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised … International Andrei Ershov Memorial Conference, Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Zamulin, Alexandre V. Springer	8 電子ブック Formal Methods in Programming and Their Applications Bjørner, Bjørner, Dines, Broy, M., Pottosin, I. V. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings (: gw ; : us) Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V. Springer-Verlag	9 電子ブック Perspectives of System Informatics International Andrei Ershov Memorial Conference, Broy, M., Zamulin, Aleksandr VasilÊ〓evich SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 図書 Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : … International Andrei Ershov Memorial Conference, Broy, M., 1949-, Zamulin, Alexandre V. Springer	10 図書 Computing and combinatorics : Second Annual International Conference, COCOON '96, Hong Kong, June 17-19, 1996 : proceedings International Computing and Combinatorics Conference, Cai, Jin-yi, 1961-, Wong, Chak-Kuen, 1938- Springer
5 電子ブック Perspectives of System Informatics International Andrei Ershov Memorial Conference, Bjørner, Dines, Broy, M., Pottosin, I. V. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 図書 Images of programming : dedicated to the memory of A.P. Ershov : papers collected under of the auspices of IFIP TC2 Bjørner, D. (Dines), 1937-, Kotov, V., Ershov, Andreĭ Petrovich, 1931-, IFIP Technical Committee 2--Programming North-Holland, Distributors for the United States and Canada, Elsevier Science Pub. Co.
6 電子ブック Perspectives of System Informatics International Andrei Ershov Memorial Conference, BjÃ¸rner, Dines, Broy, M., Zamulin, Aleksandr VasilÊ〓evich SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 図書 Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers Workshop on Computer Science Logic, Dalen, D. van (Dirk), 1932-, Bezem, M. (Marc), 1956-, European Association for … Springer

1

2

3

4

5

6

7

8

9

10

11

12