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.
Computer aided verification : 12th international conference, CAV 2000 : Chicago, IL, USA, July 15-19, 200 : proceedings / E. Allen Emerson ...<et al.> (eds.)
| Computer aided verification : 12th international conference, CAV 2000 : Chicago, IL, USA, July 15-19, 200 : proceedings / E. Allen Emerson ...<et al.> (eds.) |
| Autore | International conference CAV <12.; 2000; Chicago> |
| Edizione | [Berlino] |
| Descrizione fisica | X, 580 p. : ill. ; 20 cm |
| Disciplina | 621.39 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Software
Elaboratori elettronici digitali Congressi |
| ISBN | 3-540-67770-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000319730203316 |
International conference CAV <12.; 2000; Chicago>
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer aieded systems theory-EUROCAST'99 : a selection of papers from the 7th International workshop on computer aided system : Vienna, Austria, September 29- October 2, 1999 : proceeding / Franz Pichler...[et al](eds)
| Computer aieded systems theory-EUROCAST'99 : a selection of papers from the 7th International workshop on computer aided system : Vienna, Austria, September 29- October 2, 1999 : proceeding / Franz Pichler...[et al](eds) |
| Autore | International workshop on computer aided system theory <7.; 1999; Vienna, Austria> |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, c2000 |
| Descrizione fisica | X, 602 p. : ill. ; 20 cm |
| Disciplina | 620.004 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Progettazione assistita da elaboratore
Congressi |
| ISBN | 3-540-67822-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000337440203316 |
|
International workshop on computer aided system theory <7.; 1999; Vienna, Austria>
|
||
| Berlino : Springer-Verlag, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer algebra : EUROCAL '83, European Computer Algebra Conference : London, England, march 28-30, 1983 : proceedings / edited by J.A. van Hulzen
| Computer algebra : EUROCAL '83, European Computer Algebra Conference : London, England, march 28-30, 1983 : proceedings / edited by J.A. van Hulzen |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1983 |
| Descrizione fisica | XII; 305 p. : ill. ; 24 cm |
| Disciplina | 512 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Algebra
Congressi Computer |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000351020203316 |
| Berlin : Springer Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer performance evaluation : modelling techniques and tools : 11th International conference, TOOLS 2000 : Schaumburg, IL, USA, March 27-31, 2000
| Computer performance evaluation : modelling techniques and tools : 11th International conference, TOOLS 2000 : Schaumburg, IL, USA, March 27-31, 2000 |
| Autore | International conference, TOOLS 2000 <11.; 2000; Schaumburg> |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, c2000 |
| Descrizione fisica | XIV, 381 p. : ill. ; 24 cm |
| Disciplina | 004.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Elaboratori elettronici
Congressi |
| ISBN | 3-540-67260-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000338590203316 |
|
International conference, TOOLS 2000 <11.; 2000; Schaumburg>
|
||
| Berlin : Springer-Verlag, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer program testing : proceedings of the summer school on computer program testing held at Sogesta,Urbino Italy June 29-July 3, 1981
| Computer program testing : proceedings of the summer school on computer program testing held at Sogesta,Urbino Italy June 29-July 3, 1981 |
| Autore | Summer school on computer program testing <Urbino; 1981> |
| Pubbl/distr/stampa | Amsterdam : North-Holland publishing company, c1981 |
| Descrizione fisica | VIII, 325 p. ; 22 cm |
| Disciplina | 001.64 |
| Soggetto non controllato |
Programmazione
Congressi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000360800203316 |
|
Summer school on computer program testing <Urbino; 1981>
|
||
| Amsterdam : North-Holland publishing company, c1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer security - ESORICS 2000 : 6th European symposium on research in computer security : Toulouse, France, October 4-6, 2000 : proceedings / (eds.) Frederic Cuppens ...<et al.>
| Computer security - ESORICS 2000 : 6th European symposium on research in computer security : Toulouse, France, October 4-6, 2000 : proceedings / (eds.) Frederic Cuppens ...<et al.> |
| Autore | European symposium on research in computer security <6. ; 2000 ; Tolosa> |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, c2000 |
| Descrizione fisica | X, 323 p. : ill. ; 20 cm |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Archivi di dati
Congressi |
| ISBN | 3-540-41031-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000315970203316 |
|
European symposium on research in computer security <6. ; 2000 ; Tolosa>
|
||
| Berlin : Springer-Verlag, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computers and games : International conference, CG '98 :Tsukuba, Japan, November 11-12, 1998 : proceedings / H. Jaap van den Herik ... [et al.](eds.)
| Computers and games : International conference, CG '98 :Tsukuba, Japan, November 11-12, 1998 : proceedings / H. Jaap van den Herik ... [et al.](eds.) |
| Autore | International conference CG '98 : 1. : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1999 |
| Descrizione fisica | XV, 335 p. : ill. ; 24 cm |
| Disciplina | 796 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Giochi
Congressi |
| ISBN | 3-540-65766-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000208720203316 |
|
International conference CG '98 : 1. : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computing and combinatorics : 6th annual international conference, COCOON 2000 : Sydney, Australia, July 26-28, 200 : proceddings / Ding-Zhu Du ...<et al.> (eds.)
| Computing and combinatorics : 6th annual international conference, COCOON 2000 : Sydney, Australia, July 26-28, 200 : proceddings / Ding-Zhu Du ...<et al.> (eds.) |
| Autore | Annual international conference COCOON <6.; 2000; Sydney> |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, c2000 |
| Descrizione fisica | XII, 478 p. : ill. ; 20 cm |
| Disciplina | 004 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
Elaborazione elettronica
Congressi |
| ISBN | 3-540-67787-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000319310203316 |
|
Annual international conference COCOON <6.; 2000; Sydney>
|
||
| Berlino : Springer-Verlag, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computing and combinatorics : 5th annual international conference, COCOON '99 : Tokyo, Japan, July 26-28, 1999 : proceedings / Takao Asano ..<et al.> (eds.)
| Computing and combinatorics : 5th annual international conference, COCOON '99 : Tokyo, Japan, July 26-28, 1999 : proceedings / Takao Asano ..<et al.> (eds.) |
| Autore | Annual international conference, COCOON '99 <5. ; 1999 : Tokyo> |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, c2000 |
| Descrizione fisica | XIV, 494 p. : ill. ; 24 cm |
| Disciplina | 004 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
Elaboratori elettronici
Congressi |
| ISBN | 3-540-66200-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000319290203316 |
|
Annual international conference, COCOON '99 <5. ; 1999 : Tokyo>
|
||
| Berlino : Springer-Verlag, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual modeling - ER 2000 : 19th International conference on conceptual modeling : Salt Lake City, Utat, USA, October 9-12, 2000 : proceeding / (eds.) Alberto H.F. Laeder ...<et al.>
| Conceptual modeling - ER 2000 : 19th International conference on conceptual modeling : Salt Lake City, Utat, USA, October 9-12, 2000 : proceeding / (eds.) Alberto H.F. Laeder ...<et al.> |
| Autore | International conference on conceptual modeling <19. ; 2000 ; Salt Lake City> |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, c2000 |
| Descrizione fisica | XV, 585 p. : ill. ; 20 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Elaboratori elettronici
Congressi |
| ISBN | 3-540-41072-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000313840203316 |
|
International conference on conceptual modeling <19. ; 2000 ; Salt Lake City>
|
||
| Berlin : Springer-Verlag, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
