資訊科學 / Computer-Science
相關書籍
-
預購95折
Computational Reflections$2,580$2,451 -
Guide to Teaching Computer Science: An Activity-Based Approach$4,150$4,067 -
Frege's Views on Truth: Extending 'Logical Investigations'$5,290$5,184 -
The Making and Meanings of a Computing Reference Work: Exploring the Encyclopedia of Computer Science$2,230$2,185 -
On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday$2,430$2,381 -
VIP 95折
A Brief History of Computing$2,280$2,166 -
VIP 95折
First-Order Schemata and Inductive Proof Analysis$7,360$6,992 -
VIP 95折
Theory and Applications of Models of Computation: 19th Annual Conference, Tamc 2025, Jinan, China, September 19-21, 2025, Proceedings$3,260$3,097 -
VIP 95折
Guide to Feistel Ciphers: Security Proofs and Cryptanalysis$3,840$3,648 -
VIP 95折
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,720$4,484 -
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,530$4,439 -
Theory of Cryptography: 23rd International Conference, Tcc 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part I$3,380$3,312 -
Formal Methods: Foundations and Applications: 28th Brazilian Symposium, Sbmf 2025, Recife, Brazil, December 3-5, 2025, Proceedings$2,810$2,753 -
VIP 95折
An International Perspective on Digital Literacy: Results from Icils 2023$2,670$2,536 -
VIP 95折
Integrated Formal Methods: 20th International Conference, Ifm 2025, Paris, France, November 19-21, 2025, Proceedings$3,350$3,182 -
Model Checking Software: 31st International Symposium, Spin 2025, Hamilton, On, Canada, May 7-8, 2025, Proceedings$2,230$2,185 -
Automated Technology for Verification and Analysis: 23rd International Symposium, Atva 2025, Bengaluru, India, October 27-31, 2025, Proceedings$3,760$3,684 -
Rules and Reasoning: 9th International Joint Conference, Ruleml+rr 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings$2,810$2,753 -
Advances in Conceptual Modeling: Er 2025 Workshops, Fcm, Cmls, Llm4modeling, Ontocom, and Quames, Poitiers, France, October 20-23, 2025, Proceedings.$3,380$3,312 -
Logic, Rationality, and Interaction: 10th International Conference on Logic, Rationality and Interaction, Lori 2025, Xi'an, China, October 16-19, 2025$3,190$3,126 -
VIP 95折
Computer Science - Cacic 2024: 30th Argentine Congress of Computer Science, La Plata, Argentina, October 7-10, 2024, Revised Selected Papers$4,330$4,113 -
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, Qest+formats 2025, Aarhus$3,190$3,126 -
VIP 95折
Proceedings of Fifth International Conference on Advances in Computer Engineering and Communication Systems: Icacecs 2024$12,050$11,447 -
VIP 95折
Cellular Automata and Discrete Complex Systems: 31st Ifip Wg 1.5 International Workshop, Automata 2025, Lille, France, June 30 - July 2, 2025, Proceed$5,110$4,854 -
VIP 95折
Computer Science from Scratch: Building Interpreters, Art, Emulators and ML in Python (Paperback)$1,800$1,710 -
Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, Tableaux 2025, Reykjavik, Iceland, September 27-29, 202$2,230$2,185 -
Frontiers of Combining Systems: 15th International Symposium, Frocos 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings$2,230$2,185 -
Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions$3,380$3,312 -
Futureshock: Happenings in Computer Science$3,150$3,087 -
Futureshock: Happenings in Computer Science$3,840$3,763
