JavaScript を有効にしてご利用下さい.
文字サイズ
古書を探す
アダルト商品の検索を行う場合、18歳未満の方のご利用は固くお断りします。 あなたは18歳以上ですか?
Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science Series Number 41)
Handbook of Theoretical Computer Science: Vol A : Algorithms and Complexity (Leeuwen: Handbook of Theoretical Compu: Handbook of Theoretical Compu)
Proofs and Types (Cambridge Tracts in Theoretical Computer Science Series Number 7)
Logic and Computation (Soft) Interactive proof with Cambridge LCF <Cambridge Tracts in Theoretical Computer Science 2>
Coloured Petri Nets (Monographs in Theoretical Computer Science. An EATCS Series)
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Derivation and Computation Taking the Curry-Howard Correspondence Seriously <Cambridge Tracts in Theoretical Computer Science 51>
Network Algebra (Discrete Mathematics and Theoretical Computer Science)
Formal Semantics and Pragmatics (Cambridge Tracts in Theoretical Computer Science Series Number 8)
Concurrency Verification Introduction to Compositional and Noncompositional Methods <Cambridge Tracts in Theoretical Computer Science 54>
Algorithmic Information Theory (Cambridge Tracts in Theoretical Computer Science Series Number 1)
Iteration Theories: The Equational Logic of Iterative Processes (Monographs in Theoretical Computer Science. An EATCS Series)
Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science Series Number 44)
The Language of Mathematics: A Linguistic and Philosophical Investigation (Theoretical Computer Science and General Issues)
Concurrency Verification : Introduction to Compositional and Non-compositional Methods <Cambridge Tracts in Theoretical Computer Science v. 54>
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science Series Number 56)
Structural Complexity II (Monographs in Theoretical Computer Science. An EATCS Series)
DNA Computing and Molecular Programming: 20th International Conference DNA 20 Kyoto Japan September 22-26 2014. Proceedings (Theoretical Computer Science and General Issues)
Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability (Texts in Theoretical Computer Science. An EATCS Series)
Graph Drawing and Network Visualization: 26th International Symposium GD 2018 Barcelona Spain September 26-28 2018 Proceedings (Theoretical Computer Science and General Issues)
High Performance Computing: 32nd International Conference ISC High Performance 2017 Frankfurt Germany June 18?22 2017 Proceedings (Theoretical Computer Science and General Issues)
Euro-Par 2010 - Parallel Processing: 16th International Euro-Par Conference Ischia Italy August 31 - September 3 2010 Proceedings Part I (Theoretical Computer Science and General Issues)
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. an Eatcs)
Mathematical Hierarchies and Biology: Dimacs Workshop November 13-15 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)
Data Depth: Robust Multivariate Analysis, Computational Geometry and Applications (DIMACS Series in Discrete Mathematics and Theoretical Computer Science)
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding : Dimacs Workshop March 20-21 1995 (DIMACS SERIES IN ... MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)
Cognitive science : an introduction to the science of the mind
Quantum computing and quantum bits in mesoscopic systems
Science on form : proceedings of the First International Symposium for Science on Form, University of Tsukuba, Japan, November 26-30, 1985
Recent Developments on Introducing a Historical Dimension in Mathematics Education <Anneli Lax New Mathematical Library>
在庫検索から見つからなかった場合は、書誌(カタログ)からも検索できます。 お探しの古書が登録されていれば、在庫が無い本や条件に合わない本についても、こちらからリクエストを行うことができます。