1.
|
EB
|
edited by Helene Kirchner
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1059 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61064-2 |
|
2.
|
EB
|
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1165 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0027227 |
|
3.
|
EB
|
edited by Eugene C. Freuder
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1118 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61551-2 |
|
4.
|
EB
|
edited by Manfred Nagl
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1170 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0035684 |
|
5.
|
EB
|
edited by Bengt Jonsson, Joachim Parrow
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1135 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61648-9 |
|
6.
|
EB
|
edited by Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1033 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0014187 |
|
7.
|
EB
|
edited by Harald Ganzinger
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1103 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61464-8 |
|
8.
|
EB
|
edited by Kokichi Futatsugi, Satoshi Matsuoka
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1049 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-60954-7 |
|
9.
|
EB
|
edited by Michael Jampel, Eugene Freuder, Michael Maher
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1106 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61479-6 |
|
10.
|
EB
|
edited by Hanne R. Nielson
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1058 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61055-3 |
|