Su búsqueda retornó 2 resultados.

Resultados
		Algebraic Methodology and Software Technology [recurso electrónico] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic. por Johnson, Michael [editor.] \| Pavlovic, Dusko [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6486Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Programs as Diagrams [electronic resource] : From Categorical Computability to Computable Categories / by Dusko Pavlovic. por Pavlovic, Dusko [author.] \| SpringerLink (Online service). Series Theory and Applications of Computability, In cooperation with the association Computability in EuropeEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Refinar su búsqueda