| 共有 6 項 | ||||
|
eBook: Structural Decision Diagrams in Digital Test: Theory and Applications (DRM PDF)
Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman, Springer Nature Switzerland, 出版日期: 2024/01/29, 系列: Computer Science Foundations and Applied Logic
|
||
|
|
eBook: Structural Decision Diagrams in Digital Test: Theory and Applications (DRM EPUB)
Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman, Springer Nature Switzerland, 出版日期: 2024/01/29, 系列: Computer Science Foundations and Applied Logic
|
||
|
eBook: Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis (DRM PDF)
Eike Best, Raymond Devillers, Springer Nature Switzerland, 出版日期: 2024/01/23, 系列: Computer Science Foundations and Applied Logic
|
||
|
eBook: Algorithms for Constructing Computably Enumerable Sets (DRM PDF)
Kenneth J. Supowit, Springer International Publishing, 出版日期: 2023/05/23, 系列: Computer Science Foundations and Applied Logic
|
||
|
|
eBook: Algorithms for Constructing Computably Enumerable Sets (DRM EPUB)
Kenneth J. Supowit, Springer International Publishing, 出版日期: 2023/05/23, 系列: Computer Science Foundations and Applied Logic
|
||
|
eBook: Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (DRM PDF)
William M. Farmer, Springer International Publishing, 出版日期: 2023/01/01, 系列: Computer Science Foundations and Applied Logic
|
||