古書買取について

探求書

新着商品を見る


分野から選択

23件の商品がみつかりました。

What is Negation?
Dov M. Gabbay&Heinrich Wansing編
Applied Logic Series 13
Kluwer Academic Publishers
ヤケシミ有、薄汚れ有、表紙擦れやキズ有、本文は概ね良好。
￥4,000
Logics in Computer Science (Soft)
A Study on Extensions of Temporal and Strategic Logics
Fabio Mogavero
Atlantis Studies in Computing
Atlantis Press
カド縁擦れ。本文概ね良好。
￥2,500
Algorithms on Trees and Graphs : With Python Code : 2nd Edition
Gabriel Valiente
Texts in Computer Science
Springer
表紙カド縁擦れ。本文概ね良好。
￥4,000
Accuracy and Stability of Numerical Algorithms : 1st Edition (Soft)
Nicholas J. Higham
SIAM
表紙にコーティング浮き有、少ヤケ・シミ・擦れ・汚れ有、少角折れ頁有…
￥2,500
Dynamic Logic (Hard)
David Harel /Dexter Kozen /Jerzy Tiuryn
Foundations of Computing
MIT Press
少汚れ。カバー日焼け擦れ。本文概ね良好。
￥3,000
Quantum Information Science and Its Contributions to Mathematics
Samuel J. Lomonaco, Jr. (Ed.)
Proceedings of Symposia in Applied Mathematic 68
American Mathematical Society
少反り有。本文概ね良好。
￥4,000
Permutation Group Algorithms
Akos Seress
Cambridge Tracts in Mathematics 152
Cambridge University Press
見返し(カバー折返し部)に記名有。カバー薄汚れ擦れ・日焼け変色有。…
￥7,500
Computational Geometry : 3rd Edition (Hard)
Algorithms and Applications
Mark de Berg / Otfried Cheong / Marc van Kreveld / Mark Overmars
SPRINGER-VERLAG
カド少擦れ。本文概ね良好。
￥4,500
The Complexity of Boolean Functions
Ingo Wegener
Wiley-Teubner Series in Computer Science
WILEY
日焼けシミ。表紙汚れ。本文概ね良好。
￥6,000
Automatic Sequences
Theory, Applications, Generalizations
Jean-Paul Allouche & Jeffrey Shallit
Cambridge University Press
天小口シミ有。本文概ね良好。
￥5,000
Computer Arithmetic and Validity : 2nd Edition
Theory, Implementation, and Applications
Ulrich Kulisch
Studies in Mathematics 33
de Gruyter
少日焼け汚れ。表紙少キズ有。本文概ね良好。
￥7,000
Feasible Mathematics 2
Peter Clote & Jeffrey B. Remmel (Eds.)
Progress in Computer Science and Applied Logic 13
BIRKHAUSER VERLAG
少日焼け・汚れ有、少反り有、本文は概ね良好。
￥2,000
Executing Temporal Logic Programs
Ben Moszkowski
Cambridge University Press
日焼け汚れ。カド擦れ。本文概ね良好。
￥2,500
A Generative Theory of Shape
Michael Leyton
Lecture Notes in Computer Science 2145
SPRINGER-VERLAG
少日焼け汚れ。表紙反り・カド縁擦れ。本文概ね良好。
￥2,500
Mathematical Foundations of Computer Science : Vol. 1
Sets, Relations, and Induction
Peter A. Fejer & Dan A. Simovici
Texts and Monographs in Computer Science
SPRINGER-VERLAG
Digital printing。カド反り擦れ・折れ有。本文概ね良…
￥7,000
Axiomatic Domain Theory in Categories of Partial Maps (Soft)
Marcelo P. Fiore
Distinguished Dissertations in Computer Science
Cambridge University Press
擦れ有、薄汚れ有、折れ有、本文は概ね良好。
￥3,500
Concurrency Verification
Introduction to Compositional and Noncompositional Methods
Willem-Paul de Roever, et al.
Cambridge Tracts in Theoretical Computer Science 54
Cambridge University Press
カド擦れ・少日焼け。本文概ね良好。
￥4,000
Algorithms in Invariant Theory : 2nd Edition
Bernd Sturmfels
Texts & Monographs in Symbolic Computation
SPRINGER-VERLAG
カド縁少擦れ。本文概ね良好。
￥4,000
Logic and Computation (Soft)
Interactive proof with Cambridge LCF
L.C. Paulson
Cambridge Tracts in Theoretical Computer Science 2
Cambridge University Press
少日焼け汚れ。カド擦れ反り有。本文概ね良好。
￥2,000
Fundamentals of Codes, Graphs, and Iterative Decoding (Hard)
Stephen B. Wicker & Saejoon Kim
The Kluwer International Series in Engineering and Computer Science, 714
Kluwer Academic Publishers
天小口少シミ。表紙少擦れ。本文概ね良好。
￥3,500