資訊科學 / Computer-Science
相關書籍
-
VIP 95折
Histories of Computing in Asia: Ifip Wg 9.7 International Workshop on the History of Computing, Hc 2024, Phuket, Thailand, September 8-9, 2024, Revise$6,560$6,232 -
VIP 95折
Special Topics in Information Technology$1,840$1,748 -
VIP 95折
Computer Science Why: Answers to Computer Science Questions They Don't Cover in Class$2,900$2,755 -
VIP 95折
Computer Science Why: Answers to Computer Science Questions They Don't Cover in Class$8,340$7,923 -
VIP 95折
Mastering the Academic Writing Mindset: A Guide to Crafting Computer Science Papers$2,240$2,128 -
VIP 95折
Computing Science, Communication and Security: 6th International Conference, Coms2 2025, Mehsana, Gujarat, India, September 12-13, 2025, Proceedings$4,300$4,085 -
VIP 95折
Logic, Language, and Computation: 14th International Tbilisi Symposium, Tbillc 2023, Telavi, Georgia, September 18-22, 2023, Revised Selected Papers$5,890$5,595 -
VIP 95折
Sofsem 2026: Theory and Practice of Computer Science: 51st International Conference on Current Trends in Theory and Practice of Computer Science, Sofs$4,700$4,465 -
VIP 95折
Guide to Teaching Computer Science: An Activity-Based Approach$4,300$4,085 -
VIP 95折
Frege's Views on Truth: Extending 'Logical Investigations'$5,490$5,215 -
VIP 95折
The Making and Meanings of a Computing Reference Work: Exploring the Encyclopedia of Computer Science$2,320$2,204 -
VIP 95折
On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday$2,520$2,394 -
VIP 95折
A Brief History of Computing$2,240$2,128 -
VIP 95折
First-Order Schemata and Inductive Proof Analysis$6,920$6,574 -
VIP 95折
Theory and Applications of Models of Computation: 19th Annual Conference, Tamc 2025, Jinan, China, September 19-21, 2025, Proceedings$3,140$2,983 -
VIP 95折
Guide to Feistel Ciphers: Security Proofs and Cryptanalysis$3,680$3,496 -
VIP 95折
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,400$4,180 -
VIP 95折
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,700$4,465 -
VIP 95折
Theory of Cryptography: 23rd International Conference, Tcc 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part I$3,510$3,334 -
VIP 95折
Formal Methods: Foundations and Applications: 28th Brazilian Symposium, Sbmf 2025, Recife, Brazil, December 3-5, 2025, Proceedings$2,910$2,764 -
VIP 95折
An International Perspective on Digital Literacy: Results from Icils 2023$2,600$2,470 -
VIP 95折
Integrated Formal Methods: 20th International Conference, Ifm 2025, Paris, France, November 19-21, 2025, Proceedings$3,140$2,983 -
VIP 95折
Model Checking Software: 31st International Symposium, Spin 2025, Hamilton, On, Canada, May 7-8, 2025, Proceedings$2,320$2,204 -
VIP 95折
Automated Technology for Verification and Analysis: 23rd International Symposium, Atva 2025, Bengaluru, India, October 27-31, 2025, Proceedings$3,900$3,705 -
VIP 95折
Rules and Reasoning: 9th International Joint Conference, Ruleml+rr 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings$2,780$2,641 -
VIP 95折
Advances in Conceptual Modeling: Er 2025 Workshops, Fcm, Cmls, Llm4modeling, Ontocom, and Quames, Poitiers, France, October 20-23, 2025, Proceedings.$3,510$3,334 -
VIP 95折
Logic, Rationality, and Interaction: 10th International Conference on Logic, Rationality and Interaction, Lori 2025, Xi'an, China, October 16-19, 2025$3,310$3,144 -
VIP 95折
Computer Science - Cacic 2024: 30th Argentine Congress of Computer Science, La Plata, Argentina, October 7-10, 2024, Revised Selected Papers$4,040$3,838 -
VIP 95折
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, Qest+formats 2025, Aarhus$3,310$3,144 -
VIP 95折
Proceedings of Fifth International Conference on Advances in Computer Engineering and Communication Systems: Icacecs 2024$11,150$10,592
