東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: QA75.5)
該当件数:100件
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)
図書
Computing and combinatorics : 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002 : proceedings / Oscar H. Ibarra, Louxin Zhang (eds.)
Berlin : Springer , c2002. - Tokyo. - (Lecture notes in computer science ; 2387)
Foundations of information and knowledge systems : third International Symposium, FoIKS 2004 : Wilheminenburg Castle, Austria, February 17-20, 2004 : proceedings / Dietmar Seipel, José María Turull-Torres (eds.)
Berlin : Springer , c2004. - (Lecture notes in computer science ; 2942)
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)
Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings / Jan van Leeuwen ... [et al.] (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1872)
Computational science - ICCS 2001 : International Conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings / Vassil N. Alexandrov ... [et al.] (eds.)
pt. 1,pt. 2. - Berlin : Springer , c2001. - (Lecture notes in computer science ; 2073-2074)
Computing and combinatorics : 7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001 : proceedings / Jie Wang (ed)
Berlin : Springer , c2001. - Tokyo. - (Lecture notes in computer science ; 2108)
Fundamentals of computation theory : 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings / Rūsin̦š Freivalds (ed)
Berlin : Springer , c2001. - Tokyo. - (Lecture notes in computer science ; 2138)
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)
STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings / Afonso Ferreira, Horst Reichel (eds)
Berlin : Springer , c2001. - New York. - (Lecture notes in computer science ; 2010)
Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings / Jieh Hsiang, Atsushi Ohori (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1538)
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)
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 : Springer , c1998. - New York. - (Lecture notes in computer science ; 1373)
Worldwide computing and its applications, WWCA'98 : Second International Conference, Tsukuba, Japan, March 4-5, 1998 : proceedings / Yoshifumi Masunaga, Takuya Katayama, Michihara Tsukamoto (eds.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer ; 1368)
Rough sets and current trends in computing : first international conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings / Lech Polkowski, Andrzej Skowron, eds
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1424 .). - (Lecture notes in computer science ; 424 .)
Latin'98 : theoretical informatics : Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998 : proceedings / Cláudio L. Lucchesi, Arnaldo V. Moura (eds.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1380)
Advances in computing science-ASIAN ʾ97 : third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997 : proceedings / R.K. Shyamasundar, K. Ueda (eds.)
Berlin : Springer , c1997. - Tokyo. - (Lecture notes in computer science ; 1345)
Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / Sergei Adian, Anil Nerode, (eds.)
Berlin : Springer-Verlag , c1997. - New York. - (Lecture notes in computer science ; 1234)
Next generation information technologies and systems : 4th International Workshop, NGITS'99, Zikhron-Yaakov, Israel, July 5-7, 1999 : proceedings / Ron Y. Pinter, Shalom Tsur (eds.)
Berlin : Springer , c1999. - New York. - (Lecture notes in computer science ; 1649)
Computing and combinatorics : 5th Annual International Conference, COCOON '99, Tokyo, Japan, July 26-28, 1999 : proceedings / Takao Asano ... [et al.] (eds.)
Berlin : Springer , c1999. - New York. - (Lecture notes in computer science ; 1627)
STACS 99 : 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings / Christoph Meinel, Sophie Tison (eds.)
Berlin : Springer , c1999. - Tokyo. - (Lecture notes in computer science ; 1563)
Foundations of information and knowledge systems : first International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 : proceedings / Klaus-Dieter Schewe, Bernhard Thalheim (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1762)
Abstraction, reformulation, and approximation : 4th International Symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000 : proceedings / Berthe Y. Choueiry, Toby Walsh (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1864 . Lecture notes in artificial intelligence)
Computing and combinatorics : 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 : proceedings / Ding-Zhu Du ... [et al.] (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1858)
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)
Advances in computing science - ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings / P.S. Thiagarajan, R. Yap (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1742)
LATIN 2000 : theoretical informatics : 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000 : proceedings / Gastón H. Gonnet, Daniel Panario, Alfredo Viola (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1776)
Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1181)
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)
Advances in computing and control : proceedings of an international conference, Baton Rouge, Louisiana, October 19-21, 1988 / W. A. Porter, S. C. Kak, J. L. Aravena (eds.)
Berlin : Springer-Verlag , c1989. - Tokyo. - (Lecture notes in control and information sciences ; 130)
Approximation, randomization, and combinatorial optimization : algorithms and techniques : 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 a / Michel Goemans ... [et al.]
Berlin : Springer , c2001. - Tokyo. - (Lecture notes in computer science ; 2129)
Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings / Jifeng He, Masahiko Sato (eds.)
Berlin : Springer , c2000. - New York. - (Lecture notes in computer science ; 1961)
Computing and combinatorics : first Annual International Conference, COCOON '95, Xi'an China, August 24-26, 1995 : proceedings / Ding-Zhu Du, Ming Li (eds.)
Berlin : Springer-Verlag , c1995. - New York. - (Lecture notes in computer science ; 959)
LATIN '95 : theoretical informatics : second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995 : proceedings / Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete, (eds.)
Berlin : Springer , c1995. - (Lecture notes in computer science ; 911)
Graph-theoretic concepts in computer science : 20th International Workshop, WG '94, Herrsching, Germany, June 16-18, 1994 : proceedings / Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer (eds.)
Berlin : Springer , c1995. - (Lecture notes in computer science ; 903)
Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud, (eds.)
Berlin : Springer Verlag , c1995. - New York. - (Lecture notes in computer science ; 909)
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 : Springer-Verlag , c1995. - New York. - (Lecture notes in computer science ; 900)
STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings / A. Finkel, M. Jantzen (eds.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 577)
LATIN '92 : 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992 : proceedings / I. Simon (ed.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 583)
Theory of computing and systems : ISTCS '92, Israel Symposium Haifa, Israel, May 27-28, 1992 : proceedings / D. Dolev, Z. Galil, M. Rodeh (eds.)
New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 601)
New results and new trends in computer science : Graz, Austria, June 20-21, 1991 : proceedings / H. Maurer (ed.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 555)
Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 619 . Lecture notes in artificial intelligence)
Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode, M. Taitslin (eds.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 620)
Graph-theoretic concepts in computer science : 17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991 : proceedings / G. Schmidt, R. Berghammer (eds.)
Berlin : Springer-Verlag , c1992. - Tokyo. - (Lecture notes in computer science ; 570)
Advances in computing and information--ICCI '90 : International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990 : proceedings / S.G. Akl, F. Fiala, W.W. Koczkodaj (eds.)
Berlin : Springer-Verlag , c1990. - New York. - (Lecture notes in computer science ; 468)
STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, proceedings / C. Choffrut, M. Jantzen, (eds.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 480)
Graph-theoretic concepts in computer science : 21th International Workshop, WG '95, Aachen, Germany, June 20-22, 1995 : proceedings / Manfred Nagl
Berlin : Springer , c1995. - (Lecture notes in computer science ; 1017)
Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jürgen Schneider, Hartmut Ehrig, (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 776)
Graph-theoretic concepts in computer science : 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings / Jan van Leeuwen (ed.)
Berlin : Springer-Verlag , c1994. - Tokyo. - (Lecture notes in computer science ; 790)
Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode, Yu. V. Matiyasevich (eds.)
Berlin : Springer-Verlag , c1994. - Tokyo. - (Lecture notes in computer science ; 813)