Resultados
|
|
|
|
|
Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings / Kwangkeun Yi, ed. por International Static Analysis Symposium (13 : 2006 : Seúl, Corea) | Yi, Kwangkeun [editor] | SAS (13 : 2006 : Seúl, Corea). Series Lecture notes in computer science ; 4134Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: SAS 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 I578 2006.
|
|
|
|
|
|
Structured computer organization / Andrew s. tanenbaum por Tanenbaum, Andrew S, 1944- [autor]. Edición: 3Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Englewood cliffs, new jersey : Prentice Hall, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (5)Clasificación: QA76.6 T35 1990, ...
|
|
|
|
|
|
|
|
|
Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / Frank Pfenning, ed. por International Conference on Rewriting Techniques and Applications (17 : 2006 : Seattle, Washington) | Pfenning, Frank [editor]. Series Lecture notes in computer science ; 4098Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: RTA 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA267 I58 2006.
|
|
|
|
|
|
|
|
|
|