|
|
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.
|
Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / edited by Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge. por
- Jeuring, Johan [editor.]
- Campbell, John A [editor.]
- Carette, Jacques [editor.]
- Reis, Gabriel [editor.]
- Sojka, Petr [editor.]
- Wenzel, Makarius [editor.]
- Sorge, Volker [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7362
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.
|
