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.
Theorems of the 21st century / / Bogdan Grechuk
Theorems of the 21st century / / Bogdan Grechuk
Autore Grechuk Bogdan
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham, Switzerland : , : Springer Nature, , [2019]
Descrizione fisica 1 online resource (xvi, 446 pages) : illustrations (some color), charts
Disciplina 510
Collana Gale eBooks
Soggetto topico Mathematics
Logic, Symbolic and mathematical
Induction (Mathematics)
ISBN 3-030-19096-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1 Theorems of 2001 -- 2 Theorems of 2002 -- 3 Theorems of 2003 -- 4 Theorems of 2004 -- 5 Theorems of 2005 -- 6 Theorems of 2006 -- 7 Theorems of 2007 -- 8 Theorems of 2008 -- 9 Theorems of 2009 -- 10 Theorems of 2010 -- General Index -- Name Index.
Record Nr. UNINA-9910338245503321
Grechuk Bogdan  
Cham, Switzerland : , : Springer Nature, , [2019]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Theorems on regularity and singularity of energy minimizing maps : based on lecture notes by Norbert Hungerbuhler / Leon Simon
Theorems on regularity and singularity of energy minimizing maps : based on lecture notes by Norbert Hungerbuhler / Leon Simon
Autore Simon, Leon
Pubbl/distr/stampa Basel [etc.], : Birkhäuser Verlag, 1996
Descrizione fisica vii, 152 p. ; 24 cm
Disciplina 510
Collana Lectures in mathematics. - Basel
ISBN 376435397X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAS-RML0270791
Simon, Leon  
Basel [etc.], : Birkhäuser Verlag, 1996
Materiale a stampa
Lo trovi qui: Univ. di Cassino
Opac: Controlla la disponibilità qui
Theoretical information reuse and integration [[electronic resource] /] / edited by Thouraya Bouabana-Tebibel, Stuart H Rubin
Theoretical information reuse and integration [[electronic resource] /] / edited by Thouraya Bouabana-Tebibel, Stuart H Rubin
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (225 p.)
Disciplina 510
Collana Advances in Intelligent Systems and Computing
Soggetto topico Computational intelligence
Artificial intelligence
Computational Intelligence
Artificial Intelligence
ISBN 3-319-31311-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Reuse and integration of specification logics: the hybridisation perspective -- Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements -- Capturing and Verifying Dynamic Systems Behavior Using UML and π-calculus -- A Real-time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet -- Case Indexing by Component, Context and Encapsulation for Knowledge Reuse -- Intelligent Decision Making for Customer Dynamics Management Based on Rule Mining and Contrast Set Mining A Segmentation Analysis Perspective -- Is Data Sampling Required When Using Random Forest for Classification on Imbalanced Bioinformatics Data? -- Concurrent Alignment of Multiple Anonymized Social Networks with Generic Stable Matching -- An Accurate Multi-sensor Multi-target Localization Method for Cooperating Vehicles.
Record Nr. UNINA-9910254252103321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Theorie de la Descente et Algebres d'Azumaya [[electronic resource] /] / by M.-A. Knus, M. Ojanguren
Theorie de la Descente et Algebres d'Azumaya [[electronic resource] /] / by M.-A. Knus, M. Ojanguren
Autore Knus M.-A
Edizione [1st ed. 1974.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1974
Descrizione fisica 1 online resource (163 p.)
Disciplina 510
Collana Lecture Notes in Mathematics
Soggetto topico Mathematics
Mathematics, general
ISBN 3-540-38406-5
Classificazione 16A16
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Nota di contenuto I. Preliminaires -- II. Theories de la descente -- III. Algebres separables -- IV. Automorphismes des algebres d'azumaya -- V. La cohomologie d'amitsur -- VI. Remarques et sources.
Record Nr. UNISA-996466593603316
Knus M.-A  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1974
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Theorie de la dualite des algebres a generation compacte / Dominique Favrot
Theorie de la dualite des algebres a generation compacte / Dominique Favrot
Autore Favrot, Dominique
Pubbl/distr/stampa Geneve : Impr. Nationale, 1979
Descrizione fisica 72 p. ; 28 cm
Disciplina 510
Soggetto non controllato Matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNINA-990001614030403321
Favrot, Dominique  
Geneve : Impr. Nationale, 1979
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Theorie des Bornologies et Applications [[electronic resource] /] / by H. Hogbe-Nlend
Theorie des Bornologies et Applications [[electronic resource] /] / by H. Hogbe-Nlend
Autore Hogbe-Nlend H
Edizione [1st ed. 1971.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1971
Descrizione fisica 1 online resource (168 p.)
Disciplina 510
Collana Lecture Notes in Mathematics
Soggetto topico Mathematics
Mathematics, general
ISBN 3-540-36878-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Nota di contenuto Notions Fondamentales -- La Mackey-Convergence -- Separation. - Espaces Mackey-Complets -- Espaces Bornologiques Complets -- Le Theoreme Du Graphe Mackey-Ferme -- Dualite Bornologique -- Bornologies Equicontinues. - Bornologies De Schwartz -- Bornologies Nucleaires -- Bornologies A Base Denombrable Dans Les Espaces Vectories Topologiques -- Topologies Et Bornologies Pseudo-Convexes -- Contre-Exemples -- Distributions Dans Les Espaces Bornologiques Et Distributions Operationnelles -- Applications Differentiables Entre Espaces Bornologiques.
Record Nr. UNISA-996466494703316
Hogbe-Nlend H  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1971
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Theorie des corps de nombres algebriques / D. Hilbert
Theorie des corps de nombres algebriques / D. Hilbert
Autore Hilbert, David
Pubbl/distr/stampa Paris : Hermann, 1913
Descrizione fisica 380 p. ; 28 cm
Disciplina 510
Soggetto non controllato Opere
Trattati
Raccolte
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990002580520403321
Hilbert, David  
Paris : Hermann, 1913
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Theorie des G-Structures: Le Probleme d'Equivalence [[electronic resource] /] / by P. Molino ; edited by F. Toupine
Theorie des G-Structures: Le Probleme d'Equivalence [[electronic resource] /] / by P. Molino ; edited by F. Toupine
Autore Molino P
Edizione [1st ed. 1977.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1977
Descrizione fisica 1 online resource (163 p.)
Disciplina 510
Collana Lecture Notes in Mathematics
Soggetto topico Mathematics
Mathematics, general
ISBN 3-540-37360-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Nota di contenuto Theorie Des Jets -- G-structures -- Structures d'Ordre Superieur -- Pseudogroupes et ?-structures -- Presque-structures et Probleme d'Equivalence -- Techniques Generales 1 -- Techniques Generales 2 -- Techniques Generales 3 -- Structures Plates; Modeles Standard -- Theoreme d'Equivalence 1 -- Theoreme d'Equivalence 2 -- Generalisations et Applications.
Record Nr. UNISA-996466494103316
Molino P  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1977
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Theorie des jeux a deux personnes : les principes essentieles / A. Rapoport ; traduit par A. Renard
Theorie des jeux a deux personnes : les principes essentieles / A. Rapoport ; traduit par A. Renard
Autore RAPOPORT, Anatol
Pubbl/distr/stampa Paris : Dunod, 1969
Descrizione fisica X, 178 p. : ill. ; 21 cm
Disciplina 510
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNISA-990002303680203316
RAPOPORT, Anatol  
Paris : Dunod, 1969
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Theorie des Matroides [[electronic resource] ] : Rencontre Franco-Britannique, Actes 14-15 Mai 1970 / / edited by C. P. Bruter
Theorie des Matroides [[electronic resource] ] : Rencontre Franco-Britannique, Actes 14-15 Mai 1970 / / edited by C. P. Bruter
Edizione [1st ed. 1971.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1971
Descrizione fisica 1 online resource (108 p.)
Disciplina 510
Collana Lecture Notes in Mathematics
Soggetto topico Mathematics
Mathematics, general
ISBN 3-540-36877-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Nota di contenuto Wheels and whirls -- Generalized transversal theory -- An extremal problem for non-separable matroids -- Representation sur un Corps des Matroides d'Ordre ? 8 -- Conditions for representability and transversality of matroids -- Sur la Dualite en Theorie des Matroides -- A characterization of transversal independence spaces -- Matroids and block designs.
Record Nr. UNISA-996466487503316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1971
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...