TEST - Catálogo BURRF
   

Su búsqueda retornó 5 resultados.

Ordenar
Resultados
1.
Cellular Automata and Discrete Complex Systems : 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings / edited by Jarkko Kari, Martin Kutrib, Andreas Malcher. por
  • Kari, Jarkko [editor.]
  • Kutrib, Martin [editor.]
  • Malcher, Andreas [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8155
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.

2.
Descriptional Complexity of Formal Systems : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings / edited by Markus Holzer, Martin Kutrib, Giovanni Pighizzini. por
  • Holzer, Markus [editor.]
  • Kutrib, Martin [editor.]
  • Pighizzini, Giovanni [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6808
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.

3.
Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings / edited by Martin Kutrib, Nelma Moreira, Rogério Reis. por
  • Kutrib, Martin [editor.]
  • Moreira, Nelma [editor.]
  • Reis, Rogério [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7386
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.

4.
Implementation and application of automata : 19th international conference, ciaa 2014, giessen, germany, july 30 – august 2, 2014. Proceedings / edited by Markus Holzer, Martin Kutrib. por
  • Holzer, Markus [editor.]
  • Kutrib, Martin [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8587
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, 2014
Disponibilidad: No hay ítems disponibles.

5.
Languages Alive : Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday / edited by Henning Bordihn, Martin Kutrib, Bianca Truthe. por
  • Bordihn, Henning [editor.]
  • Kutrib, Martin [editor.]
  • Truthe, Bianca [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7300
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.

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