Elaborazione elettronica nel progetto di architettura / Sergio Los, Roberto Grossa, Natasha Pulitzer ; presentazione di Dean Hawkes |
Autore | Los, Sergio <1934- > |
Pubbl/distr/stampa | Padova : Muzzio, c1990 |
Descrizione fisica | XV, 340 p. : ill. ; 25 cm |
Disciplina |
620.004 202 85
720.285 005 |
Altri autori (Persone) |
Pulitzer, Natasha
Grossa, Roberto |
Collana | Architettura |
Soggetto non controllato |
Progettazione architettonica - Computer Aided Design
Elaboratori elettronici Computer Aided Design Informatica Progettazione architettonica |
ISBN | 88-7021-465-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000776460403321 |
Los, Sergio <1934- > | ||
Padova : Muzzio, c1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Enduser systems and their human factors : proceedings of the scientific symposium conducted on the occasion of the 15th anniversary of the science center Heidelberg of IBM Germany Heidelberg, march 18, 1983 / edited by A. Blaser and M. Zoeppritz |
Pubbl/distr/stampa | Berlin : Springer Verlag, 1983 |
Descrizione fisica | 138 p. : tab. ; 24 cm |
Disciplina | 001.6 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Elaboratori elettronici
Congressi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000350960203316 |
Berlin : Springer Verlag, 1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Evolutionary computation / D. Dumitrescu ... <et al.> |
Pubbl/distr/stampa | Boca Raton : CRC Press, c2000 |
Descrizione fisica | 386 p. : ill. ; 20 cm |
Collana | The CRC Press International series on computational intelligence |
Soggetto non controllato |
Intelligenza artificiale
Algoritmi Elaboratori elettronici |
ISBN | 0-8493-0588-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000317680203316 |
Boca Raton : CRC Press, c2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Evolvable systems : from biology to hardware : third international conference, ICES 2000 : Edimburg, Scotland, UK, April 17-19, 2000 : proceedings / Julian Miller...<et al.> (eds.) |
Autore | International conference, ICES 2000 <3.; 2000; Edimburgh> |
Pubbl/distr/stampa | Berlin : Speinger-Verlag, c2000 |
Descrizione fisica | X, 283 p. : ill. ; 24 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Elaboratori elettronici
Circuiti integrati Circuiti digitali Congressi |
ISBN | 3-540-67338-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000320300203316 |
International conference, ICES 2000 <3.; 2000; Edimburgh> | ||
Berlin : Speinger-Verlag, c2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Experimental computer performance evaluation / Istituto di Analisi Numerica del CNR, Pavia, Istituto di Informatica e Sistemica, Università di Pavia SOGESTA |
Autore | Summer School on Computer System Performance evaluation <2.; Urbino; 1980> |
Pubbl/distr/stampa | Amsterdam : North-Holland Publishing Company, 1981 |
Descrizione fisica | VII, 264 p. : graf. ; 22 cm |
Disciplina | 001.64 |
Soggetto non controllato |
Elaboratori elettronici
Congressi Urbino 1980 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000361010203316 |
Summer School on Computer System Performance evaluation <2.; Urbino; 1980> | ||
Amsterdam : North-Holland Publishing Company, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Expert system, fifth generation and UK suppliers / A. d' Agapayeff |
Autore | D'AGAPAYEFF, A. |
Pubbl/distr/stampa | Manchester : The national computing centre Ltd., c1983 |
Descrizione fisica | 44c. : ill. ; 30 cm |
Disciplina | 001.64 |
Soggetto non controllato | Elaboratori elettronici |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000360720203316 |
D'AGAPAYEFF, A. | ||
Manchester : The national computing centre Ltd., c1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal description of programminf concepts II : proceedings of the IFIP working conference on formal description of programming concepts - II Garmisch-Partenkirchen, FRG, 1-4 June 1982 / Dines Bjorner |
Autore | IFIP working conference on formal description of programming concepts-II <Garmisch-Partenkirchen; 1982> |
Pubbl/distr/stampa | Amsterdam : North-Holland publishing company, 1983 |
Descrizione fisica | XII, 455 p. : ill. ; 22 cm |
Disciplina | 001.64 |
Soggetto non controllato |
Elaboratori elettronici
Congressi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000362940203316 |
IFIP working conference on formal description of programming concepts-II <Garmisch-Partenkirchen; 1982> | ||
Amsterdam : North-Holland publishing company, 1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal methods of program verification and specification / H.K.Berg...<et al.> |
Pubbl/distr/stampa | Englewood Cliffs : Prentice Hall, c1982 |
Descrizione fisica | XIV, 207 p. : tab. ; 23 cm |
Disciplina | 001.6425 |
Soggetto non controllato | Elaboratori elettronici |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000366370203316 |
Englewood Cliffs : Prentice Hall, c1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal specification fo programmin languages : a panoramic primer / Frank G. Pagan |
Autore | PAGAN, Frank G. |
Pubbl/distr/stampa | Englewood Cliffs : Prentice-Hall Inc., c1981 |
Descrizione fisica | X, 285 p. : graf., tab. ; 24 cm |
Disciplina | 001.6424 |
Soggetto non controllato |
Elaborazione elettronica
Elaborazine elettronica Elaboratori elettronici |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000364500203316 |
PAGAN, Frank G. | ||
Englewood Cliffs : Prentice-Hall Inc., c1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fortran 77 : language and style : a structured guide to Fortran 77 / Micheal J. Mechant |
Autore | MERCHANT, Michael J. |
Pubbl/distr/stampa | Belmont : Wadsworth Publishing Company, 1981 |
Descrizione fisica | XIII, 447 p. : ill. ; 23 cm |
Disciplina | 001.6424 |
Soggetto non controllato | Elaboratori elettronici |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000361320203316 |
MERCHANT, Michael J. | ||
Belmont : Wadsworth Publishing Company, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|