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 Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
2009-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A
AN INTRODUCTION TO SOFTWARE ENGINEERING AND FAULT TOLERANCE
2007-01-01 Pelliccione, P; H., Muccini; N., Guelfi; A., Romanovsky
An Introduction to Software Engineering of Fault Tolerant Systems
2007-01-01 Pelliccione, P; Muccini, H; Romanovsky, A; Guelfi, N EDITORS
Anglo-American/Anglophone Hegemony
2009-01-01 Aalbers, M; Rossi, U
Attori locali e strategie di sviluppo urbano a Cagliari: la contesa sulla portualità
2008-01-01 Boggio, F; Memoli, M; Rossi, U
Characteristic Formulae for Fixed-Point Semantics: A General Framework
2009-01-01 Aceto, L; Ingólfsdóttir, A; Sack, J
Dalla città del Terzo Mondo alla città del Sud Globale
2008-01-01 Rossi, U; Sommella, R
Domanda di cultura e statistiche culturali
2007-01-01 Crociata, A; Stumpo, G
Event-Based Service Coordination
2008-01-01 Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling
2008-01-01 Aceto, L; Ingólfsdóttir, A; Luttik, B; van Tilburg, P
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 51
- 2 Contributo in Volume::2.1 Contr... 47
- 2 Contributo in Volume::2.4 Voce ... 4
Data di pubblicazione
- 2009 16
- 2008 13
- 2007 5
- 2006 5
- 2005 3
- 2004 1
- 2003 3
- 2002 2
- 2001 2
- 2000 1
Editore
- Springer 7
- Elsevier 3
- Springer Verlag 3
- Baskerville 2
- Carocci 2
- CUEC 2
- Edward Elgar 2
- Franco Angeli 2
- UTET Università 2
- Benjamin W. Wah 1
Rivista
- IFIP INTERNATIONAL FEDERATION FOR... 2
- LECTURE NOTES IN COMPUTER SCIENCE 2
- LECTURE NOTES IN PHYSICS 1
Keyword
- antigen-antibody dynamics 1
- systems of stiff delay differenti... 1
- Waltman model 1
Lingua
- eng 23
- ita 19
- und 1
Accesso al fulltext
- no fulltext 51