資訊科學 / Computer-Science
相關書籍
-
預購95折
Against Bias: How Computing Cultures Manufacture Disengagement$2,330$2,213 -
預購95折
Theory of Computation for Software Developers$4,360$4,142 -
預購95折
Theory of Computation for Software Developers$4,360$4,142 -
VIP 95折
Petri Nets in Systems Biology: Methodology and Applications$7,160$6,802 -
VIP 95折
Introduction to Modern Cryptography, Revised Third Edition: Student Solutions Manual$2,520$2,394 -
VIP 95折
Computational Reflections$2,500$2,375 -
VIP 95折
Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem$2,390$2,270 -
VIP 95折
The Spectrum of Computer Science: Emerging Technologies and Trends$7,550$7,172 -
VIP 95折
Special Topics in Information Technology$1,820$1,729 -
VIP 95折
Computer Science Why: Answers to Computer Science Questions They Don't Cover in Class$2,580$2,451 -
VIP 95折
Computer Science Why: Answers to Computer Science Questions They Don't Cover in Class$6,660$6,327 -
VIP 95折
Guide to Teaching Computer Science: An Activity-Based Approach$4,250$4,037 -
VIP 95折
Frege's Views on Truth: Extending 'Logical Investigations'$5,420$5,149 -
VIP 95折
The Making and Meanings of a Computing Reference Work: Exploring the Encyclopedia of Computer Science$2,290$2,175 -
VIP 95折
On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday$2,490$2,365 -
VIP 95折
A Brief History of Computing$2,210$2,099 -
VIP 95折
First-Order Schemata and Inductive Proof Analysis$6,840$6,498 -
VIP 95折
Theory and Applications of Models of Computation: 19th Annual Conference, Tamc 2025, Jinan, China, September 19-21, 2025, Proceedings$3,100$2,945 -
VIP 95折
Guide to Feistel Ciphers: Security Proofs and Cryptanalysis$3,640$3,458 -
VIP 95折
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,350$4,132 -
VIP 95折
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,640$4,408 -
VIP 95折
Theory of Cryptography: 23rd International Conference, Tcc 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part I$3,460$3,287 -
VIP 95折
Formal Methods: Foundations and Applications: 28th Brazilian Symposium, Sbmf 2025, Recife, Brazil, December 3-5, 2025, Proceedings$2,880$2,736 -
VIP 95折
An International Perspective on Digital Literacy: Results from Icils 2023$2,570$2,441 -
VIP 95折
Integrated Formal Methods: 20th International Conference, Ifm 2025, Paris, France, November 19-21, 2025, Proceedings$3,100$2,945 -
VIP 95折
Model Checking Software: 31st International Symposium, Spin 2025, Hamilton, On, Canada, May 7-8, 2025, Proceedings$2,290$2,175 -
VIP 95折
Automated Technology for Verification and Analysis: 23rd International Symposium, Atva 2025, Bengaluru, India, October 27-31, 2025, Proceedings$3,860$3,667 -
VIP 95折
Rules and Reasoning: 9th International Joint Conference, Ruleml+rr 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings$2,740$2,603 -
VIP 95折
Advances in Conceptual Modeling: Er 2025 Workshops, Fcm, Cmls, Llm4modeling, Ontocom, and Quames, Poitiers, France, October 20-23, 2025, Proceedings.$3,460$3,287 -
VIP 95折
Logic, Rationality, and Interaction: 10th International Conference on Logic, Rationality and Interaction, Lori 2025, Xi'an, China, October 16-19, 2025$3,270$3,106
