RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
A sound and equationally-complete deduction system for partial conditional (higher order) types
1989-01-01 Cerioli, Maura
A static hybrid converter for road electric vehicles
1981-01-01 Mazzucchelli, MAURIZIO FRANCO; E., Rizzo; Sciutto, Giuseppe
A statistical investigation of the breakdown strength of liquid helium with IEC and cylindrical electrodes
1982-01-01 Girdinio, Paola; Liberti, Gildo; Molfino, Paolo; Molinari, Giorgio
A STEREO ALGORITHM FOR FLAT OBJECTS
1986-01-01 Masulli, Francesco; M., Straforini; Sandini, Giulio
A study on the performances of simplex method for function minimization
1980-01-01 G. P., Barabino; Barabino, Giulio; Bianco, Bruno; M., Marchesi
A Symbolic Cell Synthesizer for CMOS IC Design
1988-01-01 Costa, R; Curatelli, Francesco; Caviglia, Daniele; Bisio, G. M.
A Symbolic Switchbox Router for Macrocell IC's Design
1989-01-01 Curatelli, Francesco; Bisio, G. M.
A syntax-directed approach to the semantics of concurrent languages
1986-01-01 Astesiano, Egidio; Reggio, Gianna
A system for computer-aided theoretical and experimental analysis of impurity particle motion in dielectric liquids
1982-01-01 Bozzo, Riccardo; G., Calci; Girdinio, Paola; Molfino, Paolo; Molinari, Giorgio; Viviani, Alessandro
A theoretical analysis of the electromagnetic field for bounded non-linear media in free space and rectangular waveguide
1989-01-01 Caorsi, Salvatore; Pastorino, Matteo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 04- Contributo in atti di convegno 1146
- 04- Contributo in atti di convegn... 1033
- 04- Contributo in atti di convegn... 110
- 04- Contributo in atti di convegn... 3
Data di pubblicazione
- 1989 225
- 1988 207
- 1987 148
- 1986 131
- 1985 109
- 1984 93
- 1983 81
- 1982 55
Editore
- Elsevier Science Publishers B.V. ... 12
- Springer Berlin Heidelberg 9
- ACCADEMIA MEDICA di Genova 8
- CLEUP 7
- University of Adelaide Press 7
- Pergamon Press 6
- Centro Ligure per la Storia della... 5
- CUEN 5
- ESA Editrice s.r.l. 5
- IEEE 5
Rivista
- NEURAL NETWORKS 1
- PROCEEDINGS OF SPIE, THE INTERNAT... 1
Serie
- HTD 1
- IEEE INTERNATIONAL SYMPOSIUM ON C... 1
- PROCEEDINGS OF SPIE, THE INTERNAT... 1
Keyword
- rilievo 7
- computer aided design 6
- Genova 5
- tipologia 5
- Applied Mathematics 4
- Computer Science Applications1707... 4
- Condensed Matter Physics 4
- Database 4
- Electrical and Electronic Enginee... 4
- Electronic 4
Lingua
- ita 596
- eng 531
- fre 12
- spa 5
- ger 1
- und 1
Accesso al fulltext
- no fulltext 1146