1.
|
EB
|
edited by Tai-hoon Kim, Carlos Ramos, Haeng-kon Kim, Akingbehin Kiumi, Sabah Mohammed, Dominik Slezak
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 |
シリーズ名: |
Communications in Computer and Information Science ; 340 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/978-3-642-35267-6 |
|
2.
|
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 |
|
3.
|
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 |
|
4.
|
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 |
|
5.
|
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 |
|
6.
|
EB
|
edited by Stefano Berardi, Mario Coppo
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1158 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61780-9 |
|
7.
|
EB
|
edited by Michael Hanus, Mario Rodriguez-Artalejo
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1139 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61735-3 |
|
8.
|
EB
|
edited by Ugo Montanari, Vladimiro Sassone
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1119 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61604-7 |
|
9.
|
EB
|
edited by Marie-Claude Gaudel, James Woodcock
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1051 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-60973-3 |
|
10.
|
EB
|
edited by Radhia Cousot, David A. Schmidt
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1145 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61739-6 |
|