Resultados
|
|
1.
|
Computer science -- theory and applications : 10th international computer science symposium in russia, csr 2015, listvyanka, russia, july 13-17, 2015, proceedings / edited by Lev D. Beklemishev, Daniil V. Musatov. por
- Beklemishev, Lev D [editor.]
- Musatov, Daniil V [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9139
Tipo de material:  Texto; Formato:
electrónico
disponible en línea  ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2015
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
Fields of logic and computation ii : essays dedicated to yuri gurevich on the occasion of his 75th birthday / edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte. por
- Beklemishev, Lev D [editor.]
- Blass, Andreas [editor.]
- Dershowitz, Nachum [editor.]
- Finkbeiner, Bernd [editor.]
- Schulte, Wolfram [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9300
Edición: 1st ed. 2015.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2015
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
Logic, Language, Information and Computation : 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 (Servicio en línea)
Series Lecture Notes in Computer Science ; 6642
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.
|
