東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: Computer science Congresses)
該当件数:490件
STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, proceedings / C. Choffrut, T. Lengauer (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 415)
図書
STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994 : proceedings / P. Enjalbert, E.W. Mayr, K.W. Wagner, (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 775)
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)
Computational science and its applications - ICCSA 2003 : International Conference, Montreal, Canada, May 18-21, 2003 : proceedings / Vipin Kumar ... [et al.] (eds.)
pt. 1,pt. 2,pt. 3. - Berlin ; Tokyo : Springer , c2003. - (Lecture notes in computer science ; 2667-2669)
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)
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)
Mathematical foundations of computer science 1989 : MFCS '89 : Porąbka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings / A. Kreczmar, G. Mirkowska (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 379)
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)
Computational Science - ICCS 2002 : International Conference, Amsterdam, The Netherlands, April 21-24, 2002 : proceedings / Peter M.A. Sloot ... [et al.] (eds.)
pt. 1,pt. 2,pt. 3. - Berlin : Springer , c2002. - (Lecture notes in computer science ; 2329-2331)
Computational science - ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003 : proceedings / Peter M.A. Sloot ... [et al.] (eds.)
pt. 1 - pt. 4. - Berlin ; Tokyo : Springer , c2003. - (Lecture notes in computer science ; 2657-2660)
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)
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)
External memory algorithms : DIMACS Workshop External Memory Algorithms and Visualization, May 20-22, 1998 / James M. Abello, Jeffrey Scott Vitter, editors
Providence, RI : American Mathematical Society , 1999. - (DIMACS series in discrete mathematics and theoretical computer science ; v. 50)
Selected areas in cryptography : 6th Annual International Workshop, SAC '99, Kingston, Ontario, Canada, August 9-10, 1999 : proceedings / Howard Heys, Carlisle Adams (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1758)
Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 308)
Parallel computing 1988 : Shell Conference, Amsterdam, the Netherlands, June 1/2, 1988 : proceedings / G.A. van Zee, J.G.G. van de Vorst (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 384)
New trends in constraints : joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers / Krzysztof R. Apt ... [et al.]
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1865 . Lecture notes in artificial intelligence)
Principles and practice of constraint programming - CP 2000 : 6th International Conference, CP2000, Singapore, September 18-21, 2000 : proceedings / Rina Dechter (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1894)
Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers / Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1766)
Neural network applications : proceedings of the Second British Neural Network Society Meeting (NCM 91), London, October 1991 / J.G. Taylor, (ed.)
: gw,: us. - London ; Tokyo : Springer-Verlag , c1992. - (Perspectives in neural computing)
Theory and applications of neural networks : proceedings of the First British Neural Network Society Meeting, London / J.G. Taylor and C.L.T. Mannion (eds.)
: Berlin,: New York. - London ; Tokyo : Springer-Verlag , c1992. - (Perspectives in neural computing)
Evolutionary computing : AISB Workshop, Brighton, U.K., April 1-2, 1996 : selected papers / Terence C. Fogarty (ed.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1143)
Categorical methods in computer science : with aspects from topology / H. Ehrig ... [et al.], (eds.)
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 393)
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)
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Börger, Yuri Gurevich, Karl Meinke (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 832)
Algorithms and data structures : Workshop WADS '89, Ottawa, Canada, August 17-19, 1989 : proceedings / F. Dehne, J.-R. Sack, N. Santoro (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 382)
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)
Advances in multimodal interfaces - ICMI 2000 : third International Conference, Beijing, China, October 14-16, 2000 : proceedings / Tieniu Tan, Yuanchun Shi, Wen Gao (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1948)
Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A. Tarlecki (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 332)
Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers / Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)
Berlin ; Tokyo : Springer , c1996. - (Lecture notes in computer science ; 1130)
Natural language processing - NLP 2000 : second International Conference, Patras, Greece, June 2-4, 2000 : proceedings / Dimitris N. Christodoulakis (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1835 . Lecture notes in artificial intelligence)
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)
Biologically motivated computer vision : first IEEE International Workshop, BMCV 2000, Seoul, Korea, May 15-17, 2000 : proceedings / Seong-Whan Lee, Heinrich H. Bülthoff, Tomaso Poggio (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1811)
Development and evolution of software architectures for product families : Second international ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998 : proceedings / Frank van der Linden (ed.)
: gw. - Berlin : Springer-Verlag , c1998. - (Lecture notes in computer science ; 1429)
Neural networks and spin glasses : proceedings of the STATPHYS 17 Workshop on Neural Networks and Spin Glasess, held at the Institute of Physics, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil, 8-11 August 1989 / editors, Walter K. Theumann, Roland Köberle
Singapore : World Scientific , c1990
Artificial evolution : 4th European Conference, AE '99, Dunkerque, France, November 3-5, 1999 : selected papers / Cyril Fonlupt ... [et al.] (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1829)
ECOOP '88 : European Conference on Object-Oriented Programming : Oslo, Norway, August 15-17, 1988 : proceedings / S. Gjessing, K. Nygaard (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 322)
ECOOP 2000 - object-oriented programming : 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings / Elisa Bertino (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1850)
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings / P. Martin-Löf, G. Mints (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 417)
Artificial intelligence and statistics / edited by William A. Gale
Reading, Mass. ; Tokyo : Addison-Wesley Pub. Co. , c1986
Uncertainty and intelligent systems : 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '88, Urbino, Italy, July 4-7, 1988 : proceedings / B. Bouchon, L. Saitta, R.R. Yager (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 313)
Uncertainty in knowledge-based systems : International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, June 30-July 4, 1986 : selected and extended contributions / B. Bouchon, R.R. Yager, (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 286)
Text, speech and dialogue : third International Workshop, TSD 2000, Brno, Czech Republic, September 13-16, 2000 : proceedings / Petr Sojka, Ivan Kopeček, Karel Pala (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1902 . Lecture notes in artificial intelligence)
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)
Foundations of data organization and algorithms : 3rd international conference, FODO 1989, Paris, France, June 21-23, 1989 : proceedings / W. Litwin, H.-J. Schek, (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 367)
Advances in case-based reasoning : 5th European Workshop, EWCBR 2000 Trento, Italy, September 6-9, 2000 : proceedings / Enrico Blanzieri, Luigi Portinale (eds.)
Berlin : Springer-Verlag , c2000. - (Lecture notes in computer science ; 1898. Lecture notes in artificial intelligence)
Graph-theoretic concepts in computer science : 15th International Workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989, proceedings / M. Nagl (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 411)
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)
Multiple classifier systems : first International Workshop, MCS 2000, Cagliari, Italy, June 21-23, 2000 : proceedings / Josef Kittler, Fabio Roli (eds.)
Berlin ; Tokyo : Springer , c2000. - (Lecture notes in computer science ; 1857)