資訊科學 / Computer-Science
相關書籍
-
VIP 95折
Computing Science, Communication and Security: 5th International Conference, Coms2 2024, Mehsana, Gujarat, India, February 6-7, 2024, Proceedings$4,300$4,085 -
VIP 95折
Assessing Computational Thinking: An Overview of the Field$2,430$2,308 -
VIP 95折
Advances in Cryptology - Asiacrypt 2024: 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata,$3,980$3,781 -
VIP 95折
Advances in Cryptology - Asiacrypt 2024: 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata,$3,980$3,781 -
VIP 95折
Advances in Cryptology - Asiacrypt 2024: 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata,$3,680$3,496 -
VIP 95折
Advances in Cryptology - Asiacrypt 2024: 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata,$3,140$2,983 -
VIP 95折
Computing Legacies: Digital Cultures of Simulation$1,520$1,444 -
VIP 95折
Advances in Computing Systems and Applications: Proceedings of the 6th Conference on Computing Systems and Applications$5,490$5,215 -
VIP 95折
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, Sbmf 2024, Vitória, Brazil, December 4-6, 2024, Proceedings$3,110$2,954 -
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,580$3,401 -
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,980$3,781 -
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,780$3,591 -
VIP 95折
Logical Foundations of Computer Science (in 2 Volumes)$15,740$14,953 -
VIP 95折
Iea International Computer and Information Literacy Study 2023 Assessment Framework$2,320$2,204 -
VIP 95折
Reversible World of Cellular Automata$5,410$5,139 -
VIP 95折
Restarting Automata: The Standard Type of Restarting Automaton and Its Variants$9,060$8,607 -
VIP 95折
Advanced Systems-Level Problem Solving, Volume 3: Manual of Dialectical Thought Forms$3,940$3,743 -
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,520$2,394 -
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,350$8,882 -
VIP 95折
Emerging Technologies in Computing: Theory, Practice, and Advances$2,830$2,688 -
VIP 95折
Saul Kripke on Modal Logic$7,470$7,096 -
VIP 95折
Advances in Computer Science and Ubiquitous Computing: Proceedings of Cute/CSA 2023$10,250$9,737 -
VIP 95折
Towards a Collaborative Society Through Creative Learning: Ifip World Conference on Computers in Education, Wcce 2022, Hiroshima, Japan, August 20-24,$6,460$6,137 -
VIP 95折
Computer Science and Engineering in Health Services: 6th Eai International Conference Proceedings, Compse 2022, Mexico City, July 28, 2022$9,350$8,882 -
VIP 95折
Programs as Diagrams: From Categorical Computability to Computable Categories$2,680$2,546 -
VIP 95折
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II$7,070$6,716 -
VIP 95折
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I$2,320$2,204 -
VIP 95折
Existing in the Information Dimension: An Introduction to Emergent Information Theory$8,340$7,923 -
VIP 95折
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings$2,120$2,014