富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Models of Computation)
該当件数:49件
Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations : Theories and Methodologies / by Yejun Xu
1st ed. 2023.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2023)
電子ブック
Introduction to Software Architecture : Innovative Design using Clean Architecture and Model-Driven Engineering / by Kevin Lano, Sobhan Yassipour Tehrani
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Undergraduate Topics in Computer Science. ISSN:21971781)
Genetic Programming Theory and Practice XIX / edited by Leonardo Trujillo, Stephan M. Winkler, Sara Silva, Wolfgang Banzhaf
1st ed. 2023.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2023). - (Genetic and Evolutionary Computation. ISSN:19320175)
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / edited by Virgile Prevosto, Cristina Seceleanu
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14066)
Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings / edited by Laura Kovács, Karl Meinke
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13361)
Computability / by George Tourlakis
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022)
Advances in Big Data Analytics : Theory, Algorithms and Practices / by Yong Shi
1st ed. 2022.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2022)
Data, Information, and Time : The DIT Model / by Hermann Kopetz
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (SpringerBriefs in Computer Science. ISSN:21915776)
Petri Nets : Theoretical Models and Analysis Methods for Concurrent Systems / by Guanjun Liu
Graph Neural Networks: Foundations, Frontiers, and Applications / edited by Lingfei Wu, Peng Cui, Jian Pei, Liang Zhao
Machine Learning : The Basics / by Alexander Jung
1st ed. 2022.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2022). - (Machine Learning: Foundations, Methodologies, and Applications. ISSN:27309916)
Genetic Programming Theory and Practice XVIII / edited by Wolfgang Banzhaf, Leonardo Trujillo, Stephan Winkler, Bill Worzel
1st ed. 2022.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2022). - (Genetic and Evolutionary Computation. ISSN:19320175)
Grey Information : Theory and Practical Applications / by Sifeng Liu, Yi Lin
1st ed. 2006.. - (London : Springer London : Imprint: Springer , 2006). - (Advanced Information and Knowledge Processing. ISSN:21978441)
The Transfer and Diffusion of Information Technology for Organizational Resilience : IFIP TC8 WG 8.6 International Working Conference, June 7-10, 2006, Galway, Ireland / edited by Brian Donnellan, Tor Larsen, Linda Levine, Janice DeGross
1st ed. 2006.. - (New York, NY : Springer US : Imprint: Springer , 2006). - (IFIP Advances in Information and Communication Technology. ISSN:1868422X ; 206)
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective / by Denis Besnard, Cristina Gacek, Cliff Jones
1st ed. 2006.. - (London : Springer London : Imprint: Springer , 2006)
Knowledge Representation and the Semantics of Natural Language / by Hermann Helbig
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Cognitive Technologies. ISSN:21976635)
Information Systems Reengineering and Integration / by Joseph Fong
2nd ed. 2006.. - (London : Springer London : Imprint: Springer , 2006)
Informing Digital Futures : Strategies for Citizen Engagement / by Leela Damodaran, Wendy Olphert
1st ed. 2006.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2006). - (Computer Supported Cooperative Work ; 37)
eLearning and Digital Publishing / edited by Hsianghoo Steve Ching, Paul W.T. Poon, Carmel Mc Naught
1st ed. 2006.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2006). - (Computer Supported Cooperative Work ; 33)
Building an Enterprise Architecture Practice : Tools, Tips, Best Practices, Ready-to-Use Insights / by Martin van den Berg, Marlies van Steenbergen
1st ed. 2006.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2006). - (The Enterprise Series)