Su búsqueda retornó 4 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
Software engineering . 2 , Specification of systems and languages / D. Bjorner. por Series Texts in theoretical computer science. An EATCS series
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: Berlin : Springer-Verlag , 2006
Otro título:
  • Specification of systems and languages
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.758 B56.2006.

Hacer reserva
Software engineering . 1, Abstraction and modelling / D. Bjørner. por Series Texts in theoretical computer science. An EATCS series
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: Berlin : Springer-Verlag , 2006
Otro título:
  • Abstraction and modelling
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.758 B57.2006.

Hacer reserva
Universal artificial intelligence : sequential decisions based on algorithmic probability / Marcus Hutter. por Series Texts in theoretical computer science
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: Berlin ; New York : Springer , 2005
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General Q 335 H88.2005.

Hacer reserva
DNA computing : new computing paradigms / G. Pæaun, G. Rozenberg, A. Salomaa. por Series Texts in theoretical computer science
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Berlin ; New York : Springer, 1998
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.887 P38.1998.

Hacer reserva
Páginas