Resultados
|
1.
|
CONCUR 2011 – Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings / edited by Joost-Pieter Katoen, Barbara König. por
- Katoen, Joost-Pieter [editor.]
- König, Barbara [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6901
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.
|
|
2.
|
Graph transformation : 7th international conference, icgt 2014, held as part of staf 2014, york, uk, july 22-24, 2014. Proceedings / edited by Holger Giese, Barbara König. por
- Giese, Holger [editor.]
- König, Barbara [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8571
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
3.
|
Tools and Algorithms for the Construction and Analysis of Systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings / edited by Cormac Flanagan, Barbara König. por
- Flanagan, Cormac [editor.]
- König, Barbara [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7214
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.
|