東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Computer systems)
該当件数:23件
Performance engineering : state of the art and current trends / Reiner Dumke ... [et al.] (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2047)
図書
GCSE computer studies / Dexter J. Booth
London : Pitman , 1989
Computers and commonsense / Roger Hunt, John Shelley
4th ed. - New York : Prentice Hall , 1988. - London
A first course in computability / V. J. Rayward-Smith
Oxford : Blackwell Scientific , 1986. - (Computer science texts)
Language, mathematical modelling and logic / David Cornwell
Bromley : Chartwell-bratt , 1989. - (Computer systems modelling & development : A disciplined approach ; v. 1)
Computers and microprocessors : components and systems / A. C. Downton
2nd ed. - Wokingham : Van Nostrand Reinhold , c1988. - (Tutorial guides in electronic engineering ; 4)
Fundamentals of information systems / edited by Torsten Polle, Torsten Ripke, Klaus-Dieter Schewe
Boston : Kluwer Academic Publishers , c1999. - (The Kluwer international series in engineering and computer science ; SECS 496)
Cognition and multi-agent interaction : from cognitive modeling to social simulation / edited by Ron Sun
Cambridge : Cambridge University Press , 2006
The practice of system and network administration / Thomas A. Limoncelli, Christina J. Hogan, Strata R. Chalup
2nd ed., Updated and rev.. - Upper Saddle River, NJ : Addison-Wesley , c2007
Design of dependable computing systems / by Jean-Claude Geffroy, Gilles Motet
pbk.,pbk.. - Dordrecht ; London : Springer , 2011
Correct system design : recent insights and advances / Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1710)
Specifying systems : the TLA+ language and tools for hardware and software engineers / Leslie Lamport
Boston : Addison-Wesley , c2003. - Tokyo
Foundations of information and knowledge systems : third International Symposium, FoIKS 2004 : Wilheminenburg Castle, Austria, February 17-20, 2004 : proceedings / Dietmar Seipel, José María Turull-Torres (eds.)
Berlin : Springer , c2004. - (Lecture notes in computer science ; 2942)
Verification of reactive systems : formal methods and algorithms / Klaus Schneider
Berlin : Springer-Verlag , 2004. - New York. - (Texts in theoretical computer science)
Multiset Processing : mathematical, computer science, and molecular computing points of view / Cristian S. Calude ... [et al.] (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2235)
Hardware accelerator systems for artificial intelligence and machine learning / editors by Shiho Kim, Ganesh Chandra Deka
Cambridge, Mass. : Academic Press , 2021. - (Advances in computers ; v. 122)
Foundations of information and knowledge systems : first International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 : proceedings / Klaus-Dieter Schewe, Bernhard Thalheim (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1762)
Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1755)
Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1181)
情報処理ハンドブック / 情報処理学会編
新版. - 東京 : オーム社 , 1995.11
Introduction to bioinformatics : a theoretical and practical approach / edited by Stephen A. Krawetz and David D. Womble
: [hard],: pbk,: CD-ROM. - Totowa, N.J. : Humana Press , c2003
Large-Scale Scientific Computing : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001 : revised papers / Svetozar Margenov, Jerzy Waśniewski, Plamen Yalamov (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2179)
電子時代の学術雑誌 / ジル・ランバート著 ; 日本図書館協会情報管理委員会訳
東京 : 日本図書館協会 , 1989.1