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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|