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.
Advances in learning software organizations : third International workshop, LPO 2001 : Kaiserslautern, Germany, September 12-12, 2001 : proceedings / Klauss-Dieter Althoff ... [et al.] (eds.)
| Advances in learning software organizations : third International workshop, LPO 2001 : Kaiserslautern, Germany, September 12-12, 2001 : proceedings / Klauss-Dieter Althoff ... [et al.] (eds.) |
| Autore | International workshop LSO <1. ; 2001 ; Kaiserslautern, Germania> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer Verlag, copyr. 2001 |
| Descrizione fisica | XI, 235 p : ill. ; 20 |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Software - Congressi - 2001
Congressi - Kaiserslautern (Germania) - 2001 |
| ISBN | 0302-9743 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000762020203316 |
International workshop LSO <1. ; 2001 ; Kaiserslautern, Germania>
|
||
| Berlin [etc.] : Springer Verlag, copyr. 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in learning software organizations : 4th International workshop, LSO 2002 : Chicago, IL, USA, August 2002 : revised papers / Scott Henninger, Frank Maurer (Eds.)
| Advances in learning software organizations : 4th International workshop, LSO 2002 : Chicago, IL, USA, August 2002 : revised papers / Scott Henninger, Frank Maurer (Eds.) |
| Autore | International workshop LSO <4. ; 2002 ; Chicago> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer Verlag, copyr. 2003 |
| Descrizione fisica | VI, 113 p : ill. ; 20 |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Software - Congressi - 2001
Congressi - Chicago (Illynois) - 2002 |
| ISBN | 3-540-20591-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001794980203316 |
|
International workshop LSO <4. ; 2002 ; Chicago>
|
||
| Berlin [etc.] : Springer Verlag, copyr. 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cooperative information systems : 9th International conference, CoopIS 2001 : Trento, Italy, September 5-7, 2001 : proceedings / Carlo Batini ... <et al.> (eds.)
| Cooperative information systems : 9th International conference, CoopIS 2001 : Trento, Italy, September 5-7, 2001 : proceedings / Carlo Batini ... <et al.> (eds.) |
| Autore | International conference CoopIS 2001 <9. ; 2001 ; Trento, Italia> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
| Descrizione fisica | XI, 450 p. : ill. ; 20 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Programmazione oggetto orientata - Congressi - 2001
Software - Congressi - 2001 Congressi - Trento - 2001 |
| ISBN | 3-540-42524-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000897580203316 |
|
International conference CoopIS 2001 <9. ; 2001 ; Trento, Italia>
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Embedded software : First International workshop, EMSOFT 2001 : Tahoe City, CA, USA, October 2001 : proceedings / Thomas A. Henzinger...[et al.] (eds.)
| Embedded software : First International workshop, EMSOFT 2001 : Tahoe City, CA, USA, October 2001 : proceedings / Thomas A. Henzinger...[et al.] (eds.) |
| Autore | International workshop <5. ; 2001 ; Tahoe City, CA, USA> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
| Descrizione fisica | IX, 504 p. : ill. ; 20 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Software - Congressi - 2001 |
| ISBN | 3-540-42673-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000952760203316 |
|
International workshop <5. ; 2001 ; Tahoe City, CA, USA>
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of software science and computation structures : 4th International conference, FOSSACS 2001 held as part of the joint European confereces on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings / Furio Honsell ... [et.al.] (eds.)
| Foundations of software science and computation structures : 4th International conference, FOSSACS 2001 held as part of the joint European confereces on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings / Furio Honsell ... [et.al.] (eds.) |
| Autore | International conference, FOSSACS 2001 <4. ; 2001 ; Genova, Italia> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer - Verlag, copyr. 2001 |
| Descrizione fisica | XII, 412 p. : ill. ; 20 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Software - Congressi - 2001
Congrssi - Genova - 2001 |
| ISBN | 3-540-41864-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000420190203316 |
|
International conference, FOSSACS 2001 <4. ; 2001 ; Genova, Italia>
|
||
| Berlin [etc.] : Springer - Verlag, copyr. 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
FST TCS 2001: foundations of software technology and theoretical computer science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings / Ramesh Hariharan ... <et al.> (eds.)
| FST TCS 2001: foundations of software technology and theoretical computer science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings / Ramesh Hariharan ... <et al.> (eds.) |
| Autore | Conference FST TCS 2001 <21. ; 2001 ; Bangalore, India> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
| Descrizione fisica | XI, 346 p. : ill. ; 20 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Software - Congressi - 2001 |
| ISBN | 3-540-43002-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000954090203316 |
|
Conference FST TCS 2001 <21. ; 2001 ; Bangalore, India>
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model checking software : 8th International SPIN workshop : Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.)
| Model checking software : 8th International SPIN workshop : Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.) |
| Autore | International SPIN workshop <8. ; 2001 ; Toronto, Canada> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
| Descrizione fisica | VI, 311 p. : ill. ; 20 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Software - Congressi - 2001
Elaboratori elettronici - Programmazione - Congressi - 2001 |
| ISBN | 3-540-42124-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000957470203316 |
|
International SPIN workshop <8. ; 2001 ; Toronto, Canada>
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reliable software technologies - Ada-Europe 2001 : 6th Ada-Europe international conference on reliable software technologies : Leuven, Belgium, May 14-18, 2001 : proceedings / Dirk Craeynest ... [et al.] (eds.)
| Reliable software technologies - Ada-Europe 2001 : 6th Ada-Europe international conference on reliable software technologies : Leuven, Belgium, May 14-18, 2001 : proceedings / Dirk Craeynest ... [et al.] (eds.) |
| Autore | Ada-Europe International conference on reliable software technologies <6. ; 2001 ; Leuven, Belgio> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
| Descrizione fisica | XV, 404 p. : ill. ; 20 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Software - Congressi - 2001
Linguaggio Ada - Congressi - 2001 Congressi - Leuven - 2001 |
| ISBN | 3-540-42123-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000499550203316 |
|
Ada-Europe International conference on reliable software technologies <6. ; 2001 ; Leuven, Belgio>
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||