Your search returned 26 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
The q-theory of Finite Semigroups [recurso electrónico] / by John Rhodes, Benjamin Steinberg. por Series Springer Monographs in Mathematics
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2009 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1).

Place hold Add to cart
2.
Reconfigurable Computing [recurso electrónico] : Accelerating Computation with Field-Programmable Gate Arrays / by Maya Gokhale, Paul S. Graham. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2005 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 621.3815.

Place hold Add to cart
3.
Abstraction, Refinement and Proof for Probabilistic Systems [recurso electrónico] / by Annabelle McIver, Carroll Morgan. por Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2005 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.11.

Place hold Add to cart
4.
Coordination of Large-Scale Multiagent Systems [recurso electrónico] / edited by Paul Scerri, Régis Vincent, Roger Mailler. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 004.0151.

Place hold Add to cart
5.
Modelling and Reasoning with Vague Concepts [recurso electrónico] / by Jonathan Lawry. por Series Studies in Computational Intelligence ; 12
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 006.3.

Place hold Add to cart
6.
M-Solid Varieties of Algebras [recurso electrónico] / by J. Koppitz, K. Denecke. por Series Advances in Mathematics ; 10
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 512.

Place hold Add to cart
7.
Mathematical Problems from Applied Logic I [recurso electrónico] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev. por Series International Mathematical Series ; 4
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.3.

Place hold Add to cart
8.
Notes on Set Theory [recurso electrónico] / by Yiannis Moschovakis. por Series Undergraduate Texts in Mathematics
Edición: Second Edition.
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.3.

Place hold Add to cart
9.
Computation Engineering [recurso electrónico] : Applied Automata Theory and Logic / by Ganesh Gopalakrishnan. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 004.0151.

Place hold Add to cart
10.
Argumentation in Artificial Intelligence [electronic resource] / edited by Guillermo Simari, Iyad Rahwan. por
Edición: First.
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2009 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1).

Place hold Add to cart
11.
Logic for Computer Scientists [electronic resource] / by Uwe Schöning. por Series Progress in Computer Science and Applied Logic (PCS) ; 8
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Birkhäuser Boston, 2008 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.131.

Place hold Add to cart
12.
Analysis and Control of Boolean Networks [electronic resource] : A Semi-tensor Product Approach / by Daizhan Cheng, Hongsheng Qi, Zhiqiang Li. por Series Communications and Control Engineering
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: London : Springer London : Imprint: Springer, 2011 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 519.

Place hold Add to cart
13.
Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek. por Series Undergraduate Topics in Computer Science
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: London : Springer London, 2011 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 004.0151.

Place hold Add to cart
14.
Quaternions for Computer Graphics [electronic resource] / by John Vince. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: London : Springer London, 2011 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 004.

Place hold Add to cart
15.
Computational Logic and Set Theory [electronic resource] : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: London : Springer London : Imprint: Springer, 2011 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 004.

Place hold Add to cart
16.
Contributions to the Science of Text and Language [electronic resource] : Word Length Studies and Related Issues / edited by Peter Grzybek. por Series Text, Speech and Language Technology ; 31
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 410.285.

Place hold Add to cart
17.
Modern Formal Methods and Applications [electronic resource] / edited by Hossam A. Gabbar. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 541.2.

Place hold Add to cart
18.
A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 621.3815.

Place hold Add to cart
19.
Handbook of Spatial Logics [electronic resource] / edited by Marco Aiello, Ian Pratt-Hartmann, Johan Benthem. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2007 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 501.

Place hold Add to cart
20.
Dynamic Epistemic Logic [electronic resource] / by Hans Ditmarsch, Wiebe Hoek, Barteld Kooi. por Series Studies In Epistemology, Logic, Methodology, And Philosophy Of Science ; 337
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2007 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 160.

Place hold Add to cart
21.
Induction, Algorithmic Learning Theory, and Philosophy [electronic resource] / edited by Michèle Friend, Norma B. Goethe, Valentina S. Harizanov. por Series Logic, Epistemology, and the Unity of Science ; 9
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2007 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 120.

Place hold Add to cart
22.
Information and Knowledge [electronic resource] : A Constructive Type-theoretical Approach / by Giuseppe Primiero. por Series Logic, Epistemology, and the Unity of Science ; 10
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2008 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 160.

Place hold Add to cart
23.
Formal Ontology and Conceptual Realism [electronic resource] / by Nino B. Cocchiarella. por Series Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 339
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2007 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 111.

Place hold Add to cart
24.
Handbook of Philosophical Logic [electronic resource] / edited by D.M. Gabbay, F. Guenthner. por Series Handbook of Philosophical Logic ; 14
Edición: 2nd Edition.
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2007 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 160.

Place hold Add to cart
25.
Robustness and Usability in Modern Design Flows [electronic resource] / by Görschwin Fey, Rolf Drechsler. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2008 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 621.3815.

Place hold Add to cart
26.
Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. por Series Applied Logic Series ; 35
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2008 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.3.

Place hold Add to cart
Pages