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.
Advanced topics in exception handling techniques / Christophe Dony, Jorgen Lindskov Knudsen (eds.)
| Advanced topics in exception handling techniques / Christophe Dony, Jorgen Lindskov Knudsen (eds.) |
| Autore | DONY, Christophe |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2006 |
| Descrizione fisica | X, 300 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Altri autori (Persone) | KNUDSEN, Jorgen Lindskov |
| Collana | Lecture Notes in Computer Science, State- of- the - Art Survey |
| Soggetto topico | Software per computer - Programmazione |
| ISBN | 3-540-37443-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003071430203316 |
DONY, Christophe
|
||
| Berlin [etc.] : Springer, copyr. 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cooperative bug isolation : winning thesis of the 2005 ACM doctoral dissertation competition / Ben Liblit
| Cooperative bug isolation : winning thesis of the 2005 ACM doctoral dissertation competition / Ben Liblit |
| Autore | LIBLIT, Ben |
| Pubbl/distr/stampa | Berlin (etc.) : Springer, copyr. 2007 |
| Descrizione fisica | XV, 101 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science, ACM Distinguished Theses |
| Soggetto topico | Software per computer - Programmazione |
| ISBN | 978-3-540-71877-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003076720203316 |
|
LIBLIT, Ben
|
||
| Berlin (etc.) : Springer, copyr. 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal theories of information : from shannon to semantic information theory and general concepts of information / Giovanni Sommaruga (Ed.)
| Formal theories of information : from shannon to semantic information theory and general concepts of information / Giovanni Sommaruga (Ed.) |
| Autore | SOMMARUGA, Giovanni |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
| Descrizione fisica | VI, 267 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science, State of the art survey |
| Soggetto topico | Software per computer - Programmazione |
| ISBN | 978-3-642-00658-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003325080203316 |
|
SOMMARUGA, Giovanni
|
||
| Berlin [etc.] : Springer, copyr. 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal to pratical security : papers issued from the 2005-2008 : french-japanese / Véronique Cortier...[et al.] (Eds.)
| Formal to pratical security : papers issued from the 2005-2008 : french-japanese / Véronique Cortier...[et al.] (Eds.) |
| Autore | CORTIER, Véronique |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
| Descrizione fisica | 197 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science, State of the art survey |
| Soggetto topico | Software per computer - Programmazione |
| ISBN | 978-3-642-02001-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003325090203316 |
|
CORTIER, Véronique
|
||
| Berlin [etc.] : Springer, copyr. 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday / Orna Grumberg...[et al.] (Eds.)
| Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday / Orna Grumberg...[et al.] (Eds.) |
| Autore | GRUMBERG, Orna |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
| Descrizione fisica | VIII, 244 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science, Festschrift |
| Soggetto topico | Software per computer - Programmazione |
| ISBN | 978-3-642-01747-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003325130203316 |
|
GRUMBERG, Orna
|
||
| Berlin [etc.] : Springer, copyr. 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of His 60th birthday / Thomas Reps, Mooly Sagiv, Jorg Bauer
| Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of His 60th birthday / Thomas Reps, Mooly Sagiv, Jorg Bauer |
| Autore | REPS, Thomas |
| Pubbl/distr/stampa | Berlin (etc.) : Springer, copyr. 2007 |
| Descrizione fisica | X, 360 p. : ill. ; 24 cm |
| Disciplina | 005.3 |
| Collana | Lecture notes in computer science, Festschrift |
| Soggetto topico | Software per computer - Programmazione |
| ISBN | 978-3-540-71315-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003076840203316 |
|
REPS, Thomas
|
||
| Berlin (etc.) : Springer, copyr. 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software engineering : international summer schools : ISSSE 2006-2008, Salerno, Italy : revised tutorial lectures / Andrea De Lucia, Filomena Ferrucci (Eds.)
| Software engineering : international summer schools : ISSSE 2006-2008, Salerno, Italy : revised tutorial lectures / Andrea De Lucia, Filomena Ferrucci (Eds.) |
| Autore | DE LUCIA, Andrea |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
| Descrizione fisica | VIII, 256 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science, Tutorial |
| Soggetto topico | Software per computer - Programmazione |
| ISBN | 978-3-540-95887-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003325060203316 |
|
DE LUCIA, Andrea
|
||
| Berlin [etc.] : Springer, copyr. 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Towards digital optical networks : COST action 291 final report / Ioannis Tomkson...[et al.] (Eds.)
| Towards digital optical networks : COST action 291 final report / Ioannis Tomkson...[et al.] (Eds.) |
| Autore | TOMKSON, Ioannis |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
| Descrizione fisica | XX, 364 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science, State of the art survey |
| Soggetto topico | Software per computer - Programmazione |
| ISBN | 978-3-642-01523-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003325110203316 |
|
TOMKSON, Ioannis
|
||
| Berlin [etc.] : Springer, copyr. 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on aspect-oriented software development II / Awais Rashid, Mehmet Aksit (Eds.)
| Transactions on aspect-oriented software development II / Awais Rashid, Mehmet Aksit (Eds.) |
| Autore | RASHID, Awais |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2006 |
| Descrizione fisica | VIII, 288 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science, Journal subline |
| Soggetto topico | Software per computer - Programmazione |
| ISBN | 978-3-540-48890-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003072450203316 |
|
RASHID, Awais
|
||
| Berlin [etc.] : Springer, copyr. 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on aspect-oriented software development III / Awais Rashid, Mehmet Aksit (Eds.)
| Transactions on aspect-oriented software development III / Awais Rashid, Mehmet Aksit (Eds.) |
| Autore | RASHID, Awais |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2007 |
| Descrizione fisica | VI, 199 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science, Journal subline |
| Soggetto topico | Software per computer - Programmazione |
| ISBN | 978-3-540-75161-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003077570203316 |
|
RASHID, Awais
|
||
| Berlin [etc.] : Springer, copyr. 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
