富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Computer Science Logic and Foundations of Programming)
該当件数:236件
Verified Software. Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers / edited by Akash Lal, Stefano Tonetta
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13800)
電子ブック
Formal Analysis for Natural Language Processing: A Handbook / by Zhiwei Feng
1st ed. 2023.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2023)
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / by William M. Farmer
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2023). - (Computer Science Foundations and Applied Logic. ISSN:27315762)
Computational Linguistics and Intelligent Text Processing : 20th International Conference, CICLing 2019, La Rochelle, France, April 7–13, 2019, Revised Selected Papers, Part I / edited by Alexander Gelbukh
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13451)
Unconventional Computation and Natural Computation : 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings / edited by Daniela Genova, Jarkko Kari
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14003)
Prolog: The Next 50 Years / edited by David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 13900)
Descriptional Complexity of Formal Systems : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings / edited by Henning Bordihn, Nicholas Tran, György Vaszil
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13918)
Theoretical Aspects of Computing – ICTAC 2023 : 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings / edited by Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14446)
Frontiers in Software Engineering Education : Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers / edited by Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14387)
Implementation and Application of Automata : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings / edited by Benedek Nagy
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14151)
Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations : Theories and Methodologies / by Yejun Xu
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday / edited by Jonathan P. Bowen, Qin Li, Qiwen Xu
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14080)
Mathematical Foundations of Software Engineering : A Practical Guide to Essentials / by Gerard O'Regan
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Texts in Computer Science. ISSN:1868095X)
Testing Software and Systems : 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings / edited by Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14131)
Logic and Argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / edited by Andreas Herzig, Jieting Luo, Pere Pardo
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 14156)
Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings / edited by Robert Glück, Bishoksan Kafle
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14330)
Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers / edited by Alexandre Madeira, Manuel A. Martins
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13710)
Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers / edited by Zoltán Porkoláb, Viktória Zsók
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 11950)
Logic and Engineering of Natural Language Semantics : 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers / edited by Daisuke Bekki, Koji Mineshima, Elin McCready
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14213)
Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings / edited by Manuel V. Hermenegildo, José F. Morales
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14284)