The role of classification(s) in distributed knowledge management
2002-01-01 Bonifacio, Matteo Salvatore; Bouquet, Paolo; Cuel, Roberta
A provably correct embedded verifier for the certification of safety critical software
1997-01-01 A., Cimatti; Giunchiglia, Fausto; P., Pecchiari; B., Pietra; J., Profeta; D., Romano; P., Traverso; B., Yu
Formalizing opacity and transparency in belief contexts
1997-01-01 M., Benerecetti; Bouquet, Paolo; C., Ghidini
A twin dc SQUID Based Magnetometer
1995-01-01 Y., Maslennikov; A., Belijaev; V. Y., Svobodchikov; O., Snigirev; V., Koshlets; Mezzena, Renato; Vitale, Stefano
Studio di un sistema per la rilevazione e la compensazione dell'errore di posizionamento di macchine utensili cartesiane
2006-01-01 Bosetti, Paolo; Tondini, Francesco; Fontanari, Vigilio; Benedetti, Matteo
Modificazioni ematologiche e del patrimonio del ferro in gare di lunga durata
1987-01-01 Schena, Federico; A., Pattini; V., Di Salvo
Oscillatory flow through nozzles
1966-01-01 Pallabazzer, Rodolfo
La dipendenza dal franchisor come fattore di condizionamento della soddisfazione del franchisee
2003-01-01 Bonel, Elena
Silane pre-treatments on copper to improve the adhesion of organic coatings
2005-01-01 Rossi, Stefano; Deflorian, Flavio; Fedrizzi, Lorenzo; Fedel, Michele
Scattering by two-dimensional weakly nonlinear dielectrics using the iterative Born and Rytov approximation
1996-01-01 S., Caorsi; Massa, Andrea; M., Pastorino
Tradizione municipale e metodo storico: le riviste dei musei civici veneti tra Otto e Novecento
2000-01-01 Varanini, Gian Maria
Planning with failure
1994-01-01 Giunchiglia, Fausto; L., Spalazzi; P., Traverso
Influence of abrasion damage on protective properties of an organic coatings
2004-01-01 Rossi, Stefano; Deflorian, Flavio; A., Cambruzzi; Fedrizzi, Lorenzo; Bonora, Pierluigi
Toward a Universal Mapping for Accessing Trees in Parallel Memory Systems
1998-01-01 V., Auletta; S., Das; A., Vivo; Pinotti, Maria Cristina; V., Scarano
Il contributo (potenziale) della ricerca al miglioramento della sicurezza delle città
2003-01-01 Fasol, Rino
A test chip for a novel high-dynamic-range CMOS image sensor
2001-01-01 D., Stoppa; A., Simoni; L., Gonzo; M., Gottardi; Dalla Betta, Gian Franco; A., Minotti
Comprehensive income under IFRS: evidence from a cross-sectional analysis
2007-01-01 Bertoni, Michele; B., De Rosa; M., Maffei
Judges and rights: activism, restraints, and legitimacy
2004-01-01 Casonato, Carlo
La valutazione dei beni ambientali in vista di una gestione patrimoniale da parte di enti collettivi
2002-01-01 Notaro, Sandra; Gios, Geremia
Modeling and Analysis for the Continuous-time Finite Queueing System M/M/1/L/c
2001-01-01 G., Zeng; Chlamtac, Imrich; Y., Fang; Y., Wu
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)20290
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263357
- 2010 - 20197200
- 2000 - 20096478
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2261
- Institute of Electrical and Elect...959
- Springer899
- 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
- ita3562
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14993
- reserved3257
- open1536
- partially open496
- mixed8
- embargoed2