Stabilit¿ di biforcazioni fluviali in alvei a fondo mobile
2000-01-01 Besio, G.; Bolla, M.; Repetto, R.; Tubino, Marco
La risposta altimetrica di correnti a fondo mobile in canali a larghezza variabile: osservazioni sperimentali
2000-01-01 Repetto, R.; Tubino, Marco; Volcan, C.
Free/Open Source Software as a Complex Modular System
2005-01-01 A., Narduzzo; Rossi, Alessandro
Knowledge Level Software Engineering
2001-01-01 Giunchiglia, Fausto; Perini, A.; Sannicolo', F.
Multiagent systems verification via model checking
1998-01-01 Giunchiglia, Fausto; Benerecetti, M.
"Morfologia, proprietà ed interazione fibra-matrice in un composito polimerico termoplastico"
1992-01-01 Incadorna, S.; Di Maggio, Rosa; Fambri, Luca; Marom, G.; Wagner, H.; Migliaresi, Claudio
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
1998-01-01 HARTONAS GARMHAUSEN, V.; Campos, S.; Cimatti, A.; Clarke, E.; Giunchiglia, Fausto
Controlled indentation-induced cracks for the determination of fracture toughness in alumina
1996-01-01 Sglavo, Vincenzo Maria; Dal Maschio, Roberto
The Reconstruction of Two Traditional Buildings in the Trentino Region
2000-01-01 Frattari, Antonio; Dalprà, Michela
BlenX Static and Dynamic Semantics
2009-01-01 Priami, Corrado; Quaglia, Paola; Romanel, Alessandro
BlenX4Bio – BlenX for Biologists
2009-01-01 Priami, Corrado; Ballarini, Paolo; Quaglia, Paola
Towards a Semantic-Based Verification Environment for the pi-calculus
1996-01-01 Ferrari, G. L.; Modoni, G; Quaglia, Paola
La redazione e i contenuti del capitolato: profili di attenzione
2005-01-01 Florenzano, Damiano
EFFICIENT SYMBOLIC-NUMERIC SOLUTION OF TIME-OPTIMAL CONTROL PROBLEMS FOR LARGE MULTIBODY SYSTEMS: THE RACING VEHICLE EXAMPLE
2003-01-01 Bertolazzi, Enrico; Biral, F.; Da Lio, Mauro
Do we access objects manipulability while we categorize
2004-01-01 Borghi, A. M.; Bonfiglioli, Claudia; Ricciardelli, P.; Rubichi, S.; Nicoletti, R.
Il recupero tecnologico e funzionale a fini residenziali nell'edilizia storico culturale delle regioni alpine, in rapporto agli standard normativi attuali.
2001-01-01 Frattari, Antonio; Garofolo, Ilaria; Dalprà, Michela
A Finite Volume Method for Transport of Contaminant in Porous Media
2002-01-01 Manzini, G.; Gallo, C.; Bertolazzi, Enrico
Analysis and Design of Partially Restrained Beams
1989-01-01 Zandonini, Riccardo; Bursi, O. S.; Zanon, P.
Characterisation of ancient mortars from Villa Adriana (Tivoli, Rome)
2008-01-01 P., Fermo; E., Delnevo; V., Dante; Raaijmakers, Mariette
Experimental Analysis of Semi-Rigid Composite Joints under Cyclic Loading
1992-01-01 Zandonini, Riccardo; Bernuzzi, C.; Benussi, F.; Noe', S.
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)20315
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263379
- 2010 - 20197202
- 2000 - 20096479
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2263
- Institute of Electrical and Elect...966
- Springer900
- ACM386
- IEEE Computer Society317
- Springer Verlag294
- SPIE186
- Association for Computational Lin...170
- Association for Computing Machinery169
- CEUR-WS169
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
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- PROCEEDINGS - IEEE COMPUTER SOCIE...53
- 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 L-ANT/08 - Archeologia Cr...5
- Settore SECS-P/08 - Economia e Ge...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
- eng15242
- ita3569
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14987
- reserved3265
- open1551
- partially open504
- mixed8
- embargoed2