資訊科學 / Computer-Science
相關書籍
-
預購95折
Against Bias: How Computing Cultures Manufacture Disengagement$2,400$2,280 -
VIP 95折
Petri Nets in Systems Biology: Methodology and Applications$7,690$7,305 -
VIP 95折
Introduction to Modern Cryptography, Revised Third Edition: Student Solutions Manual$2,450$2,327 -
VIP 95折
Computational Reflections$2,570$2,441 -
VIP 95折
Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem$2,560$2,432 -
VIP 95折
The Spectrum of Computer Science: Emerging Technologies and Trends$8,210$7,799 -
Special Topics in Information Technology$1,770$1,734 -
VIP 95折
Computer Science Why: Answers to Computer Science Questions They Don't Cover in Class$2,510$2,384 -
VIP 95折
Computer Science Why: Answers to Computer Science Questions They Don't Cover in Class$6,480$6,156 -
Guide to Teaching Computer Science: An Activity-Based Approach$4,130$4,047 -
Frege's Views on Truth: Extending 'Logical Investigations'$5,280$5,174 -
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,420$2,371 -
VIP 95折
A Brief History of Computing$2,370$2,251 -
VIP 95折
First-Order Schemata and Inductive Proof Analysis$7,430$7,058 -
VIP 95折
Theory and Applications of Models of Computation: 19th Annual Conference, Tamc 2025, Jinan, China, September 19-21, 2025, Proceedings$3,340$3,173 -
VIP 95折
Guide to Feistel Ciphers: Security Proofs and Cryptanalysis$3,930$3,733 -
VIP 95折
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,710$4,474 -
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,510$4,419 -
Theory of Cryptography: 23rd International Conference, Tcc 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part I$3,370$3,302 -
Formal Methods: Foundations and Applications: 28th Brazilian Symposium, Sbmf 2025, Recife, Brazil, December 3-5, 2025, Proceedings$2,800$2,744 -
VIP 95折
An International Perspective on Digital Literacy: Results from Icils 2023$2,760$2,622 -
VIP 95折
Integrated Formal Methods: 20th International Conference, Ifm 2025, Paris, France, November 19-21, 2025, Proceedings$3,340$3,173 -
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,750$3,675 -
VIP 95折
Rules and Reasoning: 9th International Joint Conference, Ruleml+rr 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings$2,950$2,802 -
Advances in Conceptual Modeling: Er 2025 Workshops, Fcm, Cmls, Llm4modeling, Ontocom, and Quames, Poitiers, France, October 20-23, 2025, Proceedings.$3,370$3,302 -
Logic, Rationality, and Interaction: 10th International Conference on Logic, Rationality and Interaction, Lori 2025, Xi'an, China, October 16-19, 2025$3,180$3,116 -
VIP 95折
Computer Science - Cacic 2024: 30th Argentine Congress of Computer Science, La Plata, Argentina, October 7-10, 2024, Revised Selected Papers$4,320$4,104 -
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, Qest+formats 2025, Aarhus$3,180$3,116
