天瓏網路書店 | Computer-Science

~~$2,340~~ $2,223

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science)

Machines, Computations, and Universality: 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science)-cover

VIP 95折

~~$2,340~~ $2,223

Machines, Computations, and Universality: 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science)

Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings (Lecture Notes in Computer Science)-cover

VIP 95折

~~$2,340~~ $2,223

Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings (Lecture Notes in Computer Science)

Reasoning Web: Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures (Lecture Notes in Computer Science)-cover

VIP 95折

~~$2,530~~ $2,404

Reasoning Web: Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures (Lecture Notes in Computer Science)

Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, ... (Lecture Notes in Computer Science)-cover

VIP 95折

~~$2,340~~ $2,223

Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, ... (Lecture Notes in Computer Science)

Computational Science and Its Applications - ICCSA 2007: International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II ... Science) (Lecture Notes in Computer Science)-cover

VIP 95折

~~$6,630~~ $6,299

Computational Science and Its Applications - ICCSA 2007: International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II ... Science) (Lecture Notes in Computer Science)

Automata, Computability and Complexity: Theory and Applications (Hardcover)-cover

VIP 95折

~~$6,970~~ $6,622

Automata, Computability and Complexity: Theory and Applications (Hardcover)

Unconventional Computation: 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings (Lecture Notes in Computer Science)-cover

VIP 95折

~~$2,340~~ $2,223

Unconventional Computation: 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings (Lecture Notes in Computer Science)

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science)-cover

VIP 95折

~~$2,340~~ $2,223

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science)

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science)-cover

VIP 95折

~~$2,340~~ $2,223

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science)

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science)-cover

VIP 95折

~~$4,370~~ $4,152

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science)

Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science)-cover

VIP 95折

~~$2,340~~ $2,223

Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science)

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science)-cover

VIP 95折

~~$2,340~~ $2,223

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science)

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... (Lecture Notes in Computer Science)-cover

VIP 95折

~~$2,340~~ $2,223

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... (Lecture Notes in Computer Science)

Petri Nets and Other Models of Concurrency - ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ... (Lecture Notes in Computer Science-cover

VIP 95折

~~$2,340~~ $2,223

Petri Nets and Other Models of Concurrency - ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ... (Lecture Notes in Computer Science

Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science)-cover

VIP 95折

~~$2,340~~ $2,223

Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science)

Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings (Lecture Notes in Computer Science)-cover

VIP 95折

~~$4,380~~ $4,161

Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings (Lecture Notes in Computer Science)

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings (Lecture Notes in Computer Science)-cover

VIP 95折

~~$2,390~~ $2,271

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings (Lecture Notes in Computer Science)