RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Verification of Parametric System Designs
2012-01-01 Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
Verifying LTL Properties of Hybrid Systems with K-Liveness
2014-01-01 Cimatti, A.; Griggio, A.; Mover, S.; Tonetta, S.
Verifying Multimedia Use at MediaEval 2015
2015-01-01 Boididou, Christina; Andreadou, Katerina; Papadopoulos, Symeon; Dang Nguyen, Duc Tien; Boato, Giulia; Riegler, Michael; Kompatsiaris, Yiannis
Verifying SystemC: a Software Model Checking Approach
2010-01-01 Cimatti, Alessandro; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco
Verilog2SMV: A tool for word-level verification
2016-01-01 Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto
Verringerung der Menge an Klärschlamm durch optimierten Einsatz von Ozon
2010-01-01 M., Rothe; A., Peluso; Foladori, Paola; Menapace, Veronica
Verso Sud o anche il Sud al Centro
2012-01-01 Staniscia, Stefania
Verso una pratica del BIM: tre casi di studio
2016-01-01 Cristofolini, Alberto; Massari, Giovanna
Vertical Illusory Self-motion Through Haptic Stimulation of the Feet
2012-01-01 Nordahl, R; Nilsson, N C; Turchet, L; Serafin, S
Very high-cycle fatigue resistance of shot peened high-strength aluminium alloys
2013-01-01 Benedetti, Matteo; Fontanari, Vigilio; M., Bandini
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
Opzioni
Scopri
Tipologia
- 04 Convegni (Proceedings) 5781
- 04 Convegni (Proceedings)::04.1 S... 5781
- 02 Contributo in volume (Part of ... 1
- 02 Contributo in volume (Part of ... 1
Data di pubblicazione
- 2017 691
- 2016 659
- 2015 685
- 2014 741
- 2013 748
- 2012 766
- 2011 743
- 2010 748
Editore
- IEEE 1056
- Springer 291
- Institute of Electrical and Elect... 277
- ACM 236
- Springer Verlag 121
- SPIE 84
- IEEE Computer Society 80
- Association for Computational Lin... 62
- Association for Computing Machine... 51
- Association for Computing Machinery 34
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE... 29
- LECTURE NOTES IN COMPUTER SCIENCE 21
- PROCEEDINGS OF SPIE, THE INTERNAT... 14
- IEEE INTERNATIONAL ULTRASONICS SY... 13
- POS PROCEEDINGS OF SCIENCE 13
- IFAC-PAPERSONLINE 8
- CEUR WORKSHOP PROCEEDINGS 7
- ECS TRANSACTIONS 7
- EPJ WEB OF CONFERENCES 7
- PROCEDIA COMPUTER SCIENCE 5
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 126
- LECTURE NOTES IN ARTIFICIAL INTEL... 43
- CEUR WORKSHOP PROCEEDINGS 40
- PROCEEDINGS OF SPIE, THE INTERNAT... 32
- LECTURE NOTES IN COMPUTER SCIENCE 21
- WIT TRANSACTIONS ON ECOLOGY AND T... 16
- COMMUNICATIONS IN COMPUTER AND IN... 11
- LECTURE NOTES IN BUSINESS INFORMA... 10
- PROCEEDINGS OF THE ... IEEE/RSJ I... 10
- AIP CONFERENCE PROCEEDINGS 7
Keyword
- Computer Networks and Communications 128
- Computer Science Applications1707... 116
- Electrical and Electronic Enginee... 108
- Computer Science (all) 89
- Software 84
- Theoretical Computer Science 76
- Control and Systems Engineering 52
- 1707 51
- Electronic 41
- Optical and Magnetic Materials 41
Lingua
- eng 5027
- ita 622
- spa 31
- fre 27
- und 26
- ger 16
- tur 7
- por 5
- rus 4
- ang 1
Accesso al fulltext
- no fulltext 4053
- reserved 1288
- open 383
- partially open 56
- mixed 1