Proving theorems by using abstraction interactively
1995-01-01 Sebastiani, Roberto; A., Villafiorita; Giunchiglia, Fausto
Tentativi di evasione: Kafka e Houdini
2003-01-01 Fambrini, Alessandro
Hybrid O/I Films as Electrodes for Wine Characterisation
2007-01-01 Ceccato, Riccardo; G., Veronesi
A low-power high dynamic-range sigma-delta modulator for a capacitive microphone sensor
2007-01-01 Syed Arsalan, Jawed; M., Gottardi; A., Baschirotto
Lenghtening of the rectus muscle of the eye in the rabbit using polymeric materials
1981-01-01 Migliaresi, Claudio; L., Nicolais; C., De Rosa; S., Calabro'; G., Vesce; A., D'Angelo
Sleeping Beauty: the Digital Archaeological Map of East Algeria, 2003-2005: National Park of El-Kala
2007-01-01 Raaijmakers, Mariette; K., Meddad
Profili generali di diritto penale sostanziale
2001-01-01 Picotti, Lorenzo
Building Abstractions
1990-01-01 A., Bundy; Giunchiglia, Fausto; T., Walsh
Microfluidics for the treatment of the hydrocephalus
2005-01-01 Morganti, Elisa; G. U., Pignatel
Assessment of electrochemical technology as a treatment for diesel contaminated soil
2008-01-01 Oprea, Irina - Aura; A., Badea; Andreottola, Gianni; Ziglio, Giuliano; Ragazzi, Marco; Ferrarese, Elisa; T., Apostol
Cyclic Peptides as mimics of copper protein active site: a molecular mechanism and NMR study
1998-01-01 A., Corazza; M., Rossetto; R., Ugolini; A., Rigo; Scarpa, Marina
La pianificazione di rilievi GPS/GLONASS in ambienti densamente urbanizzati
2000-01-01 G., Fruet; Sguerso, Domenico
Modelling preventive measures during an influenza pandemic in Italy: a real time simulation strategy
2007-01-01 S., Merler; C., Rizzo; Ajelli, Marco; M., Massari; G. P., Scalia Tomba; C., Furlanello; M. L., Ciofi Degli Atti
Grounding Emotions in Human-Machine Conversational Systems
2005-01-01 Riccardi, Giuseppe; D., Hakkani tur
The Epistemology of the Social Sciences
2008-01-01 Di Bernardo, Giuliano
Ursula K. Le Guin e la ridefinizione del personaggio femminile nella Sf degli anni '70
1982-01-01 Palusci, Oriana
ESP (Engineering Stress Profile) Glass: a Novel Approach to Obtain Improved Mechanical Performance
2001-01-01 Sglavo, Vincenzo Maria
The new law on an integrated system of social services in Italy: a short introduction
2001-01-01 Fasol, Rino
Il lavoro dell'uomo nel lavoro di un uomo
2007-01-01 Renzetti, Emanuela
Detection of Transient Signals by Digital Methods
1993-01-01 C., Offelli; Petri, Dario; F., Zanin
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)20293
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263360
- 2010 - 20197200
- 2000 - 20096478
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2261
- Institute of Electrical and Elect...959
- Springer900
- ACM386
- IEEE Computer Society316
- Springer Verlag294
- SPIE186
- Association for Computational Lin...170
- CEUR-WS169
- Association for Computing Machinery166
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 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
- eng15224
- ita3565
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14983
- reserved3263
- open1542
- partially open497
- mixed8
- embargoed2