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

Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

種類:
電子ブック
責任表示:
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1996
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 1181
ISBN:
9783540496373 [3540496378]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/3-540-62064-8
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック 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
7 電子ブック Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Bird, R. S., Morgan, C. C., Woodcock, J. C. P., SpringerLink (Online service)

Springer-Verlag
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 Berlin Heidelberg : Imprint: Springer
8 電子ブック Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Maluszyński, Jan, Wirsing, Martin, SpringerLink (Online service)

Springer-Verlag
3 図書 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
9 電子ブック Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Bruynooghe, Maurice, Wirsing, Martin, SpringerLink (Online service)

Springer-Verlag
4 電子ブック 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
10 電子ブック Progamming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings

Bruynooghe, Maurice, Penjam, Jaan, SpringerLink (Online service)

Springer-Verlag
5 図書 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
11 電子ブック Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

Wolper, Pierre, SpringerLink (Online service)

Springer-Verlag
6 図書 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
12 電子ブック Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings

Srivas, Mandayam, Camilleri, Albert, SpringerLink (Online service)

Springer-Verlag