資訊科學 / Computer-Science
相關書籍
-
預購95折
Shifts: Nine Big Ideas That Revolutionized Computing$1,690$1,605 -
預購95折
Against Bias: How Computing Cultures Manufacture Disengagement$2,360$2,242 -
VIP 95折
Green Computing for Sustainable Development$2,900$2,755 -
VIP 95折
Beautiful Math: The Surprisingly Simple Ideas Behind the Digital Revolution in How We Live, Work, and Communicate$950$902 -
VIP 95折
Resilient Complex Adaptive Systems: Modeling, Simulation, Visualization and Engineering Approaches$4,910$4,664 -
VIP 95折
Philosophical Logic: A Phenomenological Approach$6,600$6,270 -
VIP 95折
Philosophical and Cultural Aspects of Computing: A Companion Guide to Ethical and Historical Elements$2,600$2,470 -
VIP 95折
Theory of Computation for Software Developers$5,200$4,940 -
VIP 95折
Theory of Computation for Software Developers$4,900$4,655 -
VIP 95折
Computer Aided Verification: 38th International Conference, Cav 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I$2,320$2,204 -
VIP 95折
Computer Aided Verification: 38th International Conference, Cav 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II$2,320$2,204 -
VIP 95折
Emerging Trends in Scientific Computing and Theoretical Computer Science: 23rd International Conference, CSC 2025, and 21st International Conference,$4,300$4,085 -
VIP 95折
Developments in Language Theory: 30th International Conference, Dlt 2026, Rouen, France, June 30 - July 3, 2026, Proceedings$3,310$3,144 -
VIP 95折
Rigorous Methods in Theory and Practice: Essays Dedicated to Egon Börger on the Occasion of His 80th Birthday$3,140$2,983 -
VIP 95折
Petri Nets in Systems Biology: Methodology and Applications$7,250$6,887 -
VIP 95折
Demarcating Logic and Science: Exploring New Frontiers$4,700$4,465 -
VIP 95折
Rigorous State-Based Methods: 12th International Conference, Abz 2026, Tokyo, Japan, May 18-20, 2026, Proceedings$3,510$3,334 -
VIP 95折
Formal Methods Teaching: 7th Formal Methods Teaching Workshop, Fmtea 2026, Tokyo, Japan, May 19, 2026, Proceedings$2,420$2,299 -
VIP 95折
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I$2,240$2,128 -
VIP 95折
Introduction to Modern Cryptography, Revised Third Edition: Student Solutions Manual$2,800$2,660 -
VIP 95折
Computational Reflections$2,530$2,403 -
VIP 95折
Ict: Applications and Social Interfaces: Proceedings of Ictcs 2025, Volume 1$10,430$9,908 -
VIP 95折
Computational Thinking: Rethinking How We Think$2,060$1,957 -
VIP 95折
Modal Logic in Europe: 1930-1959$5,490$5,215 -
VIP 95折
Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem$2,420$2,299 -
VIP 95折
Foundations of Software Science and Computation Structures: 29th International Conference, Fossacs 2026, Held as Part of the International Joint Confe$2,320$2,204 -
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,320$2,204 -
VIP 95折
The Spectrum of Computer Science: Emerging Technologies and Trends$7,640$7,258 -
VIP 95折
Applied Computer Science: 11th Spanish German Symposium, Sgsoacs 2025, Vienna, Austria, June 30-July 3, 2025, Proceedings$4,040$3,838 -
VIP 95折
Gentzen's Logical Calculi: (The Theory Pamphlet)$2,420$2,299
