top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Applied and Computational Mathematics for Digital Environments / / edited by Liliya Demidova
Applied and Computational Mathematics for Digital Environments / / edited by Liliya Demidova
Pubbl/distr/stampa Basel, Switzerland : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2023
Descrizione fisica 1 online resource (284 pages)
Disciplina 512.0285
Soggetto topico Algebra - Data processing
Algebra - Computer programs
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910729789503321
Basel, Switzerland : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2023
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Calcolo scientifico : esercizi e problemi risolti con MATLAB e Octave / Alfio Quarteroni, Fausto Saleri, Paola Gervasio
Calcolo scientifico : esercizi e problemi risolti con MATLAB e Octave / Alfio Quarteroni, Fausto Saleri, Paola Gervasio
Autore Quarteroni, Alfio
Edizione [6. ed.]
Pubbl/distr/stampa Milano : Springer-Verlag, 2017
Descrizione fisica xx, 523 p. : ill. (some col.) ; 24 cm
Disciplina 512
Altri autori (Persone) Saleri, Faustoauthor
Gervasio, Paolaauthor
Collana Unitext. La matematica per il 3+2 ; 105
Soggetto topico Algebra - Computer programs
Mathematical analysis
ISBN 9788847039520
Classificazione AMS 65-01
AMS 65-04
LC QA155.7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991004265222107536
Quarteroni, Alfio  
Milano : Springer-Verlag, 2017
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Calcolo scientifico : esercizi e problemi risolti con MATLAB e Octave / A. Quarteroni, F. Saleri
Calcolo scientifico : esercizi e problemi risolti con MATLAB e Octave / A. Quarteroni, F. Saleri
Autore Quarteroni, Alfio
Edizione [4th ed.]
Pubbl/distr/stampa Milano : Springer-Verlag, c2008
Descrizione fisica xiv, 358 p. : ill. (some col.) ; 24 cm
Disciplina 512
Altri autori (Persone) Saleri, Fausto
Collana Collana Unitext. La matematica per il 3+2 ; 36
Soggetto topico Algebra - Computer programs
Mathematical analysis
ISBN 9788847008373
Classificazione AMS 65-01
LC QA155.7.E4Q37
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991001717769707536
Quarteroni, Alfio  
Milano : Springer-Verlag, c2008
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
The seventeen provers of the world / / foreword by Dana S. Scott ; Freek Wiedijk (ed.)
The seventeen provers of the world / / foreword by Dana S. Scott ; Freek Wiedijk (ed.)
Edizione [1st ed. 2006.]
Pubbl/distr/stampa Berlin ; ; New York, : Springer, c2006
Descrizione fisica 1 online resource (XVI, 162 p.)
Disciplina 511.3/6
Altri autori (Persone) WiedijkFreek <1961->
Collana Lecture notes in computer science. Lecture notes in artificial intelligence
Soggetto topico Proof theory - Data processing
Algebra - Computer programs
ISBN 3-540-32888-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Informal -- HOL -- Mizar -- PVS -- Coq -- Otter/Ivy -- Isabelle/Isar -- Alfa/Agda -- ACL2 -- PhoX -- IMPS -- Metamath -- Theorema -- Lego -- Nuprl -- ?mega -- B Method -- Minlog.
Record Nr. UNINA-9910484584803321
Berlin ; ; New York, : Springer, c2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui