top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Implementation of fuctional languages : 11th International workshop IFL'99 : Lochem, The Nether lands, September 7-10, 2000 : selected papers / Piter Koopman <et.al> (end)
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
Opac: Controlla la disponibilità qui
Implementing functions : microprocessors and firmware seventh euromicro symposium on microprocessing and microprogramming, Paris, september 8-10, 1981 / Lutz Richter
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
Opac: Controlla la disponibilità qui
Inductive logic programming : 10th international conference, ILP 2000 : London, UK, July 24-27, 2000 : proceedings / James Cussens, Alan Frisch (eds.)
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
Opac: Controlla la disponibilità qui
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)
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
Opac: Controlla la disponibilità qui
Information security and privacy : 5th Austalian conference, ACISP 2000 : Brisbane, Australia, July 10-12, 200 : procedings / Ed Dawson ...<et al.> (eds.)
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
Opac: Controlla la disponibilità qui
Information secutiry and criptology - ICISC'99 : second international conference, Seoul, Korea, December 9-10, 10999 : proceedings / JooSeok Song (ed.)
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
Intelligent tutoring systems : 5th international conference, ITS 2000 : Montreal, Canada, June 19-23, 2000 proceedings / Gilles Gauthier ...<et al.>(eds.)
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
Opac: Controlla la disponibilità qui
Intelligent tutoring systems : 5th international conference, ITS 2000 : Montreal, Canada, June 19-23, 2000 proceedings / Gilles Gauthier ...<et al.>(eds.)
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
Opac: Controlla la disponibilità qui