Examinando Logic 821 - 840 de 1428 resultados

Libro electrónico
Correct System Design
Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
- Author
- Springer
- Diseño fijo
A partir de:$283.96 MXN
Ver detalles

Libro electrónico
Robustness and Usability in Modern Design Flows
- Görschwin Fey; Rolf Drechsler
- Springer
- Diseño fijo
A partir de:$511.13 MXN
Ver detalles

Libro electrónico
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science
26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
- 1st Edición
- S. ArunKumar; ‎Naveen Garg
- Springer
- Diseño fijo
A partir de:$283.96 MXN
Ver detalles

Libro electrónico
Theories of the Logos
- Ermanno Bencivenga
- Springer
- Diseño fijo
A partir de:$511.13 MXN
Ver detalles

Libro electrónico
The Semantics and Proof Theory of the Logic of Bunched Implications
- David J. Pym
- Springer
- Diseño fijo
A partir de:$820.90 MXN
Ver detalles

Libro electrónico
Specification and Development of Interactive Systems
Focus on Streams, Interfaces, and Refinement
- Manfred Broy; Ketil Stølen
- Springer
- Diseño fijo
A partir de:$283.96 MXN
Ver detalles

Libro electrónico
Abstractionism
Essays in Philosophy of Mathematics
- 1st Edición
- Philip A Ebert; Marcus Rossberg
- OUP Oxford
- Diseño fijo
A partir de:$653.80 MXN
Ver detalles

Libro electrónico
Mathematik für die Informatik
Grundlegende Begriffe, Strukturen und ihre Anwendung
- 2nd Edición
- Rudolf Berghammer
- Springer Vieweg
- Diseño fijo
A partir de:$129.07 MXN
Ver detalles

Libro electrónico
Computational Prospects Of Infinity - Part Ii: Presented Talks
- Chong Chitat
- World Scientific
- Diseño fijo
$1,239.10 MXN
Ver detalles

Libro electrónico
Cultures of Mathematics and Logic
Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
- Shier Ju
- Birkhäuser
- Diseño fijo
A partir de:$872.53 MXN
Ver detalles

Libro electrónico
Formal Models of Communicating Systems
Languages, Automata, and Monadic Second-Order Logic
- Benedikt Bollig
- Springer
- Diseño fijo
A partir de:$283.96 MXN
Ver detalles

Libro electrónico
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
- Springer
- Diseño ajustable
A partir de:$511.13 MXN
Ver detalles

Libro electrónico
Combinatorial Algebra: Syntax and Semantics
- Mark V. Sapir
- Springer
- Diseño ajustable
A partir de:$283.96 MXN
Ver detalles

Libro electrónico
Mathematics of Fuzzy Sets and Fuzzy Logic
- Barnabas Bede
- Springer
- Diseño fijo
A partir de:$872.53 MXN
Ver detalles

Libro electrónico
Methods of Solving Number Theory Problems
- Ellina Grigorieva
- Birkhäuser
- Diseño ajustable
A partir de:$283.96 MXN
Ver detalles

Libro electrónico
Pluralism in Mathematics: A New Position in Philosophy of Mathematics
- Michèle Friend
- Springer
- Diseño ajustable
A partir de:$511.13 MXN
Ver detalles

Libro electrónico
PROC OF THE 11TH ASIAN LOGIC CONF
In Honor of Professor Chong Chitat on His 60th Birthday
- Kim Byunghan
- World Scientific
- Diseño fijo
$757.23 MXN
Ver detalles

Libro electrónico
Logical Foundations of Computer Science
International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
- 1st Edición
- Anil Nerode; Sergei N. Artemov
- Springer
- Diseño fijo
A partir de:$283.96 MXN
Ver detalles

Libro electrónico
Exploring Mathematics
An Engaging Introduction to Proof
- John Meier; Derek Smith
- Cambridge University Press
- Diseño ajustable
A partir de:$784.76 MXN
Ver detalles

Libro electrónico
Formal Methods Teaching
4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
- Springer
- Diseño ajustable
A partir de:$309.77 MXN
Ver detalles