Resultados
|
|
1.
|
|
|
|
2.
|
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings / edited by Holger Giese, Grigore Rosu. por
- Giese, Holger [editor.]
- Rosu, Grigore [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7273
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.
|
|
|
3.
|
Graph transformation : 7th international conference, icgt 2014, held as part of staf 2014, york, uk, july 22-24, 2014. Proceedings / edited by Holger Giese, Barbara König. por
- Giese, Holger [editor.]
- König, Barbara [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8571
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. por
- Giese, Holger [editor.]
- Karsai, Gabor [editor.]
- Lee, Edward [editor.]
- Rumpe, Bernhard [editor.]
- Schätz, Bernhard [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6100
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.
|
|
|
5.
|
Software Engineering for Multi-Agent Systems V : Research Issues and Practical Applications / edited by Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky. por
- Choren, Ricardo [editor.]
- Garcia, Alessandro [editor.]
- Giese, Holger [editor.]
- Leung, Ho-fung [editor.]
- Lucena, Carlos [editor.]
- Romanovsky, Alexander [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4408
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Disponibilidad: No hay ítems disponibles.
|
|
|
6.
|
Software Engineering for Self-Adaptive Systems / edited by Betty H. C. Cheng, Rogério Lemos, Holger Giese, Paola Inverardi, Jeff Magee. por
- Cheng, Betty H. C [editor.]
- Lemos, Rogério [editor.]
- Giese, Holger [editor.]
- Inverardi, Paola [editor.]
- Magee, Jeff [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5525
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.
|
|
|
7.
|
Software Engineering for Self-Adaptive Systems II : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rogério Lemos, Holger Giese, Hausi A. Müller, Mary Shaw. por
- Lemos, Rogério [editor.]
- Giese, Holger [editor.]
- Müller, Hausi A [editor.]
- Shaw, Mary [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7475
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.
|
