Resultados
|
|
1.
|
Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings / edited by Zhiming Liu, Anders P. Ravn. por
- Liu, Zhiming [editor.]
- Ravn, Anders P [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5799
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.
|
|
|
2.
|
Dependable software engineering: theories, tools, and applications : first international symposium, setta 2015, nanjing, china, november 4-6, 2015, proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi. por
- Li, Xuandong [editor.]
- Liu, Zhiming [editor.]
- Yi, Wang [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9409
Edición: 1st ed. 2015.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2015
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / edited by Chris W. George, Zhiming Liu, Jim Woodcock. por
- George, Chris W [editor.]
- Liu, Zhiming [editor.]
- Woodcock, Jim [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4710
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.
|
|
|
4.
|
Formal aspects of component software : 10th international symposium, facs 2013, nanchang, china, october 27-29, 2013, revised selected papers / edited by José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue. por
- Fiadeiro, José Luiz [editor.]
- Liu, Zhiming [editor.]
- Xue, Jinyun [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8348
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.
|
|
|
5.
|
|
|
|
6.
|
Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings / edited by Zhiming Liu, Jifeng He. por
- Liu, Zhiming [editor.]
- He, Jifeng [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4260
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.
|
|
|
7.
|
Foundations of Health Informatics Engineering and Systems : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers / edited by Zhiming Liu, Alan Wassyng. por
- Liu, Zhiming [editor.]
- Wassyng, Alan [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7151
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
Disponibilidad: No hay ítems disponibles.
|
|
|
8.
|
Theoretical Aspects of Computing – ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock. por
- Jones, Cliff B [editor.]
- Liu, Zhiming [editor.]
- Woodcock, Jim [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4711
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.
|
|
|
9.
|
Theoretical Aspects of Computing – ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. por
- Liu, Zhiming [editor.]
- Woodcock, Jim [editor.]
- Zhu, Huibiao [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8049
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.
|
|
|
10.
|
Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers / edited by Zhiming Liu, Keijiro Araki. por
- Liu, Zhiming [editor.]
- Araki, Keijiro [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3407
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.
|
|
|
11.
|
|
|
|
12.
|
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. por
- Liu, Zhiming [editor.]
- Woodcock, Jim [editor.]
- Zhu, Huibiao [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8050
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.
|
