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.
Algebra and Coalgebra in Computer Science [Risorsa elettronica] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen
| Algebra and Coalgebra in Computer Science [Risorsa elettronica] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540738596 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009243130403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Concur '96, concurrency thery : 7th international conference, Pisa, Italy, August 26-29, 1996 : proceedings / Ugo Montanari ... [et al.] (eds.)
| Concur '96, concurrency thery : 7th international conference, Pisa, Italy, August 26-29, 1996 : proceedings / Ugo Montanari ... [et al.] (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag copyr 1996 |
| Descrizione fisica | XII, 750 p : ill ; 23 cm |
| Disciplina | 00542 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - pisa - 1996
elaboratori elettronici - sistemi operativi - programmazione - congressi - 1996 |
| ISBN | 3-540-61604-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207320203316 |
| Berlin [etc.] : Springer-Verlag copyr 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Elementi di teoria della computabilità logica, teoria dei linguaggi formali / M. Aiello, U. Montanari
| Elementi di teoria della computabilità logica, teoria dei linguaggi formali / M. Aiello, U. Montanari |
| Autore | Aiello, Mario |
| Pubbl/distr/stampa | Pisa : Editrice Tecnico Scientifica, 1972 |
| Descrizione fisica | 158 p. : ill. ; 24 cm |
| Disciplina | 514.224 |
| Altri autori (Persone) | Montanari, Ugo |
| Soggetto non controllato | Teoria della computazione |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000470200403321 |
| Aiello, Mario | ||
| Pisa : Editrice Tecnico Scientifica, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods in Software and Systems Modeling [Risorsa elettronica] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentz
| Formal Methods in Software and Systems Modeling [Risorsa elettronica] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentz |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540318477 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009240590403321 |
| Berlin ; Heidelberg : Springer, 2005 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph Transformations [Risorsa elettronica] : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz
| Graph Transformations [Risorsa elettronica] : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540388722 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009241280403321 |
| Berlin ; Heidelberg : Springer, 2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
International symposium on programming : proceedings, 5th colloquium, Turin, April 6-8, 1982 / edited by M. Dezani-Ciancaglini and U. Montanari
| International symposium on programming : proceedings, 5th colloquium, Turin, April 6-8, 1982 / edited by M. Dezani-Ciancaglini and U. Montanari |
| Autore | Dezani-Ciancaglini, Marangiola |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1982 |
| Descrizione fisica | vi, 406 p. : ill. ; 25 cm. |
| Disciplina | 001.642 |
| Altri autori (Persone) | Montanari, Ugo |
| Soggetto topico | Electronic digital computers-programming - Congresses |
| ISBN | 3540114947 |
| Classificazione | AMS 68-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001006679707536 |
Dezani-Ciancaglini, Marangiola
|
||
| Berlin : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Principles and practice of constraint programming - CP '95 : first International conference, CP'95 : Cassis, France, September 19-22, 1995 : proceedings / Ugo Montanari ... [et al.] (eds.)
| Principles and practice of constraint programming - CP '95 : first International conference, CP'95 : Cassis, France, September 19-22, 1995 : proceedings / Ugo Montanari ... [et al.] (eds.) |
| Autore | International conference CP'95 : 1. : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | XIII, 650 p. : ill. ; 25 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - cassis - 1995
elaboratori elettronici - programmazione - congressi - 1995 |
| ISBN | 3-540-60299-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000211170203316 |
|
International conference CP'95 : 1. : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent Trends in Algebraic Development Techniques [Risorsa elettronica] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari
| Recent Trends in Algebraic Development Techniques [Risorsa elettronica] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642034299 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009261470403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Storia vera / Luciano di Samosata ; prefazione di Gianni Toti ; cura e versione di Ugo Montanari
| Storia vera / Luciano di Samosata ; prefazione di Gianni Toti ; cura e versione di Ugo Montanari |
| Autore | Lucianus |
| Pubbl/distr/stampa | Roma : TEN, 1994 |
| Descrizione fisica | 97 p. ; 20 cm. |
| Altri autori (Persone) |
Montanari, Ugo
Toti, Gianni |
| Soggetto topico | Letteratura greca |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991004270438107536 |
|
Lucianus
|
||
| Roma : TEN, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Teoria della computabilità, logica, teoria dei linguaggi formali / Mario Aiello, Antonio Albano, Giuseppe Attardi, Ugo Montanari
| Teoria della computabilità, logica, teoria dei linguaggi formali / Mario Aiello, Antonio Albano, Giuseppe Attardi, Ugo Montanari |
| Autore | Aiello, Mario |
| Pubbl/distr/stampa | Pisa : ETS Editrice, 1979 |
| Disciplina | 510.78 |
| Collana | Scienze dell'informazione |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000952000403321 |
|
Aiello, Mario
|
||
| Pisa : ETS Editrice, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
