上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Discrete Mathematics in Computer Science)
該当件数:165件
Orthomodular Lattices : Algebraic Approach / by Ladislav Beran
Dordrecht : Springer Netherlands , 1985. - (Mathematics and Its Applications (East European Series) ; 18)
電子ブック <1002998684>
Ten Applications of Graph Theory / by Hansjoachim Walther
Dordrecht : Springer Netherlands , 1984. - (Mathematics and Its Applications, East European Series ; 7)
電子ブック <1002998740>
Validated Designs for Object-oriented Systems / by John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef
London : Springer-Verlag London Limited , 2005
電子ブック <1002981555>
Comprehensive Mathematics for Computer Scientists 2 : Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus / by Guerino Mazzola, Gérard Milmeister, Jody Weissmann
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005. - (Universitext)
電子ブック <1002981609>
One-Factorizations / by W. D. Wallis
Boston, MA : Springer US : Imprint: Springer , 1997. - (Mathematics and Its Applications ; 390)
電子ブック <1002993810>
The Discrete Ordered Median Problem : Models and Solution Methods / by Patricia Domínguez-Marín
Boston, MA : Springer US : Imprint: Springer , 2003. - (Combinatorial Optimization ; 15)
電子ブック <1002989587>
Stream Ciphers / by Andreas Klein
London : Springer London : Imprint: Springer , 2013
電子ブック <1003003100>
Design and Analysis of Randomized Algorithms : Introduction to Design Paradigms / by Juraj HromkoviČ
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005. - (Texts in Theoretical Computer Science An EATCS Series)
電子ブック <1002981645>
Combinatorial Geometry and Graph Theory : Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers / edited by Jin Akiyama, Edy Tri Baskoro, Mikio Kano
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3330)
電子ブック <1002981797>
Graph Drawing (vol. # 3383) : 12th International Symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, Revised Selected Papers / edited by János Pach
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3383)
電子ブック <1002981833>
STACS 2005 : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings / edited by Volker Diekert, Bruno Durand
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3404)
電子ブック <1002981869>
Evolutionary Computation in Combinatorial Optimization (vol. # 3448) : 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings / edited by Jens Gottlieb, Günther R. Raidl
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3448)
電子ブック <1002981943>
Structural Information and Communication Complexity (vol. # 3499) : 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings / edited by Andrzej Pelc, Michel Raynal
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3499)
電子ブック <1002982061>
Integer Programming and Combinatorial Optimization : 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings / edited by Michael Jünger, Volker Kaibel
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3509)
電子ブック <1002982109>
Fast Software Encryption (vol. # 3557) : 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers / edited by Henri Gilbert, Helena Handschuh
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3557)
電子ブック <1002982159>
Developments in Language Theory (vol. # 3572) : 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings / edited by Clelia De Felice, Antonio Restivo
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3572)
電子ブック <1002982165>
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques : 8th International Workshop on Approximation Algorithms for Compinatorial Optimization Problems, APPROX 2005 and 9th International Wo
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3624)
電子ブック <1002982309>
Cryptography and Coding : 10th IMA International Conference, Cirencester, UK, December 19-21, 2005, Proceedings / edited by Nigel Smart
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3796)
電子ブック <1002982631>
Designs 2002 : Further Computational and Constructive Design Theory / edited by W. D. Wallis
Boston, MA : Springer US : Imprint: Springer , 2003. - (Mathematics and Its Applications ; 563)
電子ブック <1002992222>
Designs and Finite Geometries / edited by Dieter Jungnickel
Boston, MA : Springer US , 1996
電子ブック <1002992300>