TEST - Catálogo BURRF
   

Su búsqueda retornó 8 resultados.

Ordenar
Resultados
1.
Coloured Petri Nets : Modelling and Validation of Concurrent Systems / by Kurt Jensen, Lars M. Kristensen. por
  • Jensen, Kurt [autor]
  • Kristensen, Lars M [autor]
  • SpringerLink (Servicio en línea)
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.

2.
Transactions on Petri Nets and Other Models of Concurrency I / edited by Kurt Jensen, Wil M. P. Aalst, Jonathan Billington. por
  • Jensen, Kurt [editor.]
  • Aalst, Wil M. P [editor.]
  • Billington, Jonathan [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5100
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.

3.
Transactions on Petri Nets and Other Models of Concurrency II : Special Issue on Concurrency in Process-Aware Information Systems / edited by Kurt Jensen, Wil M. P. Aalst. por
  • Jensen, Kurt [editor.]
  • Aalst, Wil M. P [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5460
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.

4.
Transactions on Petri Nets and Other Models of Concurrency III / edited by Kurt Jensen, Jonathan Billington, Maciej Koutny. por
  • Jensen, Kurt [editor.]
  • Billington, Jonathan [editor.]
  • Koutny, Maciej [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5800
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.

5.
Transactions on Petri Nets and Other Models of Concurrency IV / edited by Kurt Jensen, Susanna Donatelli, Maciej Koutny. por
  • Jensen, Kurt [editor.]
  • Donatelli, Susanna [editor.]
  • Koutny, Maciej [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6550
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.

6.
Transactions on Petri Nets and Other Models of Concurrency V / edited by Kurt Jensen, Susanna Donatelli, Jetty Kleijn. por
  • Jensen, Kurt [editor.]
  • Donatelli, Susanna [editor.]
  • Kleijn, Jetty [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6900
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Disponibilidad: No hay ítems disponibles.

7.
Transactions on Petri Nets and Other Models of Concurrency VI / edited by Kurt Jensen, Wil M. Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen. por
  • Jensen, Kurt [editor.]
  • Aalst, Wil M [editor.]
  • Ajmone Marsan, Marco [editor.]
  • Franceschinis, Giuliana [editor.]
  • Kleijn, Jetty [editor.]
  • Kristensen, Lars Michael [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7400
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, 2012
Disponibilidad: No hay ítems disponibles.

8.
Transactions on Petri Nets and Other Models of Concurrency VII / edited by Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf. por
  • Jensen, Kurt [editor.]
  • Aalst, Wil M. P [editor.]
  • Balbo, Gianfranco [editor.]
  • Koutny, Maciej [editor.]
  • Wolf, Karsten [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7480
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
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