富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Control and Systems Theory)
該当件数:8件
Scheduling and Reconfiguration of Real-Time Systems : A Supervisory Control Approach / by Xi Wang, ZhiWu Li
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023)
電子ブック
Logic Synthesis for VLSI-Based Combined Finite State Machines : Synthesis Targeting ASICs, CPLDs and FPGAs / by Alexander Barkalov, Larysa Titarenko, Kamil Mielcarek, Małgorzata Mazurkiewicz, Elżbieta Kawecka
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Electrical Engineering. ISSN:18761119 ; 922)
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers / edited by Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13230)
Systems, Control, Modeling and Optimization : Proceedings of the 22nd IFIP TC7 Conference held from July 18-22, 2005, in Turin, Italy / edited by F. Ceragioli, A. Dontchev, H. Furuta, L. Pandolfi
1st ed. 2006.. - (New York, NY : Springer US : Imprint: Springer , 2006). - (IFIP Advances in Information and Communication Technology. ISSN:1868422X ; 202)
System Modeling and Optimization : Proceedings of the 22nd IFIP TC7 Conference held from , July 18-22, 2005, Turin, Italy / edited by F. Ceragioli, A. Dontchev, H. Furuta, K. Marti, L. Pandolfi
1st ed. 2006.. - (New York, NY : Springer US : Imprint: Springer , 2006). - (IFIP Advances in Information and Communication Technology. ISSN:1868422X ; 199)
The Quintessential PIC® Microcontroller / by Sid Katzen
2nd ed. 2005.. - (London : Springer London : Imprint: Springer , 2005). - (Computer Communications and Networks. ISSN:21978433)
System Modeling and Optimization : Proceedings of the 21st IFIP TC7 Conference held in July 21st - 25th, 2003, Sophia Antipolis, France / edited by John Cagnol, Jean Paul Zolesio
1st ed. 2005.. - (New York, NY : Springer US : Imprint: Springer , 2005). - (IFIP Advances in Information and Communication Technology. ISSN:1868422X ; 166)
Formal Approaches to Agent-Based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff
1st ed. 2005.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2005). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 3228)