Lazy-CSeq: A Lazy Sequentialization Tool for C
2014 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; LA TORRE, Salvatore; Gennaro, Parlato
The strategy of plastic mechanism control for a rational use of high strength steel in MR-frames
2013 Longo, Alessandra; Montuori, Rosario; Nastri, Elide; Piluso, Vincenzo
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
2014 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; LA TORRE, Salvatore; Gennaro, Parlato
Pedro de Angelis desde Nápoles a Buenos Aires, las independencias frustradas
2012 Grillo, Rosa Maria
Montezuma di Vivaldi tra storiografia, letteratura e rappresentazione
2014 Grillo, Rosa Maria
Industrial Settlements Acoustic Noise Impact Study by Predictive Software and Computational Approach
2014 Guarnaccia, Claudio; Quartieri, Joseph; Ruggiero, Alessandro; Lenza, Tony Luigi Leopoldo
Acoustic Noise Levels Predictive Model Based on Time Series Analysis
2014 Guarnaccia, Claudio; Quartieri, Joseph; N. E., Mastorakis; Tepedino, Carmine
Time Series Model Application to Multiple Seasonality Acoustical Noise Levels Data Set
2014 Guarnaccia, Claudio; Quartieri, Joseph; E. R., Rodrigues; Tepedino, Carmine
Nuovi punti di osservazione privilegiati dagli architetti moderni nella loro produzione odeporica
2014 Talenti, Simona
L'architettura delle colonie marine tra tradizione e innovazione
2014 Talenti, Simona; Teodosio, Annarita
The Augustan aqueduct in the context of road system and urbanization of the served territory in Southern Italy
2014 G., Libertini; B., Miccio; N., Leone; DE FEO, Giovanni
Pompeii water supply - Route and tunnels of the Serino aqueduct
2014 W. F., Lorenz; DE FEO, Giovanni
A SEPARATE COLLECTION CENTRE SEEN AS A “REVERSE SUPERMARKET” IN AN URBAN MINING PERSPECTIVE
2014 DE FEO, Giovanni; A. R., Polito
How Quiz-based Tools Can Improve Students' Engagement and Participation in the Classroom
2014 Malandrino, Delfina; Ilaria, Manno; Giuseppina, Palmieri; Scarano, Vittorio; Giovanni, Filatrella
L. Cicala - L. Vecchio, I mattoni di Velia: riflessioni e nuove prospettive di studio
2014 Vecchio, Luigi; Luigi, Cicala
ON THE SEISMIC RESPONSE OF MASONRY INFILLED RC FRAMES
2012 Gaetano De, Stefano; Lima, Carmine; Martinelli, Enzo
Confinamento del calcestruzzo mediante impiego di tessuti in fibra d’acciaio
2014 Faella, Ciro; Napoli, Annalisa; Perri, Francesco; Realfonzo, Roberto
Ca-based adsorbents for NOx measurement in atmospheric environments surrounding monumental and archeological sites
2013 Proto, Antonio; Raffaele, Cucciniello; Rossi, Federico; Motta, Oriana
La matematica nelle opere degli ingegneri-scrittori
2014 Cardone, Vitale
A semantic-based architecture for managing knowledge-intensive organizations: The ARISTOTELE platform
2013 DEL NOSTRO, Pierluigi; Orciuoli, Francesco; Paolozzi, Stefano; Ritrovato, Pierluigi; Toti, Daniele
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
- 4 Contributo in Atti convegno(ex ...10654
Data di pubblicazione
- In corso di stampa6
- 2020 - 2026848
- 2010 - 20193885
- 2000 - 20095119
- 1990 - 1999740
- 1980 - 198954
- 1974 - 19792
Editore
- IEEE672
- Springer242
- Institute of Electrical and Elect...185
- IEEE Computer Society155
- -83
- Springer Verlag81
- Springer-Verlag71
- ACM56
- World Scientific55
- SPIE49
Rivista
- ANALELE UNIVERSITATII "OVIDIUS" C...8
- IJCAI6
- THE FIEP BULLETIN4
- Journal of Visual Languages and S...3
- AMTA PROCEEDINGS2
- APLIMAT - JOURNAL OF APPLIED MATH...2
- BULETIN STIINTIFIC - UNIVERSITATE...2
- CONFERENCE PROCEEDINGS - IEEE INS...2
- LECTURE NOTES IN ARTIFICIAL INTEL...2
- PROCEDIA STRUCTURAL INTEGRITY2
Serie
- LECTURE NOTES IN COMPUTER SCIENCE126
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LECTURE NOTES IN COMPUTER SCIENCE8
- PROCEEDINGS OF THE INTERNATIONAL ...7
- LECTURE NOTES IN CIVIL ENGINEERING6
- PUBLICATION SP6
- ICERI PROCEEDINGS4
- KEY ENGINEERING MATERIALS4
- RILEM PROCEEDINGS4
- SIRD4
Keyword
- Electrical and Electronic Enginee...69
- Computer Networks and Communications44
- Software36
- Energy Engineering and Power Tech...34
- Instrumentation27
- Renewable Energy24
- Computer Science Applications1707...23
- Artificial Intelligence22
- Computer Science (all)22
- Sustainability and the Environment22
Lingua
- eng5237
- ita1587
- spa93
- fre58
- ger11
- por4
- gre3
- cat2
- lat2
- rum2
Accesso al fulltext
- no fulltext10632
- open16
- reserved6