Resultados
|
|
1.
|
Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures / edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring. por
- Backhouse, Roland [editor.]
- Gibbons, Jeremy [editor.]
- Hinze, Ralf [editor.]
- Jeuring, Johan [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4719
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.
|
|
|
2.
|
Foundations of health information engineering and systems : third international symposium, fhies 2013, macau, china, august 21-23, 2013. Revised selected papers / edited by Jeremy Gibbons, Wendy MacCaull. por
- Gibbons, Jeremy [editor.]
- MacCaull, Wendy [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8315
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.
|
Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings / edited by Jim Davies, Jeremy Gibbons. por
- Davies, Jim [editor.]
- Gibbons, Jeremy [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4591
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.
|
|
|
5.
|
Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / edited by Jeremy Gibbons, Pablo Nogueira. por
- Gibbons, Jeremy [editor.]
- Nogueira, Pablo [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7342
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.
|
Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / edited by Jeremy Gibbons, José Nuno Oliveira. por
- Gibbons, Jeremy [editor.]
- Oliveira, José Nuno [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5846
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.
|
