城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Computer systems)
該当件数:135件
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)
図書
The Analysis of Concurrent Systems : Cambridge, September 12-16, 1983. Proceedings / edited by B.T. Denvir, W.T. Harwood, M.I. Jackson, M.J. Wray
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 207)
電子ブック
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 329)
CONPAR 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings / edited by W. Händler
1st ed. 1981.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1981). - (Lecture Notes in Computer Science. ISSN:16113349 ; 111)
Logics in Artificial Intelligence : European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings / edited by Jose Julio Alferes, Luis Moniz Pereira, Eva Orlowska
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 1126)
P-Functions and Boolean Matrix Factorization : A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms / by A. Thayse
1st ed. 1984.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1984). - (Lecture Notes in Computer Science. ISSN:16113349 ; 175)
Automata, Languages and Programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings / edited by Thomas Ottmann
1st ed. 1987.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987). - (Lecture Notes in Computer Science. ISSN:16113349 ; 267)
Logics of Programs : Brooklyn, June 17-19, 1985 / edited by Rohit Parikh
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 193)
Theoretical Computer Science : 5th GI-Conference Karlsruhe, March 23-25, 1981 / herausgegeben von P. Deussen
1st ed. 1981.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1981). - (Lecture Notes in Computer Science. ISSN:16113349 ; 104)
Supercomputing : 1st International Conference, Athens, Greece, June 8-12, 1987; Proceedings / edited by Elias N. Houstis, Theodore S. Papatheodorou, Constantine D. Polychronopoulos
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 297)
Non-Monotonic Extensions of Logic Programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers / edited by Louis M. Pereira, Teodor C. Przymusinski
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 927)
Coordination Languages and Models : First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings. / edited by Paolo Ciancarini, Chris Hankin
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1061)
Studies of Software Design : ICSE'93 Workshop, Baltimore, Maryland, USA, May (17-18), 1993. Selected Papers / edited by David Alex Lamb
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1078)
Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings / edited by Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
1st ed. 1990.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1990). - (Lecture Notes in Computer Science. ISSN:16113349 ; 430)
Parallel Execution of Parlog / by Andrew Cheese
1st ed. 1992.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1992). - (Lecture Notes in Computer Science. ISSN:16113349 ; 586)
Research Directions in High-Level Parallel Programming Languages : Mont Saint-Michel, France, June 17-19, 1991 Proceedings / edited by Jean Pierre Banatre, Daniel Le Metayer
1st ed. 1992.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1992). - (Lecture Notes in Computer Science. ISSN:16113349 ; 574)
Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping : Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31 - September 2, 1992. Selected Papers / edited by Herbert Grünbacher, Reiner W. Hartenstein
1st ed. 1993.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993). - (Lecture Notes in Computer Science. ISSN:16113349 ; 705)
Parallel Symbolic Computing: Languages, Systems, and Applications : US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992. Proceedings / edited by Robert H.Jr. Halstead, Takayasu Ito
1st ed. 1993.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993). - (Lecture Notes in Computer Science. ISSN:16113349 ; 748)
Logic for Concurrency and Synchronisation / edited by R.J. De Queiroz
1st ed. 2003.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2003). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 18)
Logic, Language and Computation : Festschrift in Honor of Satoru Takasu / edited by Neil Jones, Masami Hagiya, Masahiko Sato
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 792)