Resultados
|
|
Logic, Language, Information and Computation [recurso electrónico] : 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 (Online service). Series Lecture Notes in Computer Science ; 6188Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
|
|
|
Logic, Language, Information and Computation [recurso electrónico] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings / edited by Lev D. Beklemishev, Ruy Queiroz. por Beklemishev, Lev D [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6642Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
|
|
|
Logic, Language, Information, and Computation [recurso electrónico] : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / edited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz. por Väänänen, Jouko [editor.] | Hirvonen, Åsa [editor.] | de Queiroz, Ruy [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9803Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / edited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez. por Moss, Lawrence S [editor.] | de Queiroz, Ruy [editor.] | Martinez, Maricarmen [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10944Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / edited by Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz. por Hansen, Helle Hvid [editor.] | Scedrov, Andre [editor.] | de Queiroz, Ruy J.G.B [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13923Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|