資訊科學 / Computer-Science
相關書籍
-
VIP 95折
Frontiers of Combining Systems: 15th International Symposium, Frocos 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings$2,250$2,137 -
VIP 95折
Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions$3,400$3,230 -
VIP 95折
Futureshock: Happenings in Computer Science$2,780$2,641 -
VIP 95折
Futureshock: Happenings in Computer Science$3,820$3,629 -
VIP 95折
Round and Computational Efficiency of Multi-Party Protocols$9,080$8,626 -
VIP 95折
Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education: 18th International Conference$2,440$2,318 -
VIP 95折
Developments in Language Theory: 29th International Conference, Dlt 2025, Seoul, South Korea, August 19-22, 2025, Proceedings$5,710$5,424 -
VIP 95折
The Idealized Mind: From Model-Based Science to Cognitive Science$2,290$2,175 -
VIP 95折
Petri Nets for Modeling Complex Discrete-Event Systems: An Approach Based on Gpensim$8,290$7,875 -
VIP 95折
Logic, Language, Information, and Computation: 31st International Workshop, Wollic 2025, Porto, Portugal, July 14-17, 2025, Proceedings$3,210$3,049 -
VIP 95折
Research and Innovation Forum 2024$10,280$9,766 -
VIP 95折
Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III$2,250$2,137 -
VIP 95折
Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV$2,250$2,137 -
VIP 95折
Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I$2,250$2,137 -
VIP 95折
Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II$2,250$2,137 -
VIP 95折
South African Computer Science and Information Systems Research Trends: 46th Annual Conference, Saicsit 2025, Durban, South Africa, July 17-18, 2025,$4,170$3,961 -
VIP 95折
Languages of Cooperation and Communication: Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career$3,670$3,486 -
VIP 95折
Proceedings of the Fourth International Conference on Innovations in Computing Research (Icr'25)$8,790$8,350 -
VIP 95折
Information Technology: An Introduction for Today's Digital World$3,730$3,543 -
VIP 95折
Reversible Computation: 17th International Conference, Rc 2025, Odense, Denmark, July 3-4, 2025, Proceedings$3,020$2,869 -
VIP 95折
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations: 21st Conference on Computability in Europe, Cie 2025, Lisbon, Portugal$6,480$6,156 -
VIP 95折
Argument Dialectics: The Place of Reasons in Logic$6,720$6,384 -
VIP 95折
An Introduction to String Diagrams for Computer Scientists$1,230$1,168 -
VIP 95折
An Introduction to String Diagrams for Computer Scientists$3,450$3,277 -
VIP 95折
Advances in Dependable Systems and Networks: Proceedings of the Twentieth International Conference on Dependability of Computer Systems Depcos-Relcome$9,940$9,443 -
VIP 95折
Proceedings of the 14th International Conference on Computer Engineering and Networks: Volume III$13,310$12,644 -
VIP 95折
Proceedings of the 14th International Conference on Computer Engineering and Networks: Volume IV$13,310$12,644 -
VIP 95折
Proceedings of the 14th International Conference on Computer Engineering and Networks: Volume II$13,310$12,644 -
VIP 95折
Proceedings of the 14th International Conference on Computer Engineering and Networks: Volume I$13,310$12,644 -
VIP 95折
Foundations of Software Science and Computation Structures: 28th International Conference, Fossacs 2025, Held as Part of the International Joint Confe$2,390$2,270