1.

図書

図書
Patrick Cousot (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2126
所蔵情報: 図書館
2.

図書

図書
Giorgio Levi (ed.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1503
所蔵情報: 図書館
3.

図書

図書
Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1490
所蔵情報: 図書館
4.

図書

図書
Johan Jeuring (ed.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1422
所蔵情報: 図書館
5.

図書

図書
Chris Hankin (ed.)
出版情報: Berlin : Springer-Verlag, c1998
シリーズ名: Lecture notes in computer science ; 1381
所蔵情報: 図書館
6.

図書

図書
Tobias Nipkow (ed.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1379
所蔵情報: 図書館
7.

図書

図書
Hugh Glaser, Pieter Hartel, Herbert Kuchen, eds
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1292
所蔵情報: 図書館
8.

図書

図書
Hubert Comon (ed.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1232
所蔵情報: 図書館
9.

図書

図書
Herbert Kuchen, S. Doaitse Swierstra (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1140
所蔵情報: 図書館
10.

図書

図書
Hanne Riis Nielson, (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1058
所蔵情報: 図書館
11.

図書

図書
Harald Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1103
所蔵情報: 図書館
12.

図書

図書
Jieh Hsiang, (ed.)
出版情報: Berlin : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 914
所蔵情報: 図書館
13.

図書

図書
Bernhard Möller, (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995
シリーズ名: Lecture notes in computer science ; 947
所蔵情報: 図書館
14.

図書

図書
David Pitt, David E. Rydeheard, Peter Johnstone (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995
シリーズ名: Lecture notes in computer science ; 953
所蔵情報: 図書館
15.

図書

図書
Nachum Dershowitz, Naomi Lindenstrauss (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 968
所蔵情報: 図書館
16.

図書

図書
Alan Mycroft (ed.)
出版情報: Berlin ; New York : Springer, c1995
シリーズ名: Lecture notes in computer science ; 983
所蔵情報: 図書館
17.

図書

図書
Donald Sannella, ed
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 788
所蔵情報: 図書館
18.

図書

図書
Baudouin Le Charlier (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 864
所蔵情報: 図書館
19.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery-SIGACT ... [et al.]
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1993
所蔵情報: 図書館
20.

図書

図書
edited by Earl Swartzlander Jr., Mary Jane Irwin, Graham Jullien ; sponsored by IEEE Computer Society, IEEE Technical Committee on VLSI
出版情報: Washington, D.C. ; Tokyo : IEEE Computer Society Press, c1993
所蔵情報: 図書館
21.

図書

図書
Claude Kirchner (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 690
所蔵情報: 図書館
22.

図書

図書
R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 669
所蔵情報: 図書館
23.

図書

図書
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1992
所蔵情報: 図書館
24.

図書

図書
B. Krieg-Brückner (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 582
所蔵情報: 図書館
25.

図書

図書
Ronald V. Book, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 488
所蔵情報: 図書館
26.

図書

図書
sponsored by IEEE Computer Society, Technical Committee on VLSI, in cooperation with Centre National de la Recherche Scientifique (CNRS), Institut d'Informatique et de Mathématiques Appliquées de Grenoble (IMAG) ; edited by Peter Kornerup, David W. Matula
出版情報: Washington, D.C. ; Tokyo : IEEE Computer Society Press, c1991
所蔵情報: 図書館
27.

図書

図書
D.H. Pitt ... [et al.], (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 530
所蔵情報: 図書館
28.

図書

図書
N. Jones (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 432
所蔵情報: 図書館
29.

図書

図書
J.L.A. van de Snepscheut (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 375
所蔵情報: 図書館
30.

図書

図書
D.H. Pitt ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 389
所蔵情報: 図書館
31.

図書

図書
N. Dershowitz (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 355
所蔵情報: 図書館
32.

図書

図書
K.V. Nori, S. Kumar (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 338
所蔵情報: 図書館
33.

図書

図書
H. Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 300
所蔵情報: 図書館
34.

図書

図書
Kesav V. Nori (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 287
所蔵情報: 図書館
35.

図書

図書
sponsored by the IEEE Computer Society, Technical Committee on Computer Architecture in cooperation with The University of Illinois
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1985
所蔵情報: 図書館
36.

図書

図書
directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare ; edited by Manfred Broy
出版情報: Berlin : Springer-Verlag, c1985
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 14
所蔵情報: 図書館
37.

図書

図書
organised by the Institut national de recherche d'informatique et d'automatique (INRIA) ; edited by B. Ford, J.C. Rault, F. Thomasset
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984
所蔵情報: 図書館
38.

図書

図書
edited by M. Paul and B. Robinet
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 167
所蔵情報: 図書館
39.

図書

図書
edited by Edmund Clarke and Dexter Kozen
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 164
所蔵情報: 図書館
40.

図書

図書
sponsored by the IEEE Computer Society, Technical Committee on Computer Architecture in cooperation with Aarhus University
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1983
所蔵情報: 図書館
41.

図書

図書
edited by Eiichi Gotō ... [et al.]
出版情報: Berlin ; New York : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 147
所蔵情報: 図書館
42.

図書

図書
edited by A. Salwicki
出版情報: Berlin : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 148
所蔵情報: 図書館
43.

図書

図書
edited by M. Dezani-Ciancaglini and U. Montanari
出版情報: Berlin : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 137
所蔵情報: 図書館
44.

図書

図書
edited by P.C. Messina and A. Murli
出版情報: Berlin : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 142
所蔵情報: 図書館
45.

図書

図書
edited by Dexter Kozen
出版情報: Berlin : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 131
所蔵情報: 図書館
46.

図書

図書
edited by J. Díaz and I. Ramos
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in computer science ; 107
所蔵情報: 図書館
47.

図書

図書
sponsored by the IEEE Computer Society, Technical Committee on Computer Architecture in cooperation with the University of Michigan
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1981
所蔵情報: 図書館
48.

図書

図書
edited by Jeffrey M. Tobias
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 79
所蔵情報: 図書館
49.

図書

図書
edited by B. Robinet
出版情報: Berlin : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 83
所蔵情報: 図書館
50.

図書

図書
edited by D. Bjørner
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 86
所蔵情報: 図書館
51.

図書

図書
edited by P. Dembiński
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 88
所蔵情報: 図書館
52.

図書

図書
edited by J. Bečvář
出版情報: Berlin ; New York : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 74
所蔵情報: 図書館
53.

図書

図書
edited by J. Winkowski
出版情報: Berlin ; New York : Springer-Verlag, 1978
シリーズ名: Lecture notes in computer science ; 64
所蔵情報: 図書館
54.

図書

図書
sponsored by the IEEE Computer Society in cooperation with the UCLA Computer Science Department
出版情報: Long Beach, CA : IEEE Computer Society, 1978
所蔵情報: 図書館
55.

図書

図書
F.L. Bauer ... [et al.] ; edited by F.L. Bauer and K. Samelson
出版情報: Berlin ; New York : Springer-Verlag, 1976
シリーズ名: Lecture notes in computer science ; 46
所蔵情報: 図書館
56.

図書

図書
edited by K. Samelson
出版情報: Berlin ; New York : Springer-Verlag, 1976
シリーズ名: Lecture notes in computer science ; 44
所蔵情報: 図書館
57.

図書

図書
edited by J.F. Traub
出版情報: New York : Academic Press, c1976
所蔵情報: 図書館
58.

図書

図書
F. L. Bauer ... [et al.] ; edited by F. L. Bauer
出版情報: Berlin ; New York : Springer-Verlag, 1975, c1973
シリーズ名: Lecture notes in computer science ; 30
所蔵情報: 図書館
59.

図書

図書
herausgegeben im Auftrag der GI von W. Händler und P.P. Spies
出版情報: Berlin ; New York : Springer-Verlag, 1974
シリーズ名: Lecture notes in computer science ; 13
所蔵情報: 図書館
60.

図書

図書
edited by E. Gelenbe and C. Kaiser
出版情報: Berlin ; New York : Springer-Verlag, 1974
シリーズ名: Lecture notes in computer science ; 16
所蔵情報: 図書館
61.

図書

図書
edited by B. Robinet
出版情報: Berlin ; New York : Springer-Verlag, 1974
シリーズ名: Lecture notes in computer science ; 19
所蔵情報: 図書館
62.

図書

図書
edited by Randall Rustin
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1972
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: 図書館