Implementation of fuctional languages : 11th International workshop IFL'99 : Lochem, The Nether lands, September 7-10, 2000 : selected papers / Piter Koopman <et.al> (end) |
Autore | International workshop IFL <11.; 1999; Lochem, Olanda> |
Pubbl/distr/stampa | Berlino : Springer-Verlag, c2000 |
Descrizione fisica | VII, 198 p. : ill. ; 20 cm |
Disciplina | 005.133 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Linguaggi di programmazione
Congressi |
ISBN | 3-540-67864-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000320190203316 |
International workshop IFL <11.; 1999; Lochem, Olanda> | ||
Berlino : Springer-Verlag, c2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Implementing functions : microprocessors and firmware seventh euromicro symposium on microprocessing and microprogramming, Paris, september 8-10, 1981 / Lutz Richter |
Autore | Euromicro symposium on microprocessing and microprogramming <7.; Londra; 1980> |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1981 |
Descrizione fisica | XVI, 499 p. : ill. ; 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-990000362180203316 |
Euromicro symposium on microprocessing and microprogramming <7.; Londra; 1980> | ||
Amsterdam : North-Holland, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Inductive logic programming : 10th international conference, ILP 2000 : London, UK, July 24-27, 2000 : proceedings / James Cussens, Alan Frisch (eds.) |
Autore | International conference, ILP <10.; 2000; London> |
Edizione | [Berlino] |
Descrizione fisica | X, 264 p. : ill. ; 20 cm |
Disciplina | 005.1 |
Soggetto non controllato |
Programmazione logica
Congressi |
ISBN | 3-540-67795-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000319820203316 |
International conference, ILP <10.; 2000; London> | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Industrial applications and strenghtened foundations of formal methods : 4th International symposium of formal methods Europe: Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald...[et al.] (eds.) (FME'97) |
Autore | International symposium of formal methods Europe : 4. : 1997 |
Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1997 |
Descrizione fisica | XIII, 684 p. : ill. ; 23 cm |
Disciplina | 004 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Congressi
Elaboratori elettronici |
ISBN | 3-540-63533-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000209280203316 |
International symposium of formal methods Europe : 4. : 1997 | ||
Berlino : Springer-Verlag, copyr. 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Information security and privacy : 5th Austalian conference, ACISP 2000 : Brisbane, Australia, July 10-12, 200 : procedings / Ed Dawson ...<et al.> (eds.) |
Autore | Australian conference ACISP <5.; 2000; Brisbane> |
Pubbl/distr/stampa | Berlino : Springer Verlag, c2000 |
Descrizione fisica | XII, 488 p. : ill. ; 20 cm |
Disciplina | 005.82 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Sicurezza dei dati
Crittografia Congressi |
ISBN | 3-540-67742-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000310080203316 |
Australian conference ACISP <5.; 2000; Brisbane> | ||
Berlino : Springer Verlag, c2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Information secutiry and criptology - ICISC'99 : second international conference, Seoul, Korea, December 9-10, 10999 : proceedings / JooSeok Song (ed.) |
Edizione | [Berlino] |
Descrizione fisica | XI, 277 p. : ill. ; 24 cm |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Crittografia
Sicurezza dei dati Congressi |
ISBN | 3-540-67380-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000319650203316 |
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Information system in public administration and and their role in economic and social development : proceedings of an Interational seminar held in Chamrousse France 17-23 June 1979 : organized by the Data for development International Association : under the auspices of the united national educationals, scientific and cultural organitation (UNESCO), and the international federation for international processing (IFIP) / edited by David Eade, John Holgson |
Pubbl/distr/stampa | Amsterdam : North-Holland publishing company, 1981 |
Descrizione fisica | XIII, 475 p. : 22 cm |
Disciplina | 001.5 |
Soggetto non controllato |
Informazione
Congressi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000358330203316 |
Amsterdam : North-Holland publishing company, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Informaton system desidn methodologies : a comparative review : processing of the IFIP WG 8.1 working conference on comparative review of informative system design methodologies, Noordwijkerhout, the Netherlands, 10-14 May, 1982 / edited by T.W. Olle, H.G. Sol, A.A. Verriyn-Stuart |
Autore | IFIP WG 8.1 Working conference on comparative review of informative system design methodologies <Noordwijkerhout; 1982> |
Pubbl/distr/stampa | Amsterdam : North-Holland publishing company, 1983 |
Descrizione fisica | X, 648 p. : ill. tab. ; 22 cm |
Disciplina | 001.5 |
Soggetto non controllato |
Informazione
Congressi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000358210203316 |
IFIP WG 8.1 Working conference on comparative review of informative system design methodologies <Noordwijkerhout; 1982> | ||
Amsterdam : North-Holland publishing company, 1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Intelligent tutoring systems : 5th international conference, ITS 2000 : Montreal, Canada, June 19-23, 2000 proceedings / Gilles Gauthier ...<et al.>(eds.) |
Autore | International conference ITS 2000 <5.; 2000 : Montreal> |
Pubbl/distr/stampa | Berlino : Springer-Verlag, c2000 |
Descrizione fisica | XIX, 674 p. : ill. ; 25 cm |
Disciplina | 371.33 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Istruzione assistita dall'elaborazione
Intelligenza artificiale Congressi |
ISBN | 3-540-67655-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001110300203316 |
International conference ITS 2000 <5.; 2000 : Montreal> | ||
Berlino : Springer-Verlag, c2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Intelligent tutoring systems : 5th international conference, ITS 2000 : Montreal, Canada, June 19-23, 2000 proceedings / Gilles Gauthier ...<et al.>(eds.) |
Autore | International conference ITS 2000 <5.; 2000 : Montreal> |
Pubbl/distr/stampa | Berlino : Springer-Verlag, c2000 |
Descrizione fisica | XIX, 674 p. : ill. ; 25 cm |
Disciplina | 371.33 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Istruzione assistita dall'elaborazione
Intelligenza artificiale Congressi |
ISBN | 3-540-67655-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000338270203316 |
International conference ITS 2000 <5.; 2000 : Montreal> | ||
Berlino : Springer-Verlag, c2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|