Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised paper

>> Amazon.co.jp

このページのQRコード

Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised paper

種類:

図書

責任表示:

Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

出版情報:

Berlin : Springer, c2001

著者名:

シリーズ名:

Lecture notes in computer science ; 2244 <BA00009279>

ISBN:

9783540430759 [354043075X]

注記:

Includes bibliogarphical references and index

所蔵情報

子書誌情報

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

詳細

主題:	Computer science--Congresses; Computer systems--Congresses
分類・件名:	NDC9 : 007 LCSH : Computer systems -- Congresses LCSH : Computer science -- Congresses
LCCN:	00021732
TTLL:	eng
言語:	英語
形態:	xiii, 548 p. : ill. ; 24 cm
書誌ID:	BA5495887X

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings International Andrei Ershov Memorial Conference, Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V. Springer-Verlag	7 電子ブック Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings Bjørner, Dines., Broy, Manfred., Pottosin, Igor V., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
2 図書 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	8 図書 Computing and combinatorics : 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 : proceedings International Computing and Combinatorics Conference, Du, Dingzhu Springer
3 電子ブック Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings Bjørner, Dines, Broy, Manfred, Pottosin, Igor V., SpringerLink (Online service) Springer-Verlag	9 図書 Information security and cryptology : ICISC 2001 : 4th International Conference, Seoul, Korea, December 6-7, 2001 proceedings Kim, Kwangjo Springer
4 電子ブック Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings Bjørner, Dines., Broy, Manfred., Pottosin, Igor V., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	10 図書 Combinatorics and computer science : 8th Franco-Japanese and 4th Franco-Chinese conference, Brest, France, July 3-5, 1995 : selected papers Combinatorics and Computer Science, Deza, M., 1934-, Euler, Reinhardt, 1950-, Manoussakis, Ioannis, 1957- Springer
5 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V. Springer-Verlag	11 図書 Computing and combinatorics : 4th annual international conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings International Conference on Computing and Combinatorics, Hsu, Wen-Lian, Kao, Ming-Yang Springer
6 電子ブック Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings Bjørner, Dines, Broy, Manfred, Pottosin, Igor V., SpringerLink (Online service) Springer-Verlag	12 電子ブック Mathematical Optimization Theory and Operations Research : 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings Kononov, Alexander., Khachay, Michael., Kalyagin, Valery A., Pardalos, Panos., SpringerLink (Online service) Springer International Publishing : Imprint: Springer