Resultados
|
1.
|
Coordination Models and Languages : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Paolo Ciancarini, Herbert Wiklicky. por
- Ciancarini, Paolo [editor.]
- Wiklicky, Herbert [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4038
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Disponibilidad: No hay ítems disponibles.
|
|
2.
|
Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik Vink, Alessandra Pierro, Herbert Wiklicky. por
- Bernardo, Marco [editor.]
- Vink, Erik [editor.]
- Pierro, Alessandra [editor.]
- Wiklicky, Herbert [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7938
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.
|
|
3.
|
Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures / edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky. por
- Aldini, Alessandro [editor.]
- Bernardo, Marco [editor.]
- Pierro, Alessandra [editor.]
- Wiklicky, Herbert [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6154
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Disponibilidad: No hay ítems disponibles.
|