Automata, languages and programming : 28th International colloquium, ICALP 2001 : Crete, Greece, July 8-12, 2001 : proceedings / Fernando Orejas ... <et al.> (eds.) |
Autore | International colloquium ICALP 2001 <28. ; 2001 ; Crete, Greece> |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
Descrizione fisica | XIV, 1083 p. : ill. ; 20 cm |
Disciplina | 004 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Elaboratori elettronici - Congressi - 2001
Linguaggi di programmazione - Congressi - 2001 Programmazione (informatica) - Congressi - 2001 Congressi - Creta - 2001 |
ISBN | 3-540-42287-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000844640203316 |
International colloquium ICALP 2001 <28. ; 2001 ; Crete, Greece> | ||
Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Conceptual modeling - ER 2001 : 20th International conference on conceptual modeling : Yokohama, Japan, November 27-30, 2001 : proceedings / Hideko S. Kunii ... <et al.> (eds.) |
Autore | International conference on conceptual modeling <20. ; 2001 ; Yokohama, Japan> |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
Descrizione fisica | XIX, 614 p. : ill. ; 20 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto non controllato | Elaboratori elettronici - Congressi - 2001 |
ISBN | 3-540-42866-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000954560203316 |
International conference on conceptual modeling <20. ; 2001 ; Yokohama, Japan> | ||
Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Discovery science : 4th International conference, DS 2001 : Washington, DC, USA, November 25-28, 2001 : proceedings / Klaus P. Jantke ... <et al.> (eds.) |
Autore | International conference DS 2001 <4. ; 2001 ; Washington, USA> |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
Descrizione fisica | XII, 494 p. : ill. ; 20 cm |
Disciplina | 501.21 |
Collana | Lecture notes in artificial intelligence |
Soggetto non controllato |
Elaboratori elettronici - Congressi - 2001
Scienze - Filosofia - Congressi - 2001 |
ISBN | 3-540-42956-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000956390203316 |
International conference DS 2001 <4. ; 2001 ; Washington, USA> | ||
Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Evolvable system: from biology to hardware : 4th International conference, ICES 2001 : Tokyo, Japan, October 3-5, 2001 : proceedings / Yong Liu ... <et al.> (eds.) |
Autore | International conference ICES 2001 <4. ; 2001 ; Tokyo, Japan> |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
Descrizione fisica | XI, 339 p. : ill. ; 20 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Elaboratori elettronici - Congressi - 2001
Circuiti integrati - Congressi - 2001 Circuiti digitali - Congressi - 2001 |
ISBN | 3-540-42671-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000948680203316 |
International conference ICES 2001 <4. ; 2001 ; Tokyo, Japan> | ||
Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Functional and logic programming : 5th International symposium, FLOPS 2001 : Tokyo, Japan, March 7-9, 2001 : proceedings / Helbert Kuchen (ed.) |
Autore | International symposium, FLOPS 2001 <5. ; 2001 ; Tokyo, Japan> |
Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 2001 |
Descrizione fisica | X, 389 p. : ill. ; 20 cm. |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Elaboratori elettronici - Congressi - 2001
Logica matematica - Congressi - 2001 Congressi - Tokyo - 2001 |
ISBN | 3-540-41739-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000371820203316 |
International symposium, FLOPS 2001 <5. ; 2001 ; Tokyo, Japan> | ||
Berlin : Springer-Verlag, copyr. 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Principles and practice of constraint programming - CP 2001 : 7th International conference, CP 2001 : Paphos, Cyprus, November 26-December 1, 2001 : proceedings / Toby Walsh (ed.) |
Autore | International conference CP 2001 <7. ; 2001 ; Paphos, Cyprus> |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
Descrizione fisica | XIV, 788 p. : ill. ; 20 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto non controllato | Elaboratori elettronici - Congressi - 2001 |
ISBN | 3-540-42863-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000955330203316 |
International conference CP 2001 <7. ; 2001 ; Paphos, Cyprus> | ||
Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Stacs 2001 : 18th Annual symposium on theoretical aspects of computer science : Dresden, Germany : proceedings / Ferreira Reichel(eds.) |
Autore | Annual symposium on theoretical aspects of computer science <18. ; 2001 ; Dresden, Germany > |
Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 2001 |
Descrizione fisica | XIV, 660 p. : ill. ; 20 cm. |
Disciplina | 004 |
Collana | Lecture notes in computer science |
Soggetto non controllato | Elaboratori elettronici - Congressi - 2001 |
ISBN | 3-540-43283-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000371720203316 |
Annual symposium on theoretical aspects of computer science <18. ; 2001 ; Dresden, Germany > | ||
Berlin : Springer-Verlag, copyr. 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|