Su búsqueda obtuvo 3 resultados.

Ordenar
Resultados
Mathematical computing : an Introduction to programming using Maple® / David Betounes, Mylan Redfern

por Betounes, David | Redfern, Mylan.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Springer-Verlag, 2002Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06MAP/BET/mat.

Corrección de algoritmos complejos : verificación formal / Esther Lidia Silva Ramírez y Manuel López Coello

por Silva Ramírez, Esther Lidia | Lopez Coello, Manuel.

Series ManualesTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cádiz : Universidad de Cádiz, Servicio de Publicaciones, 2010Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.5/SIL/cor. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (6)Ubicación, signatura topográfica: 510.5/SIL/cor, ... No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (9).

An introduction to modern mathematical computing : with Mathematica® / Jonathan M. Borwein, Matthew P. Skerritt

por Borwein, Jonathan M | Skerritt, Matthew P.

Series Springer undergraduate texts in mathematics and technologyTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Springer, 2012Disponibilidad: No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1).

Páginas

Con tecnología Koha