Resultados
|
|
|
Quality of service in multiservice IP networks : international workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings / Marco Ajmone Marsan, Andrea Bianco, eds. por Ajmone Marsan, M [editor] | Bianco, Andrea [editor]. Series Lecture notes in computer science ; 1989Tipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK5103.75 Q83.
|
|
|
|
|
|
|
|
Cryptographic hardware and embedded systems CHES'2000,: second international workshop, Worcester, MA, USA, August 17-18, 2000 : proceedings / Cetin K. Koc, Christof Paar (eds.) por CHES'2000 (2000 : Worcester, Massachusetts) | Koç, Çetin K, 1957- [editor] | Paar, Christof, 1963- [editor]. Series Lecture notes in computer science ; 1965Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK7895.E42 C44 2000.
|
|
|
|
Implementation of functional languages : 12th International Workshop, IFL '2000, Aachen, Germany, September 4-7, 2000 : selected papers / Markus Mohnen, Pieter Koopman (eds.) por International Workshop on the Implementation of Functional Languages (12 : 2000 : Aachen, Germany) | Koopman, Pieter [editor] | Mohnen, Markus [editor]. Series Lecture notes in computer science ; 2011Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.62 I58 2000.
|
|
|
|
|
|
|
|
|
|
|
|
Oeuvres : Collected papers / Armand Borel por Borel, Armand [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2001-Otro título: Collected papers.Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA3 B5787 2001, ...
|
|
|
|
Recent advances in AI planning : 5th European Conference, ECP '99, Toulouse, Durkham, UK, September 8-10, 1999 : proceedings / Susanne Biundo, Maria Fox, eds. por ECP'99 (5 : 1999 : Durkham, Reino Unido) | Biundo, Susanne [editor] | Fox, Maria, 1962- [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 1809 :Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2000Otro título: Recent advances in artificial intelligence planning.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q334 E36 2000.
|
|
|
|
|
|
|
|
|
|
|
|
Logical aspects of computational linguistics : 4th International Conference, LACL 2001 Le Croisic, France, june 27-29, 2001 : proceedings / Philippe de Groote, Glyn Morrill, Christian Retore, eds. por LACL 2001 (4 : 2001 : Le Croisic, Francia) | Groote, Philippe de [editor] | Morril, Glyn [editor] | Retore, Christian [editor]. Series Lecture notes in computer science, Lecture notes in artificial intelligence ; 2099.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: P98.5L63 L33 2001.
|
|
|
|
|
|
|
|
Discrete and computational geometry : Japanese conference, JCDCG 2000, Tokyo, Japan, November 22-25, 2000 : revised papers / Jin Akiyama, Mikio Kano, Masatsugu Urabe, eds. por JCDCG 2000 (2000 : Tokio, Japon) | Akiyama, Jin [editor] | Kano, Mikio, 1949- [editor] | Urabe, Masatsugu, 1960- [editor]. Series Lecture notes in computer science ; 2098Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA167 J334 2000.
|
|
|
|
Hybrid systems : computation and control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 : proceedings / Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, por International Workshop HSCC 2001 (4 : 2001 : Roma, Italia) | Di Benedetto, Maria Domenica [editor] | Sangiovanni-Vincentelli, Alberto [editor]. Series Lecture notes in computer science ; 2034Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.38 I57 2001.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
