Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
Topics in cryptology, CT-RSA 2001 : the Cryptographers' Track at RSA Conference 2001, San Francisco, CA, USA, April 2001 : proceedings / David Naccache, ed. por RSA Conference (2001 : San Francisco, California) | Naccache, David, 1967- [editor]. Series Lecture notes in computer science ; 2020Tipo 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.9A25 R73 2001.
|
|
|
|
Theory and application of diagrams : first international conference, diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 : proceedings / Michael Anderson, Peter Cheng, Volker Haarslev (Eds.) por Diagrams 2000 (2000 : Edinburgo, Escocia) | Anderson, Michael, 1965- [editor] | Cheng, Peter, 1963- [editor] | Haarslev, Volker, 1955- [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 1889.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA90 D529 2000.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers / Mehdi Jazayeri, Rudiger G.K. Loos, David R. Musser (eds.) por International Seminar on Generic Programming (1998 : Dagstuhl Castle, Alemania) | Jazayeri, Mehdi [editor] | Loos, Rudiger, 1938 [editor] | Musser, David R [editor]. Series Lecture notes in computer science ; 1766Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin: Springer Verlag, c2000Acceso en línea: Restricted to Springer LINK subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6245 I57.
|
|
|
|
Software reuse : advances in software reusability : 6th International Conference, ICSR-6, Vienna, Austria, June 27-29, 2000 : proceedings / William B. Frakes (ed.) por International Conference on Software Reuse (6 : 2000 : Vienna, Austria) | Frakes, William Bruce, 1952- [editor]. Series Lecture notes in computer science ; 1844Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.76R47 I55 2000, ...
|
|
|
|
Knowledge engineering and knowledge management : methods, models, and tools : 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 : proceedings / Rose Dieng, Olivier Corby (eds.) por European Knowledge Acquisition Workshop (12 : 2000 : Juan-les-Pins, Francia) | Dieng, Rose [editor] | Corby, Olivier [editor]. Series Lecture notes in computer science ; 1937 : Lecture notes in artificial intelligenceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, 2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76E95 E87 2000.
|
|
|
|
Multi-image analysis : 10th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, March 12-17, 2000 : revised papers / Reinhard Klette, Thomas Huang, Georgy Gimel'farb (eds.) por International Workshop on Theoretical Foundations of Computer Vision (10 : 2000 : Dagstuhl Castle, Alemania) | Klette, Reinhard [editor] | Huang, Thomas S, 1936- | Gimelfarb, Georgii Lvovich [editor]. Series Lecture notes in computer science ; 2032Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2001Acceso en línea: Restringido a subcriptores Springer LINK Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TA1637 I58 2000.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Riemannian geometry and geometric analysis / Jurgen Jost por Jost, Jürgen, 1956- [autor]. Series UniversitextEdición: 3rd ed.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2002Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA649 J67 2002, ...
|
|
|
|
|
|
|
|
|
