Resultados
|
|
|
|
|
Advances in case-based reasoning : 8th European conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006 ; proceedings / Thomas R. Roth-Berghofer, Mehmet H. Göker, H. Altay Güvenir, eds. por ECCBR (8 : 2006 : Fethiye, Mugla Ili, Turquía) | Roth-Berghofer, Thomas R [editor] | Göker, Mehmet H [editor] | Güvenir, H. Altay (Halil Altay), 1957- [editor]. Series Lecture notes in computer science ; 4106 | Lecture notes in computer science. Lecture notes in artificial intelligenceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2006Otro título: ECCBR 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76E95 E33 2006.
|
|
|
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.
|
|
|
|
|
|
|
|
|
Applied cryptography and network security : 4th international conference, ACNS 2006, Singapore, June 6-9, 2006 : proceedings / Jianying Zhou, Moti Yung, Feng Bao (eds.) por ACNS 2006 (2006 : Singapur) | Zhou, Jianying [editor] | Yung, Moti [editor] | Bao, Feng [editor]. Series Lecture notes in computer science ; 3989Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: ACNS 2006.Acceso en línea: Restricted to SpringerLink subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK5102.94 A35 2006.
|
|
|
Approximation, randomization and combinatorial optimization : algorithms and techniques : 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006, and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30, 2006 : proceedings / Josep Díaz ... [y otros.], eds. por International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (9 : 2006 : Barcelona, España) | Díaz, Josep, 1950- [editor] | International Workshop on Randomization and Computation (10 : 2006 : Barcelona, España). Series Lecture notes in computer science ; 4110Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems | Ninth International Workshop on Approximation Algorithms for Combinatorial Optimization Problems | APPROX 2006 | 10th International Workshop on Randomization and Computation | Tenth International Workshop on Randomization and Computation | RANDOM 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA75.5 I5712 2006.
|
|
|
|
|
|
Computer science--theory and applications : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006 : proceedings / Dima Grigoriev, John Harrison, Edward A. Hirsch, eds. por International Computer Science Symposium in Russia (2006 : San Petesburgo, Rusia) | Grigoriev, Dima [editor] | Harrison, J. (John), 1966- [editor] | Hirsch, Edward A [editor] | CSR (2006 : San Peterburgo, Rusia). Series Lecture notes in computer science ; 3967Tipo de material: Texto; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.5 I568.
|
|
|
Computing and combinatorics : 12th annual international conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006 : proceedings / Danny Z. Chen, D.T. Lee, eds. por COCOON 2006 (2006 : Taipei, Taiwan) | Chen, Danny Z [editor] | Lee, D. T [editor]. Series Lecture notes in computer science ; 4112 | Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: COCOON 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA75.5 C63 2006.
|
|
|
Database and expert systems applications : 17th international conference, DEXA 2006, Kraków, Poland, September 4-8, 2006 : proceedings / Stephane Bressan, Josef Küng, Roland Wagner, eds. por International Workshop on Database and Expert Systems Applications (17 : 2006 : Kraków, Polonia) | Bressan, Stéphane [editor] | Küng, Josef, 1962- [editor] | Wagner, Roland R [editor]. Series Lecture notes in computer science ; 4080Tipo de material: Texto; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: DEXA 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9D3 D315 2006.
|
|
|
Distributed computing in sensor systems : second IEEE international conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006 : proceedings / Phillip B. Gibbons ... [y otros.], eds. por DCOSS 2006 (2006 : San Francisco, California) | Gibbons, Phillip Baldwin [editor] | Institute of Electrical and Electronics Engineers. Series Lecture notes in computer science ; 4026Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: DCOSS 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK7872.D48 D36 2006.
|
|
|
|
|
|
|
|
|
|
|
|
Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / Marco Bernardo, Alessandro Cimatti, eds. por International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6 : 2006 : Bertinoro, Italia) | Cimatti, Alessandro [editor] | Bernardo, Marco [editor]. Series Lecture notes in computer science ; 3965 | Lecture notes in computer science. Tutorial | Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: SFM 2006 | Hardware verification.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9F67 I574 2006.
|
|
|
Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings / Eugene Asarin, Patricia Bouyer, eds. por FORMATS 2006 (2006 : Paris, Francia) | Asarin, Eugene Aleksandrovich [d.] | Bouyer, Patricia, 1976- [editor]. Series Lecture notes in computer science ; 4202Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2006Otro título: FORMATS 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9C65 F68.
|
|
|
|
|
|
Fuzzy systems and knowledge discovery : third international conference, FSKD 2006, Xi'an, China, September 24-28, 2006 : proceedings / Lipo Wang ... [y otros.], eds. por FSKD 2006 (2006 : Xi'an, Shaanxi Sheng, China) | Wang, Lipo [editor]. Series Lecture notes in computer science ; 4223 | Lecture notes in computer science. Lecture notes in artificial intelligence | Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: FSKD 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 F75 2006.
|
|
|
High performance computing and communications : second international conference HPCC 2006, Munich, Germany, September 13-15 2006 : proceedings / Michael Gerndt, Dieter Kranzlmüller, eds por HPCC 2006 (2006 : Munich, Alemania) | Gerndt, Michael [editor] | Kranzlmüller, Dieter, 1969- [editor]. Series Lecture notes in computer science ; 4208Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2006Otro título: HPCC 2006.Acceso en línea: Restricted to SpringerLink subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.88 H63 2006.
|