>> Amazon.co.jp
このページの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
著者名:
シリーズ名:
Lecture notes in computer science ; 1181 <BA00009279>
ISBN:
9783540620648 [3540620648]  CiNii Books  Calil
注記:
Includes bibliographical 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

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V., SpringerLink (Online service)

Springer-Verlag
8 図書 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
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 Berlin Heidelberg : Imprint: Springer
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 : 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
10 図書 Graph-theoretic concepts in computer science : 28th International Workshop, WG 2002, Český Krumlov, Czech Republic, June 13-15, 2002 : revised papers

International Workshop on Graph-Theoretic Concepts in Computer Science, Kučera, Luděk

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 図書 LATIN '95 : Theoretical Informatics : Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995 : proceedings

Latin American Symposium on Theoretical Informatics, Baeza-Yates, R. (Ricardo), Golès, E. (Eric), Poblete, Patricio V

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 図書 Graph-theoretic concepts in computer science : 24th International Workshop, WG '98, Smolenice Castle, Slovak Republic, June 18-20, 1998 : proceedings

International Workshop on Graph-Theoretic Concepts in Computer Science, Hromkovic̆, Juraj, 1958-, Sýkora, Ondrej

Springer