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.
Advanced functional programming : third International school, AFP '98 : Braga, Portugal, September 12-19, 1998 ; revised lectures / S.Doaitse Swierstra
| Advanced functional programming : third International school, AFP '98 : Braga, Portugal, September 12-19, 1998 ; revised lectures / S.Doaitse Swierstra |
| Autore | International school AFP '98 : 3rd. : 1998 |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 1999 |
| Descrizione fisica | XIII, 289 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - braga - 1998
elaboratori elettronici - programmazione - congressi - 1998 |
| ISBN | 3-540-66241-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000208540203316 |
International school AFP '98 : 3rd. : 1998
|
||
| Berlin : Springer-Verlag, copyr. 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automata, languages and programming : 25th international colloquium, ICALP'98 Aalborg, Denmark, July 13-17,1998 : proceedings / Kim G. Larsen...[et al.] (eds.)
| Automata, languages and programming : 25th international colloquium, ICALP'98 Aalborg, Denmark, July 13-17,1998 : proceedings / Kim G. Larsen...[et al.] (eds.) |
| Autore | International colloquium ICALP'98 : 25. : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - aalborg - 1998
elaboratori elettronici - programmazione - congressi - 1998 linguaggi di programmazione - congressi - 1998 |
| ISBN | 3-540-64781-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000210100203316 |
|
International colloquium ICALP'98 : 25. : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer aided verification : 10th international conference, CAV'98 Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings / Alan J. Hu...[et al.] (eds.)
| Computer aided verification : 10th international conference, CAV'98 Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings / Alan J. Hu...[et al.] (eds.) |
| Autore | International conference CAV'98 : 10. : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr.1998 |
| Descrizione fisica | IX, 552 p. : ill ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - vancouver bc - 1998
elaboratori elettronici - programmazione - congressi - 1998 |
| ISBN | 3-540-64608-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000209600203316 |
|
International conference CAV'98 : 10. : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr.1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer science logic : International workshop, CSL '98 : annual conference of the EACSL : Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob ... [et al.] (eds.)
| Computer science logic : International workshop, CSL '98 : annual conference of the EACSL : Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob ... [et al.] (eds.) |
| Autore | International workshop CSl '98 : 12 : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1999 |
| Descrizione fisica | X, 429 p. : ill. ; 24 cm |
| Disciplina | 005131 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - brno (czech republic) - 1998
elaboratori elettronici - programmazione - congressi - 1998 logica matematica - congressi - 1998 |
| ISBN | 3-540-65922-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000208620203316 |
|
International workshop CSl '98 : 12 : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual modeling - ER'98 : 17th International conference on conceptual modeling Singapore, November 16-19, 1998 proceedings / Tok Wank Ling ... [et al] (eds.)
| Conceptual modeling - ER'98 : 17th International conference on conceptual modeling Singapore, November 16-19, 1998 proceedings / Tok Wank Ling ... [et al] (eds.) |
| Autore | International conference on conceptual modeling : 17. : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | XVI, 482 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - singapore - 1998
elaboratori elettronici - programmazione - congressi - 1998 |
| ISBN | 3-540-65189-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000208070203316 |
|
International conference on conceptual modeling : 17. : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ECOOP'98 - object-oriented programming : 12th European conference Brussels,Belgium, July 20-24, 1998: proceedings / Eric Jul (ed.)
| ECOOP'98 - object-oriented programming : 12th European conference Brussels,Belgium, July 20-24, 1998: proceedings / Eric Jul (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | XII, 634 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Soggetto non controllato |
congressi - brussels - 1998
elaboratori elettronici - programmazione - congressi - 1998 |
| ISBN | 3-540-64737-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000249410203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
from biology to hardware : second International conference, ICES 98 : Lausanne, Switzerland, September 23-25, 1998 : proceedings / Moshe Sipper ... [et al.] (eds.) (Evolvable systems)
| from biology to hardware : second International conference, ICES 98 : Lausanne, Switzerland, September 23-25, 1998 : proceedings / Moshe Sipper ... [et al.] (eds.) (Evolvable systems) |
| Autore | International conference ICES 98 : 2. : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | IX, 382 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
circuiti integrati - progettazione - congressi - 1998
congressi - losanna - 1998 elaboratori elettronici - programmazione - congressi - 1998 |
| ISBN | 3-540-64954-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207650203316 |
|
International conference ICES 98 : 2. : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Genetic programming : first European workshop, EuroGP'98, Paris, France, April 14-15, 1998:proceedings / Wolfgang Banzhaf ... [et al.] (eds.)
| Genetic programming : first European workshop, EuroGP'98, Paris, France, April 14-15, 1998:proceedings / Wolfgang Banzhaf ... [et al.] (eds.) |
| Autore | European workshop EuroGP'98 : 1. : 1998 |
| Pubbl/distr/stampa | Berlin : Springer, copyr. 1998 |
| Descrizione fisica | X, 232 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - parigi - 1998
elaboratori elettronici - programmazione - congressi - 1998 |
| ISBN | 3-540-64340-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000209440203316 |
|
European workshop EuroGP'98 : 1. : 1998
|
||
| Berlin : Springer, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inductive logic programming : 8th international conference, ILP-98 Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / David Page (ed.)
| Inductive logic programming : 8th international conference, ILP-98 Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / David Page (ed.) |
| Autore | International conference ILP-98 : 8. : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | VIII, 299 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - madison - 1998
elaboratori elettronici - programmazione - congressi - 1998 logica matematica - congressi - 1998 |
| ISBN | 3-540-64738-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201620203316 |
|
International conference ILP-98 : 8. : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Integer programming and combinatorial optimization : 6th international IPCO conference,Houston, Texas, June 22-24, 1998: proceedings / Robert E. Bixby ...[et al.] (eds.)
| Integer programming and combinatorial optimization : 6th international IPCO conference,Houston, Texas, June 22-24, 1998: proceedings / Robert E. Bixby ...[et al.] (eds.) |
| Autore | International IPCO conference : 6. : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | IX, 435 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
elaboratori elettronici - programmazione - congressi - 1998
ottimizzazione matematica - congressi - 1998 |
| ISBN | 3-540-64590-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000210070203316 |
|
International IPCO conference : 6. : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
