TEST - Catálogo BURRF		    

Su búsqueda retornó 17 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Abstract Computing Machines : A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa. por
  • Kluge, W [autor]
  • Brauer, W [editor.]
  • Rozenberg, G [editor.]
  • Salomaa, A [editor.]
  • SpringerLink (Servicio en línea)
Series Texts 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, 2005
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
Complexity Theory and Cryptology : An Introduction to Cryptocomplexity / by Jörg Rothe. por
  • Rothe, Jörg [autor]
  • SpringerLink (Servicio en línea)
Series Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
3.
Decision Procedures : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman. por
  • Kroening, Daniel [autor]
  • Strichman, Ofer [autor]
  • SpringerLink (Servicio en línea)
Series Texts 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
4.
Design and Analysis of Randomized Algorithms : Introduction to Design Paradigms / by Juraj Hromkovi?. por
  • Hromkovi?, Juraj [autor]
  • SpringerLink (Servicio en línea)
Series Texts 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, 2005
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
5.
Dissemination of Information in Communication Networks : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by Juraj Hromkovi?, Ralf Klasing, Andrzej Pelc, Peter Ruži?ka†, Walter Unger. por
  • Hromkovi?, Juraj [autor]
  • Klasing, Ralf [autor]
  • Pelc, Andrzej [autor]
  • Ruži?ka†, Peter [autor]
  • Unger, Walter [autor]
  • SpringerLink (Servicio en línea)
Series Texts 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, 2005
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
6.
Exact Exponential Algorithms / by Fedor V. Fomin, Dieter Kratsch. por
  • Fomin, Fedor V [autor]
  • Kratsch, Dieter [autor]
  • SpringerLink (Servicio en línea)
Series Texts 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, 2010
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
7.
Extremal Combinatorics : With Applications in Computer Science / by Stasys Jukna. por
  • Jukna, Stasys [autor]
  • SpringerLink (Servicio en línea)
Series Texts 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
8.
Graphs and Algorithms in Communication Networks : Studies in Broadband, Optical, Wireless and Ad Hoc Networks / edited by Arie Koster, Xavier Muñoz. por
  • Koster, Arie [editor.]
  • Muñoz, Xavier [editor.]
  • SpringerLink (Servicio en línea)
Series Texts 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, 2010
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
9.
Introduction to concurrency theory : transition systems and ccs / Roberto Gorrieri, Cristian Versari. por
  • Gorrieri, Roberto [autor.]
  • Versari, Cristian [autor.]
  • SpringerLink (Servicio en línea)
Series Texts 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
10.
Modelling Distributed Systems / by Wan Fokkink. por
  • Fokkink, Wan [autor]
  • SpringerLink (Servicio en línea)
Series Texts 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
11.
Parameterized Complexity Theory / by Jörg Flum, Martin Grohe. por
  • Flum, Jörg [autor]
  • Grohe, Martin [autor]
  • SpringerLink (Servicio en línea)
Series Texts 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
12.
Petri net synthesis / Eric Badouel, Luca Bernardinello, Philippe Darondeau. por
  • Badouel, Eric [autor.]
  • Bernardinello, Luca [autor.]
  • Darondeau, Philippe [autor.]
  • SpringerLink (Servicio en línea)
Series Texts 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: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2015
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
13.
A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors / by Reino Kurki-Suonio. por
  • Kurki-Suonio, Reino [autor]
  • SpringerLink (Servicio en línea)
Series Texts 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, 2005
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
14.
Software Engineering 1 : Abstraction and Modelling / by Dines Bjørner. por
  • Bjørner, Dines [autor]
  • SpringerLink (Servicio en línea)
Series Texts 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
15.
Software Engineering 2 : Specification of Systems and Languages / by Dines Bjørner. por
  • Bjørner, Dines [autor]
  • SpringerLink (Servicio en línea)
Series Texts 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
16.
Temporal Logic and State Systems / by Fred Kröger, Stephan Merz. por
  • Kröger, Fred [autor]
  • Merz, Stephan [autor]
  • SpringerLink (Servicio en línea)
Series Texts 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
17.
Universal Artificial Intellegence : Sequential Decisions Based on Algorithmic Probability / by Marcus Hutter. por
  • Hutter, Marcus [autor]
  • SpringerLink (Servicio en línea)
Series Texts 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, 2005
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