同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: #Computer science)
該当件数:988件
Great ideas in computer science : a gentle introduction / Alan W. Biermann
: pbk. - Cambridge, Mass. : MIT Press , c1990
図書 <BB00122540>
Formal models and semantics / edited by Jan van Leeuwen
: Elsevier,: MIT Press. - Amsterdam ; Tokyo : Elsevier. - Cambridge, Mass. : MIT Press , 1990. - (Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. B)
図書 <BB00138546>
Algorithms and complexity / edited by Jan van Leeuwen
: Elsevier,: MIT Press. - Amsterdam ; Tokyo : Elsevier. - Cambridge, Mass. : MIT Press , 1990. - (Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. A)
図書 <BB00137938>
Handbook of theoretical computer science / editor, Jan van Leeuwen
Elsevier : set,MIT Press : set. - Amsterdam ; Tokyo : Elsevier. - Cambridge, Mass. : MIT Press , 1990-
図書 <BB00137947>
The Penguin concise dictionary of computing / Dick Pountain
London : Penguin , 2003. - (Penguin reference). - (Penguin books)
図書 <BB00578171>
Software and hardware / Roger R. Flynn, editor in chief
: set. - New York : Macmillan Reference USA , c2002. - (The Macmillan science library ; . Computer sciences / Roger R. Flynn, editor in chief ; v. 2)
図書 <BB00551044>
Computer sciences / Roger R. Flynn, editor in chief
electronic book - v. 4. - New York, N.Y. : Macmillan Reference USA , c2002. - (Gale virtual reference library)
電子書籍 <OB00054696>
Computer sciences / editor K. Lee Lerner and Brenda Wilmoth Lerner
print. - 2nd ed.. - Detroit, Mich. : Gale, Cengage Learning , c2013
電子書籍 <OB00528854>
Foundations : ideas and people / Roger R. Flynn, editor in chief
: set. - New York : Macmillan Reference USA , c2002. - (The Macmillan science library ; . Computer sciences / Roger R. Flynn, editor in chief ; v. 1)
図書 <BB00551042>
Social applications / Roger R. Flynn, editor in chief
: set. - New York : Macmillan Reference USA , c2002. - (The Macmillan science library ; . Computer sciences /Roger R. Flynn, editor in chief ; v. 3)
図書 <BB00551045>
Electronic universe / Roger R. Flynn, editor in chief
: set. - New York : Macmillan Reference USA , c2002. - (The Macmillan science library ; . Computer sciences / Roger R. Flynn editor in chief ; v. 4)
図書 <BB00551047>
Computer science : an overview / J. Glenn Brookshear
4th ed. - Redwood City, Calif. : Benjamin/Cummings Pub. Co. , c1994. - (Benjamin/Cummings series in computer science)
図書 <BB00263935>
Dynamical Systems and Evolution Equations : Theory and Applications / by John A. Walker
print - print. - 1st ed. 1980.. - New York, NY : Springer US : Imprint: Springer , 1980
電子書籍 <OB01019139>
Oasics : openaccess series in informatics
Wadern, Germany : Schloss Dagstuhl, Leibniz Center for Informatics
電子ジャーナル <OJ00044497>
2002 IEEE/ACM International Symposium on Mixed and Augmented Reality (ISMAR 2002)
Trade Paper. - Los Alamitos : IEEE Computer Society Press , Oct. 2002
電子書籍 <OB00824435>
APL 94 : International Conference on APL
Trade Paper. - New York : Association for Computing Machinery , Oct. 1994
電子書籍 <OB00824482>
CSC 1994 : 22nd ACM Annual Computer Science Conference
Trade Cloth. - New York : Association for Computing Machinery , Oct. 1994
電子書籍 <OB00824525>
ITICSE 98 : SIGCSE/SIGCUE Annual Joint Conference on Integrating Technology into Computer Science
Trade Cloth. - New York : Association for Computing Machinery , Oct. 1998
電子書籍 <OB00824664>
SIGDOC 95 : 13th Annual ACM Conference on Systems Documentation
Trade Paper. - New York : Association for Computing Machinery , Oct. 1995
電子書籍 <OB00824851>
ITCS 96 : Intergrating Technology into Computer Science Education
Trade Paper. - New York : Association for Computing Machinery , Oct. 1996
電子書籍 <OB00745993>
Assets 98 : ACM Sigcaph Conference on Assistive Technologies
電子書籍 <OB00744769>
CHI 94 : Human Factors in Computing Systems Conference
電子書籍 <OB00744885>
CHI 95 Companion : Conference on Human Factors in Computing Systems
電子書籍 <OB00744886>
CSC 1995 : ACM Computer Science Conference
電子書籍 <OB00745096>
CSC 1996 : 24th Annual ACM Computer Science Conference
電子書籍 <OB00745097>
CSCW '95 : Conference on Computer Supported Work
Trade Cloth. - New York : Association for Computing Machinery
電子書籍 <OB00745107>
SAC 97 : Symposium on Applied Computing
Trade Paper. - New York : Association for Computing Machinery
電子書籍 <OB00751192>
Sigcse 12 Proceedings of the 43rd Acm Technical Symposium on Computer Science Education
Trade Paper. - New York : Association for Computing Machinery , April 2012
電子書籍 <OB00751340>
SIGCSE 92 : 23rd Techincal Symposium on Computer Science Education
Trade Paper. - New York : Association for Computing Machinery , Oct. 1992
電子書籍 <OB00751343>
SIGCSE 94 : 25th Technical Symposium on Computer Science Education
電子書籍 <OB00751345>
SIGCSE-SIGCUE 97 : Joint Conference on Intergrating Technology into Computer Science Education
Trade Paper. - New York : Association for Computing Machinery , Oct. 1997
電子書籍 <OB00751349>
SIGSCE 97 : Computer Science Education Technical Symposium
Trade Cloth. - New York : Association for Computing Machinery , Oct. 1997
電子書籍 <OB00751529>
Solid Modeling, `97 : 4th ACM-SIGGRAPH Symposium on Solid Modeling and Applications
電子書籍 <OB00751601>
STOC 92 : Symposium on the Theory of Computing
電子書籍 <OB00751681>
STOC 97 : 29th Annual ACM Symposium on the Theory of Computing
電子書籍 <OB00751685>
International journal of networking and computing
[Hiroshima, Japan] : [Hiroshima University]
電子ジャーナル <OJ00029027>
International journal of advanced computer science & applications
New York, NY : IJACSA. - [New York]. : The Science and Information Organization
電子ジャーナル <OJ00192093>
Numerical Derivatives and Nonlinear Analysis / by Harriet Kagiwada, Robert Kalaba, Nima Rasakhoo, Karl Spingarn
print - print. - 1st ed. 1986.. - New York, NY : Springer US : Imprint: Springer , 1986
電子書籍 <OB01019522>
On the Refinement Calculus / edited by Carroll Morgan, Trevor Vickers
print - print. - 1st ed. 1992.. - London : Springer London : Imprint: Springer , 1992
電子書籍 <OB01019534>
Type Systems for Distributed Programs: Components and Sessions / by Ornela Dardha
print. - Paris : Atlantis Press : Imprint: Atlantis Press , 2016
電子書籍 <OB01018671>
MuPAD Multi Processing Algebra Data Tool : Benutzerhandbuch MuPAD Version 1.1 / by FUCHSSTEINER, WIWIANKA
print - print. - 1st ed. 1993.. - Basel : Birkhäuser Basel : Imprint: Birkhäuser , 1993
電子書籍 <OB01019494>
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>
Singular phenomena and scaling in mathematical models / Michael Griebel, editor
e-book. - Cham ; New York : Springer , [2014]
電子書籍 <OB01027834>
Generalized Functions, Convergence Structures, and Their Applications / edited by Bogoljub Stankovic
print - print. - 1st ed. 1988.. - New York, NY : Springer US : Imprint: Springer , 1988
電子書籍 <OB01029188>
Acta Informatica Pragensia
Prague : University of Economics
電子ジャーナル <OJ00192421>
The African journal of information systems
Baton Rouge, LA : Southern University, AICTRG
電子ジャーナル <OJ00192508>
Baltic journal of modern computing
[Riga] : University of Latvia. - [Vilnius] : Vilnius University
電子ジャーナル <OJ00080617>
Frontiers in computer science
Lausanne : Frontiers Media S.A. , 2019-
電子ジャーナル <OJ00194083>
JOIN : jurnal online informatika
Bandung, Indonesia : Universitas Islam Negeri (UIN) Sunan Gunung Djati Bandung
電子ジャーナル <OJ00208069>
LIPIcs : Leibniz international proceedings in informatics
Wadern : Schloss Dagstuhl, Leibniz Center for Informatics , [2008]-
電子ジャーナル <OJ00195626>