TEST - Catálogo BURRF
   

Su búsqueda retornó 8 resultados.

Ordenar
Resultados
1.
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
Disponibilidad: No hay ítems disponibles.

2.
Fundamental Approaches to Software Engineering : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Marsha Chechik, Martin Wirsing. por
  • Chechik, Marsha [editor.]
  • Wirsing, Martin [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5503
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.

3.
Knowledge science, engineering and management : 8th international conference, ksem 2015, chongqing, china, october 28-30, 2015, proceedings / edited by Songmao Zhang, Martin Wirsing, Zili Zhang. por
  • Zhang, Songmao [editor.]
  • Wirsing, Martin [editor.]
  • Zhang, Zili [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9403
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
Disponibilidad: No hay ítems disponibles.

4.
Rigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing / edited by Martin Wirsing, Matthias Hölzl. por
  • Wirsing, Martin [editor.]
  • Hölzl, Matthias [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6582
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.

5.
Software engineering for collective autonomic systems : the ascens approach / edited by Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer. por
  • Wirsing, Martin [editor.]
  • Hölzl, Matthias [editor.]
  • Koch, Nora [editor.]
  • Mayer, Philip [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8998
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
Disponibilidad: No hay ítems disponibles.

6.
Software-Intensive Systems and New Computing Paradigms : Challenges and Visions / edited by Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer. por
  • Wirsing, Martin [editor.]
  • Banâtre, Jean-Pierre [editor.]
  • Hölzl, Matthias [editor.]
  • Rauschmayer, Axel [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5380
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.

7.
Theoretical Aspects of Computing – ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings / edited by Dang Hung, Martin Wirsing. por
  • Hung, Dang [editor.]
  • Wirsing, Martin [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3722
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.

8.
Trustworthly Global Computing : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers / edited by Martin Wirsing, Martin Hofmann, Axel Rauschmayer. por
  • Wirsing, Martin [editor.]
  • Hofmann, Martin [editor.]
  • Rauschmayer, Axel [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6084
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Disponibilidad: No hay ítems disponibles.

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