資訊科學 / Computer-Science
相關書籍
-
VIP 95折
Proceedings of Fifth International Conference on Advances in Computer Engineering and Communication Systems: Icacecs 2024$12,020$11,419 -
VIP 95折
Cellular Automata and Discrete Complex Systems: 31st Ifip Wg 1.5 International Workshop, Automata 2025, Lille, France, June 30 - July 2, 2025, Proceed$5,100$4,845 -
VIP 95折
Computer Science from Scratch: Building Interpreters, Art, Emulators and ML in Python (Paperback)$1,840$1,748 -
Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, Tableaux 2025, Reykjavik, Iceland, September 27-29, 202$2,230$2,185 -
Frontiers of Combining Systems: 15th International Symposium, Frocos 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings$2,230$2,185 -
Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions$3,370$3,302 -
VIP 95折
Futureshock: Happenings in Computer Science$2,660$2,527 -
VIP 95折
Futureshock: Happenings in Computer Science$3,210$3,049 -
VIP 95折
Round and Computational Efficiency of Multi-Party Protocols$8,990$8,540 -
Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education: 18th International Conference$2,420$2,371 -
Developments in Language Theory: 29th International Conference, Dlt 2025, Seoul, South Korea, August 19-22, 2025, Proceedings$5,660$5,546 -
VIP 95折
The Idealized Mind: From Model-Based Science to Cognitive Science$2,400$2,280 -
VIP 95折
Petri Nets for Modeling Complex Discrete-Event Systems: An Approach Based on Gpensim$8,210$7,799 -
Logic, Language, Information, and Computation: 31st International Workshop, Wollic 2025, Porto, Portugal, July 14-17, 2025, Proceedings$3,180$3,116 -
VIP 95折
Research and Innovation Forum 2024$10,190$9,680 -
Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III$2,230$2,185 -
Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV$2,230$2,185 -
Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I$2,230$2,185 -
Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II$2,230$2,185 -
South African Computer Science and Information Systems Research Trends: 46th Annual Conference, Saicsit 2025, Durban, South Africa, July 17-18, 2025,$4,130$4,047 -
Languages of Cooperation and Communication: Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career$3,630$3,557 -
Proceedings of the Fourth International Conference on Innovations in Computing Research (Icr'25)$8,710$8,535 -
VIP 95折
Information Technology: An Introduction for Today's Digital World$3,690$3,505 -
Reversible Computation: 17th International Conference, Rc 2025, Odense, Denmark, July 3-4, 2025, Proceedings$2,990$2,930 -
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations: 21st Conference on Computability in Europe, Cie 2025, Lisbon, Portugal$6,420$6,291 -
VIP 95折
Argument Dialectics: The Place of Reasons in Logic$6,650$6,317 -
An Introduction to String Diagrams for Computer Scientists$1,220$1,195 -
An Introduction to String Diagrams for Computer Scientists$3,420$3,351 -
Advances in Dependable Systems and Networks: Proceedings of the Twentieth International Conference on Dependability of Computer Systems Depcos-Relcome$9,850$9,653 -
Proceedings of the 14th International Conference on Computer Engineering and Networks: Volume III$13,180$12,916
