Formal Methods -- The Next 30 Years -- Proceedings of the 23rd Symposium on Formal Methods in the form of the 3rd World Congress on Formal Methods (FM'19)
2019 ter Beek M.H.; McIver A.; Oliveira J.N.
Atti della Conferenza del Dipartimento di Scienze Chimiche e Tecnologie dei Materiali -CNR, 2018
2018 Verginelli, F; Lamba, D
Laser and applications
2005 Abramski, Km; Lapucci, A
Paradigms and conceptual systems in knowledge organization : proceedings of the Eleventh ISKO conference
2010 Gnoli, C; Mazzocchi, F
Proceedings of the XII Edition of the annual EuroVR Conference - 2015
2015 Spoladore, Daniele; Sacco, Marco
La valorizzazione del patrimonio culturale immateriale di interesse agricolo
2015 Alberto Germanò; Giuliana Strambi
Near-field optical spectroscopy of CsPbBr3 microstructures
2018 Gabelloni, Fabio; Balestri, Dario; Biccari, Francesco; Andreotti, Giulia; Intonti, Francesca; Calisi, Nicola; Caporali, Stefano; Vinattieri, Anna
Computer Safety, Reliability, and Security. 33rd International Conference
2014 Bondavalli A.; Di Giandomenico F.,
Proceedings of 22nd euromicro international conference on parallel, distributed and network-based processing (PDP)
2014 Aldinucci, M; D'Agostino, D; Kilpatrick, P
Feynman's Quantum Mechanics 40 Years after its Proposal
1989 A. Ranfgani; D. Mugnai; P. Moretti; M. Cetica
Lectures on Path Integration
1993 H.A. Cerdeira; S. Lundqvist; D. Mugnai. A. Ranfagni; V Sayakanit; L.S. Schulman
Tunneling and its Implications
1997 D. Mugnai; A. Ranfagni; L.S. Schulman
Time's arrows, quantum measurement and superluminal behavior
2001 Mugnai, D; Ranfagni, A; Schulman, Ls
First ACM workshop on Optimization techniques for resources management in clouds
2013 Baraglia, R; Coppola, M; Dazzi, P
17th International Software Product Line Conference
2013 Gnesi S.; Kishi T.; Jarzabek S.
The Seventh International Workshop on Variability Modelling of Software-intensive Systems
2013 Gnesi, S; Collet, P; Schmid, K
Evaluating AAL systems through competitive benchmarking - International competitions and final workshop
2013 Botía J.A.; Álvarez García J.A.; Fujinami K.; Barsocchi P.; Riedel T.
Proceedings of the 4th Italian Information Retrieval Workshop (IIR 2013)
2013 Basili, R; Sebastiani, F; Semeraro, G
Studi costieri, Dinamica e difesa dei litorali - Gestione integrata della fascia costiera. vol. 24, 2017. Atti del Convegno "Erosione costiera: difesa, adattamento o arretramento?". San Benedetto del Tronto (AP) - 5 Giugno 2015. Gruppo Nazionale per la Ricerca sull'Ambiente Costiero (GNRAC).
2017 Bisci, Carlo; Cantalamessa, Gino; Spagnoli, Federico
Lyapunov exponents in high-dimensional systems
2011 Antonio Politi organiser
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 Contributo in convegno614
Data di pubblicazione
- 2020 - 2026197
- 2010 - 2019347
- 2000 - 200962
- 1990 - 19996
- 1980 - 19892
Editore
- Springer36
- CEUR-WS.org14
- ACM Press12
- Springer Nature Switzerland12
- ACM, Association for computing ma...9
- CNR edizioni9
- European Language Resources Assoc...8
- CNR EDIZIONI7
- Springer-Verlag7
- IEEE6
Rivista
- ELECTRONIC PROCEEDINGS IN THEORET...8
- APPLIED SURFACE SCIENCE5
- ARCHEOLOGIA E CALCOLATORI5
- ARCHEOLOGIA AEREA3
- BMC BIOINFORMATICS2
- JOURNAL OF NANOSCIENCE AND NANOTE...2
- CHEMISTRY INTERNATIONAL1
- CRETA ANTICA1
- ENGINEERING PROCEEDINGS1
- ENTROPY1
Serie
- CEUR WORKSHOP PROCEEDINGS29
- CEUR Workshop Proceedings14
- LECTURE NOTES IN COMPUTER SCIENCE10
- COMMUNICATIONS IN COMPUTER AND IN...5
- IMACS SERIES COMPUTATIONAL AND AP...4
- SMART INNOVATION, SYSTEMS AND TEC...4
- SPRINGER INDAM SERIES3
- FILOSOFIA E SCIENZA NELL'ETÀ MODERNA2
- FRONTIERS RESEARCH TOPICS2
- ILIESI DIGITALE. RICERCHE FILOSOF...2
Keyword
- Information retrieval20
- Artificial Intelligence12
- Formal Methods11
- Formal methods11
- Artificial intelligence10
- Mediterraneo10
- Software Engineering9
- Archeologia7
- cultural heritage7
- Security7
Lingua
- eng518
- ita127
- fre13
- spa11
- ger3
- cpe2
- enm2
- grc1
- lat1
- por1
Accesso al fulltext
- no fulltext344
- open175
- restricted70
- reserved19
- partially open5
- embargoed1