Resultados
|
1.
|
Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II / edited by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer. por
- Czumaj, Artur [editor.]
- Mehlhorn, Kurt [editor.]
- Pitts, Andrew [editor.]
- Wattenhofer, Roger [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7392
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.
|
|
2.
|
Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I / edited by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer. por
- Czumaj, Artur [editor.]
- Mehlhorn, Kurt [editor.]
- Pitts, Andrew [editor.]
- Wattenhofer, Roger [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7391
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.
|
Foundations of software science and computation structures : 18th international conference, fossacs 2015, held as part of the european joint conferences on theory and practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings / edited by Andrew Pitts. por
- Pitts, Andrew [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9034
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2015
Disponibilidad: No hay ítems disponibles.
|