上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA169)
該当件数:22件
Advances in applied and computational topology : AMS Short Course on Computational Topology, January 4-5, 2011, New Orleans, Louisiana / Afra Zomorodian, editor
Providence, R.I. : American Mathematical Society , c2012. - (Proceedings of symposia in applied mathematics ; v. 70 . AMS short course Lecture notes)
図書 <1002562915>
Algebraic operads / Jean-Louis Loday, Bruno Vallette
: [hardcover]. - Heiderlberg ; New York : Springer , c2012. - (Die Grundlehren der mathematischen Wissenschaften ; 346)
図書 <1002569286>
The computational complexity of equivalence and isomorphism problems / Thomas Thierauf
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1852)
図書 <1001192688>
Papers in honour of Bernhard Banaschewski : proceedings fo the BB Fest 96, a conference held at the University of Cape town, 15-20 July 1996, on category theory and its applications to topology, order and algebra / edited by Guillaume Brümmer and Christopher Gilmour
Dordrecht ; Boston : Kluwer Academic Publishers , c2000
図書 <1001234513>
Mathematical foundations of information flow : Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana / Samson Abramsky, Michael Mislove, editors
Providence, R.I. : American Mathematical Society , c2012. - (Proceedings of symposia in applied mathematics ; v. 71)
図書 <1002562913>
Homological algebra : the interplay of homology with distributive lattices and orthodox semigroups / Marco Grandis
Singapore ; Hackensack, N.J. : World Scientific , c2012
図書 <1002602521>
Category theory / Steve Awodey
ebook,: hardback. - Oxford : Clarendon. - Oxford ; New York : Oxford University Press , 2006. - (Oxford logic guides ; 49)
電子ブック <1003212039>
Gorenstein homological algebra / Alina Iacob
: hardback. - Boca Raton : CRC Press , c2019
図書 <1003076736>
Coherence in three-dimensional category theory / Nick Gurski
: hardback. - Cambridge : Cambridge University Press , 2013. - (Cambridge tracts in mathematics ; 201)
図書 <1002619881>
Homological algebra : in strongly non-Abelian settings / Marco Grandis
Hackensack, N.J. ; London : World Scientific , c2013
図書 <1002631049>
A course in homological algebra / P.J. Hilton, U. Stammbach
2nd ed. - New York : Springer , 1997. - (Graduate texts in mathematics ; 4)
図書 <1000548983>
Homologie des algèbres commutatives / Michel André
:gw,:us. - Berlin ; New York : Springer-Verlag , 1974. - (Grundlehren der mathematischen Wissenschaften ; Bd. 206)
図書 <1000314060>
Homological algebra / A.I. Kostrikin, I.R. Shafarevich (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Encyclopaedia of mathematical sciences ; v. 38 . Algebra ; 5)
図書 <1000494716>
Basic homological algebra / M. Scott Osborne
New York ; Tokyo : Springer , c2000. - (Graduate texts in mathematics ; 196)
図書 <1001158078>
Relative category theory and geometric morphisms : a logical approach / Jonathan Chapman and Frederick Rowbottom
Oxford : Clarendon Press. - New York : Oxford University Press , 1992. - (Oxford logic guides ; 16)
図書 <1000442290>
Elementary categories, elementary toposes / Colin McLarty
Oxford : Clarendon Press , 1992. - (Oxford logic guides ; 21)
図書 <1000451340>
Toposes and local set theories : an introduction / J.L. Bell
Oxford : Clarendon Press. - Tokyo : Oxford University Press , 1988. - (Oxford logic guides ; 14)
図書 <1000334967>
Introduction to higher order categorical logic / J. Lambek, P.J. Scott
Cambridge [Cambridgeshire] ; New York : Cambridge University Press , 1986. - (Cambridge studies in advanced mathematics. ; 7)
図書 <1000609831>
Categories for the working mathematician / Saunders Mac Lane
2nd ed. - New York : Springer , c1998. - (Graduate texts in mathematics ; 5)
図書 <1000560823>
Sheaves in geometry and logic : a first introduction to topos theory / Saunders Mac Lane, Ieke Moerdijk
: us,: gw. - New York ; Tokyo : Springer-Verlag , c1992. - (Universitext)
図書 <1000450349>