富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: TJ212-225)
該当件数:10件
Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings / edited by Georgiana Caltais, Christian Schilling
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13872)
電子ブック
PLC Programming In Instruction List According To IEC 61131-3 : A Systematic And Action-Oriented Introduction In Structured Programming / by Hans-Joachim Adam, Mathias Adam
1st ed. 2022.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2022)
Emerging Electronics and Automation : Select Proceedings of E2A 2021 / edited by Peter Han Joo Chong, Akhtar Kalam, Antonio Pascoal, Manas Kumar Bera
1st ed. 2022.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2022). - (Lecture Notes in Electrical Engineering. ISSN:18761119 ; 937)
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)
RoboCup 2005: Robot Soccer World Cup IX / edited by Ansgar Bredenfeld, Adam Jacoff, Itsuki Noda, Yasutake Takahashi
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 4020)
Biomimetic Neural Learning for Intelligent Robots : Intelligent Systems, Cognitive Robotics, and Neuroscience / edited by Stefan Wermter, Günther Palm, Mark Elshaw
1st ed. 2005.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2005). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 3575)
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)
Geometric Fundamentals of Robotics / by J.M. Selig
2nd ed. 2005.. - (New York, NY : Springer New York : Imprint: Springer , 2005). - (Monographs in Computer Science. ISSN:25125486)