close
1.

図書
図書
1. New directions in rough sets, data mining, and granular-soft computing, 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 : proceedings
Ning Zhong, Andrzej Skowron, Setsuo Ohsuga (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1711 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Discovery science : second International Conference, DS '99, Tokyo, Japan, December 6-8, 1999 : proceedings
Setsuo Arikawa, Koichi Furukawa (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1721 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Foundations of software technology and theoretical computer science : 19th Conference, Chennai, India, December 13-15, 1999 : proceedings
C. Pandu Rangan, V. Raman, R. Ramanujam (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1738
所蔵情報: loading…
4.

図書
図書
4. STACS 99 : 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings
Christoph Meinel, Sophie Tison (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1563
所蔵情報: loading…
5.

図書
図書
5. Graph-theoretic concepts in computer science : 24th International Workshop, WG '98, Smolenice Castle, Slovak Republic, June 18-20, 1998 : proceedings
Juraj Hromkovic̆, Ondrej Sýkora (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1517
所蔵情報: loading…
6.

図書
図書
6. Discovery science : first International Conference, DS '98, Fukuoka, Japan, December 14-16, 1998 : proceedings
Setsuo Arikawa, Hiroshi Motoda (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1532 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書
図書
7. Latin'98, theoretical informatics : Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998 : proceedings
Cláudio L. Lucchesi, Arnaldo V. Moura (eds.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1380
所蔵情報: loading…
8.

図書
図書
8. Unconventional models of computation
C.S. Calude, J. Casti, M.J. Dineen (editors)
出版情報: Singapore ; Tokyo : Springer, c1998
シリーズ名: Springer series in discrete mathematics and theoretical computer science
所蔵情報: loading…
9.

図書
図書
9. Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Mogens Nielsen, Wolfgang Thomas (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1414
所蔵情報: loading…
10.

図書
図書
10. Computing and combinatorics : 4th Annual International Conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings
Wen-Lian Hsu, Ming-Yang Kao, (eds.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1449
所蔵情報: loading…
11.

図書
図書
11. STACS 98 : 15th annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : proceedings
Michel Morvan, Christoph Meinel, Daniel Krob (eds.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1373
所蔵情報: loading…
12.

図書
図書
12. Graph-theoretic concepts in computer science : 23rd International Workshop, WG '97, Berlin, Germany, June 18-20, 1997 : proceedings
Rolf H. Möhring (ed.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1335
所蔵情報: loading…
13.

図書
図書
13. Graph-theoretic concepts in computer science : 22nd International Workshop, WG '96, Cadenabbia, Italy, June 12-14, 1996 : proceedings
Fabrizio d'Amore, Paolo G. Franciosa, Alberto Marchetti-Spaccamela (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1197
所蔵情報: loading…
14.

図書
図書
14. STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings
Rüdiger Reischuk, Michel Morvan (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1200
所蔵情報: loading…
15.

図書
図書
15. Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Dirk van Dalen, Marc Bezem (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1258
所蔵情報: loading…
16.

図書
図書
16. STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings
Claude Puech, Rüdiger Reischuk (eds.)
出版情報: Berlin ; New York : Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1046
所蔵情報: loading…
17.

図書
図書
17. Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Hans Kleine Büning, (ed.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1092
所蔵情報: loading…
18.

図書
図書
18. Computing and combinatorics : Second Annual International Conference, COCOON '96, Hong Kong, June 17-19, 1996 : proceedings
Jin-Yi Cai, Chak Kuen Wong, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1090
所蔵情報: loading…
19.

図書
図書
19. Combinatorics and computer science : 8th Franco-Japanese and 4th Franco-Chinese conference, Brest, France, July 3-5, 1995 : selected papers
Michel Deza, Reinhardt Euler, Ioannis Manoussakis (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1120
所蔵情報: loading…
20.

図書
図書
20. Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop
editors, C. Hankin, I. Mackie, R. Nagarajan
出版情報: London : Imperial College Press , Singapore ; River Edge, NJ : Distributed by World Scientific, c1995
所蔵情報: loading…
21.

図書
図書
21. Deontic logic, agency, and normative systems : [Delta]EON '96, Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996 (pbk. : alk. paper)
Mark A. Brown and José Carmo, eds
出版情報: Berlin ; New York : Springer, 1995
シリーズ名: Workshops in computing
所蔵情報: loading…
22.

図書
図書
22. Computer science logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers (: gw ; : us)
Leszek Pacholski, Jerzy Tiuryn (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 933
所蔵情報: loading…
23.

図書
図書
23. Computing and combinatorics : First Annual International Conference, COCOON '95, Xi'an, China, August 24-26, 1995 : proceedings
Ding-Zhu Du, Ming Li (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 959
所蔵情報: loading…
24.

図書
図書
24. STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings
Ernst W. Mayr, Claude Puech (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, 1995
シリーズ名: Lecture notes in computer science ; 900
所蔵情報: loading…
25.

図書
図書
25. Graph-theoretic concepts in computer science : 20th International Workshop, WG '94, Herrsching, Germany, June 16-18, 1994 : proceedings (: gw)
Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer (eds.)
出版情報: Berlin : Springer, c1995
シリーズ名: Lecture notes in computer science ; 903
所蔵情報: loading…
26.

図書
図書
26. Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course (: Berlin ; : New York)
Hubert Comon, Jean-Pierre Jouannaud, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer Verlag, c1995
シリーズ名: Lecture notes in computer science ; 909
所蔵情報: loading…
27.

図書
図書
27. STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994 : proceedings (: gw ; : us)
P. Enjalbert, E.W. Mayr, K.W. Wagner, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 775
所蔵情報: loading…
28.

図書
図書
28. Graph-theoretic concepts in computer science : 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings (: gw ; : us)
Jan van Leeuwen (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 790
所蔵情報: loading…
29.

図書
図書
29. Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers (: gw ; : us)
Egon Börger, Yuri Gurevich, Karl Meinke (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 832
所蔵情報: loading…
30.

図書
図書
30. Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings (: us ; : gw)
Hans Jürgen Schneider, Hartmut Ehrig, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 776
所蔵情報: loading…
31.

図書
図書
31. Deontic logic in computer science : normative system specification
edited by John-Jules Ch. Meyer and Roel J. Wieringa
出版情報: Chichester ; New York : J. Wiley, c1993
シリーズ名: Wiley professional computing
所蔵情報: loading…
32.

図書
図書
32. Foundations of software technology and theoretical computer science : 13th Conference, Bombay, India, December 15-17, 1993 : proceedings (: gw ; : us)
R.K. Shyamasundar (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 761
所蔵情報: loading…
33.

図書
図書
33. Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers (: gw ; : us)
E. Börger ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 702
所蔵情報: loading…
34.

図書
図書
34. Graph-theoretic concepts in computer science : 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992 : proceedings (: gw ; : us)
E.W. Mayr, ed
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 657
所蔵情報: loading…
35.

図書
図書
35. STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993 : proceedings (: gw ; : us)
P. Enjalbert, A. Finkel, K.W. Wagner (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 665
所蔵情報: loading…
36.

図書
図書
36. Logic from computer science : proceedings of a workshop held November 13-17, 1989 (: us ; : gw)
Y.N. Moschovakis, editor
出版情報: New York ; Berlin : Springer-Verlag, c1992
シリーズ名: Mathematical Sciences Research Institute publications ; 21
所蔵情報: loading…
37.

図書
図書
37. Graph-theoretic concepts in computer science : 17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991 : proceedings (: gw ; : us)
G. Schmidt, R. Berghammer (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 570
所蔵情報: loading…
38.

図書
図書
38. STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings (: gw ; : us)
A. Finkel, M. Jantzen (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 577
所蔵情報: loading…
39.

図書
図書
39. LATIN '92 : 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992 : proceedings (: gw ; : us)
I. Simon (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 583
所蔵情報: loading…
40.

図書
図書
40. Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992 : proceedings (: gw ; : us)
A. Bensoussan, J.-P. Verjus (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 653
所蔵情報: loading…
41.

図書
図書
41. Foundations of software technology and theoretical computer science : 12th Conference, New Delhi, India, December 18-20, 1992 : proceedings (: gw ; : us)
R. Shyamasundar (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 652
所蔵情報: loading…
42.

図書
図書
42. Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings (: gw ; : us)
E. Börger ... [et al.], eds
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 626
所蔵情報: loading…
43.

図書
図書
43. Graph-theoretic concepts in computer science : 16th International Workshop WG '90, Berlin, Germany, June 20-22, 1990 : proceedings (: gw ; : us)
R.H. Möhring, ed
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 484
所蔵情報: loading…
44.

図書
図書
44. Distributed memory computing : 2nd European conference, EDMCC2, Munich, FRG, April 22-24, 1991 : proceedings (: gw ; : us)
Arndt Bode, (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 487
所蔵情報: loading…
45.

図書
図書
45. Advances in computing and information, ICCI '91 : International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991 : proceedings (: gw ; : us)
F. Dehne, F. Fiala, W.W. Koczkodaj, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 497
所蔵情報: loading…
46.

図書
図書
46. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings (: gw ; : us)
E. Börger ... [et al.], eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 533
所蔵情報: loading…
47.

図書
図書
47. STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, proceedings (: gw ; : us)
C. Choffrut, M. Jantzen, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 480
所蔵情報: loading…
48.

図書
図書
48. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989 : proceedings (: gw ; : us)
A. Fuhrmann, M. Morreau, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 465 . Lecture notes in artificial intelligence
所蔵情報: loading…
49.

図書
図書
49. New results and new trends in computer science : Graz, Austria, June 20-21, 1991 : proceedings (: gw ; : us)
H. Maurer (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 555
所蔵情報: loading…
50.

図書
図書
50. Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings (: gw ; : us)
S. Biswas, K.V. Nori, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 560
所蔵情報: loading…