天瓏網路書店 | Computer-Science

~~$6,550~~ $6,223

Advances in Computer Communication and Computational Sciences: Proceedings of IC4S 2017, Volume 2 (Advances in Intelligent Systems and Computing)

The Making of a New Science: A Personal Journey Through the Early Years of Theoretical Computer Science-cover

VIP 95折

~~$3,430~~ $3,259

The Making of a New Science: A Personal Journey Through the Early Years of Theoretical Computer Science

Innovations in Computer Science and Engineering: Proceedings of the Fourth Icicse 2016-cover

VIP 95折

~~$12,690~~ $12,056

Innovations in Computer Science and Engineering: Proceedings of the Fourth Icicse 2016

Applied Computing & Information Technology-cover

VIP 95折

~~$4,440~~ $4,218

Applied Computing & Information Technology

Computational Science/Intelligence and Applied Informatics-cover

VIP 95折

~~$4,440~~ $4,218

Computational Science/Intelligence and Applied Informatics

VIP 95折

~~$4,530~~ $4,304

Computer and Information Science

Objects and Modalities: A Study in the Semantics of Modal Logic-cover

VIP 95折

~~$4,530~~ $4,304

Objects and Modalities: A Study in the Semantics of Modal Logic

Applied Computing and Information Technology-cover

VIP 95折

~~$4,440~~ $4,218

Applied Computing and Information Technology

VIP 95折

~~$2,750~~ $2,613

Models of Computation

Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics-cover

VIP 95折

~~$6,690~~ $6,356

Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science)-cover

VIP 95折

~~$3,980~~ $3,781

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science)

User Centered System Design: New Perspectives on Human-computer Interaction-cover

VIP 95折

~~$8,650~~ $8,218

User Centered System Design: New Perspectives on Human-computer Interaction

Computer and Information Science (Studies in Computational Intelligence)-cover

VIP 95折

~~$4,440~~ $4,218

Computer and Information Science (Studies in Computational Intelligence)

General Systemology: Transdisciplinarity for Discovery, Insight and Innovation (Translational Systems Sciences)-cover

VIP 95折

~~$5,040~~ $4,788

General Systemology: Transdisciplinarity for Discovery, Insight and Innovation (Translational Systems Sciences)

Graph-Based Representation and Reasoning: 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings (Lecture Notes in Computer Science)-cover

VIP 95折

~~$2,330~~ $2,214

Graph-Based Representation and Reasoning: 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings (Lecture Notes in Computer Science)

An Interdisciplinary Approach to Computer Science and Technology-cover

VIP 95折

~~$4,970~~ $4,722

An Interdisciplinary Approach to Computer Science and Technology

Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings (Lecture Notes in Computer Science)-cover

VIP 95折

~~$2,330~~ $2,214

Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings (Lecture Notes in Computer Science)