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 information system engineering : 9th International conference, CAiSE'97 : Barcelona, Catalonia, Spain,June 16-20, 1997 : proceedings / Antoni Olivé ... [et al.] (eds.)
| Advanced information system engineering : 9th International conference, CAiSE'97 : Barcelona, Catalonia, Spain,June 16-20, 1997 : proceedings / Antoni Olivé ... [et al.] (eds.) |
| Autore | International conference CAiSE'97 : 9. : 1997 |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | XI, 450 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - barcellona - 1997
software - progettazione - congressi - 1997 |
| ISBN | 3-540-63107-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000206270203316 |
International conference CAiSE'97 : 9. : 1997
|
||
| Berlino : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic methodology and softwaretechnology : 6th International conference, AMAST'97 : Sydney, Australia, December 13-17, 1997 : proceedings / Michael Johnson (ed.)
| Algebraic methodology and softwaretechnology : 6th International conference, AMAST'97 : Sydney, Australia, December 13-17, 1997 : proceedings / Michael Johnson (ed.) |
| Autore | International conference AMAST'97 : 6. : 1997 |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | X,594 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - sydney - 1997
elaboratori elettronici - programmazione - congressi - 1997 software - progettazione - congressi - 1997 |
| ISBN | 3-540-63888-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000209490203316 |
|
International conference AMAST'97 : 6. : 1997
|
||
| Berlino : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cooperative information agents : 1st International workshop, CIA'97: Kiel, Germany, February 26-28, 1997 : proceedings / Peter Kandzia ... [et al.] (eds.)
| Cooperative information agents : 1st International workshop, CIA'97: Kiel, Germany, February 26-28, 1997 : proceedings / Peter Kandzia ... [et al.] (eds.) |
| Autore | International workshop CIA'97 : 1. : 1997 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | IX, 285 p. : ill. ; 23 cm |
| Disciplina | 0063 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
archivi di dati - congressi - 1997
congressi - kiel - 1997 intelligenza artificiale - congressi - 1997 software - progettazione - congressi - 1997 |
| ISBN | 3-540-62591-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201410203316 |
|
International workshop CIA'97 : 1. : 1997
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fast software encryption : 4th International workshop, FSE'97: Haifa Israel, January 20-22, 1997 : proceedings / Eli Biham (ed.)
| Fast software encryption : 4th International workshop, FSE'97: Haifa Israel, January 20-22, 1997 : proceedings / Eli Biham (ed.) |
| Autore | International workshop FSE'97 : 4. : 1997 |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | VIII, 287 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - haifa - 1997
crittografia - congressi - 1997 software - progettazione - congressi - 1997 |
| ISBN | 3-540-63247-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000205760203316 |
|
International workshop FSE'97 : 4. : 1997
|
||
| Berlino : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundation of software technology and theoretical computer science : 17th conference, Kharagpur, India,December 18-20, 1997 : proceedings / S. Ramesh ... [et al.] (eds.)
| Foundation of software technology and theoretical computer science : 17th conference, Kharagpur, India,December 18-20, 1997 : proceedings / S. Ramesh ... [et al.] (eds.) |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | XI,343 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - klaragpur - 1997
software - progettazione - congressi - 1997 |
| ISBN | 3-540-63876-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000209000203316 |
| Berlino : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Qualitative and quantitative pratical reasoning : first International joint conference on qualitative and quantitative pratical reasoning, ECSQARU-FAPR'97: Bad Honnef, Germany, June 9-12, 1997 : proceedings / Dov M. Gabbay ... [et al.] (eds.)
| Qualitative and quantitative pratical reasoning : first International joint conference on qualitative and quantitative pratical reasoning, ECSQARU-FAPR'97: Bad Honnef, Germany, June 9-12, 1997 : proceedings / Dov M. Gabbay ... [et al.] (eds.) |
| Autore | International joint conference on qualitative and quantitative practical reasoning : 1. : 1997 |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | X, 620 p. : ill. ; 23 cm |
| Disciplina | 0063 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - bad honnef - 1997
intelligenza artificiale - congressi - 1997 software - progettazione - congressi - 1997 |
| ISBN | 3-540-63095-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000202190203316 |
|
International joint conference on qualitative and quantitative practical reasoning : 1. : 1997
|
||
| Berlino : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Requirements targeting software and systems engineering : International workshop RTSE '97 : Bernried, Germany, October 12-14, 1997 : proceedings / Manfred Broy ... [et al.] (eds.)
| Requirements targeting software and systems engineering : International workshop RTSE '97 : Bernried, Germany, October 12-14, 1997 : proceedings / Manfred Broy ... [et al.] (eds.) |
| Autore | International workshop RTSE '97 : 1997 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | VIII, 355 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - bernried - 1997
software - progettazione - congressi - 1997 |
| ISBN | 3-540-65309-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000208650203316 |
|
International workshop RTSE '97 : 1997
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software engineering ESEC/FSE'97 : 6th European software engineering conference held jointly with the 5th ACM SIGSOFT symposium on the foundations of software engineering : Zurich, Switzerland, September 22-25, 1997 : proceedings / Mehdi Jazayeri ... [et al.] (eds.)
| Software engineering ESEC/FSE'97 : 6th European software engineering conference held jointly with the 5th ACM SIGSOFT symposium on the foundations of software engineering : Zurich, Switzerland, September 22-25, 1997 : proceedings / Mehdi Jazayeri ... [et al.] (eds.) |
| Autore | European software engineering conference : 6. : 1997 |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | XIII, 532 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - zurigo - 1997
software - progettazione - congressi - 1997 |
| ISBN | 3-540-63531-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000209470203316 |
|
European software engineering conference : 6. : 1997
|
||
| Berlino : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Z formal specification notation : 10th International conference of Zusers : Rreading, UK, April 3-4, 1997 : proceedings / Jonathan P. Bowen ... [et al.] (eds.) (ZUM '97)
| The Z formal specification notation : 10th International conference of Zusers : Rreading, UK, April 3-4, 1997 : proceedings / Jonathan P. Bowen ... [et al.] (eds.) (ZUM '97) |
| Autore | International conference of Z users : 10. : 1997 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | X, 433 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - reading - 1997
elaboratori elettronici - programmazione - congressi - 1997 software - progettazione - congressi - 1997 |
| ISBN | 3-540-62717-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000205030203316 |
|
International conference of Z users : 10. : 1997
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transformation-based reactive systems development : 4th International AMAST workshop on real-time systems and concurrent and distributed software, ARTS'97 :Palma, Mallorca, Spain, May 21-23,1997 : proceedings / Miquel Bertran ... [et al.] (eds.)
| Transformation-based reactive systems development : 4th International AMAST workshop on real-time systems and concurrent and distributed software, ARTS'97 :Palma, Mallorca, Spain, May 21-23,1997 : proceedings / Miquel Bertran ... [et al.] (eds.) |
| Autore | International AMAST workshop on real-time systems and concurrent and distributed software : 4. : 1997 |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | XI,429 p. : ill. ; 23 cm |
| Disciplina | 00433 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - palma di maiorca - 1997
elaborazione in tempo reale - congressi - 1997 software - progettazione - congressi - 1997 |
| ISBN | 3-540-63010-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000206100203316 |
|
International AMAST workshop on real-time systems and concurrent and distributed software : 4. : 1997
|
||
| Berlin : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||