1.

図書
図書
1. STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004 : proceedings
Volker Diekert, Michel Habib (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 2996
所蔵情報: loading…
2.

図書
図書
2. Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1764
所蔵情報: loading…
3.

図書
図書
3. Frontiers of combining systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : Proceedings
Hélène Kirchner, Christophe Ringeissen (eds.)
出版情報: Berlin ; Heidelberg : Springer-Verlag, c2000
シリーズ名: Lecture notes in computer science ; 1794 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1755
所蔵情報: loading…
5.

図書
図書
5. STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings
Horst Reichel, Sophie Tison (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1770
所蔵情報: loading…
6.

図書
図書
6. Applications of graph transformations with industrial relevance : International Workshop, AGTIVE '99, Kerkrade, the Netherlands, September 1-3, 1999 : proceedings
Manfred Nagl, Andreas Schürr, Manfred Münch (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1779
所蔵情報: loading…
7.

図書
図書
7. Graph-theoretic concepts in computer science : 26th International Workshop, WG 2000, Konstanz, Germany, June 15-17, 2000 : proceedings
Ulrik Brandes, Dorothea Wagner (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1928
所蔵情報: loading…
8.

図書
図書
8. Discovery science : third International Conference, DS 2000, Kyoto, Japan, December 4-6, 2000 : proceedings
Setsuo Arikawa, Shinichi Morishita (eds.)
出版情報: Berlin ; New York : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1967 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書
図書
9. Graph-theoretic concepts in computer science : 29th International Workshop, WG 2003, Elspeet, the Netherlands, June 19-21, 2003 : revised papers
Hans L. Bodlaender (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2880
所蔵情報: loading…
10.

図書
図書
10. STACS 2003 : 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003 : proceedings
Helmut Alt, Michel Habib (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2607
所蔵情報: loading…
11.

図書
図書
11. Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings
Sven Koenig, Robert C. Holte (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2371 . Lecture notes in artificial intelligence
所蔵情報: loading…
12.

図書
図書
12. STACS 2002 : 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002 : proceedings
Helmut Alt, Afonso Ferreira (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2285
所蔵情報: loading…
13.

図書
図書
13. Progress in Discovery Science : final report of the Japanese dicsovery science project
Setsuo Arikawa, Ayumi Shinohara (eds.)
出版情報: Berlin ; New York : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2281 . Lecture notes in artificial intelligence
所蔵情報: loading…
14.

図書
図書
14. Information security and cryptology : ICISC 2001 : 4th International Conference, Seoul, Korea, December 6-7, 2001 : proceedings
Kwangjo Kim (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2288
所蔵情報: loading…
15.

図書
図書
15. Frontiers of Combining Systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
Alessandro Armando (ed.)
出版情報: Berlin : Springer-Verlag, c2002
シリーズ名: Lecture notes in computer science ; 2309 . Lecture notes in artificial intelligence
所蔵情報: loading…
16.

図書
図書
16. Discovery science : 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001 : proceedings
Klaus P. Jantke, Ayumi Shinohara (eds.)
出版情報: Berlin ; New York : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2226 . Lecture notes in artificial intelligence
所蔵情報: loading…
17.

図書
図書
17. FST TCS 2001 : Foundations of Software Technology and Theoretical Computer Science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
Ramesh Hariharan, Madhavan Mukund, V. Vinay (eds.)
出版情報: Berlin ; New York : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2245
所蔵情報: loading…
18.

図書
図書
18. Computing and combinatorics : 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002 : proceedings
Oscar H. Ibarra, Louxin Zhang (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2387
所蔵情報: loading…
19.

図書
図書
19. STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings
Afonso Ferreira, Horst Reichel (eds.)
出版情報: Berlin ; New York : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2010
所蔵情報: loading…
20.

図書
図書
20. Computing and combinatorics : 7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001 : proceedings
Jie Wang (ed.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2108
所蔵情報: loading…
21.

図書
図書
21. FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings
Sanjiv Kapoor, Sanjiva Prasad (eds.)
出版情報: Berlin ; New York : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1974
所蔵情報: loading…
22.

図書
図書
22. Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings
Jifeng He, Masahiko Sato (eds.)
出版情報: Berlin ; New York : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1961
所蔵情報: loading…
23.

図書
図書
23. Unconventional models of computation : Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002 : proceedings
Cristian S. Calude, Michael J. Dinneen, Ferdinand Peper (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2509
所蔵情報: loading…
24.

図書
図書
24. Graph-theoretic concepts in computer science : 28th International Workshop, WG 2002, C̆eský Krumlov, Czech Republic, June 13-15, 2002 : revised papers
Ludĕk Kuc̆era (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2573
所蔵情報: loading…
25.

図書
図書
25. FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 : proceedings
Manindra Agrawal, Anil Seth (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2556
所蔵情報: loading…
26.

図書
図書
26. Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings
Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2202
所蔵情報: loading…
27.

図書
図書
27. Probabilistic group theory, combinatorics, and computing : lectures from the Fifth de Brún Workshop
Alla Detinko, Dane Flannery, Eamonn O'Brien, editors
出版情報: London : Springer, c2013
シリーズ名: Lecture notes in mathematics ; 2070
所蔵情報: loading…
28.

図書
図書
28. STACS 2006 : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006 : proceedings
Bruno Durand, Wolfgang Thomas (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 3884
所蔵情報: loading…
29.

図書
図書
29. STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings
Wolfgang Thomas, Pascal Weil (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4393
所蔵情報: loading…
30.

図書
図書
30. Computing and combinatorics : 16th annual international conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 : proceedings
My T. Thai, Sartaj Sahni (eds.)
出版情報: Berlin : Springer, c2010
シリーズ名: Lecture notes in computer science ; 6196
所蔵情報: loading…