同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館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>
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>
Computer sciences / editor K. Lee Lerner and Brenda Wilmoth Lerner
print. - 2nd ed.. - Detroit, Mich. : Gale, Cengage Learning , c2013
電子書籍 <OB00528854>
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>
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>
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>
Studia Universitatis Babeș-Bolyai. Informaticǎ
Cluj-Napoca : Universitatea
電子ジャーナル <OJ00208823>
Revista de ciências da computação
Lisboa : Universidad Aberta , [2006]-
電子ジャーナル <OJ00051740>
Scientific journal of informatics
[Semarang, Indonesia] : Jurusan Ilmu Komputer Universitas Negeri Semarang
電子ジャーナル <OJ00122279>
South African computer journal = Suid-Afrikaanse rekenaartydskrif
No. 1 (Jan. 1990)-. - Halfway House [South Africa] : South African Computer Society , [1990?-
電子ジャーナル <OJ00074775>
Group 97 : Conference on Supporting Group Work, 16-19 November 1997
Trade Paper. - New York : Association for Computing Machinery , Oct. 1997
電子書籍 <OB01032136>
Acta Universitatis Sapientiae. Informatica
Cluj-Napoca, Romania : Sapientiae Hungarian University of Transylvania. - Warsaw : Walter de Gruyter
電子ジャーナル <OJ00192446>
Anale. Seria Informatică
Timișoara : Mirton
電子ジャーナル <OJ00116793>
CLEI electronic journal
Santiago : Centro Latinoamericano de Estudios en Informática
電子ジャーナル <OJ00193218>
Jurnal komputer terapan
[Pekanbaru, Indonesia] : BP2M Politeknik Caltex Riau
電子ジャーナル <OJ00132647>
Innovations in teaching and learning in information and computer sciences / LTSN
Vol. 1, issue 1 (Jan. 2001)-. - [London, England?] : Learning and Teaching Support Network , 2001-
電子ジャーナル <OJ00087821>
Tecnología educativa : socializando tus experiencias
Holguín, Cuba : Dirección de Tecnologías de la Información y las Comunicaciones, Universidad de Holguín , [2016]-
電子ジャーナル <OJ00223552>
Ilkom Jurnal Ilmiah
Makassar, Sulawesi Selatan : Teknik Informatika Fakultas Ilmu Komputer Universitas Muslim Indonesia
電子ジャーナル <OJ00223871>
Journal of innovation information technology and application
Sidakaya, Cilacap, Indonesia : Pusat Penelitian dan Pengabdian Masyarakat (P3M) , 2019-
電子ジャーナル <OJ00223992>
ParadigmPlus
Bogota, Colombia : ITI Research Group , [2020]-
電子ジャーナル <OJ00224206>
Revista rom��n�� de informatic�� ��i automatic�� = Romanian journal of information technology and automatic control
[Bucharest, Romania] : Institutul Na��ional de Cercetare-Dezvoltare ��n Informatic��, ICI Bucare��ti
電子ジャーナル <OJ00224346>
Ji suan ji ke xue yu tan suo
Beijing Shi : [Ji suan ji ke xue yu tan suo za zhi she?]
電子ジャーナル <OJ00227132>
Innovación y software
Arequipa, Perú : Facultad de Ingeniería, Universidad La Salle , 2020-
電子ジャーナル <OJ00228363>
Khazanah informatika
Surakarta, Indonesia : Department of Informatics, Universitas Muhammadiyah Surakarta , [2015]-
電子ジャーナル <OJ00228563>
Journal of cryptographic engineering
Berlin : Springer , 2011-
電子ジャーナル <OJ00233115>
Frontiers of computer science
[Berlin] : Springer. - [Beijing] : Higher Education Press , 2012-
電子ジャーナル <OJ00130329>
Iran journal of computer science
[Germany] : Springer International Publishing
電子ジャーナル <OJ00233065>