Resultados
|
|
1.
|
Algorithmic Bioprocesses / edited by Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree. por
- Condon, Anne [editor.]
- Harel, David [editor.]
- Kok, Joost N [editor.]
- Salomaa, Arto [editor.]
- Winfree, Erik [editor.]
- SpringerLink (Servicio en línea)
Series Natural Computing Series
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.
|
|
|
|
3.
|
Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare. por
- Broy, Manfred [editor.]
- Grünbauer, Johannes [editor.]
- Harel, David [editor.]
- Hoare, Tony [editor.]
- SpringerLink (Servicio en línea)
Series NATO Science Series, Series II: Mathematics, Physics and Chemistry ; 195
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Dordrecht : Springer Netherlands, 2005
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
Model Driven Engineering Languages and Systems : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio. por
- Nierstrasz, Oscar [editor.]
- Whittle, Jon [editor.]
- Harel, David [editor.]
- Reggio, Gianna [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4199
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Disponibilidad: No hay ítems disponibles.
|
