Algorithmic learning theory : 4th International workshop ALT'93 : Tokyo, Japan, November 8-10, 1993: proceedings / K. P. Jantke (ed.) |
Autore | International workshop ALT'93 : 4. : 1993 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
Descrizione fisica | XI, 423 p. : ill. ; 24 cm |
Disciplina | 0063 |
Collana | Lecture notes in artificial intelligence |
Soggetto non controllato |
algoritmi - congressi - 1993
congressi - tokio - 1993 intelligenza artificiale - congressi - 1993 sistemi esperti - congressi - 1993 |
ISBN | 3-540-57370-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000200760203316 |
International workshop ALT'93 : 4. : 1993
![]() |
||
Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithms : ESA'93 : first annual european symposium, Bad Honnef, Germany, September 1993 : proccedings / Thomas Lengauer (ed.) |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
Descrizione fisica | IX, 418 p. : ill. ; 24 cm |
Disciplina | 00512 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
algoritmi - congressi - 1993
congressi - bad honnef - 1993 |
ISBN | 3-540-57273-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000204040203316 |
Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithms and computation : 4th International symposium, ISAAC'93 : Hong Kong, December 1993 : proceedings / K. W. Ng (ed.) |
Autore | International symposium ISAAC'93 : 4. : 1993 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
Descrizione fisica | XIII, 542 p. : ill. ; 24 cm |
Disciplina | 00512 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
algoritmi - congressi - 1993
congressi - hong kong - 1993 |
ISBN | 3-540-57568-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000203990203316 |
International symposium ISAAC'93 : 4. : 1993
![]() |
||
Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Applied algebra, algebraic algorithms and error-correcting codes : 10th International symposium AAECC-10 : San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993 : proceedings / Gérard Cohen (ed.) |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
Descrizione fisica | X, 354 p. : ill. ; 24 cm |
Disciplina | 00462 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
algoritmi - congressi - 1993
congressi - san juan de puerto rico - 1993 elaboratori elettronici - codici di correzione degli errori - congressi -1993 |
ISBN | 3-540-56686-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000203920203316 |
Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automated and algorithmic debugging : first International workshop AADEBUG'93 : Linköping, Sweden, May 1993: proceedings / Peter A. Fritzson (ed.) |
Autore | International workshop AADEBUG'93 : 1. : 1993 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
Descrizione fisica | VIII, 367 p. : ill. ; 24 cm |
Disciplina | 00512 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
algoritmi - congressi - 1993
congressi - linkoping - 1993 elaboratori elettronici - programmazione - congressi - 1993 |
ISBN | 3-540-57417-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000203960203316 |
International workshop AADEBUG'93 : 1. : 1993
![]() |
||
Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Combinatorial pattern matching : 4th Annual symposium CPM'93 : Padova, Italy, June 2-4, 1993 : proceedings / A. Apostolico (ed.) |
Autore | Annual symposium CPM'93 : 4. : 1993 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
Descrizione fisica | VIII, 265 p. : ill. ; 24 cm |
Disciplina | 004 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
algoritmi - congressi - 1993
congressi - padova - 1993 elaborazione elettronica - congressi - 1993 |
ISBN | 3-540-56764-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000204760203316 |
Annual symposium CPM'93 : 4. : 1993
![]() |
||
Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Distributed algorithms : Lausanne, Switzerland, September 1993 : proccedings / André Schiper (ed.) |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
Descrizione fisica | VIII, 323 p. : ill. ; 24 cm |
Disciplina | 00512 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
algoritmi - congressi - 1993
archivi di dati - congressi - 1993 congressi - losanna - 1993 elaborazione distribuita - congressi - 1993 |
ISBN | 3-540-57271-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000204200203316 |
Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundations of data organization and algorithms : 4th International conference FODO'93 : Chicago, Illinois, USA, October 1993 : proccedings / David B. Lomet (ed.) |
Autore | International conference FODO'93 : 4. : 1993 |
Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 1993 |
Descrizione fisica | 411 p. : ill. ; 24 cm |
Disciplina | 00512 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
algoritmi - congressi - 1993
archivi di dati - congressi - 1993 congressi - chicago - 1993 |
ISBN | 3-540-57301-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000204100203316 |
International conference FODO'93 : 4. : 1993
![]() |
||
Berlin : Springer-Verlag, copyr. 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Proceedings of the fourth Annual ACM-SIAM symposium on discrete algorithms : [symposium, held January 25-27, 1993, in Austin Texas] |
Autore | Annual ACM-SIAM symposium on discrete algorithms : 4. : 1993 |
Pubbl/distr/stampa | New York : Association for Computing Machinery ; Philadelphia : Society for Industrial and Applied Mathematics, copyr. 1993 |
Descrizione fisica | 506 p. : ill. ; 28 cm |
Disciplina | 0051 |
Soggetto non controllato |
algoritmi - congressi - 1993
congressi - austin - 1993 elaboratori elettronici - programmazione - congressi - 1993 |
ISBN | 0-89871-313-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000265040203316 |
Annual ACM-SIAM symposium on discrete algorithms : 4. : 1993
![]() |
||
New York : Association for Computing Machinery ; Philadelphia : Society for Industrial and Applied Mathematics, copyr. 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Static analysis : third International workshop, WSA'93 : Padova, Italy, September 22-24, 1993 : proceedings / Patrick Cousot (ed.) |
Autore | International workshop WSA'93 : 3. : 1993 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
Descrizione fisica | IX, 283 p. : ill. ; 23 cm |
Disciplina | 0051 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
algoritmi - congressi - 1993
congressi - padova - 1993 elaboratori elettronici - programmazione - congressi - 1993 linguaggi di programmazione - congressi - 1993 |
ISBN | 3-540-57264-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000204900203316 |
International workshop WSA'93 : 3. : 1993
![]() |
||
Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|