Advances in database : 14th British national conference on batabases BNCOD 14 : Edinburgh, United Kingdom, July 3-5, 1996 : proceedings / Ron Morrison ... [et al.] (eds.)
| Advances in database : 14th British national conference on batabases BNCOD 14 : Edinburgh, United Kingdom, July 3-5, 1996 : proceedings / Ron Morrison ... [et al.] (eds.) |
| Autore | British national conference on databases : 14. : 1996 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag copyr 1996 |
| Descrizione fisica | XI, 229 p : ill ; 23 cm |
| Disciplina | 00574 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
archivi di dati - congressi - 1996
congressi - edinburgo - 1996 |
| ISBN | 3-540-61442-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207280203316 |
British national conference on databases : 14. : 1996
|
||
| Berlin [etc.] : Springer-Verlag copyr 1996 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in structural and syntactical pattern recognition : 6th International workshop, SSPR '96 : Leipzig, Germany, August 20-23, 1996 : proceedings / Petra Perner ... [et al.] (eds.)
| Advances in structural and syntactical pattern recognition : 6th International workshop, SSPR '96 : Leipzig, Germany, August 20-23, 1996 : proceedings / Petra Perner ... [et al.] (eds.) |
| Autore | International workshop SSPR'96 : 6. : 1996 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag copyr 1996 |
| Descrizione fisica | X, 392 p : ill ; 23 cm |
| Disciplina | 00642 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - leipzig - 1996
riconoscimento ottico delle forme - congressi - 1996 |
| ISBN | 3-540-61577-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207500203316 |
International workshop SSPR'96 : 6. : 1996
|
||
| Berlin [etc.] : Springer-Verlag copyr 1996 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithm theory-SWAT '96 : 5th Scandinavian workshop on algorithm theory : Reykjavik, Iceland, July 3-5, 1996 : proceedings / Rolf Karlsson ... [et al.] (eds.)
| Algorithm theory-SWAT '96 : 5th Scandinavian workshop on algorithm theory : Reykjavik, Iceland, July 3-5, 1996 : proceedings / Rolf Karlsson ... [et al.] (eds.) |
| Autore | Scandinavian workshop on algorithm theory : 5. : 1996 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag copyr 1996 |
| Descrizione fisica | IX, 451 p : ill ;23 cm |
| Disciplina | 00512 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
algoritmi - congressi - 1996
congressi - reykjavik - 1996 |
| ISBN | 3-540-61422-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207420203316 |
Scandinavian workshop on algorithm theory : 5. : 1996
|
||
| Berlin [etc.] : Springer-Verlag copyr 1996 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automatic ambiguty resolution in natural language processing : an empirical approach / Alexander Franz
| Automatic ambiguty resolution in natural language processing : an empirical approach / Alexander Franz |
| Autore | Franz, Alexander |
| Pubbl/distr/stampa | Berlin : Springer-Verlag copyr 1996, [etc.] |
| Descrizione fisica | IX, 155 p : ill ; 23 cm |
| Disciplina | 00513 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
linguaggi di programmazione
linguaggio naturale |
| ISBN | 3-540-62004-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201320203316 |
Franz, Alexander
|
||
| Berlin : Springer-Verlag copyr 1996, [etc.] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer aided verification : 8th International conference, CAV '96 : New Brunswich, NJ, USA : July31 - August 3, 1996 : proceedings / Rajeev Alur ... [et al] (eds.)
| Computer aided verification : 8th International conference, CAV '96 : New Brunswich, NJ, USA : July31 - August 3, 1996 : proceedings / Rajeev Alur ... [et al] (eds.) |
| Autore | International conference CAV'96 : 8. : 1996 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag copyr 1996 |
| Descrizione fisica | XII, 469 p : ill ; 23 cm |
| Disciplina | 003 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - new brunswick - 1996
sistemi distribuiti - congressi - 1996 sistemi - verifica - congressi - 1996 |
| ISBN | 3-540-61474-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207310203316 |
International conference CAV'96 : 8. : 1996
|
||
| Berlin [etc.] : Springer-Verlag copyr 1996 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual structures: knowledge representation as interlingua : 4th international conference on conceptual structures, ICCS '96 : Sydney, Australia, August 1996 : proceedings / Peter W. Eklund ... [et al.] (eds.)
| Conceptual structures: knowledge representation as interlingua : 4th international conference on conceptual structures, ICCS '96 : Sydney, Australia, August 1996 : proceedings / Peter W. Eklund ... [et al.] (eds.) |
| Autore | International conference on conceptual structures ICCS'96 : 4. : 1996 |
| Pubbl/distr/stampa | Berlin, : Springer-Verlag copyr 1996, [etc.] |
| Descrizione fisica | XIII, 320 p : ill ; 23 cm |
| Disciplina | 00633 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - sydney - 1996
intelligenza artificiale - congressi - 1996 linguaggi di programmazione - congressi - 1996 logica matematica - congressi - 1996 |
| ISBN | 3-540-61534-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201440203316 |
International conference on conceptual structures ICCS'96 : 4. : 1996
|
||
| Berlin, : Springer-Verlag copyr 1996, [etc.] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Concur '96, concurrency thery : 7th international conference, Pisa, Italy, August 26-29, 1996 : proceedings / Ugo Montanari ... [et al.] (eds.)
| Concur '96, concurrency thery : 7th international conference, Pisa, Italy, August 26-29, 1996 : proceedings / Ugo Montanari ... [et al.] (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag copyr 1996 |
| Descrizione fisica | XII, 750 p : ill ; 23 cm |
| Disciplina | 00542 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - pisa - 1996
elaboratori elettronici - sistemi operativi - programmazione - congressi - 1996 |
| ISBN | 3-540-61604-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207320203316 |
| Berlin [etc.] : Springer-Verlag copyr 1996 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Corba and beyond : International workshop TreDS '96 :Aachen, Germany, October 1996 : proceedings / Otto Spaniol ... [et al.] (eds.) (Trends in distributed systems)
| Corba and beyond : International workshop TreDS '96 :Aachen, Germany, October 1996 : proceedings / Otto Spaniol ... [et al.] (eds.) (Trends in distributed systems) |
| Autore | Workshop TreDS'96 : 1996 |
| Pubbl/distr/stampa | Berlin : Springer-Verlag copyr 1996, [etc.] |
| Descrizione fisica | VIII, 288 p : ill ; 23 cm |
| Disciplina | 00436 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - aachen - 1996
elaborazione disribuita - congressi - 1996 |
| ISBN | 3-540-61842-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207010203316 |
Workshop TreDS'96 : 1996
|
||
| Berlin : Springer-Verlag copyr 1996, [etc.] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Database and expert systems applications : 7th International conference, DEXA'96 : Zurich, Switzerland, September 1996 : proceedings / Roland R.Wagner ...[et al.] (eds.)
| Database and expert systems applications : 7th International conference, DEXA'96 : Zurich, Switzerland, September 1996 : proceedings / Roland R.Wagner ...[et al.] (eds.) |
| Autore | International conference DEXA'96 : 7. : 1996 |
| Pubbl/distr/stampa | Berli : Springer-Verlag copyr 1996, [etc.] |
| Descrizione fisica | XV, 921 p : ill ; 23 cm |
| Disciplina | 00574 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
archivi di dati - congressi - 1996
congressi - zurigo - 1996 sistemi esperti - congressi - 1996 |
| ISBN | 3-540-61656-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207070203316 |
International conference DEXA'96 : 7. : 1996
|
||
| Berli : Springer-Verlag copyr 1996, [etc.] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Discrete geometry for computer imagery : 6th International workshop, DGCI '96 : Lyon, France, November 1996 : proceedings / Serge Miguet [et al.] (eds.)
| Discrete geometry for computer imagery : 6th International workshop, DGCI '96 : Lyon, France, November 1996 : proceedings / Serge Miguet [et al.] (eds.) |
| Autore | International workshop DGCI'96 : 6. : 1996 |
| Pubbl/distr/stampa | Berlin : Springer-Verlag copyr 1996, [etc.] |
| Descrizione fisica | XI, 348 p : ill ; 23 cm |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - lyon - 1996
elaborazione elettronica - modelli matematici - congressi - 1996 |
| ISBN | 3-540-62005-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000206990203316 |
International workshop DGCI'96 : 6. : 1996
|
||
| Berlin : Springer-Verlag copyr 1996, [etc.] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||