資訊科學 / Computer-Science
相關書籍
-
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings$2,040$1,999 -
Understanding the Digital World: Modeling with Heraklit$2,420$2,371 -
VIP 95折
Symbolic Computation in Software Science: 10th International Symposium, Scss 2024, Tokyo, Japan, August 28-30, 2024, Proceedings$5,490$5,215 -
VIP 95折
Simulating Science: Computer Simulations as Scientific Instruments$4,610$4,379 -
VIP 95折
Innovative Practices in Teaching Information Sciences and Technology: Further Experience Reports and Reflections$8,120$7,714 -
VIP 95折
A Study of Statistical Zero-Knowledge Proofs$3,440$3,268 -
VIP 95折
Proceedings of the 14th Indian Conference on Human-Computer Interaction: Indiahci'23$7,340$6,973 -
VIP 95折
Conceptual Knowledge Structures: First International Joint Conference, Concepts 2024, Cádiz, Spain, September 9-13, 2024, Proceedings$3,340$3,173 -
Proceedings of the Third International Conference on Innovations in Computing Research (Icr'24)$9,850$9,653 -
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part III$2,230$2,185 -
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part I$2,230$2,185 -
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,150$2,992 -
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part II$2,230$2,185 -
South African Computer Science and Information Systems Research Trends: 45th Annual Conference, Saicsit 2024, Gqeberha, South Africa, July 15-17, 2024$5,280$5,174 -
Computer Science - Cacic 2023: 29th Argentine Congress of Computer Science, Lujan, Argentina, October 9-12, 2023, Revised Selected Papers$4,130$4,047 -
Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II$3,370$3,302 -
Twenty Years of Theoretical and Practical Synergies: 20th Conference on Computability in Europe, Cie 2024, Amsterdam, the Netherlands, July 8-12, 2024$7,940$7,781 -
Rigorous State-Based Methods: 10th International Conference, Abz 2024, Bergamo, Italy, June 25-28, 2024, Proceedings$3,560$3,488 -
VIP 95折
Computational Modeling of Multilevel Organisational Learning and Its Control Using Self-Modeling Network Models$8,120$7,714 -
System Dependability - Theory and Applications: Proceedings of the Nineteenth International Conference on Dependability of Computer Systems Depcos-Rel$9,850$9,653 -
Logic and Information$3,420$3,351 -
Logic and Information$1,220$1,195 -
VIP 95折
Computer Science Engineering and Emerging Technologies: Proceedings of Iccs 2022$2,360$2,242 -
VIP 95折
Advances in Computer Science and Ubiquitous Computing: Proceedings of Cute-CSA 2022$11,240$10,678 -
VIP 95折
Higher Education Computer Science: A Manual of Practical Approaches$2,860$2,717 -
NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings$5,660$5,546 -
The Chinese Computer: A Global History of the Information Age$1,360$1,332 -
VIP 95折
Research Techniques for Computer Science, Information Systems and Cybersecurity$3,440$3,268 -
VIP 95折
A Beginner's Guide to Informatics and Artificial Intelligence: A Short Course Towards Practical Problem Solving$2,370$2,251 -
VIP 95折
Computer and Information Science and Engineering: Volume 16$7,430$7,058
