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.
Abstract state machines 2003 : advances in theory and practice : 10th international workshop, ASM 2003 : Taormina, Italy, march 2003 : proceedings / Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)
| Abstract state machines 2003 : advances in theory and practice : 10th international workshop, ASM 2003 : Taormina, Italy, march 2003 : proceedings / Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.) |
| Autore | International workshop on astract state machines <10. ; 2003 ; Taormina> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2003 |
| Descrizione fisica | XI, 424 p. : ill. ; 24 cm. |
| Collana | Lecture notes in computer science |
| ISBN | 3-540-00624-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001770120203316 |
International workshop on astract state machines <10. ; 2003 ; Taormina>
|
||
| Berlin [etc.] : Springer, copyr. 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract state machines, B and Z : first international conference, ABZ 2008 : London, UK, September 16-18, 2008 : proceedings / Egon Börger... [et al.] (Eds.)
| Abstract state machines, B and Z : first international conference, ABZ 2008 : London, UK, September 16-18, 2008 : proceedings / Egon Börger... [et al.] (Eds.) |
| Autore | International conference, ABZ 2008 : <1.; : 2008 |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 2008 |
| Descrizione fisica | XII, 382 p. : ill. ; 24 cm |
| Disciplina | 511.321 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Teoria della macchina |
| ISBN | 978-3-540-87602-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003161580203316 |
|
International conference, ABZ 2008 : <1.; : 2008
|
||
| Berlin : Springer-Verlag, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in software engineering : Lipari summer school 2007 : Lipar Island, Italy, July 8-21, 2007 : revised tutorial lectures / Egon Börger, Antonio Cisternino (Eds.)
| Advances in software engineering : Lipari summer school 2007 : Lipar Island, Italy, July 8-21, 2007 : revised tutorial lectures / Egon Börger, Antonio Cisternino (Eds.) |
| Autore | Lipari summer school 2007 : <2007 |
| Pubbl/distr/stampa | Berlin [etc.] : springer, copyr. 2008 |
| Descrizione fisica | 276 p. : ill. ; 24 cm |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science, tutorial |
| Soggetto topico | Intelligenza artificiale - Congressi - Lipari - 2007 |
| ISBN | 978-3-540-89761-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003188920203316 |
|
Lipari summer school 2007 : <2007
|
||
| Berlin [etc.] : springer, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computability complexity logic / E. Börger
| Computability complexity logic / E. Börger |
| Autore | BÖRGER, Egon |
| Pubbl/distr/stampa | Amsterdam [etc.] : Noth-Holland, 1989 |
| Descrizione fisica | XX, 592 p. : ill. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Algoritmi
Complessità computazionale |
| ISBN | 0-444-87406-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000235600203316 |
|
BÖRGER, Egon
|
||
| Amsterdam [etc.] : Noth-Holland, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computation theory and logic / Egon Börger (ed.)
| Computation theory and logic / Egon Börger (ed.) |
| Pubbl/distr/stampa | Berlin : Springer Verlag, c1987 |
| Descrizione fisica | IX, 442 p. : ill., 1 ritr. ; 25 cm |
| Disciplina | 519.4 |
| Collana | Lecture notes in computer science |
| ISBN | 0-540-18170-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000352190203316 |
| Berlin : Springer Verlag, c1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer science logic : 5th Workshop, CSL'91 : Berne, Switzerland, October 7-11, 1991 : proceedings / E. BÖrger ... [et al.]
| Computer science logic : 5th Workshop, CSL'91 : Berne, Switzerland, October 7-11, 1991 : proceedings / E. BÖrger ... [et al.] |
| Autore | Workshop. CSL'91 : 5. : 1991 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1991 |
| Descrizione fisica | VIII, 428 p. : ill. ; 25 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - berna - 1991
elaboratori elettronici - programmazione - congressi - 1991 logica matematica - congressi - 1991 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204930203316 |
|
Workshop. CSL'91 : 5. : 1991
|
||
| Berlin [etc.] : Springer-Verlag, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer science logic : 6th workshop, CSL'92 : San Miniato, Italy . September 28-October 2, 1992 : selected papers / E. Börger ... [et al.]
| Computer science logic : 6th workshop, CSL'92 : San Miniato, Italy . September 28-October 2, 1992 : selected papers / E. Börger ... [et al.] |
| Autore | Workshop CSL'92 : 6. : 1992 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | VIII, 439 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - san miniato - 1992
elaboratori elettronici - programmazione - congressi - 1992 logica matematica - congressi - 1992 |
| ISBN | 3-540-56992-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204920203316 |
|
Workshop CSL'92 : 6. : 1992
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer science logic : 7th workshop CSL'93 : Swansea, United Kingdom, September 13-17, 1993 / Egon Börger (ed.)
| Computer science logic : 7th workshop CSL'93 : Swansea, United Kingdom, September 13-17, 1993 / Egon Börger (ed.) |
| Autore | Workshop CSL'93 : 7. : 1993 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1994 |
| Descrizione fisica | VIII, 336 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - swansea - 1993
elaboratori elettronici - programmazione - congressi - 1993 logica matematica - congressi - 1993 |
| ISBN | 3-540-58277-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204600203316 |
|
Workshop CSL'93 : 7. : 1993
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||