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.
Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems / / Gabriele Puppis
| Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems / / Gabriele Puppis |
| Autore | Puppis Gabriele |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2010] |
| Descrizione fisica | 1 online resource (212 p.) |
| Disciplina | 510.904 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto topico | Machine theory |
| ISBN |
1-280-38576-6
9786613563682 3-642-11881-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Word Automata and Time Granularities -- Tree Automata and Logics -- Summary. |
| Record Nr. | UNINA-9910484488803321 |
Puppis Gabriele
|
||
| Berlin ; ; Heidelberg : , : Springer, , [2010] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems / / Gabriele Puppis
| Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems / / Gabriele Puppis |
| Autore | Puppis Gabriele |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2010] |
| Descrizione fisica | 1 online resource (212 p.) |
| Disciplina | 510.904 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto topico | Machine theory |
| ISBN |
1-280-38576-6
9786613563682 3-642-11881-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Word Automata and Time Granularities -- Tree Automata and Logics -- Summary. |
| Record Nr. | UNISA-996465330203316 |
|
Puppis Gabriele
|
||
| Berlin ; ; Heidelberg : , : Springer, , [2010] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Contemporary Mathematical Thinking / / by Frédéric Patras
| Contemporary Mathematical Thinking / / by Frédéric Patras |
| Autore | Patras Frédéric |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (VII, 130 p.) |
| Disciplina |
780
510.904 |
| Collana | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
| Soggetto topico |
Mathematics
History Mathematics - Philosophy Science - Philosophy Intellectual life - History Phenomenology History of Mathematical Sciences Philosophy of Mathematics Philosophy of Science History of Ideas |
| ISBN | 3-031-27548-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Style in Mathematics -- 3. From Plato to Husserl -- 4. The Origins of modern Mathematics -- 5. Axioms and Intuitions -- 6. The structuralist Current -- 7. Structures and Categories -- 8. The Homes of Thought -- 9. To the Meeting of Reality -- 10. Conclusion -- References. |
| Record Nr. | UNINA-9910698642103321 |
|
Patras Frédéric
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The honors class : Hilbert's problems and their solvers / Benjamin H. Yandell
| The honors class : Hilbert's problems and their solvers / Benjamin H. Yandell |
| Autore | Yandell, Benjamin H. |
| Pubbl/distr/stampa | Natick, Mass. : A.K. Peters, c2002 |
| Descrizione fisica | ix, 486 p. : ill. ; 24 cm |
| Disciplina | 510.904 |
| Soggetto topico |
Mathematics - History
Mathematicians - Biography |
| ISBN | 1568811411 |
| Classificazione |
AMS 01A60
LC QA26.Y36 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001563449707536 |
|
Yandell, Benjamin H.
|
||
| Natick, Mass. : A.K. Peters, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
La matematica del Novecento : dagli insiemi alla complessità / Piergiorgio Odifreddi ; prefazione di Gian Carlo Rota
| La matematica del Novecento : dagli insiemi alla complessità / Piergiorgio Odifreddi ; prefazione di Gian Carlo Rota |
| Autore | Odifreddi, Piergiorgio |
| Pubbl/distr/stampa | Torino, : G. Einaudi, [2000] |
| Descrizione fisica | XII, 193 p. : ill. ; 20 cm. |
| Disciplina |
510.1
510.904 |
| Collana | Piccola biblioteca Einaudi. Nuova serie |
| Soggetto topico |
Matematica - Sec. 20
Matematica - Teorie - Sec. 20 |
| ISBN |
8806151533
9788806151539 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAS-VEA0115802 |
|
Odifreddi, Piergiorgio
|
||
| Torino, : G. Einaudi, [2000] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Cassino e del Lazio Meridionale | ||
| ||
The mathematical century : the 30 greatest problems of the last 100 years / Piergiorgio Odifreddi ; translated by Arturo Sangalli
| The mathematical century : the 30 greatest problems of the last 100 years / Piergiorgio Odifreddi ; translated by Arturo Sangalli |
| Autore | Odifreddi, Piergiorgio |
| Pubbl/distr/stampa | Princeton, N. J. : Princeton University Press, c2004 |
| Descrizione fisica | xvi, 204 p. : ill. ; 22 cm |
| Disciplina | 510.904 |
| Soggetto topico | Mathematics - History |
| ISBN | 069109294X |
| Classificazione |
AMS 01-00
AMS 01A60 LC QA26.O3513 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNISALENTO-991003799039707536 |
|
Odifreddi, Piergiorgio
|
||
| Princeton, N. J. : Princeton University Press, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematical events of the twentieth century / edited by A. A. Bolibruch, Yu. S. Osipov, and Ya. G. Sinai
| Mathematical events of the twentieth century / edited by A. A. Bolibruch, Yu. S. Osipov, and Ya. G. Sinai |
| Pubbl/distr/stampa | Berlin : Springer |
| Descrizione fisica | viii, 545 p. : ill. ; 24 cm |
| Disciplina | 510.904 |
| Altri autori (Persone) |
Bolibrukh, A. A.
Osipov, Yuriĭ Sergeevich Sinaĭ, Yakov Grigorʹevich |
| Soggetto topico | Mathematics - History |
| ISBN |
3540232354
9783540232353 |
| Classificazione |
AMS 01-06
AMS 01A60 AMS 00B15 LC QA26.M27713 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dynamical systems in the 1960s: the hyperbolic revolution / D. V. Anosov ; From Hilbert's superposition problem to dynamical systems / V. I. Arnold ; Inverse monodromy problems of the analytic theory of differential equations / A. A. Bolibruch ; What modern mathematics is supposed to be / L. D. Faddeev ; Discovery of the maximum principle / R. V. Gamkrelidze ; The qualitative theory of differential equations in the plane / Yu. S. Il'yashenko ; Computerization--let's be careful / P. S. Krasnoshchekov ; The generalized shift, transformation operators, and inverse problems / V. A. Marchenko ; Mathematics and the trajectories of typhoons / V. P. Maslov ; Hilbert's tenth problem: diophantine equations in the twentieth century / Yu. V. Matiyasevich ; Observations on the movement of people and ideas in twentieth-century mathematics / V. D. Milman ; About Aleksandrov, Pontryagin and their scientific schools / E. F. Mishchenko ; Hilbert's seventh problem / Yu. V. Nesterenko ; The great Kolmogorov / S. M. Nikol'skii ; Numbers as functions: the development of an idea in the Moscow school of algebraic geometry / A. N. Parshin ; The P=[?]NP-problem: a view from the 1990s / A. A. Razborov ; Homoclinic trajectories: from Poincaré to the present / L. P. Shil'nikov ; From "disorder" to nonlinear filtering and Martingale theory / A. N. Shiryaev ; How mathematicians and physicists found each other in the theory of dynamical system and in statistical mechanics / Ya. G. Sinai ; Approximation theory in the twentieth century / V. M. Tikhomirov -- The life and fate of functional analysis in the twentieth century / A.M. Vershik ; Half a century as one day / A. G. Vitushkin ; Nikolai Nikolaevich Bogolyubov: mathematician by the grace of God / V. S. Vladimirov ; Global solvability versus collapse in the dynamics of an incompressible fluid / V.I. Yudovich |
| Record Nr. | UNISALENTO-991000117379707536 |
| Berlin : Springer | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Paul Lévy and Maurice Fréchet : 50 Years of Correspondence in 107 Letters / / by Marc Barbut, Bernard Locker, Laurent Mazliak
| Paul Lévy and Maurice Fréchet : 50 Years of Correspondence in 107 Letters / / by Marc Barbut, Bernard Locker, Laurent Mazliak |
| Autore | Barbut Marc |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (227 p.) |
| Disciplina | 510.904 |
| Collana | Sources and Studies in the History of Mathematics and Physical Sciences |
| Soggetto topico |
History
Probabilities Functional analysis Mathematical physics Mathematics Social sciences History of Science Probability Theory and Stochastic Processes Functional Analysis Mathematical Physics Mathematics in the Humanities and Social Sciences |
| ISBN | 1-4471-5619-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Introduction to the correspondence -- 107 Letters from Paul Lévy to Maurice Fréchet. |
| Record Nr. | UNINA-9910299975903321 |
|
Barbut Marc
|
||
| London : , : Springer London : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland / / by Roman Murawski
| The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland / / by Roman Murawski |
| Autore | Murawski Roman |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2014 |
| Descrizione fisica | 1 online resource (235 p.) |
| Disciplina |
510.904
511.30943809041 |
| Collana | Science Networks. Historical Studies |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematics History Philosophy Logic Mathematical Logic and Foundations History of Mathematical Sciences History of Philosophy |
| ISBN | 3-0348-0831-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Predecessors -- The Polish School of Mathematics -- Lvov-Warsaw School of Philosophy -- Benedykt Bornstein -- Cracow Centre -- Conclusion -- Biographical Notes -- Bibliography -- Index of Names. |
| Record Nr. | UNINA-9910299985703321 |
|
Murawski Roman
|
||
| Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||