>> Amazon.co.jp
このページのQRコード

Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings

種類:
図書
責任表示:
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
出版情報:
Berlin : Springer, c2000
著者名:
シリーズ名:
Lecture notes in computer science ; 1755 <BA00009279>
ISBN:
9783540671022 [3540671021]  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 : 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
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 : 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
8 図書 Parallel computing technologies : 6th International Conference, PaCT-2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings

International Conference on Parallel Computing Technologies, Malyshkin, V. Ė. (Viktor Ėmmanuilovich)

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 図書 High performance computing - HiPC '99 : 6th International Conference, Calcutta, India, December 17-20, 1999 : proceedings

International Conference on High Performance Computing, Banerjee, Prithviraj, Prasanna Kumar, V. K., Sinha, Bhabani P.

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 図書 Progress in cryptology, AFRICACRYPT 2010 : third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010 : proceedings

International Conference on Cryptology in Africa (3rd : 2010 : Stellenbosch, South Africa), Bernstein, Daniel J., Lange, &hellip;

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 図書 Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings

SAS, Cortesi, Agostino, Filé, Gilberto

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 図書 Algorithm engineering : 3rd International Workshop, WAE'99, London, UK, July 19-21, 1999 : proceedings

WAE'99, Vitter, Jeffrey S., Zaloliagis, Christos D.

Springer