Durchsuche "Logic" (Zeige 41 - 60 von 2401 Ergebnissen)
The Mathematical Foundations of the Finite Element Method...
- Format: Fest
- €75.92 EURPreis inkl. MwSt.
LANGUAGE OF GAME THEORY, THE: PUTTING EPISTEMICS INTO THE...
Putting Epistemics into the Mathematics of Games- Format: reflowable eBook
- €39.85 EURPreis inkl. MwSt.
Reconfigurable Computing
Accelerating Computation with Field-Programmable Gate Arrays- Format: Fest
- €139.09 EURPreis inkl. MwSt.
New Trends in Constraints
Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers- Auflage: 1st
- Format: Fest
- €53.49 EURPreis inkl. MwSt.
PROCEEDINGS OF THE 13TH ASIAN LOGIC CONFERENCE
- Format: reflowable eBook
- €49.80 EURPreis inkl. MwSt.
Inner Models and Large Cardinals
- Auflage: 1st
- Format: Fest
- €203.25 EURPreis inkl. MwSt.
Logic Based Program Synthesis and Transformation
13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers- Auflage: 1st
- Format: Fest
- €53.49 EURPreis inkl. MwSt.
Computational Prospects Of Infinity - Part I: Tutorials
- Format: Fest
- €225.35 EURPreis inkl. MwSt.
The Great Formal Machinery Works
Theories of Deduction and Computation at the Origins of the Digital Age- Format: Fest
- €37.45 EURPreis inkl. MwSt.
Digital Libraries: Data, Information, and Knowledge for D...
19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.
Leveraging Applications of Formal Methods, Verification a...
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I- Format: reflowable eBook
- €96.29 EURPreis inkl. MwSt.
The Congruences of a Finite Lattice
A "Proof-by-Picture" Approach- Auflage: 2nd
- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.
Artificial Intelligence and Soft Computing – ICAISC 2008
9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings- Auflage: 1st
- Format: Fest
- €171.19 EURPreis inkl. MwSt.
Verification, Model Checking, and Abstract Interpretation
18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.
Applications of Graph Transformations with Industrial Rel...
4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers- Auflage: 1st
- Format: Fest
- €48.14 EURPreis inkl. MwSt.
Handbook of Formal Languages
Volume 2. Linear Modeling: Background and Application- Format: Fest
- €234.33 EURPreis inkl. MwSt.
Functional and Constraint Logic Programming
19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers- Auflage: 1st
- Format: Fest
- €53.49 EURPreis inkl. MwSt.
Provability, Computability and Reflection
- Format: Fest
- €203.30 EURPreis inkl. MwSt.
Inductive Logic
- Format: reflowable eBook
- €230.05 EURPreis inkl. MwSt.