資訊科學 / Computer-Science
相關書籍
-
預購95折
Against Bias: How Computing Cultures Manufacture Disengagement$2,290$2,175 -
VIP 95折
Philosophical and Cultural Aspects of Computing: A Companion Guide to Ethical and Historical Elements$2,690$2,555 -
VIP 95折
Philosophical Logic: A Phenomenological Approach$6,400$6,080 -
VIP 95折
Theory of Computation for Software Developers$4,740$4,503 -
VIP 95折
Theory of Computation for Software Developers$4,460$4,237 -
VIP 95折
Computer Aided Verification: 38th International Conference, Cav 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I$2,250$2,137 -
VIP 95折
Computer Aided Verification: 38th International Conference, Cav 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II$2,250$2,137 -
VIP 95折
Emerging Trends in Scientific Computing and Theoretical Computer Science: 23rd International Conference, CSC 2025, and 21st International Conference,$4,170$3,961 -
VIP 95折
Developments in Language Theory: 30th International Conference, Dlt 2026, Rouen, France, June 30 - July 3, 2026, Proceedings$3,210$3,049 -
VIP 95折
Rigorous Methods in Theory and Practice: Essays Dedicated to Egon Börger on the Occasion of His 80th Birthday$3,370$3,201 -
VIP 95折
Petri Nets in Systems Biology: Methodology and Applications$7,860$7,467 -
VIP 95折
Demarcating Logic and Science: Exploring New Frontiers$4,560$4,332 -
VIP 95折
Rigorous State-Based Methods: 12th International Conference, Abz 2026, Tokyo, Japan, May 18-20, 2026, Proceedings$3,400$3,230 -
VIP 95折
Formal Methods Teaching: 7th Formal Methods Teaching Workshop, Fmtea 2026, Tokyo, Japan, May 19, 2026, Proceedings$2,590$2,460 -
VIP 95折
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I$2,390$2,270 -
VIP 95折
Introduction to Modern Cryptography, Revised Third Edition: Student Solutions Manual$2,560$2,432 -
VIP 95折
Computational Reflections$2,960$2,812 -
VIP 95折
Ict: Applications and Social Interfaces: Proceedings of Ictcs 2025, Volume 1$11,340$10,773 -
VIP 95折
Computational Thinking: Rethinking How We Think$2,190$2,080 -
VIP 95折
Modal Logic in Europe: 1930-1959$5,320$5,054 -
VIP 95折
Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem$2,590$2,460 -
VIP 95折
Foundations of Software Science and Computation Structures: 29th International Conference, Fossacs 2026, Held as Part of the International Joint Confe$2,250$2,137 -
VIP 95折
Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, Tacas 2026, Held as Part of the International Joint$2,250$2,137 -
VIP 95折
The Spectrum of Computer Science: Emerging Technologies and Trends$8,290$7,875 -
VIP 95折
Applied Computer Science: 11th Spanish German Symposium, Sgsoacs 2025, Vienna, Austria, June 30-July 3, 2025, Proceedings$4,360$4,142 -
VIP 95折
Gentzen's Logical Calculi: (The Theory Pamphlet)$2,590$2,460 -
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$7,110$6,754 -
VIP 95折
Special Topics in Information Technology$1,790$1,700 -
VIP 95折
Computer Science Why: Answers to Computer Science Questions They Don't Cover in Class$2,660$2,527 -
VIP 95折
Computer Science Why: Answers to Computer Science Questions They Don't Cover in Class$7,580$7,201
