TEST - Catálogo BURRF		    

Su búsqueda retornó 10 resultados.

Ordenar
De-resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Coalgebraic methods in computer science : 12th ifip wg 1.3 international workshop, cmcs 2014, colocated with etaps 2014, grenoble, france, april 5-6, 2014, revised selected papers / edited by Marcello M. Bonsangue. por
  • Bonsangue, Marcello M [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8446
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, 2014
Acceso en línea:

Agregar al carrito
2.
Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. por
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • Graf, Susanne [editor.]
  • Roever, Willem-Paul [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3657
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:

Agregar al carrito
3.
Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. por
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • Graf, Susanne [editor.]
  • Roever, Willem-Paul [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4111
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:

Agregar al carrito
4.
Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. por
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • Graf, Susanne [editor.]
  • Roever, Willem-Paul [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4709
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:

Agregar al carrito
5.
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. por
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • Graf, Susanne [editor.]
  • Roever, Willem-Paul [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5382
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:

Agregar al carrito
6.
Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine. por
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • Madelaine, Eric [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5751
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:

Agregar al carrito
7.
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel. por
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • Hallerstede, Stefan [editor.]
  • Leuschel, Michael [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6286
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:

Agregar al carrito
8.
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers / edited by Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue. por
  • Aichernig, Bernhard K [editor.]
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6957
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:

Agregar al carrito
9.
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue. por
  • Beckert, Bernhard [editor.]
  • Damiani, Ferruccio [editor.]
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7542
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:

Agregar al carrito
10.
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue. por
  • Giachino, Elena [editor.]
  • Hähnle, Reiner [editor.]
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7866
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:

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