Resultados
|
|
|
|
|
|
|
|
|
|
|
Excel for windows 95 : bible / by John Walkenbach por Walkenbach, John [autor]. Tipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Foster City, California : IDG Books Worldwide, c1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: HF5548.4M523 W35 1995.
|
|
|
|
|
|
|
|
Expert one-on-one J2EE design and development / Rod Johnson por Johnson, Rod, 1970- [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Indianapolis, Indiana : Wrox, c2003Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.73J38 J647.
|
|
|
|
|
|
|
|
Extreme programming explained : embrace change / Kent Beck por Beck, Kent [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Boston : Addison-Wesley, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA76.76D47 B43, ...
|
|
|
|
|
|
|
|
|
|
|
|
FM'99-: formal methods : world congress on formal methods in the development of computing systems Toulouse, France, september 1999, proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davis, (eds.) por World Congress on Formal Methods in the Development of Computing Systems (1999 : Tolulous, Francia) | Wing, Jeannette M [editor] | Woodcock, Jim [editor] | Davis, Jim [editor]. Series Lectures notes in computer science ; 1708-1709Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 C645 1999.
|
|
|
|
FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, march 12-16, 2001 : proceedings / Jose Nuno Oliveira, Pamela Zave, eds. por International Symposium of Formal Methods Europe (10 : 2001 : Berlin, Alemania) | Oliveira, Jose N [editor] | Zave, Pamela, 1948- [editor]. Series Lecture notes in computer science ; 2021Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2001Acceso en línea: Restricted to Springer LINK subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577 2001.
|
|
|
|
FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings / J.C.P. Woodcock, P.G. Larsen, (eds.) por International Symposium of Formal Methods Europe (1993 : Odense, Dinamarca) | Woodcock, Jim [editor] | Larsen, P. G. (Peter Gorm), 1964- [editor]. Series Lecture notes in computer science ; 670Tipo de material: Texto; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 1993Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577 1993.
|
|
|
|
FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran eds. por International Symposium of Formal Methods Europe (2 : 1994 : Barcelona, Espana) | Naftalin, Maurice, 1951- [editor] | Denvir, Tim, 1939- [editor] | Bertran, Miguel [editor]. Series Lecture notes in computer science ; 873Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 1994Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Foundations of software science and computational structures : 7th International Conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Igor Walukiewicz, ed. por FOSSACS 2004 (7 : 2004 : Barcelona, España) | ETAPS 2004 (2004 : Barcelona, España) | Walukiewicz, Igor [editor]. Series Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2004Otro título: FOSSACS 2004.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.751 I57 2004.
|
