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, languages and programming : 28th International colloquium, ICALP 2001 : Crete, Greece, July 8-12, 2001 : proceedings / Fernando Orejas ... <et al.> (eds.)
| Automata, languages and programming : 28th International colloquium, ICALP 2001 : Crete, Greece, July 8-12, 2001 : proceedings / Fernando Orejas ... <et al.> (eds.) |
| Autore | International colloquium ICALP 2001 <28. ; 2001 ; Crete, Greece> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
| Descrizione fisica | XIV, 1083 p. : ill. ; 20 cm |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Elaboratori elettronici - Congressi - 2001
Linguaggi di programmazione - Congressi - 2001 Programmazione (informatica) - Congressi - 2001 Congressi - Creta - 2001 |
| ISBN | 3-540-42287-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000844640203316 |
International colloquium ICALP 2001 <28. ; 2001 ; Crete, Greece>
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Recent Trends in Algebraic Development Techniques [Risorsa elettronica] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers / edited by José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas
| Recent Trends in Algebraic Development Techniques [Risorsa elettronica] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers / edited by José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540319597 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009244020403321 |
| Berlin ; Heidelberg : Springer, 2005 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent trends in data type specification : 9. Workshop on specification of abstract data types joint with the 4. COMPASS workshop : Caldes de Malvella, Spain, October 26-30, 1992 : selected papers / Hartmund Ehrig, Fernando Orejas
| Recent trends in data type specification : 9. Workshop on specification of abstract data types joint with the 4. COMPASS workshop : Caldes de Malvella, Spain, October 26-30, 1992 : selected papers / Hartmund Ehrig, Fernando Orejas |
| Autore | Workshop on specification of abstract data types : <9. : ; 1992 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
| Descrizione fisica | VIII, 350 p. ; 24 cm. |
| Disciplina |
005.7
005.73 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Archivi di dati - Struttura - Congressi - 1992 |
| ISBN |
0387578676
3540578676 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10006738 |
|
Workshop on specification of abstract data types : <9. : ; 1992
|
||
| Berlin [etc.], : Springer, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||