城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: 004.2)
該当件数:81件
Parallel Processing: CONPAR 94 - VAPP VI : Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994. Proceedings / edited by Bruno Buchberger, Jens Volkert
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 854)
電子ブック
Parallel Scientific Computing : First International Workshop, PARA '94, Lyngby, Denmark, June 20 - 23, 1994. Proceedings / edited by Jack Dongarra, Jerzy Wasniewski
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 879)
Field-Programmable Logic: Architectures, Synthesis and Applications : 4th International Workshop on Field-Programmable Logic and Applications, FPL'94, Prague, Czech Republic, September 7 - 9, 1994. Proceedings / edited by Reiner W. Hartenstein, Michal Z. Servit
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 849)
Parallel Computer Routing and Communication : First International Workshop, PCRCW '94, Seattle, Washington, USA, May 16-18, 1994. Proceedings / edited by Kevin Bolding, Lawrence Snyder
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 853)
Visualization of Scientific Parallel Programs / by Gerald Tomas, Christoph W. Ueberhuber
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 771)
A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings / edited by J.W.de Bakker, W.-P.de Roever, G. Rozenberg
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 803)
PARLE '94 Parallel Architectures and Languages Europe : 6th International PARLE Conference, Athens, Greece, July 4 - 8, 1994. Proceedings / edited by Costas Halatsis, Dimitrios Maritsas, George Philokyprou, Sergios Theodoridis
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 817)
Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings / edited by Frank Pfenning
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 822)
Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings / edited by Dov M. Gabbay, Hans J. Ohlbach
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 827)
Programming Languages and System Architectures : International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings / edited by Jürg Gutknecht
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 782)
Languages and Compilers for Parallel Computing : 6th International Workshop, Portland, Oregon, USA, August 12 - 14, 1993. Proceedings / edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 768)
Parallel and Distributed Computing: Theory and Practice : Theory and Practice. First Canada-France Conference, Montreal, Canada, May 19 - 21, 1994. Proceedings / edited by Michel Cosnard, Afonso Ferreira, Joseph Peters
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 805)
Field-Programmable Logic and Applications : 5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings / edited by Will Moore, Wayne Luk
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 975)
Parallel Computing Technologies : Third International Conference, PaCT-95, St. Petersburg, Russia, September 12-15, 1995. Proceedings / edited by Victor Malyshkin
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 964)
EURO-PAR '95: Parallel Processing : First International EURO-PAR Conference, Stockholm, Sweden, August 29 - 31, 1995. Proceedings / edited by Seif Haridi, Khayri Ali, Peter Magnusson
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 966)
Languages and Compilers for Parallel Computing : 7th International Workshop, Ithaca, NY, USA, August 8 - 10, 1994. Proceedings / edited by Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 892)
Extensions of the UNITY Methodology : Compositionality, Fairness and Probability in Parallelism / by Josyula R. Rao
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 908)
Theory and Practice of Parallel Programming : International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings / edited by Takayasu Ito, Akinori Yonezawa
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 907)
Correct Hardware Design and Verification Methods : IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings / edited by Paolo Enrico Camurati, Hans Eveking
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 987)
Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings / edited by E. Thomas Schubert, Phillip J. Windley, James Alves-Foss
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 971)