COWS: A Timed Service-Oriented Calculus
2007-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
Regulating Data Exchange in Service Oriented Applications
2007-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
A Model Checking Approach for Verifying COWS Specifications
2008-01-01 A., Fantechi; S., Gnesi; A., Lapadula; F., Mazzanti; R., Pugliese; Tiezzi, Francesco
A Calculus for Orchestration of Web Services
2007-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
A Formal Account of WS-BPEL
2008-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
Nichilismo e politica: la fragilità della verità e la forza delle menzogne
2014-01-01 Simonazzi, Mauro
A WSDL-based type system for WS-BPEL
2006-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
Semiconductors Under Extreme Conditions
2015-01-01 Di Cicco, Andrea; Filipponi, Adriano
Smart cities, o la ricostruzione delle città in tempo di guerra
2013-01-01 Isola, Stefano
Usi e disusi della ragione
2009-01-01 Isola, Stefano
Il conflitto di attribuzioni tra Stato e Regioni e tra Regioni
2014-01-01 Bianchi, Paolo
Cittadinanza democratica ed etica della cura
2014-01-01 Paterno', Maria Pia
Urban Landscapes and Nature in Planning and Spatial Strategies
2015-01-01 Sargolini, Massimo
Valorization Strategies for the Archaeological Areas in the Marches Region
2014-01-01 Petrucci, Enrica
Piccolo dizionario illustrato di uno sketcher a Miami
2014-01-01 Santuccio, Salvatore
L’azione inibitoria. Profili generali dell’azione di classe
2014-01-01 Rizzo, Francesco
Profili patologici dell’accordo amichevole di conciliazione di cui al d.lgs. n. 282/2010
2013-01-01 Rizzo, Francesco
On the Limits of the European Social Charter in Terms of Persons Protected
2014-01-01 Palmisano, Giuseppe
Robust Control of Robot Arms via Quasi Sliding Modes and Neural NetworksAdvances and Applications in Sliding Mode Control systems
2015-01-01 Corradini, Maria Letizia; Andrea, Giantomassi; Gianluca, Ippoliti; Sauro, Longhi; Giuseppe, Orlando
Recensione dell'articolo: ( van Dijk, Nico M. "Error bounds and comparison results: the Markov reward approach for queueing networks." - Queueing networks, 397–459, Internat.Ser.Oper.Res.Management Sci., 154, Springer, New York, 2011. )
2012-01-01 Pasini, Leonardo
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| COWS: A Timed Service-Oriented Calculus | 1-gen-2007 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| Regulating Data Exchange in Service Oriented Applications | 1-gen-2007 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| A Model Checking Approach for Verifying COWS Specifications | 1-gen-2008 | A., Fantechi; S., Gnesi; A., Lapadula; F., Mazzanti; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| A Calculus for Orchestration of Web Services | 1-gen-2007 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| A Formal Account of WS-BPEL | 1-gen-2008 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| Nichilismo e politica: la fragilità della verità e la forza delle menzogne | 1-gen-2014 | Simonazzi, Mauro | Capitolo di libro o voce di enciclopedia | |
| A WSDL-based type system for WS-BPEL | 1-gen-2006 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| Semiconductors Under Extreme Conditions | 1-gen-2015 | Di Cicco, Andrea; Filipponi, Adriano | Capitolo di libro o voce di enciclopedia | |
| Smart cities, o la ricostruzione delle città in tempo di guerra | 1-gen-2013 | Isola, Stefano | Capitolo di libro o voce di enciclopedia | |
| Usi e disusi della ragione | 1-gen-2009 | Isola, Stefano | Capitolo di libro o voce di enciclopedia | |
| Il conflitto di attribuzioni tra Stato e Regioni e tra Regioni | 1-gen-2014 | Bianchi, Paolo | Capitolo di libro o voce di enciclopedia | |
| Cittadinanza democratica ed etica della cura | 1-gen-2014 | Paterno', Maria Pia | Capitolo di libro o voce di enciclopedia | |
| Urban Landscapes and Nature in Planning and Spatial Strategies | 1-gen-2015 | Sargolini, Massimo | Capitolo di libro o voce di enciclopedia | |
| Valorization Strategies for the Archaeological Areas in the Marches Region | 1-gen-2014 | Petrucci, Enrica | Capitolo di libro o voce di enciclopedia | |
| Piccolo dizionario illustrato di uno sketcher a Miami | 1-gen-2014 | Santuccio, Salvatore | Capitolo di libro o voce di enciclopedia | |
| L’azione inibitoria. Profili generali dell’azione di classe | 1-gen-2014 | Rizzo, Francesco | Capitolo di libro o voce di enciclopedia | |
| Profili patologici dell’accordo amichevole di conciliazione di cui al d.lgs. n. 282/2010 | 1-gen-2013 | Rizzo, Francesco | Capitolo di libro o voce di enciclopedia | |
| On the Limits of the European Social Charter in Terms of Persons Protected | 1-gen-2014 | Palmisano, Giuseppe | Capitolo di libro o voce di enciclopedia | |
| Robust Control of Robot Arms via Quasi Sliding Modes and Neural NetworksAdvances and Applications in Sliding Mode Control systems | 1-gen-2015 | Corradini, Maria Letizia; Andrea, Giantomassi; Gianluca, Ippoliti; Sauro, Longhi; Giuseppe, Orlando | Capitolo di libro o voce di enciclopedia | |
| Recensione dell'articolo: ( van Dijk, Nico M. "Error bounds and comparison results: the Markov reward approach for queueing networks." - Queueing networks, 397–459, Internat.Ser.Oper.Res.Management Sci., 154, Springer, New York, 2011. ) | 1-gen-2012 | Pasini, Leonardo | Capitolo di libro o voce di enciclopedia |
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
- 3 CONTRIBUTO SPECIFICO IN VOLUME4077
Data di pubblicazione
- In corso di stampa7
- 2020 - 2026886
- 2010 - 20191624
- 2000 - 20091230
- 1990 - 1999275
- 1980 - 198952
- 1970 - 19792
- 1968 - 19691
Editore
- Springer167
- Cedam118
- Edizioni Scientifiche Italiane112
- Editoriale Scientifica74
- Quodlibet74
- Giuffrè69
- ESI61
- CEDAM56
- Giappichelli52
- Gangemi50
Rivista
- LAW AND PHILOSOPHY LIBRARY1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE61
- THE URBAN BOOK SERIES16
- SAAD PRINT | ON OCCASIONI DELLA R...15
- BREVIARIA IURIS12
- GEO_URBAN&LANDSCAPE PLANNING8
- LECTURE NOTES IN NETWORKS AND SYS...8
- PENSIERI AD ARTE8
- EXPECTATIONS6
- INTERNET OF THINGS6
- LECTURE NOTES IN COMPUTER SCIENCE6
Keyword
- Computer Science (all)9
- Theoretical Computer Science9
- architettura7
- pianificazione paesaggistica7
- rilievo integrato7
- architettura archeologica6
- Città6
- benessere5
- greening5
- modelli 2D/3D5
Lingua
- ita3009
- eng1254
- spa64
- fre55
- por28
- ger20
- chi7
- mul6
- dut2
- gre2
Accesso al fulltext
- no fulltext3122
- reserved759
- open180
- partially open15
- embargoed1