富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA75.5)
該当件数:12件
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)
図書
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)
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)
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)
Proceedings of the Workshop on Scientific Computing : Hong Kong 10-12 March, 1997 / editor-in-chief, Gene Howard Golub : managing editor, Shiu Hong Liu ; editors, Franklin T. Luk, Robert James Plemmons
Singapore : Springer , c1997
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)
Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode, Yu. V. Matiyasevich (eds.)
: us,: gw. - Berlin : Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 813)
Fundamentals of computation theory : 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993 : proceedings / Zoltán Ésik, (ed.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 710)
STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993 : proceedings / P. Enjalbert, A. Finkel, K.W. Wagner (eds.)
: Berlin,: New York. - Berlin : New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 665)
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,: Berlin. - New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 601)
Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.)
: Berlin,: New York. - Berlin : New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 619 . Lecture notes in artificial intelligence)
Applied probability-computer science : the interface / sponsored by Applied Probability Technical Section-College of the Operations Research Society of America, the Institute of Management Sciences, January 5-7, 1981, Florida Atlantic University, Boca Raton, Florida ; Ralph L. Disney, Teunis J. Ott, editors
v. 1,v. 2. - Boston : Birkhäuser , 1982-. - (Progress in computer science ; no. 2-3)