Web Prefetching Using Partial Match Prediction
1999-01-01 Palpanas, Themistoklis; A., Mendelzon
Wear–corrosion of nitrided steel: effect of test parameters
1999-01-01 Fedrizzi, Lorenzo; Rossi, Stefano; Deflorian, Flavio; Bonora, Pierluigi
A geometric condition for a plane critical point to be globally asymptotically stable
1993-01-01 Sabatini, Marco
Anomalies of Conservative Methods: the Shear Wave Problem
1998-01-01 Toro, Eleuterio Francisco
Some Aspects on the Behaviour of Timber-based Mixed Structures Exposed to Fire
1994-01-01 Piazza, Maurizio; Ballerini, Marco; Zanon, Paolo; S., Cont
Un'alternativa al Test 'Chi Quadrato'
1994-01-01 Stoppa, Gabriele
Application of the Pseudodynamic Test Method to Steel-Concrete Composite Structures
1993-01-01 Bursi, Oreste Salvatore
Mach Reflection of Water Waves in Conjunction with Tsunami at the Okushiri Island
1994-01-01 K., Takayama; Y., Miura; M., Olim; T., Saito; Toro, Eleuterio Francisco
Moment-Rotation behaviour of top and seat angle connections
1994-01-01 Bernuzzi, Claudio; Zandonini, Riccardo; M., De Stefano; E., D'Amore; A., De Luca
Unusual increase in Tsunami wave amplitude at the Oshukiri Island: Mach reflection of shallow water waves
1999-01-01 Toro, Eleuterio Francisco; M., Olim; K., Takayama
Volume conservation in numerical methods for open channel of arbitrary cross section
1999-01-01 Zanolli, Paola
A Fully Parallel Calculus of Synchronizing Processes
1993-01-01 D., Latella; Quaglia, Paola
Un sistema per la gestione integrata dei piani di protezione civile
1999-01-01 P., Avesani; C., Bortolotti; A., Celli; R., Decol; Giunchiglia, Fausto; G., Mameli; M., Perghem Gelmi
Thermal tests at the 'Experimental Open Laboratory'
1999-01-01 Albatici, Rossano; Frattari, Antonio
Transition from migrating alternate bars to steady central bars in channels with variable width
1999-01-01 Tubino, Marco; R., Repetto
Valutazione microscopica del margine di chiusura tra moncone ed impianto in titanio per uso odontoiatrico tipo Screw-vent
1995-01-01 P., Filippini; M., Bianchetti; Pegoretti, Alessandro; Fambri, Luca
Connessioni di aste tubolari con il sistema Flowdrill: risultanze sperimentali e considerazioni progettuali
1993-01-01 Ballerini, Marco; E., Bozzo; F., Occhi; Piazza, Maurizio
The Technological and Functional Refurbishment for Residential Purpouses of the Building Heritage and the Adaption to the New Standards: the Trentino Case Study
1999-01-01 Frattari, Antonio; Dalprà, Michela
NUSMV: a new symbolic model verifier
1999-01-01 Cimatti, A.; Clarke, E. M.; Giunchiglia, Fausto; Roveri, M.
Thematic roles interpreting use cases in design for accountability and design for end user design in use
2005-01-01 Jacucci, Gianni; D'Andrea, Vincenzo; A., Baskin
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 - 20263340
- 2010 - 20197200
- 2000 - 20096478
- 1990 - 19992660
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2258
- Institute of Electrical and Elect...959
- Springer898
- ACM386
- IEEE Computer Society315
- 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 SCIENCE683
- 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
- eng15208
- ita3559
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext15011
- reserved3241
- open1523
- partially open488
- mixed8
- embargoed2