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 Formal Model for Quality of Service Measurement in e-Government
2007-01-01 Corradini, Flavio; Marcantoni, Fausto; Polzonetti, Alberto; Re, Barbara
A Framework for Component Deployment Testing
2003-01-01 Bertolino, Antonia; Polini, Andrea
A Generative Approach to the Implementation of Language Bindings for the Document Object Model
2004-01-01 Padovani, Luca; C., SACERDOTI COEN; S., Zacchiroli
A generic modelling of composite beams with longitudinal and vertical partial interaction
2005-01-01 Ranzi, G.; Ansourian, P.; Gara, F.; Leoni, Graziano; Dezi, L.
A Geo Time Authentication SystemTrust Management
2007-01-01 Mostarda, Leonardo; A., Tocchio; P., Inverardi; S., Costantini
A GRASP for the bus driver scheduling problem
2005-01-01 DE LEONE, Renato; Festa, P.; Marchitto, E.
A lossy bosonic quantum channel with non-Markovian memory
2009-01-01 Pilyavets, O; Zborovskii, V; Mancini, Stefano
A mixed finite element formulation for the analysis of steel concrete composite bridges
2000-01-01 Dall'Asta, Andrea; Zona, Alessandro
A Model Predictive Approach to Fault-Tolerant WASNs
2009-01-01 Papalini, Michele; Polzonetti, Alberto; Riganelli, Oliviero
A model-prover for constrained dynamic conversations
2008-01-01 Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Tesei, Luca; Vito, Leonardo
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A Formal Model for Quality of Service Measurement in e-Government | 1-gen-2007 | Corradini, Flavio; Marcantoni, Fausto; Polzonetti, Alberto; Re, Barbara | Contributo in atto di convegno su volume | |
A Framework for Component Deployment Testing | 1-gen-2003 | Bertolino, Antonia; Polini, Andrea | Contributo in atto di convegno su volume | |
A Generative Approach to the Implementation of Language Bindings for the Document Object Model | 1-gen-2004 | Padovani, Luca; C., SACERDOTI COEN; S., Zacchiroli | Contributo in atto di convegno su volume | |
A generic modelling of composite beams with longitudinal and vertical partial interaction | 1-gen-2005 | Ranzi, G.; Ansourian, P.; Gara, F.; Leoni, Graziano; Dezi, L. | Contributo in atto di convegno su volume | |
A Geo Time Authentication SystemTrust Management | 1-gen-2007 | Mostarda, Leonardo; A., Tocchio; P., Inverardi; S., Costantini | Contributo in atto di convegno su volume | |
A GRASP for the bus driver scheduling problem | 1-gen-2005 | DE LEONE, Renato; Festa, P.; Marchitto, E. | Contributo in atto di convegno su volume | |
A lossy bosonic quantum channel with non-Markovian memory | 1-gen-2009 | Pilyavets, O; Zborovskii, V; Mancini, Stefano | Poster atto convegno su volume | |
A mixed finite element formulation for the analysis of steel concrete composite bridges | 1-gen-2000 | Dall'Asta, Andrea; Zona, Alessandro | Contributo in atto di convegno su volume | |
A Model Predictive Approach to Fault-Tolerant WASNs | 1-gen-2009 | Papalini, Michele; Polzonetti, Alberto; Riganelli, Oliviero | Contributo in atto di convegno su volume | |
A model-prover for constrained dynamic conversations | 1-gen-2008 | Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Tesei, Luca; Vito, Leonardo | Contributo in atto di convegno su volume |
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
- 05 ATTO DI CONVEGNO SU VOLUME 1151
- 05 ATTO DI CONVEGNO SU VOLUME::Co... 880
- 05 ATTO DI CONVEGNO SU VOLUME::Po... 190
- 05 ATTO DI CONVEGNO SU VOLUME::Ab... 81
Data di pubblicazione
- 2009 155
- 2008 128
- 2007 152
- 2006 130
- 2005 126
- 2004 102
- 2003 97
- 2002 91
- 2001 80
- 2000 90
Editore
- Springer 28
- ESVP 22
- IEEE 22
- - 21
- IEEE / Institute of Electrical an... 15
- APV 12
- Springer Verlag 11
- Taylor & Francis 10
- ACAI 9
- ACM 9
Rivista
- AIP CONFERENCE PROCEEDINGS 3
- CEUR WORKSHOP PROCEEDINGS 2
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 3
- ATTI DEI CONVEGNI LINCEI 1
- BRICS NOTES SERIES 1
- imago rerum 1
- INFORMATIK-PREPRINT 1
- MATERIA E GEOMETRIA 1
- NATO SCIENCE SERIES. SERIES IV, E... 1
Keyword
- Java 2
- Agent Mobility 1
- Application software 1
- Computer architecture 1
- Computer languages 1
- Computer science 1
- Distributed Programming 1
- Formal Methods 1
- Fuzzy Process Algebra 1
- Global computing 1
Lingua
- eng 776
- ita 380
- fre 13
- spa 10
- und 6
- enm 1
- ger 1
- hun 1
Accesso al fulltext
- no fulltext 1142
- reserved 7
- open 2