Mathematical foundations of computer science 2000 : 25th International symposium MFCS 2000 : Bratislava, Slovakia, August 28 - September 1, 2000 : proceedings / Mogens Nielsen ...<et al.> (eds.) |
Autore | International symposium MFCS <25.; 2000; Bratislavia, Slovacchia> |
Pubbl/distr/stampa | Berlino : Springer-Verlag, c2000 |
Descrizione fisica | XIII, 710 p. : ill. ; 20 cm |
Disciplina | 004 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Informatica
Congressi |
ISBN | 3-540-67901-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000338550203316 |
International symposium MFCS <25.; 2000; Bratislavia, Slovacchia> | ||
Berlino : Springer-Verlag, c2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mathematics of program construction : 5th International conference, MPC 2000 : Ponte de Lima, Portugal, July 3-5, 2000 : proceeding / Roland Backhouse ...<et al.> (eds.) |
Autore | International conference MPC <5.; 2000 ; Ponte de Lima> |
Pubbl/distr/stampa | Berlino : Springer Verlag, c2000 |
Descrizione fisica | VII, 255 p. : ill. ; 20 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Elaboratori elettronici
Congressi |
ISBN | 3-540-67727-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000310180203316 |
International conference MPC <5.; 2000 ; Ponte de Lima> | ||
Berlino : Springer Verlag, c2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Medical date analysis : first Internatinal symposium, ISMDA 2000 : FranKufurt, Germany, September 29-30, 2000 / Rudiger W. Brause....<et al.>(eds.) |
Pubbl/distr/stampa | Berlino : Springer- Verlag, c2000 |
Descrizione fisica | XI; 313 p. : ill. ; 20 cm |
Disciplina | 610 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Medicina
Congressi |
ISBN | 3-550-41089-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000320280203316 |
Berlino : Springer- Verlag, c2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Methodology in computer graphics : IFIP workshop on methodolgy in computer Graphics, seillac,France, May 1976 : Organized by IFIP working group 5.2, CAD International Federation for Information Processing / Edited by Richard A. Guedj and Hugh A. Tucker |
Autore | IFIP Workshop on Methodology in Computer Graphics <Seillac; 1976> |
Pubbl/distr/stampa | Amsterdam : north Holland Publishing Company, 1979 |
Descrizione fisica | XII, 206 p. : ill., graf. ; 22 cm |
Disciplina | 001.642 |
Soggetto non controllato |
Disegno mediante elaboratori elettronici
Congressi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000365130203316 |
IFIP Workshop on Methodology in Computer Graphics <Seillac; 1976> | ||
Amsterdam : north Holland Publishing Company, 1979 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Methods and tools for computer integrated manufacturing : advances crest course on computer integrated manufacturing (CIM83) : Karlsruhe, Germany, september 5 to 16, 1983 / edited by R. Rembold and R. Dillman |
Autore | Advanced CREST course on computer integrated manufacturing <Karlsruhe; 1983> |
Pubbl/distr/stampa | Berlin : Springer Verlag, 1984 |
Descrizione fisica | XVI, 528 p. : ill. ; 24 cm |
Disciplina | 670.427 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Sistemi CAD/CAM
Congressi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000351110203316 |
Advanced CREST course on computer integrated manufacturing <Karlsruhe; 1983> | ||
Berlin : Springer Verlag, 1984 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Microprocessor system : sixth euromicro symposium on microprocessing and microprogramming september 16-18 1980 London / edited by Mariagiovanna Sami |
Autore | Euromicro symposium on microprocessing and microprogramming <6.; Londra; 1980> |
Pubbl/distr/stampa | Amsterdam : North-Holland publishing company, 1980 |
Descrizione fisica | XII, 372 p. ; 26 cm |
Disciplina | 001.64 |
Soggetto non controllato |
Microprocessori
Microprogrammazione Congressi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000362070203316 |
Euromicro symposium on microprocessing and microprogramming <6.; Londra; 1980> | ||
Amsterdam : North-Holland publishing company, 1980 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mineralogia e ricerca mineraria dal Quattrocento ad oggi : atti del Seminario : Venezia, 20 ottobre 2001, Museo civico di storia naturale di Venezia |
Pubbl/distr/stampa | Venezia : [s.n.], 2002 |
Descrizione fisica | 88 p. ; 24 cm |
Disciplina | 500 |
Soggetto non controllato |
Congressi
Mineralogia Storia naturale |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990002072160403321 |
Venezia : [s.n.], 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Mobile agents for telecommunication applications : second International workshop, MATA 2000 : Paris, France, September 18-20 2000 : proceedings / Eric horlait (ed) |
Autore | International workshop, MATA <2.; 2000 Paris, Francia> |
Pubbl/distr/stampa | Berlino : Springer-Verlag, c2000 |
Descrizione fisica | IX, 269 p. : ill. ; 20 cm |
Disciplina | 621.382 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Telecomunicazioni
Congressi |
ISBN | 3-540-41069-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000337640203316 |
International workshop, MATA <2.; 2000 Paris, Francia> | ||
Berlino : Springer-Verlag, c2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Modelli matematici in sismologia ed ingegneria sismica : atti delle giornate di studio su modelli matematici in sismologia ed ingegneria sismica, Rende 2-4 luglio 1981 / edited by Bruno Betrò e Gianfranco d'Atri |
Autore | Giornate di studio su modelli matematici in sismologia ed ingegneria sismica : 1981 |
Pubbl/distr/stampa | [s.l. : s.n.], [1981] |
Descrizione fisica | 128 p. ; 21 cm |
Disciplina | 531 |
Soggetto non controllato |
Sismologia - Modelli matematici
Congressi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000833490403321 |
Giornate di studio su modelli matematici in sismologia ed ingegneria sismica : 1981 | ||
[s.l. : s.n.], [1981] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modular programming languages : Joint modular languages conference, JMLC 2000 : Zurich, Switzerland, September 6-8, 2000 : proceedings / Jurg Gutknecht ...<et al.> (eds.) |
Autore | Joint modular languages conference JMLC <2000 ; Zurigo> |
Pubbl/distr/stampa | Berlin : Springer Verlag, c2000 |
Descrizione fisica | XII, 298 p. : ill. |
Disciplina | 005.13 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Linguaggi di programmazione
Congressi |
ISBN | 3-540-67958-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000310700203316 |
Joint modular languages conference JMLC <2000 ; Zurigo> | ||
Berlin : Springer Verlag, c2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|