TEST - Catálogo BURRF		    

Su búsqueda retornó 13 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Deterministic Extraction from Weak Random Sources / by Ariel Gabizon. por
  • Gabizon, Ariel [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Theoretical Computer Science. An EATCS Series
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
Fault-Tolerant Search Algorithms : Reliable Computation with Unreliable Information / by Ferdinando Cicalese. por
  • Cicalese, Ferdinando [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Theoretical Computer Science. An EATCS Series
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
3.
Foundations of Algebraic Specification and Formal Software Development / by Donald Sannella, Andrzej Tarlecki. por
  • Sannella, Donald [autor]
  • Tarlecki, Andrzej [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Theoretical Computer Science. An EATCS Series
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
4.
Fundamentals of Algebraic Graph Transformation / by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer. por
  • Ehrig, Hartmut [autor]
  • Ehrig, Karsten [autor]
  • Prange, Ulrike [autor]
  • Taentzer, Gabriele [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Theoretical Computer Science. An EATCS Series
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
5.
Handbook of Weighted Automata / edited by Manfred Droste, Werner Kuich, Heiko Vogler. por
  • Droste, Manfred [editor.]
  • Kuich, Werner [editor.]
  • Vogler, Heiko [editor.]
  • SpringerLink (Servicio en línea)
Series Monographs in Theoretical Computer Science. An EATCS Series
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
6.
Logics of Specification Languages / edited by Dines Bjørner, Martin C. Henson. por
  • Bjørner, Dines [editor.]
  • Henson, Martin C [editor.]
  • SpringerLink (Servicio en línea)
Series Monographs in Theoretical Computer Science, An EATCS Series
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
7.
Modeling Time in Computing / by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi. por
  • Furia, Carlo A [autor]
  • Mandrioli, Dino [autor]
  • Morzenti, Angelo [autor]
  • Rossi, Matteo [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Theoretical Computer Science. An EATCS Series
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
8.
Patterns in Permutations and Words / by Sergey Kitaev. por
  • Kitaev, Sergey [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Theoretical Computer Science. An EATCS Series
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
9.
Stochastic Coalgebraic Logic / by Ernst-Erich Doberkat. por
  • Doberkat, Ernst-Erich [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Theoretical Computer Science. An EATCS Series
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
10.
Theoretical Aspects of Distributed Computing in Sensor Networks / edited by Sotiris Nikoletseas, José D.P. Rolim. por
  • Nikoletseas, Sotiris [editor.]
  • Rolim, José D.P [editor.]
  • SpringerLink (Servicio en línea)
Series Monographs in Theoretical Computer Science. An EATCS Series
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
11.
Theoretical Aspects of Local Search / by Wil Michiels, Jan Korst, Emile Aarts. por
  • Michiels, Wil [autor]
  • Korst, Jan [autor]
  • Aarts, Emile [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Theoretical Computer Science, An EATCS Series
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
12.
Unfoldings : A Partial-Order Approach to Model Checking / by Javier Esparza, Keijo Heljanko. por
  • Esparza, Javier [autor]
  • Heljanko, Keijo [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Theoretical Computer Science An EATCS Series
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
13.
Words and graphs / Sergey Kitaev, Vadim Lozin. por
  • Kitaev, Sergey [autor.]
  • Lozin, Vadim [autor.]
  • SpringerLink (Servicio en línea)
Series Monographs in Theoretical Computer Science. An EATCS Series
Edición: 1st ed. 2015.
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Cham : Springer International Publishing : Springer, 2015
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
Páginas
Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha