>> 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]  CiNii Books  Calil
注記:
Includes bibliogarphical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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 図書 Information security and cryptology : ICISC 2001 : 4th International Conference, Seoul, Korea, December 6-7, 2001 proceedings

Kim, Kwangjo

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 図書 Computing and combinatorics : 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 : proceedings

International Computing and Combinatorics Conference, Du, Dingzhu

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