Resultados
|
|
|
|
|
|
|
Combinatorial pattern matching : 16th annual symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005 : proceedings / Alberto Apostolico, Maxime Crochemore, Kunsoo Park (eds.) por Symposium on Combinatorial Pattern Matching (16 : 2005 : Jeju Island, Corea) | Apostolico, Alberto, 1948- [editor] | Crochemore, Maxime, 1947- [editor] | Park, Kunsoo [editor]. Series Lecture notes in computer science ; 3537Tipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2005Otro título: CPM 2005.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A43 C62 2005.
|
|
|
|
Combinatorial pattern matching : 17th annual Symposium CPM 2006 : Barcelona, Spain, July 5-7, 2006 proceedings / Moshe Lewenstein, Gabriel Valiente, eds. por CPM 2006 (17 : 2006 : Barcelona, España) | Lewenstein, Moshe [editor] | Valiente, Gabriel, 1963- [editor] | Combinatorial Pattern Matching (17 : 2006 : Barcelona, España). Series Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c1992-Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A43 C67 2006.
|
|
|
|
|
|
|
|
Compiler construction : 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Rastislav Bodik, ed. por CC 2005 (2005 : 14 : Edinburgo, Escocia) | Bodik, Rastislav [editor] | ETAPS 2005 (2005 : Edinburgh, Escocia). Series Lecture notes in computer science ; 3443Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2005Otro título: Joint European Conferences on Theory and Practice of Software | ETAPS 2005.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76C65 C37 2005.
|
|
|
|
Compilers, principles, techniques, and tools / Alfred v. aho, ravi sethi, jeffrey d. ullman por Aho, Alfred V [autor] | Sethi, Ravi [autor] | Ullman, Jeffrey D, 1942- [autor]. Series Addison-wesley series in computer scienceTipo de material: Texto; Forma literaria:
No es ficción Editor: Reading, massachusetts : Addison-wesley, c1986Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA76.76C65 A37, ...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computational intelligence for engineering systems : emergent applications / Ana Madureira, Judite Ferreira, Zita Vale, editors por International Symposium on Computational Intelligence for Engineering Systems (2009 : Porto, Portugal) | Madureira, Ana (Ana Maria) [editor] | Ferreira, Judite [editor] | Vale, Zita [editor]. Series International series on intelligent systems, control and automation--science and engineering ; v. 46Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Dordrecht : Springer, c2011Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: TJ217.5 I584, ...
|
|
|
|
|
|
|
|
Computer aided systems theory EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 : revised papers / Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire, (eds.) por International Workshop Eurocast (8 : 2001 : Las Palmas de Gran Canaria, España) | Moreno-Diaz, Roberto [editor] | Buchberger, Bruno [editor] | Freire, Jose-Luis [editor]. Series Lecture notes in computer science ; v. 2178Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TA345 I584 2001, ...
|
|
|
|
Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings / Rajeev Alur, Doron A. Peled (eds.) por CAV Conference (16 : 2004 : Boston, Massachusetts) | Alur, Rajeev, 1966- [editor] | Peled, Doron A, 1962- [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: CAV 2004.Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.76V47 C38 2004, ...
|
|
|
|
Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Thomas Ball, Robert B. Jones, eds. por CAV. Conference (18 : 2006 : Seattle, Washington) | Ball, Thomas, 1965- [editor] | Jones, Robert Brent, 1969- [editor]. Series Lecture notes in computer science ; 4144Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: CAV 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76V47 C38 2006.
|
|
|
|
|
