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 | ||
![]() | ||
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.) |
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 | ||
![]() | ||
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.) |
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 | ||
![]() | ||
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.) |
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 | ||
![]() | ||
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.) |
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 | ||
![]() | ||
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.) |
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 | ||
![]() | ||
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.) |
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|