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.
A context-oriented extension of F#
2015-01-01 Canciani, A.; Degano, P.; Ferrari, G. L.; Galletta, L.
A Detailed Analysis of the Private/Independent Theatre Scene in Istanbul
2017-01-01 Tonga, Yesim
A distributed coordination infrastructure for attribute-based interaction
2018-01-01 Alrahman, Yehia Abd; De Nicola, Rocco; Garbi, Giulio; Loreti, Michele
A formal approach to the engineering of domain-specific distributed systems
2018-01-01 De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco
A hierarchical approach to data-driven LPV control design of constrained systems
2019-01-01 Piga, D.; Formentin, S.; Toth, R.; Bemporad, A.; Savaresi, S. M.
A Homage to Martin Wirsing. Software, Services, and Systems
2015-01-01 De Nicola, R; Hennicker, R
A logic-inspired approach to reconfigurable system modelling
2019-01-01 Maggi, A.; De Nicola, R.; Sifakis, J.
A methodology to measure the hierarchical degree of formal organizations
2016-01-01 Biggiero, L; Mastrogiorgio, A
A Millian Look at the Logic of Clinical Trials
2020-01-01 Festa, R.; Cevolani, G.; Tambolo, L.
A Numerically Robust Mixed-Integer Quadratic Programming Solver for Embedded Hybrid Model Predictive Control
2018-01-01 Bemporad, A.; Naik, Vihangkumar Vinaykumar
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
- 2 Contributo in Volume 427
- 2 Contributo in Volume::2.1 Contr... 360
- 2 Contributo in Volume::2.4 Voce ... 26
- 2 Contributo in Volume::2.7 Sched... 23
- 2 Contributo in Volume::2.2 Prefa... 10
- 2 Contributo in Volume::2.3 Breve... 7
- 2 Contributo in Volume::2.5 Tradu... 1
Data di pubblicazione
- 2020 46
- 2019 46
- 2018 66
- 2017 31
- 2016 51
- 2015 36
- 2014 30
- 2013 26
- 2012 39
- 2011 19
Editore
- Springer 53
- Il Mulino 15
- Springer Verlag 13
- Giappichelli 11
- Maria Pacini Fazzi Editore 11
- Routledge 10
- Imprensa Nacional 9
- Edizioni della Normale 7
- Franco Angeli 7
- Continuum 5
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 34
- ECONOMIA E POLITICA INDUSTRIALE 3
- GREEN ENERGY AND TECHNOLOGY 2
- SPRINGER SERIES ON TOUCH AND HAPT... 2
- COMMUNICATIONS IN COMPUTER AND IN... 1
- LECTURE NOTES IN COMPUTER SCIENCE 1
- LECTURE NOTES IN CONTROL AND INFO... 1
- LECTURE NOTES IN MATHEMATICS 1
- SILFS SERIES 1
- THE JEAN MONNET WORKING PAPERS 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 14
- IFAC-PAPERSONLINE 5
- ARCHEOLOGIA E ARTE ANTICA 4
- COURSES AND LECTURES 2
- NEUROMETHODS 2
- ADVANCES IN INTELLIGENT SYSTEMS A... 1
- ANTENOR QUADERNI 1
- ARCHIVI DEL TRENTINO 1
- BOSTON STUDIES IN THE PHILOSOPHY ... 1
- COMMUNICATIONS IN COMPUTER AND IN... 1
Keyword
- Computer Science (all) 5
- Theoretical Computer Science 5
- Contemporary Art 3
- Model predictive control 3
- Philosophy of Art 3
- Process calculi 3
- Ancient Greek Philosophy 2
- Arte classica 2
- Attribute-based communication 2
- Avicenna 2
Lingua
- eng 208
- ita 145
- und 9
- por 8
- fre 3
- spa 2
- tur 2
- heb 1
- per 1
Accesso al fulltext
- no fulltext 248
- reserved 147
- open 29
- partially open 3