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.
(Lambda)-Calculus and Computer Science Theory : Proceedings of the Symposium held in Rome March 25-27, 1975 IAC-CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche / edited by C. Bohm
| (Lambda)-Calculus and Computer Science Theory : Proceedings of the Symposium held in Rome March 25-27, 1975 IAC-CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche / edited by C. Bohm |
| Autore | Bohm, Corrado |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1975 |
| Disciplina | 510.78 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 3-540-07416-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000963700403321 |
Bohm, Corrado
|
||
| Berlin [etc.] : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
*-Autonomous categories / Michael Barr ; with an appendix by Po-Hsiang Chu
| *-Autonomous categories / Michael Barr ; with an appendix by Po-Hsiang Chu |
| Autore | Barr, Michael |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1979 |
| Descrizione fisica | 138 p. : ill. ; 24 cm. |
| Disciplina | 512.55 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 752 |
| Soggetto topico | Categories |
| ISBN | 3540095632 |
| Classificazione | AMS 18A35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000641129707536 |
|
Barr, Michael
|
||
| Berlin : Springer-Verlag, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
-Autonomous categories / / Michael Barr ; with an appendix by Po-Hsiang Chu
| -Autonomous categories / / Michael Barr ; with an appendix by Po-Hsiang Chu |
| Autore | Barr Michael <1937-> |
| Edizione | [1st ed. 1979.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , 1979 |
| Descrizione fisica | 1 online resource (VIII, 144 p.) |
| Disciplina | 512.55 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Categories (Mathematics) |
| ISBN | 3-540-34850-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preliminaries -- Extensions of structure -- The category G. -- Examples. |
| Record Nr. | UNISA-996466612303316 |
|
Barr Michael <1937->
|
||
| Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
1
| 1 |
| Autore | European conference on computer vision : <3. : ; 1994 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, c1994 |
| Descrizione fisica | XVIII, 603 p. : ill. ; 24 cm. |
| Disciplina | 006.37 |
| Collana | Lecture notes in computer science |
| ISBN |
0387579567
3540579567 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10006370 |
|
European conference on computer vision : <3. : ; 1994
|
||
| Berlin [etc.], : Springer-Verlag, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
1 / C. K. R. T. Jones, U. Kirchgraber, H. O. Walther (Managing Editors) ; With Contributions of R. Bielawski ... [et al.]
| 1 / C. K. R. T. Jones, U. Kirchgraber, H. O. Walther (Managing Editors) ; With Contributions of R. Bielawski ... [et al.] |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, 1992 |
| Descrizione fisica | ix, 250 p. : ill. ; 24 cm |
| Soggetto topico |
37-XX - Dynamical systems and ergodic theory [MSC 2020]
58-XX - Global analysis, analysis on manifolds [MSC 2020] |
| Soggetto non controllato |
Bifurcations
Differential equations Dynamical systems Manifolds Singularity Stability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00289356 |
| Berlin [etc.], : Springer-Verlag, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1 / edited by W.-M. Ni, L. A. Peletier, James Serrin
| 1 / edited by W.-M. Ni, L. A. Peletier, James Serrin |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1988 |
| Descrizione fisica | xiii, 359 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
35-XX - Partial differential equations [MSC 2020] |
| Soggetto non controllato |
Boundary Value Problems
Calculus of variations Convergence Stability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00269050 |
| New York, : Springer-Verlag, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1 / edited by Yu. G. Borisovich, Yu. E. Gliklikh
| 1 / edited by Yu. G. Borisovich, Yu. E. Gliklikh |
| Pubbl/distr/stampa | Berlin, : Springer-Verlag, 1984 |
| Descrizione fisica | viii, 308 p. ; 25 cm |
| Soggetto topico |
58-XX - Global analysis, analysis on manifolds [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Analysis
Applications Calculus Contact geometry Differential equations Extrema Manifolds Minimum |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0263244 |
| Berlin, : Springer-Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1 / Yu. G. Borisovich, Yu. E. Gliklikh (eds.)
| 1 / Yu. G. Borisovich, Yu. E. Gliklikh (eds.) |
| Pubbl/distr/stampa | Berlin, : Springer-Verlag, 1984 |
| Descrizione fisica | viii, 308 p. ; 25 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
58-XX - Global analysis, analysis on manifolds [MSC 2020] |
| Soggetto non controllato |
Analysis
Applications Calculus Contact geometry Differential equations Extrema Manifolds Minimum |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00263244 |
| Berlin, : Springer-Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1 : 1982. XII, 434 p.
| 1 : 1982. XII, 434 p. |
| Autore | Suzuki, Michio |
| Pubbl/distr/stampa | New York : Springer-Verlag, 1982-1986 |
| Descrizione fisica | 2 v. (1055 p. compless.) 24 cm |
| Disciplina | 512.22 |
| Collana | Grund lehren der mathematischen Wissenschaften |
| Soggetto non controllato | Group Theory |
| ISBN | 0-387-10916-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000871840403321 |
|
Suzuki, Michio
|
||
| New York : Springer-Verlag, 1982-1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1 : Basics. XIX, 386 p.
| 1 : Basics. XIX, 386 p. |
| Autore | Bechtolsheim, Stephan : von |
| Pubbl/distr/stampa | New York : Springer-Verlag, 1993 |
| Descrizione fisica | 4 v. 24 cm - (Monographs in Visual Communi cation) |
| Disciplina | 686.2 |
| Collana | Monographs in Visual Communication |
| ISBN | 0-387-97595-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000869440403321 |
|
Bechtolsheim, Stephan : von
|
||
| New York : Springer-Verlag, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pubbl/distr/stampa
-
Springer-Verlag
(18968)
- Higher Education Press (14)
- IFS (8)
- EDP Sciences (6)
- Elsevier Science (6)