資訊科學 / Computer-Science
相關書籍
-
VIP 95折
Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings$2,410$2,290 -
VIP 95折
Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artifici$10,030$9,529 -
VIP 95折
Emerging Technologies in Computing: Theory, Practice, and Advances$2,830$2,689 -
VIP 95折
Saul Kripke on Modal Logic$6,780$6,441 -
VIP 95折
Advances in Computer Science and Ubiquitous Computing: Proceedings of Cute/CSA 2023$9,820$9,329 -
VIP 95折
Towards a Collaborative Society Through Creative Learning: Ifip World Conference on Computers in Education, Wcce 2022, Hiroshima, Japan, August 20-24,$6,930$6,584 -
VIP 95折
Computer Science and Engineering in Health Services: 6th Eai International Conference Proceedings, Compse 2022, Mexico City, July 28, 2022$10,030$9,529 -
VIP 95折
Programs as Diagrams: From Categorical Computability to Computable Categories$2,850$2,708 -
VIP 95折
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II$6,780$6,441 -
VIP 95折
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I$2,220$2,109 -
VIP 95折
Existing in the Information Dimension: An Introduction to Emergent Information Theory$7,160$6,802 -
VIP 95折
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings$2,030$1,929 -
VIP 95折
Understanding the Digital World: Modeling with Heraklit$2,220$2,109 -
VIP 95折
Symbolic Computation in Software Science: 10th International Symposium, Scss 2024, Tokyo, Japan, August 28-30, 2024, Proceedings$5,080$4,826 -
VIP 95折
Simulating Science: Computer Simulations as Scientific Instruments$4,590$4,361 -
VIP 95折
Innovative Practices in Teaching Information Sciences and Technology: Further Experience Reports and Reflections$8,090$7,686 -
VIP 95折
A Study of Statistical Zero-Knowledge Proofs$3,430$3,259 -
VIP 95折
Proceedings of the 14th Indian Conference on Human-Computer Interaction: Indiahci'23$7,310$6,945 -
VIP 95折
Conceptual Knowledge Structures: First International Joint Conference, Concepts 2024, Cádiz, Spain, September 9-13, 2024, Proceedings$3,330$3,164 -
VIP 95折
Proceedings of the Third International Conference on Innovations in Computing Research (Icr'24)$9,820$9,329 -
VIP 95折
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part III$2,220$2,109 -
VIP 95折
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part I$2,220$2,109 -
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,140$2,983 -
VIP 95折
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part II$2,220$2,109 -
VIP 95折
South African Computer Science and Information Systems Research Trends: 45th Annual Conference, Saicsit 2024, Gqeberha, South Africa, July 15-17, 2024$5,260$4,997 -
VIP 95折
Computer Science - Cacic 2023: 29th Argentine Congress of Computer Science, Lujan, Argentina, October 9-12, 2023, Revised Selected Papers$4,120$3,914 -
VIP 95折
Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II$3,360$3,192 -
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,920$7,524 -
VIP 95折
Rigorous State-Based Methods: 10th International Conference, Abz 2024, Bergamo, Italy, June 25-28, 2024, Proceedings$3,550$3,373 -
VIP 95折
Computational Modeling of Multilevel Organisational Learning and Its Control Using Self-Modeling Network Models$8,090$7,686
