1.
|
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 |
|
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 Manfred Nagl
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1170 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0035684 |
|
4.
|
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 |
|
5.
|
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 |
|
6.
|
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 |
|
7.
|
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 |
|
8.
|
EB
|
edited by Takayasu Ito, Robert H. Jr. Halstead, Christian Queinnec
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1068 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0023052 |
|
9.
|
EB
|
edited by David Alex Lamb
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1078 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0030514 |
|
10.
|
EB
|
edited by Alfred Strohmeier
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1088 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0013474 |
|
11.
|
EB
|
edited by Pierre Cointe
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1098 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0053051 |
|
12.
|
EB
|
12. Constraint Databases and Applications : Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP'96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected papers. 1st ed. 1996
edited by Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1191 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-62501-1 |
|
13.
|
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 |
|
14.
|
EB
|
edited by Marcel Toussaint
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1031 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0015477 |
|
15.
|
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 |
|
16.
|
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 |
|
17.
|
EB
|
edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1130 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61629-2 |
|
18.
|
EB
|
edited by Tibor Gyimothy
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1060 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61053-7 |
|
19.
|
EB
|
edited by John Launchbury, Erik Meijer, Tim Sheard
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1129 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61628-4 |
|
20.
|
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 |
|
21.
|
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 |
|
22.
|
EB
|
edited by Wojciech Penczek, Andrzej Szalas
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1113 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61550-4 |
|
23.
|
EB
|
edited by Guy-Rene Perrin, Alain Darte
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1132 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61736-1 |
|
24.
|
EB
|
edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 915 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-59293-8 |
|
25.
|
EB
|
edited by Manfred Broy, Stefan Jähnichen
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 1009 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0015452 |
|
26.
|
EB
|
edited by Alan Mycroft
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 983 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-60360-3 |
|
27.
|
EB
|
edited by Andreas Podelski
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 910 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-59155-9 |
|
28.
|
EB
|
edited by Jonathan P. Bowen, Michael G. Hinchey
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 967 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-60271-2 |
|
29.
|
EB
|
edited by Johan Jeuring, Erik Meijer
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 925 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-59451-5 |
|
30.
|
EB
|
edited by Wilhelm Schäfer, Pere Botella
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 989 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-60406-5 |
|
31.
|
EB
|
edited by Peter Dybjer, Bengt Nordström, Jan Smith
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 996 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-60579-7 |
|
32.
|
EB
|
edited by David Pitt, David E. Rydeheard, Peter Johnstone
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 953 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-60164-3 |
|
33.
|
EB
|
edited by Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 924 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-59450-7 |
|
34.
|
EB
|
edited by Jieh Hsiang
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 914 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-59200-8 |
|
35.
|
EB
|
by Josyula R. Rao
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 908 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-59173-7 |
|
36.
|
EB
|
edited by Egidio Astesiano, Gianna Reggio
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 906 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0014419 |
|
37.
|
EB
|
edited by Claus Lewerentz, Thomas Lindner
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 891 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-58867-1 |
|
38.
|
EB
|
edited by Walter Olthoff
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 952 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-49538-X |
|
39.
|
EB
|
edited by John Barnes
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 1247 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0051526 |
|
40.
|
EB
|
edited by Ugo Montanari, Francesca Rossi
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 976 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-60299-2 |
|
41.
|
EB
|
edited by Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit IV, Steven B. Opdahl
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 1344 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-63823-7 |
|
42.
|
EB
|
edited by Nachum Dershowitz, Naomi Lindenstrauss
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 968 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-60381-6 |
|
43.
|
EB
|
edited by Tucker S. Taft, Robert A. Duff
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 1246 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0034910 |
|
44.
|
EB
|
by Heiko Dörr
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 922 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0031909 |
|
45.
|
EB
|
edited by Manfred Meyer
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 923 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-59479-5 |
|
46.
|
EB
|
edited by Wolfgang Gentzsch, Uwe Harms
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 |
シリーズ名: |
Lecture Notes in Computer Science ; 797 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-57981-8 |
|
47.
|
EB
|
edited by J.W.de Bakker, W.-P.de Roever, G. Rozenberg
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 |
シリーズ名: |
Lecture Notes in Computer Science ; 803 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-58043-3 |
|
48.
|
EB
|
edited by Jürg Gutknecht
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 |
シリーズ名: |
Lecture Notes in Computer Science ; 782 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-57840-4 |
|
49.
|
EB
|
edited by Elisa Bertino, Susan Urban
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 |
シリーズ名: |
Lecture Notes in Computer Science ; 858 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0014012 |
|
50.
|
EB
|
by Jonathan S. Greenfield
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 |
シリーズ名: |
Lecture Notes in Computer Science ; 870 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0017590 |
|