同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: Computer science Mathematics)
該当件数:538件
SIAM journal on discrete mathematics : a publication of the Society for Industrial and Applied Mathematics
Vol. 1, no. 1 (Feb. 1988)-. - [Philadelphia, Pa.] : Society for Industrial and Applied Mathematics , c1988-
雑誌 <SB00948781>
Discrete mathematics and applications
Vol. 1, no. 1 (1991)-. - Utrecht, the Netherlands ; Tokyo, Japan : VSP , c1991-
雑誌 <SB00949915>
A beginner's guide to discrete mathematics / W.D. Wallis
alk. paper,alk. paper. - Boston : Birkhäuser , c2003
電子書籍 <OB01023557>
Discrete mathematics : elementary and beyond / L. Lovász, J. Pelikán, K. Vesztergombi
acid-free paper,pbk. : acid-free paper. - New York : Springer , c2003. - (Undergraduate texts in mathematics)
電子書籍 <OB01024284>
A first course in discrete mathematics / Ian Anderson
alk. paper. - London ; New York : Springer , c2001. - (Springer undergraduate mathematics series)
電子書籍 <OB01024660>
: hard,: pbk. - New York : Springer , c2003. - (Undergraduate texts in mathematics)
図書 <BB10059729>
Discrete mathematics / John A. Dossey ... [et al.]
: Pearson international ed. - 5th ed. - Boston ; Tokyo : Pearson/Addison Wesley , c2006
図書 <BB10175779>
Handbook for Automatic Computation : Volume II: Linear Algebra / by John H. Wilkinson, C. Reinsch ; edited by Alston S. Householder
print - print. - 1st ed. 1971.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1971
電子書籍 <OB01019287>
Realtime data mining : self-learning techniques for recommendation engines / by Alexander Paprotny, Michael Thess
e-book. - Cham : Birkhäuser , [2013]. - (Applied and numerical harmonic analysis ISSN:2296-5009)
電子書籍 <OB01027473>
Discrete mathematics / Kenneth A. Ross, Charles R.B. Wright
3rd ed. - Englewood Cliffs, N.J. : Prentice Hall , c1992
図書 <BB00183680>
Discrete mathematics for computer scientists / J.K. Truss
Wokingham, England ; Reading, Mass. : Addison-Wesley , c1991. - (International computer science series)
図書 <BB00173330>
Mathematics and computer science : algorithms, trees, combinatorics, and probabilities / Daniele Gardy, Abdelkader Mokkadem, editors
alk. paper - alk. paper. - Boston : Springer , c2000. - (Trends in mathematics)
電子書籍 <OB01026198>
Traces and emergence of nonlinear programming / edited by Giorgio Giorgi, Tinne Hoff Kjeldsen
e-book. - Basel : Birkhäuser , [2014]
電子書籍 <OB01028503>
Discrete mathematics / Jean Gallier
: pbk. - New York : Springer , c2011. - (Universitext)
図書 <BB12257392>
Fundamentals of discrete math for computer science : a problem-solving primer / Tom Jenkyns, Ben Stephenson
: pbk. - London : Springer , c2013. - (Undergraduate topics in computer science)
図書 <BB12454943>
Bulletin of computational applied mathematics
[Caracas, Venezuela] : [Universidad Simón Bolívar]
電子ジャーナル <OJ00193032>
Ten Applications of Graph Theory / by Hansjoachim Walther
print - print. - 1st ed. 1984.. - Dordrecht : Springer Netherlands : Imprint: Springer , 1984
電子書籍 <OB01019735>
Artificial boundary method / by Houde Han, Xiaonan Wu
ebook. - Heidelberg ; New York : Springer , c2013
電子書籍 <OB01023445>
Discrete mathematics & theoretical computer science : DMTCS
Vol. 1, no. 1 (1997)-. - Nancy, France : Maison de l'informatique et des mathématiques discrètes , ©1997-
電子ジャーナル <OJ00016300>
Theory and applications of mathematics & computer science
Arad, Romania : "Aurel Vlaicu" University of Arad
電子ジャーナル <OJ00058708>
Analele Universității de Vest, Timișoara. Seria matematica-informatică
Timișoara : Universitatea de Vest din Timișoara, Faculty of Mathematics and Computer Science. - Warsaw, Poland : De Gruyter Open
電子ジャーナル <OJ00200008>
Romanian journal of mathematics and computer science
Bucharest, Romania : Technical University of Civil Engineering
電子ジャーナル <OJ00052773>
AL-Rafidain journal of computer sciences and mathematics
Mosul City : Mosul University , 2004-
電子ジャーナル <OJ00222468>
Journal of applied computer science & mathematics
Suceava, Romania : University of Suceava, Dept. of Mathematics , 2009-
電子ジャーナル <OJ00031325>
Naukovyĭ visnyk Uz͡h︡horodsʹkoho Universytetu. Serii͡a︡ matematyka i informatyka
Uz͡h︡horod : Derz͡h︡avnyĭ vyshchyĭ navchalʹnyĭ zaklad "Uz͡h︡horodskyĭ nat͡s︡ionalʹnyĭ universytet"
電子ジャーナル <OJ00223350>
Zhurnal Belorusskogo gosudarstvennogo universiteta. Matematika, informatika
Minsk : Belorusskiĭ gosudarstvennyĭ universitet , [2017]-
電子ジャーナル <OJ00226625>
Mathematical foundations of computer science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings / I.M. Havel, V. Koubek, eds
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 629)
図書 <BB00206796>
Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991 : proceedings / J.P. Myers, Jr., M.J. O'Donnell, eds
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 613)
図書 <BB00198019>
STOC'10 : proceedings of the 2010 ACM International Symposium on Theory of Computing : June 5-8, 2010, Cambridge, MA, USA / sponsored by ACM SIGACT
print. - New York : ACM , 2010
電子書籍 <OB00751687>
ISSAC 96 : International Symposium on Symbolic and Algebraic Computation
Trade Cloth. - New York : Association for Computing Machinery
電子書籍 <OB00745967>
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms
Trade Cloth. - Philadelphia : Society for Industrial and Applied Mathematics , Jan. 2004
電子書籍 <OB00749987>
Singular phenomena and scaling in mathematical models / Michael Griebel, editor
e-book. - Cham ; New York : Springer , [2014]
電子書籍 <OB01027834>
Discrete and combinatorial mathematics : an applied introduction / Ralph P. Grimaldi
: pbk. - 3rd ed.. - Reading, Mass. : Addison-Wesley , c1994
図書 <BB00255560>
Topology and category theory in computer science / edited by G.M. Reed, A.W. Roscoe, and R.F. Wachter
Oxford : Clarendon Press. - New York : Oxford University Press , c1991
図書 <BB00158875>
Apartness and uniformity : a constructive development / Douglas S. Bridges, Luminiţa Simona Vîţă
Heidelberg : Springer , c2011. - (Theory and applications of computability)
図書 <BB12280211>
Méthodes numériques : algorithmes, analyse et applications / Alfio Quarteroni, Riccardo Sacco, Fausto Saleri
Milano : Springer-Verlag Italia, Milano , c2007
電子書籍 <OB01026330>
Mathematical structures for computer science : a modern approach to discrete mathematics / Judith L. Gersting
6th ed. - New York : W.H. Freeman , c2007
図書 <BB10193468>
Advanced computing / Michael Bader, Hans-Joachim Bungartz, Tobias Weinzierl, editors
e-book. - Berlin : Springer , [2013]. - (Lecture notes in computational science and engineering ; 93)
電子書籍 <OB01023035>
Advances in applied mathematics, modeling, and computational science / Roderick Melnik, Ilias S. Kotsireas, editors
alk. paper,alk. paper,ebk.. - [Toronto, Ont.] : Fields Institute for Research in the Mathematical Sciences. - New York : Springer , [2013]
電子書籍 <OB01023055>
Surrogate-based modeling and optimization : applications in engineering / Slawomir Koziel, Leifur Leifsson editors
New York : Springer , c2013
図書 <BB12935646>
Finite difference computing with exponential decay models / Hans Petter Langtangen
Cham : Springer Open , c2016. - (Lecture notes in computational science and engineering ; 110)
図書 <BB12978341>
Surrogate-based modeling and optimization : applications in engineering / [edited by] Slawomir Koziel, Leifur Leifsson
hardcover : alk. paper. - 1st edition.. - New York : Springer , [2013]
電子書籍 <OB01028227>
A course in discrete mathematical structures / L.R. Vermani, Shalini Vermani
: pbk. - London : Imperial College Press , c2012
図書 <BB12419128>
Learning discrete mathematics with ISETL / Nancy Baxter, Ed Dubinsky, Gary Levin
alk. paper. - New York : Springer-Verlag , c1989
電子書籍 <OB00847931>
Introduction to discrete mathematics with ISETL / William E. Fenton, Ed Dubinsky
acid-free. - New York : Springer , c1996
電子書籍 <OB00868097>
Ricci flow for shape analysis and surface registration : theories, algorithms and applications / by Wei Zeng, Xianfeng David Gu
e-book,print. - New York : Springer , [2013]. - (SpringerBriefs in mathematics ISSN:2191-8198)
電子書籍 <OB01027590>
Sparse Grids and Applications - Munich 2012 / edited by Jochen Garcke, Dirk Pflüger
print. - Cham : Springer International Publishing : Imprint: Springer , 2014
電子書籍 <OB01027895>
Journal of discrete algorithms
[Amsterdam] : Elsevier , ©2003-
電子ジャーナル <OJ00032155>
Network Models and Associated Applications / edited by D. Klingman, J. M. Mulvey
print. - Berlin, Heidelberg : Springer Berlin Heidelberg , 1981
電子書籍 <OB00848283>
Nondifferential and Variational Techniques in Optimization / edited by D. C. Sorensen, R. J.- B. Wets
print. - Berlin, Heidelberg : Springer Berlin Heidelberg , 1982
電子書籍 <OB00848310>