資訊科學 / Computer-Science
相關書籍
-
Advances in Computing Systems and Applications: Proceedings of the 6th Conference on Computing Systems and Applications$5,290$5,184 -
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, Sbmf 2024, Vitória, Brazil, December 4-6, 2024, Proceedings$2,810$2,753 -
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II$3,450$3,381 -
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I$3,450$3,381 -
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II$3,260$3,194 -
$0Logical Foundations of Computer Science (in 2 Volumes) -
Iea International Computer and Information Literacy Study 2023 Assessment Framework$2,230$2,185 -
Restarting Automata: The Standard Type of Restarting Automaton and Its Variants$8,730$8,555 -
VIP 95折
Advanced Systems-Level Problem Solving, Volume 3: Manual of Dialectical Thought Forms$4,230$4,018 -
Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning: 17th International Conference on Informatics in Schools: Situ$2,430$2,381 -
Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings$2,430$2,381 -
VIP 95折
Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artifici$10,100$9,595 -
Emerging Technologies in Computing: Theory, Practice, and Advances$3,040$2,979 -
Saul Kripke on Modal Logic$6,820$6,683 -
Advances in Computer Science and Ubiquitous Computing: Proceedings of Cute/CSA 2023$9,880$9,682 -
VIP 95折
Towards a Collaborative Society Through Creative Learning: Ifip World Conference on Computers in Education, Wcce 2022, Hiroshima, Japan, August 20-24,$6,970$6,621 -
Reversible World of Cellular Automata$5,220$5,115 -
VIP 95折
Computer Science and Engineering in Health Services: 6th Eai International Conference Proceedings, Compse 2022, Mexico City, July 28, 2022$10,100$9,595 -
VIP 95折
Programs as Diagrams: From Categorical Computability to Computable Categories$2,860$2,717 -
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II$6,820$6,683 -
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I$2,230$2,185 -
Existing in the Information Dimension: An Introduction to Emergent Information Theory$7,590$7,438 -
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings$2,040$1,999 -
Understanding the Digital World: Modeling with Heraklit$2,230$2,185 -
VIP 95折
Symbolic Computation in Software Science: 10th International Symposium, Scss 2024, Tokyo, Japan, August 28-30, 2024, Proceedings$5,110$4,854 -
VIP 95折
Simulating Science: Computer Simulations as Scientific Instruments$4,620$4,389 -
VIP 95折
Innovative Practices in Teaching Information Sciences and Technology: Further Experience Reports and Reflections$8,140$7,733 -
VIP 95折
A Study of Statistical Zero-Knowledge Proofs$3,450$3,277 -
VIP 95折
Proceedings of the 14th Indian Conference on Human-Computer Interaction: Indiahci'23$7,360$6,992 -
VIP 95折
Conceptual Knowledge Structures: First International Joint Conference, Concepts 2024, Cádiz, Spain, September 9-13, 2024, Proceedings$3,350$3,182
