資訊科學 / Computer-Science
相關書籍
-
NASA Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings$3,440$3,371 -
VIP 95折
Guide to Teaching Computer Science: An Activity-Based Approach$3,730$3,543 -
Advances in Computer Science for Engineering and Education III$8,710$8,535 -
Cyber Security and Computer Science: Second Eai International Conference, Iconcs 2020, Dhaka, Bangladesh, February 15-16, 2020, Proceedings$6,420$6,291 -
Implicit and Explicit Semantics Integration in Proof Based Developments of Discrete Systems: Communications of Nii Shonan Meetings$4,510$4,419 -
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 -
VIP 95折
Computer Science Education Research$2,510$2,384 -
Graph Transformation: 13th International Conference, Icgt 2020, Held as Part of Staf 2020, Bergen, Norway, June 25-26, 2020, Proceedings$2,420$2,371 -
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, Cie 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings$2,420$2,371 -
Being a Researcher: An Informatics Perspective$1,580$1,548 -
Tests and Proofs: 14th International Conference, Tap 2020, Held as Part of Staf 2020, Bergen, Norway, June 22-23, 2020, Proceedings$2,420$2,371 -
Advances in Computational Intelligence and Communication Technology: Proceedings of Cict 2019$8,710$8,535 -
95折
$1,263The Art of Doing Science and Engineering: Learning to Learn (Hardcover) -
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday$2,420$2,371 -
Reversible Computation: Extending Horizons of Computing: Selected Results of the Cost Action Ic1405$2,230$2,185 -
Computer Science - Cacic 2019: 25th Argentine Congress of Computer Science, Cacic 2019, Río Cuarto, Argentina, October 14-18, 2019, Revised Selected$2,420$2,371 -
VIP 95折
Code Nation: Personal Computing and the Learn to Program Movement in America$2,140$2,033 -
VIP 95折
Code Nation: Personal Computing and the Learn to Program Movement in America$1,530$1,453 -
VIP 95折
The Coevolution: The Entwined Futures of Humans and Machines$1,530$1,453 -
Technology for Success: Computer Concepts (AE-Paperback)$1,380$1,352 -
Everything You Need to Ace Computer Science and Coding in One Big Fat Notebook: The Complete Middle School Study Guide (Big Fat Notebooks)$830$813 -
OCR GCSE Computer Science (9-1) J277$1,360$1,332 -
Logic and Argumentation: Third International Conference, Clar 2020, Hangzhou, China, April 6-9, 2020, Proceedings$2,420$2,371 -
Sustainable Digital Communities: 15th International Conference, Iconference 2020, Boras, Sweden, March 23-26, 2020, Proceedings$4,550$4,459 -
VIP 95折
Critical Code Studies$1,340$1,273 -
VIP 95折
Time & Logic: A Computational Approach$5,880$5,586 -
VIP 95折
For the Love of Cybernetics: Personal Narratives by Cyberneticians: Personal Narratives by Cyberneticians$6,180$5,871 -
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proce$3,750$3,675
