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.
Automated technology for Verification and Analysis : Second International Conference, ATVA 2004 : Taipei, Taiwan, ROC, October 31 - November 3, 2004 : Proceedings / Farn Wang... (Ed.)
| Automated technology for Verification and Analysis : Second International Conference, ATVA 2004 : Taipei, Taiwan, ROC, October 31 - November 3, 2004 : Proceedings / Farn Wang... (Ed.) |
| Autore | International conference, ATVA 2004 : < 2. ; : 2004 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
| Descrizione fisica | XII, 506 p. : ill. ; 24 cm. |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Informatica - Congressi - 2004 |
| ISBN | 3-540-23610-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002951670203316 |
International conference, ATVA 2004 : < 2. ; : 2004
|
||
| Berlin [etc.] : Springer, copyr. 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Compiler construction : 13th international conference, CC 2004 : held as part of the joint European conferences on theory and practice of software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings / Evelyn Duesterwald(ed.)
| Compiler construction : 13th international conference, CC 2004 : held as part of the joint European conferences on theory and practice of software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings / Evelyn Duesterwald(ed.) |
| Autore | International conference on compiler construction : <13. ; : 2004 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
| Descrizione fisica | X, 313 p. : ill. ; 24 cm. |
| Disciplina | 004.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Informatica - Congressi - 2004 |
| ISBN | 3-540-21297-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002956860203316 |
|
International conference on compiler construction : <13. ; : 2004
|
||
| Berlin [etc.] : Springer, copyr. 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Data mining and knowledge management : Chinese Academy od Sciences Symposium CASDMKM 2004 : Beijing, China, July 12-14, 2004 : Revised Papers / Yong Shi... [et al.] (Eds.)
| Data mining and knowledge management : Chinese Academy od Sciences Symposium CASDMKM 2004 : Beijing, China, July 12-14, 2004 : Revised Papers / Yong Shi... [et al.] (Eds.) |
| Autore | SHI, Yong |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2005 |
| Descrizione fisica | XIII, 262 p. : ill. ; 24 cm. |
| Disciplina | 006.332 |
| Collana |
Lecture notes in artificial intelligence
Lecture notes in computer science |
| Soggetto topico | Informatica - Congressi - 2004 |
| ISBN | 3-540-23987-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002965970203316 |
|
SHI, Yong
|
||
| Berlin [etc.] : Springer, copyr. 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligence and security informatics : Second Symposium on Intelligence and Security Informatics , ISI 2004 : Tucson, AZ, USA, June 10-11, 2004 : Proceedings / Hsinchun Chen ... [et al.] (eds.)
| Intelligence and security informatics : Second Symposium on Intelligence and Security Informatics , ISI 2004 : Tucson, AZ, USA, June 10-11, 2004 : Proceedings / Hsinchun Chen ... [et al.] (eds.) |
| Autore | Symposium on intelligence and security informatics : <2. ; : 2004 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
| Descrizione fisica | XV, 536 p. : ill. ; 24 cm. |
| Disciplina | 004.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Informatica - Congressi - 2004
Informatica - Sicurezza - congressi - 2004 |
| ISBN | 3-540-22125-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002956900203316 |
|
Symposium on intelligence and security informatics : <2. ; : 2004
|
||
| Berlin [etc.] : Springer, copyr. 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent tutoring systems : 7th international conference, ITS 2004 : Maceio, Alagoas, Brazil, August 30 - September 3, 2004 : Proceedings / James C. Lester, Rosa Maria Viari, Fabio Paraguaçu (eds.)
| Intelligent tutoring systems : 7th international conference, ITS 2004 : Maceio, Alagoas, Brazil, August 30 - September 3, 2004 : Proceedings / James C. Lester, Rosa Maria Viari, Fabio Paraguaçu (eds.) |
| Autore | International conference ITS 2004 : <7. ; : 2004 |
| Pubbl/distr/stampa | Berlino : Springer, c2004 |
| Descrizione fisica | XXI, 920 p. : ill. ; 25 cm |
| Disciplina | 371.33 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Intelligenza artificiale - Congressi - 2004
Informatica - Congressi - 2004 |
| ISBN | 3-540-22948-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002959900203316 |
|
International conference ITS 2004 : <7. ; : 2004
|
||
| Berlino : Springer, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Semantic web and Database : second international Workshop, SWDB 2004 : Toronto, Canada, August 29-30, 2004 : Revised Selected paper / Christoph Bussler...[et al.] (eds.)
| Semantic web and Database : second international Workshop, SWDB 2004 : Toronto, Canada, August 29-30, 2004 : Revised Selected paper / Christoph Bussler...[et al.] (eds.) |
| Autore | International Workshop SWDB : < 2. ; : 2004 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
| Descrizione fisica | X, 225 p. : ill. ; 24 cm. |
| Collana | Lecture notes in computer science |
| Soggetto topico | Informatica - Congressi - 2004 |
| ISBN | 3-540- 24576-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002951790203316 |
|
International Workshop SWDB : < 2. ; : 2004
|
||
| Berlin [etc.] : Springer, copyr. 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium : Guiyang, China, September 20-24, 2004 : Revised Selected Papers / Zhiming Liu, Keijiro Araki (Eds.)
| Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium : Guiyang, China, September 20-24, 2004 : Revised Selected Papers / Zhiming Liu, Keijiro Araki (Eds.) |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 2005 |
| Descrizione fisica | XIV, 562 p. : ill. ; 20 cm |
| Disciplina | 005.82 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Informatica - Congressi - 2004 |
| ISBN | 3-540-25304-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002949460203316 |
| Berlin : Springer-Verlag, copyr. 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
