Resultados
|
|
Automotive Transmissions [recurso electrónico] : Fundamentals, Selection, Design and Application / by Harald Naunheimer, Bernd Bertsche, Joachim Ryborz, Wolfgang Novak. por Naunheimer, Harald [author.] | Bertsche, Bernd [author.] | Ryborz, Joachim [author.] | Novak, Wolfgang [author.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TL1 -483.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Artificial Intelligence Applications and Innovations [recurso electrónico] : 6th IFIP WG 12.5 International Conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010. Proceedings / edited by Harris Papadopoulos, Andreas S. Andreou, Max Bramer. por Papadopoulos, Harris [editor.] | Andreou, Andreas S [editor.] | Bramer, Max [editor.] | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 339Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [recurso electrónico] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / edited by Christian G. Fermüller, Andrei Voronkov. por Fermüller, Christian G [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6397Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
|
|
|
Rough Set and Knowledge Technology [recurso electrónico] : 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings / edited by Jian Yu, Salvatore Greco, Pawan Lingras, Guoyin Wang, Andrzej Skowron. por Yu, Jian [editor.] | Greco, Salvatore [editor.] | Lingras, Pawan [editor.] | Wang, Guoyin [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6401Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
|
|
|
|
|
|
Software Technologies for Embedded and Ubiquitous Systems [recurso electrónico] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings / edited by Sang Lyul Min, Robert Pettit, Peter Puschner, Theo Ungerer. por Min, Sang Lyul [editor.] | Pettit, Robert [editor.] | Puschner, Peter [editor.] | Ungerer, Theo [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6399Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
|
|
|
Brain, Body and Machine [recurso electrónico] : Proceedings of an International Symposium on the Occasion of the 25th Anniversary of the McGill University Centre for Intelligent Machines / edited by Jorge Angeles, Benoit Boulet, James J. Clark, József Kövecses, Kaleem Siddiqi. por Angeles, Jorge [editor.] | Boulet, Benoit [editor.] | Clark, James J [editor.] | Kövecses, József [editor.] | Siddiqi, Kaleem [editor.] | SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 83Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.
|
|
|
|
|
|
Integrated Formal Methods [recurso electrónico] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings / edited by Dominique Méry, Stephan Merz. por Méry, Dominique [editor.] | Merz, Stephan [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6396Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
|
|
|
|
|
|
Computational Paleontology [recurso electrónico] / edited by Ashraf M.T. Elewa. por Elewa, Ashraf M.T [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: XX(375266.2).
|
|
|
|
|
|
Model-Based Engineering of Embedded Real-Time Systems [recurso electrónico] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. por Giese, Holger [editor.] | Karsai, Gabor [editor.] | Lee, Edward [editor.] | Rumpe, Bernhard [editor.] | Schätz, Bernhard [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6100Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
|
|
|
Provable Security [recurso electrónico] : 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings / edited by Swee-Huay Heng, Kaoru Kurosawa. por Heng, Swee-Huay [editor.] | Kurosawa, Kaoru [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6402Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.
|