富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Control Structures and Microprogramming)
該当件数:53件
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)
電子ブック
Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / edited by Cezara Dragoi, Michael Emmi, Jingbo Wang
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13881)
OpenMP: Advanced Task-Based, Device and Compiler Programming : 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13–15, 2023, Proceedings / edited by Simon McIntosh-Smith, Michael Klemm, Bronis R. de Supinski, Tom Deakin, Jannis Klinkenberg
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14114)
Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan, Ai Liu
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13854)
Parallel and Distributed Computing, Applications and Technologies : 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7–9, 2022, Proceedings / edited by Hiroyuki Takizawa, Hong Shen, Toshihiro Hanawa, Jong Hyuk Park, Hui Tian, Ryusuke Egawa
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13798)
Constructive Side-Channel Analysis and Secure Design : 14th International Workshop, COSADE 2023, Munich, Germany, April 3–4, 2023, Proceedings / edited by Elif Bilge Kavun, Michael Pehl
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13979)
Trends in Functional Programming : 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers / edited by Stephen Chang
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13868)
Pervasive Computing Technologies for Healthcare : 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings / edited by Athanasios Tsanas, Andreas Triantafyllidis
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. ISSN:1867822X ; 488)
Embedded Computer Systems: Architectures, Modeling, and Simulation : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2–6, 2023, Proceedings / edited by Cristina Silvano, Christian Pilato, Marc Reichenbach
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14385)
Computer Safety, Reliability, and Security : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings / edited by Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14181)
Guide to Computer Processor Architecture : A RISC-V Approach, with High-Level Synthesis / by Bernard Goossens
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Undergraduate Topics in Computer Science. ISSN:21971781)
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)
Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13962)
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14000)
Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / edited by Carla Ferreira, Tim A. C. Willemse
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14323)
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)
Emerging Technologies for Developing Countries : 5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022, Proceedings / edited by Muthoni Masinde, Antoine Bagula
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. ISSN:1867822X ; 503)
Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers / edited by Hossein Hojjat, Erika Ábrahám
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14155)
Progress in Cryptology - AFRICACRYPT 2023 : 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19–21, 2023, Proceedings / edited by Nadia El Mrabet, Luca De Feo, Sylvain Duquesne
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14064)
Software Technologies : 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers / edited by Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Communications in Computer and Information Science. ISSN:18650937 ; 1859)