Resultados
|
|
1.
|
Automata, Languages and Programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings / edited by Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung. por
- Caires, Luís [editor.]
- Italiano, Giuseppe F [editor.]
- Monteiro, Luís [editor.]
- Palamidessi, Catuscia [editor.]
- Yung, Moti [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3580
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
Formal techniques for distributed objects, components, and systems : 34th ifip wg 6.1 international conference, forte 2014, held as part of the 9th international federated conference on distributed computing techniques, discotec 2014, berlin, germany, june 3-5, 2014. Proceedings / edited by Erika Ábrahám, Catuscia Palamidessi. por
- Palamidessi, Catuscia [editor.]
- SpringerLink (Servicio en línea)
- Ábrahám, Erika [editor.]
Series Lecture Notes in Computer Science ; 8461
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
|
|
|
4.
|
SOFSEM 2009: Theory and Practice of Computer Science : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindler?v Mlýn, Czech Republic, January 24-30, 2009. Proceedings / edited by Mogens Nielsen, Antonín Ku?era, Peter Bro Miltersen, Catuscia Palamidessi, Petr T?ma, Frank Valencia. por
- Nielsen, Mogens [editor.]
- Ku?era, Antonín [editor.]
- Miltersen, Peter Bro [editor.]
- Palamidessi, Catuscia [editor.]
- T?ma, Petr [editor.]
- SpringerLink (Servicio en línea)
- Valencia, Frank [editor.]
Series Lecture Notes in Computer Science ; 5404
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.
|
|
|
5.
|
Theory of Security and Applications : Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers / edited by Sebastian Mödersheim, Catuscia Palamidessi. por
- Mödersheim, Sebastian [editor.]
- Palamidessi, Catuscia [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6993
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Disponibilidad: No hay ítems disponibles.
|
|
|
6.
|
Trustworthy Global Computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers / edited by Catuscia Palamidessi, Mark D. Ryan. por
- Palamidessi, Catuscia [editor.]
- Ryan, Mark D [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8191
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.
|
