TEST - Catálogo BURRF		    

Su búsqueda retornó 8 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Communicating Sequential Processes. The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders. por
  • Abdallah, Ali E [editor.]
  • Jones, Cliff B [editor.]
  • Sanders, Jeff W [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3525
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.
Dependable and Historic Computing : Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday / edited by Cliff B. Jones, John L. Lloyd. por
  • Jones, Cliff B [editor.]
  • Lloyd, John L [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6875
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
3.
Formal Methods and Hybrid Real-Time Systems : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock. por
  • Jones, Cliff B [editor.]
  • Liu, Zhiming [editor.]
  • Woodcock, Jim [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4700
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
4.
Reflections on the Work of C.A.R. Hoare / edited by A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood. por
  • Roscoe, A.W [editor.]
  • Jones, Cliff B [editor.]
  • Wood, Kenneth R [editor.]
  • SpringerLink (Servicio en línea)
Series History of Computing
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: London : Springer London, 2010
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
5.
Reflections on the work of c.a.r. Hoare / edited by A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood. por
  • Roscoe, A.W [editor.]
  • Jones, Cliff B [editor.]
  • Wood, Kenneth R [editor.]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: London : Springer London : Springer, 2010
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
6.
Rigorous Development of Complex Fault-Tolerant Systems / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna. por
  • Butler, Michael [editor.]
  • Jones, Cliff B [editor.]
  • Romanovsky, Alexander [editor.]
  • Troubitsyna, Elena [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4157
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
7.
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective / edited by Denis Besnard, Cristina Gacek, Cliff B. Jones. por
  • Besnard, Denis [editor.]
  • Gacek, Cristina [editor.]
  • Jones, Cliff B [editor.]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: London : Springer London, 2006
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
8.
Theoretical Aspects of Computing – ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock. por
  • Jones, Cliff B [editor.]
  • Liu, Zhiming [editor.]
  • Woodcock, Jim [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4711
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
Páginas
Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha