Resultados
|
|
1.
|
Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith. por
- Dawar, Anuj [editor.]
- Veith, Helmut [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6247
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.
|
|
|
2.
|
How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe. por
- Cooper, S. Barry [editor.]
- Dawar, Anuj [editor.]
- Löwe, Benedikt [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7318
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.
|
Logic, Language, Information and Computation : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / edited by Anuj Dawar, Ruy Queiroz. por
- Dawar, Anuj [editor.]
- Queiroz, Ruy [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6188
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.
|
