NUSMV: a reimplementation of SMV
1998-01-01 Cimatti, A.; Clarke, E.; Giunchiglia, Fausto; Roveri, M.
PVP-YSZ interaction in hybrid sols and gels for the preparation of SOFC free-standing electrolytes
2002-01-01 P., Egger; Sorarù, Gian Domenico; Carturan, Giovanni; Dirè, Sandra
Novel convenient method for the synthesis of 4-methyl-2,4-pentadienoic acid
1998-01-01 D'Ambrosio, Michele; Guerriero, Antonio
Nuova Tecnica per la Produzione di Difetti Acuti in Materiali Fragili
1998-01-01 E., Trentini; Bosetti, Paolo; M., Ceschini; Sglavo, Vincenzo Maria
Pore water pressure measurement in unsaturated soils
2002-01-01 Mongiovì, Luigi; Tarantino, Alessandro
Polymer-derived Si-C-O fibers
2002-01-01 A., Berlinghieri; Dirè, Sandra; Sorarù, Gian Domenico
More evaluation of decision procedures for modal logics
1998-01-01 E., Giunchiglia; Giunchiglia, Fausto; Sebastiani, Roberto; A., Tacchella
Osservazioni sulla reologia di colate di fango non omogeneo
2002-01-01 Armanini, Aronne; C., Dalrì; Fraccarollo, Luigi; Larcher, Michele; E., Zorzin
Liquid density of pure alkanes and halogenated alkanes in a corresponding states format
1998-01-01 Grigiante, Maurizio; G., Scalabrin; S., Bobbo
Participatory Forest Planning: A chance of communication between forest service and local communities
2002-01-01 Cantiani, Maria; D., Bettelini; S., Mariotta
Low-cycle fatigue behaviour and finite element-based simulations of composite substructures with partial shear connections
1998-01-01 Bursi, Oreste Salvatore; R., Caldara; Zandonini, Riccardo
Leucascandrolide B: a New Macrolide Isolated from the Calcareous Sponge Leucascandra caveolata from the Coral Sea
1998-01-01 D'Ambrosio, Michele; Guerriero, Antonio; C., Debitus; Pietra, Francesco
Language model adaptation for spoken dialog systems
1998-01-01 Riccardi, Giuseppe; A., Potamianos; S., Narayanan
Let the Students Do Their Job: Balancing Teaching and Learning for Adult Professionals
1998-01-01 C., Cattani; S., Lucietto; D'Andrea, Vincenzo; Marchese, Maurizio; Ronchetti, Marco; Jacucci, Gianni
Indagini igrotermometriche al 'Laboratorio Sperimentale Aperto'
1998-01-01 Albatici, Rossano; F., Bonetti
Fracture Toughness of SiC-Whiskers-Reinforced Silicon Nitride at Various Temperatures
1998-01-01 Sglavo, Vincenzo Maria; Bosetti, Paolo
Gli insediamenti rurali antichi nei dintorni di Dougga
1998-01-01 Raaijmakers, Mariette
Fisiognomica e metodo comparativo in Goethe e W.v.Humboldt
1998-01-01 Giacomoni, Paola
Il recupero dei segni dell'architettura tradizionale nei territori di montagna: il caso di studio del Trentino
1998-01-01 Frattari, Antonio; Garofolo, Ilaria
Failure modes of silicon nitride under uniaxial compression
1998-01-01 S., Guicciardi; C., Melandri; Bigoni, Davide
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
Scopri
Tipologia
- 04 Convegni (Proceedings)20271
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263341
- 2010 - 20197199
- 2000 - 20096476
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2256
- Institute of Electrical and Elect...959
- Springer898
- ACM386
- IEEE Computer Society316
- Springer Verlag294
- SPIE186
- Association for Computational Lin...170
- CEUR-WS169
- Association for Computing Machinery164
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE684
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...178
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...90
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- PROCEEDINGS - IEEE COMPUTER SOCIE...56
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- IFAC-PAPERSONLINE50
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...31
- Settore INF/01 - Informatica21
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore ING-IND/22 - Scienza e Te...5
- Settore L-ANT/08 - Archeologia Cr...5
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15207
- ita3560
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext15008
- reserved3242
- open1524
- partially open489
- mixed8
- embargoed2