Resultados
|
|
1.
|
Computational Methods in Systems Biology : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. por
- Gupta, Ashutosh [editor.]
- Henzinger, Thomas A [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8130
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
Computer Science Logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / edited by Jacques Duparc, Thomas A. Henzinger. por
- Duparc, Jacques [editor.]
- Henzinger, Thomas A [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4646
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.
|
|
|
3.
|
Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings / edited by Krishnendu Chatterjee, Thomas A. Henzinger. por
- Chatterjee, Krishnendu [editor.]
- Henzinger, Thomas A [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6246
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.
|
|
|
4.
|
Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers / edited by Antonín Ku?era, Thomas A. Henzinger, Jaroslav Nešet?il, Tomáš Vojnar, David Antoš. por
- Ku?era, Antonín [editor.]
- Henzinger, Thomas A [editor.]
- Nešet?il, Jaroslav [editor.]
- Vojnar, Tomáš [editor.]
- Antoš, David [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7721
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.
|
