富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logic design)
該当件数:35件
Job Scheduling Strategies for Parallel Processing : 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers / edited by Dalibor Klusáček, Corbalán Julita, Gonzalo P. Rodrigo
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13592)
電子ブック
Guessing Random Additive Noise Decoding : A Hardware Perspective / by Syed Mohsin Abbas, Marwan Jalaleddine, Warren J. Gross
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023)
Job Scheduling Strategies for Parallel Processing : 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers / edited by Dalibor Klusáček, Julita Corbalán, Gonzalo P. Rodrigo
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14283)
Introduzione al Progetto di Sistemi Digitali / by Giuliano Donzellini, Luca Oneto, Domenico Ponta, Davide Anguita
2nd ed. 2023.. - (Milano : Springer Milan : Imprint: Springer , 2023)
Parallel Computing Technologies : 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21–25, 2023, Proceedings / edited by Victor Malyshkin
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14098)
Reversible Computation : 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings / edited by Martin Kutrib, Uwe Meyer
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13960)
High Performance Computing : 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 – June 2, 2022, Proceedings / edited by Ana-Lucia Varbanescu, Abhinav Bhatele, Piotr Luszczek, Baboulin Marc
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13289)
High Performance Computing. ISC High Performance 2022 International Workshops : Hamburg, Germany, May 29 – June 2, 2022, Revised Selected Papers / edited by Hartwig Anzt, Amanda Bienz, Piotr Luszczek, Marc Baboulin
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13387)
Network and Parallel Computing : 19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24–25, 2022, Proceedings / edited by Shaoshan Liu, Xiaohui Wei
1st ed. 2022.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13615)
Reversible Computation : 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings / edited by Claudio Antares Mezzina, Krzysztof Podlaski
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13354)
High Performance Computing : 8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6–8, 2021, Revised Selected Papers / edited by Isidoro Gitler, Carlos Jaime Barrios Hernández, Esteban Meneses
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Communications in Computer and Information Science. ISSN:18650937 ; 1540)
Software Defined Chips : Volume I / by Shaojun Wei, Leibo Liu, Jianfeng Zhu, Chenchen Deng
1st ed. 2022.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2022)
Advances in Computer Systems Architecture : 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings / edited by Chris Jesshope, Colin Egan
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4186)
Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / edited by Thomas Ball, Robert B. Jones
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4144)
Computational Intelligence in Fault Diagnosis / edited by Vasile Palade, Cosmin Danut Bocaniala
1st ed. 2006.. - (London : Springer London : Imprint: Springer , 2006). - (Advanced Information and Knowledge Processing. ISSN:21978441)
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings / edited by Johan Vounckx, Nadine Azemard, Philippe Maurine
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4148)
Cryptographic Hardware and Embedded Systems - CHES 2006 : 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings / edited by Louis Goubin, Mitsuru Matsui
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Security and Cryptology. ISSN:29461863 ; 4249)
Advances in Computer Systems Architecture : 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings / edited by Thambipillai Srikanthan, Jingling Xue, Chip-Hong Chang
1st ed. 2005.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2005). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 3740)
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings / edited by Vassilis Paliouras, Johan Vounckx, Diederik Verkest
1st ed. 2005.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2005). - (Programming and Software Engineering. ISSN:29459168 ; 3728)
Adapting Proofs-as-Programs : The Curry--Howard Protocol / by Iman Poernomo, John N. Crossley, Martin Wirsing
1st ed. 2005.. - (New York, NY : Springer New York : Imprint: Springer , 2005). - (Monographs in Computer Science. ISSN:25125486)