(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 |
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 |
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 |
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 / 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 / edited by Yu. G. Borisovich, Yu. E. Gliklikh |
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. |
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. |
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 | ||
|
1 : Elements of Functional Analysis. XIV,474 p. |
Autore | Brown, Arlen |
Pubbl/distr/stampa | New York : Springer-Verlag, 1977 |
Descrizione fisica | v. 24 cm |
Disciplina | 515.72 |
Collana | Graduate texts in mathematics |
ISBN | 0-387-90257-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000871780403321 |
Brown, Arlen | ||
New York : Springer-Verlag, 1977 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
1 : Mathematical Theory and Applications.XV, 442 p. 205 ill. 69 in color |
Autore | Joseph, Daniel D. |
Pubbl/distr/stampa | New York : Springer-Verlag, 1993 |
Descrizione fisica | v. 24 cm |
Disciplina | 620.1 |
Collana | Interdisciplinary Applied Mathematics |
Soggetto non controllato | Fundamentals of Two |
ISBN | 0-387-97913-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000874210403321 |
Joseph, Daniel D. | ||
New York : Springer-Verlag, 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|