Su búsqueda retornó 5 resultados.

Resultados
		Approximate Commutative Algebra [recurso electrónico] / edited by Lorenzo Robbiano, John Abbott. por Robbiano, Lorenzo [editor.] \| Abbott, John [editor.] \| SpringerLink (Online service). Series Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, AustriaOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Vienna : Springer Vienna, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA564 -609.
		Computer-supported calculus / A. Ben-Israel, R. Gilbert. por Ben-Israel, Adi \| Gilbert, Robert P, 1932-. Series Texts and monographs in symbolic computationTipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Wien ; New York : Springer, 2002Disponibilidad: No disponible:Prestado (1).
		Concrete Abstractions [electronic resource] : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker / by Wolfgang Schreiner. por Schreiner, Wolfgang [author.] \| SpringerLink (Online service). Series Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, AustriaEdició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 International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		The Concrete Tetrahedron [recurso electrónico] : Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates / by Manuel Kauers, Peter Paule. por Kauers, Manuel [author.] \| Paule, Peter [author.] \| SpringerLink (Online service). Series Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University Linz, AustriaOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Vienna : Springer Vienna : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA164 -167.2.
		Machine learning : an artificial intelligence approach / editor, Ryszard S. Michalski ... [et. al.] por Michalski, Ryszard S. (Ryszard Stanisław), 1937-2007 [ed.]. Series Symbolic computationEdición: 1st ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: New York : Springer, 2013Disponibilidad: Ítems disponibles para préstamo: Valle de las Palmas (1) Signatura topográfica: Q325 M32 1983.

Con tecnología Koha