TEST - Catálogo BURRF		    

Su búsqueda retornó 8 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Abstraction, Refinement and Proof for Probabilistic Systems / by Annabelle McIver, Carroll Morgan. por
  • McIver, Annabelle [autor]
  • Morgan, Carroll [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2005
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
Adapting Proofs-as-Programs : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. por
  • Poernomo, Iman Hafiz [autor]
  • Wirsing, Martin [autor]
  • Crossley, John Newsome [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2005
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
3.
Evolutionary Synthesis of Pattern Recognition Systems / by Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec. por
  • Bhanu, Bir [autor]
  • Lin, Yingqiang [autor]
  • Krawiec, Krzysztof [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2005
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
4.
Geometric Fundamentals of Robotics / by J. M. Selig. por
  • Selig, J. M [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Computer Science
Edición: Second Edition.
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2005
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
5.
Numerical Geometry of Non-Rigid Shapes / by Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel. por
  • Bronstein, Alexander M [autor]
  • Bronstein, Michael M [autor]
  • Kimmel, Ron [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2009
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
6.
Reverse Engineering of Object Oriented Code / by Paolo Tonella, Alessandra Potrich. por
  • Tonella, Paolo [autor]
  • Potrich, Alessandra [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2005
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
7.
Software Configuration Management Using Vesta / by Allan Heydon, Timothy Mann, Roy Levin, Yuan Yu. por
  • Heydon, Allan [autor]
  • Mann, Timothy [autor]
  • Levin, Roy [autor]
  • Yu, Yuan [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2006
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
8.
Super-Recursive Algorithms / by Mark Burgin. por
  • Burgin, Mark [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 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