Resultados
|
|
|
Advances in computer systems architecture : 10th Asia-Pacific conference, ACSAC 2005, Singapore, October 24-26, 2005 : proceedings / Thambipillai Srikanthan, Jingling Xue, Chip-Hong Chang, eds. por ACSAC 2005 (10 : 2005 : Singapur) | Srikanthan, Thambipillai [editor] | Xue, Jingling, 1962- [editor] | Chang, Chip-Hong [editor]. Series Lecture notes in computer science ; 3740Tipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2005Acceso en línea: Restringido para suscriptores de SpringerLink Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A73 A37 2005.
|
|
|
|
Advances in computer systems architecture : 11th Asia-Pacific conference, ACSAC 2006, Shanghai, China, September 6-8 2006 : proceedings / Chris Jesshope, Colin Egan, eds. por ACSAC 2006 (2006 : Shanghai, China) | Jesshope, Chris R [editor] | Egan, Colin, 1956- [editor]. Series Lecture notes in computer science ; 4186Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: Computer systems architecture | ACSAC 2006.Acceso en línea: Restricted to SpringerLink subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A73 A37 2006.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Advances in machine vision, image processing, and pattern analysis : International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006, Xi'an, China, August 26-27, 2006 : proceedings / Nanning Zheng, Xiaoyi Jiang, Xuguang Lan, eds. por International Workshop on Intelligent Computing in Pattern Analysis/Synthesis (2006 : Xi'an, Shaanxi Sheng, China) | Zheng, Nanning [editor] | Jiang, Xiaoyi [editor] | Lan, Xuguang [editor]. Series Lecture notes in computer science ; 4153Tipo de material: Texto; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: IWICPAS 2006.Acceso en línea: Restricted to SpringerLink subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TA1634 I596 2006.
|
|
|
|
Advances in multimedia information processing : PCM 2005 : 6th Pacific-Rim Conference on Multimedia, Jeju Island, Korea, November 13-16, 2005 : proceedings / Yo-Sung Ho, Hyoung Joong Kim, eds. por IEEE Pacific Rim Conference on Multimedia (6 : 2005 : Isla Jeju, Corea) | Ho, Yo-Sung [editor] | Kim, Hyoung Joong, 1954- [editor] | PCM 2005 (6 : 2005 : Isla Jeju, Corea). Series Lecture notes in computer science ; 3767-3768Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2005-Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.575 I445 2005.
|
|
|
|
Advances in natural language processing : 5th International Conference on NLP, FinTAL 2006, Turku, Finland, August 23-25, 2006 : proceedings / Tapio Salakoski ... [y otros.], eds. por FinTAL 2006 (5 : 2006 : Turku, Finlandia) | Salakoski, Tapio [editor] | International Conference on Natural Language Processing (5 : 2006 : Turku, Finlandia). Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 4139Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Acceso en línea: Haga clic para acceso en línea Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9N38 F56 2006.
|
|
|
|
|
|
|
|
Algorithms--ESA 2006 : 14th annual European symposium, Zurich, Switzerland, September 11-13, 2006 : proceedings / Yossi Azar, Thomas Erlebach, eds. por ESA 2006 (2006 : Zurich, Suiza) | Azar, Yossi [editor] | Erlebach, Thomas [editor] | European Association for Theoretical Computer Science. Series Lecture notes in computer science ; 4168Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2006Otro título: ESA 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9 E73 2006.
|
|
|
|
Approximation and online algorithms : 4th international workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006 : revised papers / Thomas Erlebach, Christos Kaklamanis, eds. por WAOA 2006 (2006 : Zurich, Suiza) | Erlebach, Thomas [editor] | Kaklamanis, Christos [editor]. Series Lecture notes in computer science ; 4368Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: WAOA 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A43 W36 2006.
|
|
|
|
Architecting systems with trustworthy components : international seminar, Dagstuhl Castle, Germany, December 12-17, 2004 : revised selected papers / Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski, eds. por Reussner, Ralf [editor] | Stafford, Judith Alyce [editor] | Szyperski, Clemens [editor]. Series Lecture notes in computer science ; 3938Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76C66 A73 2006.
|
|
|
|
|
|
|
|
Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / David Basin, Michaël Rusinowitch, eds. por IJCAR 2004 (2 : 2001 : Cork, Irlanda) | Basin, David [editor] | Rusinowitch, Michaël [editor]. Series Lecture notes in computer science ; 3097 | Lecture notes in artificial intelligenceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 I53 2004.
|
|
|
|
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.
|
|
|
|
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.
|
