資訊科學 / Computer-Science
相關書籍
-
The Dialogical Roots of Deduction: Historical, Cognitive, and Philosophical Perspectives on Reasoning$4,260$4,174 -
Theory and Practice of Computation: Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Ph$8,920$8,741 -
VIP 95折
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems$5,210$4,949 -
The Foundations of Computability Theory$4,150$4,067 -
Discovering Computer Science: Interdisciplinary Problems, Principles, and Python Programming$10,080$9,878 -
Discovering Computer Science: Interdisciplinary Problems, Principles, and Python Programming$4,610$4,517 -
Arto Salomaa: Mathematician, Computer Scientist, and Teacher: A Thematic Biography$6,820$6,683 -
Cryptographic Obfuscation: A Survey$2,810$2,753 -
Smart Computational Strategies: Theoretical and Practical Aspects$6,820$6,683 -
80折
$560Coding in the Classroom -
An Introduction to Information Science$3,640$3,567 -
From Parallel to Emergent Computing$2,770$2,714 -
VIP 95折
Handbook of Distributed Team Cognition: Three-Volume Set$24,830$23,588 -
Computer and Information Science: An Interdisciplinary Approach$5,130$5,027 -
Cognitive Modeling for Automated Human Performance Evaluation at Scale$2,810$2,753 -
VIP 95折
Computation in Science (Second Edition): From concepts to practice$1,840$1,748 -
VIP 95折
Systems Benchmarking: For Scientists and Engineers$3,500$3,325 -
Applied Decision-Making: Applications in Computer Sciences and Engineering$7,970$7,810 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I$2,430$2,381 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II$2,430$2,381 -
VIP 95折
A Programmer's Guide to Computer Science Vol. 2$1,100$1,045 -
Information Technology Essentials Volume 1$810$793 -
NASA Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings$3,450$3,381 -
VIP 95折
Guide to Teaching Computer Science: An Activity-Based Approach$3,740$3,553 -
Advances in Computer Science for Engineering and Education III$8,730$8,555 -
Cyber Security and Computer Science: Second Eai International Conference, Iconcs 2020, Dhaka, Bangladesh, February 15-16, 2020, Proceedings$6,440$6,311 -
Implicit and Explicit Semantics Integration in Proof Based Developments of Discrete Systems: Communications of Nii Shonan Meetings$4,530$4,439 -
Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part II$2,040$1,999 -
Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I$2,040$1,999 -
Broad Band: The Untold Story of the Women Who Made the Internet$800$784