資訊科學 / Computer-Science
相關書籍
-
VIP 95折
Round and Computational Efficiency of Multi-Party Protocols$9,020$8,569 -
Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education: 18th International Conference$2,430$2,381 -
Developments in Language Theory: 29th International Conference, Dlt 2025, Seoul, South Korea, August 19-22, 2025, Proceedings$5,670$5,556 -
VIP 95折
The Idealized Mind: From Model-Based Science to Cognitive Science$2,410$2,289 -
VIP 95折
Petri Nets for Modeling Complex Discrete-Event Systems: An Approach Based on Gpensim$8,240$7,828 -
Logic, Language, Information, and Computation: 31st International Workshop, Wollic 2025, Porto, Portugal, July 14-17, 2025, Proceedings$3,190$3,126 -
Research and Innovation Forum 2024$10,000$9,800 -
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,150$4,067 -
Languages of Cooperation and Communication: Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career$3,260$3,194 -
Proceedings of the Fourth International Conference on Innovations in Computing Research (Icr'25)$8,730$8,555 -
Information Technology: An Introduction for Today's Digital World$4,530$4,439 -
Reversible Computation: 17th International Conference, Rc 2025, Odense, Denmark, July 3-4, 2025, Proceedings$2,810$2,753 -
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations: 21st Conference on Computability in Europe, Cie 2025, Lisbon, Portugal$5,670$5,556 -
VIP 95折
Argument Dialectics: The Place of Reasons in Logic$6,680$6,346 -
An Introduction to String Diagrams for Computer Scientists$1,120$1,097 -
An Introduction to String Diagrams for Computer Scientists$2,950$2,891 -
Advances in Dependable Systems and Networks: Proceedings of the Twentieth International Conference on Dependability of Computer Systems Depcos-Relcome$9,880$9,682 -
Proceedings of the 14th International Conference on Computer Engineering and Networks: Volume III$12,050$11,809 -
Proceedings of the 14th International Conference on Computer Engineering and Networks: Volume IV$12,050$11,809 -
Proceedings of the 14th International Conference on Computer Engineering and Networks: Volume II$12,050$11,809 -
Proceedings of the 14th International Conference on Computer Engineering and Networks: Volume I$12,050$11,809 -
VIP 95折
Foundations of Software Science and Computation Structures: 28th International Conference, Fossacs 2025, Held as Part of the International Joint Confe$2,370$2,251 -
The Combinatory Systems Theory: A Powerful Theory for Understanding, Modeling and Simulating Collective Phenomena$6,820$6,683 -
¡Conectados!$1,010$989 -
Emerging Research in Intelligent Systems: Proceedings of the Cit 2024 - Volume 1$9,880$9,682 -
Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering: 20th International Conference, Fcs 2024, and 20$4,150$4,067
