Resultados
|
|
1.
|
Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings / edited by Alexander Kurz, Marina Lenisa, Andrzej Tarlecki. por
- Kurz, Alexander [editor.]
- Lenisa, Marina [editor.]
- Tarlecki, Andrzej [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5728
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
Automata, Languages and Programming : 34th International Colloquium, ICALP 2007, Wroc?aw, Poland, July 9-13, 2007. Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdzi?ski, Andrzej Tarlecki. por
- Arge, Lars [editor.]
- Cachin, Christian [editor.]
- Jurdzi?ski, Tomasz [editor.]
- Tarlecki, Andrzej [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4596
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.
|
FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings / edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki. por
- Fitzgerald, John [editor.]
- Hayes, Ian J [editor.]
- Tarlecki, Andrzej [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3582
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
|
