東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Computer science)
該当件数:251件
Exploring computer science with Scheme / Oliver Grillmeyer
New York : Springer , 1997. - (Undergraduate texts in computer science)
図書
Computer science : an overview / J. Glenn Brookshear
5th ed. - Reading, Mass. : Addison-Wesley , c1997
The art and craft of computing / S. Ceri, D. Mandrioli, L. Sbattella
Harlow, England : Addison Wesley , c1998. - Reading, Mass.
The most complex machine : a survey of computers and computing / David J. Eck
Wellesley, Mass. : A K Peters , c1995
Foundations of computer science : potential--theory--cognition / Christian Freksa, Matthias Jantzen, Rüdiger Valk (eds.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1337)
Computer science / C.S. French
5th ed. - London : DP , 1996
Computing : An active-learning approach / P. M. Heathcote
3rd ed. - London : Letts Educational , 1996
Great ideas in computer science : a gentle introduction / Alan W. Biermann
: pbk. - Cambridge, Mass. : MIT Press , c1990
Introduction to theoretical computer science / Xiwen Ma
Singapore : World Scientific , c1990. - Teaneck, N.J.. - (World scientific series in computer science ; vol. 23)
3rd ed. - Redwood City, Calif. : Benjamin/Cummings Pub. Co. , c1991. - (The Benjamin/Cummings series in computer science)
A balanced introduction to computer science / David Reed
3rd ed. - Boston : Pearson, Prentice Hall , c2011
Handbook of theoretical computer science / editor, Jan van Leeuwen
Elsevier : set,MIT Press : set. - Amsterdam ; Tokyo : Elsevier. - Cambridge, Mass. : MIT Press , 1990-
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)
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)
Computer science today : recent trends and developments / Jan van Leeuwen, (ed.)
Berlin ; New York ; Tokyo : Springer , c1995. - (Lecture notes in computer science ; 1000)
MIT Pr. paperback ed. - Cambridge, Mass. : MIT Pr. , 1994, c1990. - Amsterdam : Elsevier. - Tokyo. - (Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. B)
MIT Pr. paperback ed. - Cambridge, Mass. : MIT Pr. , 1994, c1990. - Amsterdam : Elsevier. - Tokyo. - (Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. A)
The computer : a very short introduction / Darrel Ince
Oxford : Oxford University Press , 2011. - (Very short introductions ; 292)
Latin'98 : theoretical informatics : Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998 : proceedings / Cláudio L. Lucchesi, Arnaldo V. Moura (eds.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1380)
LATIN '95 : theoretical informatics : second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995 : proceedings / Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete, (eds.)
Berlin : Springer , c1995. - (Lecture notes in computer science ; 911)
LATIN '92 : 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992 : proceedings / I. Simon (ed.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 583)
LATIN 2000 : theoretical informatics : 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000 : proceedings / Gastón H. Gonnet, Daniel Panario, Alfredo Viola (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1776)
Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings / Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2202)
Sets and numbers, graphs and algebra, logic and machines, linear geometry / Guerino Mazzola, Gérard Milmeister, Jody Weissmann
Berlin : Springer , c2004. - (Universitext ; . Comprehensive mathematics for computer scientists ; 1)
Proof, language, and interaction : essays in honour of Robin Milner / edited by Gordon Plotkin, Colin Stirling, and Mads Tofte
Cambridge, Mass. : MIT Press , c2000. - (Foundations of computing)
Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings / Jan van Leeuwen ... [et al.] (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1872)
Computer science education in the 21st century / Tony Greening (editor)
New York : Springer , c2000
Fundamentals of computation theory : 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings / Rūsin̦š Freivalds (ed)
Berlin : Springer , c2001. - Tokyo. - (Lecture notes in computer science ; 2138)
Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings / Jifeng He, Masahiko Sato (eds.)
Berlin : Springer , c2000. - New York. - (Lecture notes in computer science ; 1961)
STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings / Horst Reichel, Sophie Tison (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1770)
STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings / Afonso Ferreira, Horst Reichel (eds)
Berlin : Springer , c2001. - New York. - (Lecture notes in computer science ; 2010)
Informatics : 10 years back, 10 years ahead / Reinhard Wilhelm (ed)
Berlin : Springer , c2001. - New York. - (Lecture notes in computer science ; 2000)
Fundamentals of computation theory : 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005 : proceedings / Maciej Liśkiewicz, Rüdiger Reischuk (eds)
Berlin : Springer , c2005. - Tokyo. - (Lecture notes in computer science ; 3623)
STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, proceedings / C. Choffrut, T. Lengauer (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 415)
An introduction to online computation : determinism, randomization, advice / Dennis Komm
Cham : Springer , c2016. - (Texts in theoretical computer science ; An EATCS series)
Discrete mathematics / Jean Gallier
: pbk. - New York : Springer , c2011. - (Universitext)
Structural complexity / José Luis Balcázar, Josep Díaz, Joaquim Gabarró
2nd rev. ed. - Berlin : Springer-Verlag , c1995. - New York. - (Texts in theoretical computer science ; An EATCS series)
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings / Ernst W. Mayr, Claude Puech (eds.)
Berlin : Springer-Verlag , c1995. - New York. - (Lecture notes in computer science ; 900)
STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings / Claude Puech, Rüdiger Reischuk, (eds.)
Berlin : Springer , c1996. - New York. - (Lecture notes in computer science ; 1046)
HAL's legacy : 2001ʹs computer as dream and reality / edited by David G. Stork
Cambridge, Mass. : MIT Press , c1997
Computing tomorrow : future research directions in computer science / edited by Ian Wand and Robin Milner
Cambridge, [Eng.] : Cambridge University Press , 1996. - New York
STACS 98 : 15th annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : proceedings / Michel Morvan, Christoph Meinel, Daniel Krob (eds.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1373)
STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings / Rüdiger Reischuk, Michel Morvan (eds.)
Berlin : Springer , c1997. - Tokyo. - (Lecture notes in computer science ; 1200)
STACS 99 : 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings / Christoph Meinel, Sophie Tison (eds.)
Berlin : Springer , c1999. - Tokyo. - (Lecture notes in computer science ; 1563)
STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings / A. Finkel, M. Jantzen (eds.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 577)
New results and new trends in computer science : Graz, Austria, June 20-21, 1991 : proceedings / H. Maurer (ed.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 555)
Background : computational structures / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
Oxford : Clarendon Press , 1992. - (Handbook of logic in computer science ; v. 2)
Baltic computer science : selected papers / J. Bārzdiṇš, D. Bjørner, (eds.)
Berlin : Springer-Verlag , c1991. - New York. - (Lecture notes in computer science ; 502)
STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, proceedings / C. Choffrut, M. Jantzen, (eds.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 480)