資訊科學 / Computer-Science
相關書籍
-
VIP 95折
Emerging Technologies in Computing: Theory, Practice, and Advances$2,740$2,603 -
VIP 95折
Saul Kripke on Modal Logic$6,550$6,223 -
VIP 95折
Advances in Computer Science and Ubiquitous Computing: Proceedings of Cute/CSA 2023$9,480$9,006 -
VIP 95折
Towards a Collaborative Society Through Creative Learning: Ifip World Conference on Computers in Education, Wcce 2022, Hiroshima, Japan, August 20-24,$6,690$6,356 -
VIP 95折
Computer Science and Engineering in Health Services: 6th Eai International Conference Proceedings, Compse 2022, Mexico City, July 28, 2022$9,690$9,206 -
VIP 95折
Programs as Diagrams: From Categorical Computability to Computable Categories$2,750$2,613 -
VIP 95折
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II$6,550$6,223 -
VIP 95折
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I$2,140$2,033 -
VIP 95折
Existing in the Information Dimension: An Introduction to Emergent Information Theory$6,910$6,565 -
VIP 95折
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings$1,960$1,862 -
VIP 95折
Understanding the Digital World: Modeling with Heraklit$2,140$2,033 -
VIP 95折
Symbolic Computation in Software Science: 10th International Symposium, Scss 2024, Tokyo, Japan, August 28-30, 2024, Proceedings$4,910$4,665 -
VIP 95折
Simulating Science: Computer Simulations as Scientific Instruments$4,440$4,218 -
VIP 95折
Innovative Practices in Teaching Information Sciences and Technology: Further Experience Reports and Reflections$7,810$7,420 -
VIP 95折
A Study of Statistical Zero-Knowledge Proofs$3,310$3,145 -
VIP 95折
Proceedings of the 14th Indian Conference on Human-Computer Interaction: Indiahci'23$7,060$6,707 -
VIP 95折
Conceptual Knowledge Structures: First International Joint Conference, Concepts 2024, Cádiz, Spain, September 9-13, 2024, Proceedings$3,220$3,059 -
VIP 95折
Proceedings of the Third International Conference on Innovations in Computing Research (Icr'24)$9,480$9,006 -
VIP 95折
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part III$2,140$2,033 -
VIP 95折
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part I$2,140$2,033 -
VIP 95折
Coalgebraic Methods in Computer Science: 17th Ifip Wg 1.3 International Workshop, Cmcs 2024, Colocated with Etaps 2024, Luxembourg City, Luxembourg, A$3,030$2,879 -
VIP 95折
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part II$2,140$2,033 -
VIP 95折
South African Computer Science and Information Systems Research Trends: 45th Annual Conference, Saicsit 2024, Gqeberha, South Africa, July 15-17, 2024$5,080$4,826 -
VIP 95折
Computer Science - Cacic 2023: 29th Argentine Congress of Computer Science, Lujan, Argentina, October 9-12, 2023, Revised Selected Papers$3,980$3,781 -
VIP 95折
Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II$3,240$3,078 -
VIP 95折
Twenty Years of Theoretical and Practical Synergies: 20th Conference on Computability in Europe, Cie 2024, Amsterdam, the Netherlands, July 8-12, 2024$7,650$7,268 -
VIP 95折
Rigorous State-Based Methods: 10th International Conference, Abz 2024, Bergamo, Italy, June 25-28, 2024, Proceedings$3,430$3,259 -
VIP 95折
Computational Modeling of Multilevel Organisational Learning and Its Control Using Self-Modeling Network Models$7,810$7,420 -
VIP 95折
System Dependability - Theory and Applications: Proceedings of the Nineteenth International Conference on Dependability of Computer Systems Depcos-Rel$9,480$9,006 -
VIP 95折
Logic and Information$3,020$2,869
