資訊科學 / Computer-Science
相關書籍
-
VIP 95折
Sofsem 2025: Theory and Practice of Computer Science: 50th International Conference on Current Trends in Theory and Practice of Computer Science, Sofs$3,690$3,505 -
VIP 95折
Initial Algebras and Terminal Coalgebras$8,160$7,752 -
85折
$504面向計算機科學的數理邏輯(系統建模與推理原書第2版) -
85折
$657形式語言與自動機導論,7/e -
VIP 95折
Verification, Model Checking, and Abstract Interpretation: 26th International Conference, Vmcai 2025, Denver, Co, Usa, January 20-21, 2025, Proceeding$2,950$2,802 -
VIP 95折
Verification, Model Checking, and Abstract Interpretation: 26th International Conference, Vmcai 2025, Denver, Co, Usa, January 20-21, 2025, Proceeding$2,950$2,802 -
$478電腦導論 -
VIP 95折
Proceedings of the International Conference on Computer Science, Electronics and Industrial Engineering (Csei 2023): Volume 1: Advances in Computer Sc$9,080$8,626 -
VIP 95折
Computer Science Engineering: Proceedings of the 1st International Conference on Computing and Intelligent Information Systems (ICCIIS 2024), Bangal$9,870$9,376 -
VIP 95折
Computer Science Engineering: Proceedings of the 1st International Conference on Computing and Intelligent Information Systems (ICCIIS 2024), Bangal$9,870$9,376 -
VIP 95折
Computing Science, Communication and Security: 5th International Conference, Coms2 2024, Mehsana, Gujarat, India, February 6-7, 2024, Proceedings$4,290$4,075 -
VIP 95折
Assessing Computational Thinking: An Overview of the Field$2,420$2,299 -
VIP 95折
Advances in Cryptology - Asiacrypt 2024: 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata,$3,970$3,771 -
VIP 95折
Advances in Cryptology - Asiacrypt 2024: 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata,$3,970$3,771 -
VIP 95折
Advances in Cryptology - Asiacrypt 2024: 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata,$3,670$3,486 -
VIP 95折
Advances in Cryptology - Asiacrypt 2024: 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata,$3,130$2,973 -
VIP 95折
Computing Legacies: Digital Cultures of Simulation$1,510$1,434 -
VIP 95折
Advances in Computing Systems and Applications: Proceedings of the 6th Conference on Computing Systems and Applications$5,470$5,196 -
VIP 95折
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, Sbmf 2024, Vitória, Brazil, December 4-6, 2024, Proceedings$3,100$2,945 -
VIP 95折
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II$3,570$3,391 -
VIP 95折
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I$3,970$3,771 -
VIP 95折
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II$3,770$3,581 -
VIP 95折
Logical Foundations of Computer Science (in 2 Volumes)$15,700$14,915 -
VIP 95折
Iea International Computer and Information Literacy Study 2023 Assessment Framework$2,310$2,194 -
VIP 95折
Reversible World of Cellular Automata$5,390$5,120 -
VIP 95折
Restarting Automata: The Standard Type of Restarting Automaton and Its Variants$9,030$8,578 -
VIP 95折
Advanced Systems-Level Problem Solving, Volume 3: Manual of Dialectical Thought Forms$3,930$3,733 -
VIP 95折
Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning: 17th International Conference on Informatics in Schools: Situ$2,710$2,574 -
VIP 95折
Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings$2,510$2,384 -
VIP 95折
Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artifici$9,320$8,854
