上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Algorithm Analysis and Problem Complexity)
該当件数:195件
Super-Recursive Algorithms / by Mark Burgin
New York, NY : Springer Science+Business Media Inc. , 2005. - (Monographs in Computer Science)
電子ブック <1002981447>
Computer Algebra in Scientific Computing CASC’99 : Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, Munich, May 31 – June 4, 1999 / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov
Berlin, Heidelberg : Springer Berlin Heidelberg , 1999
電子ブック <1002996732>
Evolutionary Multiobjective Optimization : Theoretical Advances and Applications / edited by Ajith Abraham, Lakhmi Jain, Robert Goldberg
London : Springer-Verlag London Limited , 2005. - (Advanced Information and Knowledge Processing)
電子ブック <1002981525>
Multiobjective Evolutionary Algorithms and Applications / by K.C. Tan, E.F. Khor, T.H. Lee
London : Springer Science+Business Media, Inc. , 2005. - (Advanced Information and Knowledge Processing)
電子ブック <1002981543>
Implementation and Application of Automata (vol. # 3317) : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3317)
電子ブック <1002981787>
Evolutionary Multi-Criterion Optimization : Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings / edited by Carlos A. Coello Coello, Arturo Hernández Aguirre, Eckart Zitzler
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3410)
電子ブック <1002981867>
Unconventional Computation (vol. # 3699) : 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings / edited by Cristian S. CaludeMichael J. Dinneen, Gheorghe Paun, Mario de Jesus Pérez-Jiménez et al
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3699)
電子ブック <1002982475>
Computer Algebra in Scientific Computing CASC 2001 : Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001 / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2001
電子ブック <1002996480>
Computer Algebra in Scientific Computing : CASC 2000 / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov
Berlin, Heidelberg : Springer Berlin Heidelberg , 2000
電子ブック <1002996508>
Finite Model Theory / by Heinz-Dieter Ebbinghaus, Jörg Flum
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995. - (Perspectives in Mathematical Logic)
電子ブック <1002997690>
Stable Homotopy Groups of Spheres : A Computer-Assisted Approach / by Stanley O. Kochman
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1990. - (Lecture Notes in Mathematics ; 1423)
電子ブック <1002987630>
Discrete Mathematics Using a Computer / by Cordelia Hall, John O’Donnell
London : Springer London : Imprint: Springer , 2000
電子ブック <1002989813>
Grid Generation and Adaptive Algorithms / edited by Marshall W. Bern, Joseph E. Flaherty, Mitchell Luskin
New York, NY : Springer New York : Imprint: Springer , 1999. - (The IMA Volumes in Mathematics and its Applications ; 113)
電子ブック <1002990771>
Logical Foundations of Mathematics and Computational Complexity : A Gentle Introduction / by Pavel Pudlák
Heidelberg : Springer International Publishing : Imprint: Springer , 2013. - (Springer Monographs in Mathematics)
電子ブック <1003003610>
Artificial Intelligence Applications and Innovations : IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7–9, 2005, Beijing, China / edited by Daoliang Li, Baoji Wang
Boston, MA : International Federation for Information Processing , 2005. - (IFIP — The International Federation for Information Processing ; 187)
電子ブック <1002981425>
Advanced Techniques in Knowledge Discovery and Data Mining / edited by Nikhil R. Pal, Lakhmi Jain
電子ブック <1002981549>
Dissemination of Information in Communication Networks : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by Juraj Hromkovič, Ralf Klasing, Andrzej Pelc, Peter Ružička, Walter Unger
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005. - (Texts in Theoretical Computer Science An EATCS Series)
電子ブック <1002981597>
Complexity Theory and Cryptology : An Introduction to Cryptocomplexity / by Jörg Rothe
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005. - (Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS))
電子ブック <1002981633>
Design and Analysis of Randomized Algorithms : Introduction to Design Paradigms / by Juraj HromkoviČ
電子ブック <1002981645>
Swarm Robotics : SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers / edited by Erol Sahin, William M. Spears
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3342)
電子ブック <1002981779>