Refinar su búsqueda

Su búsqueda retornó 1519 resultados.

Ordenar
Resultados
3D Integration for NoC-based SoC Architectures [recurso electrónico] / edited by Abbas Sheibanyrad, Frédéric Pétrot, Axel Jantsch.

por Sheibanyrad, Abbas [editor.] | Pétrot, Frédéric [editor.] | Jantsch, Axel [editor.] | SpringerLink (Online service).

Series Integrated Circuits and SystemsOrigen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: New York, NY : Springer New York, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK7888.4.

Abstract State Machines, Alloy, B, TLA, VDM, and Z [recurso electrónico] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro.

por Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9675Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Accelerating Test, Validation and Debug of High Speed Serial Interfaces [recurso electrónico] / by Yongquan Fan, Zeljko Zilic.

por Fan, Yongquan [author.] | Zilic, Zeljko [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK7888.4.

Access Networks [recurso electrónico] : 4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers / edited by Xiao Jun Hei, Lawrence Cheung.

por Hei, Xiao Jun [editor.] | Cheung, Lawrence [editor.] | SpringerLink (Online service).

Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 37Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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: TK5105.5 -5105.9.

Active Inference [electronic resource] : Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers / edited by Christopher L. Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Noor Sajid, Hideaki Shimazaki, Tim Verbelen.

por Buckley, Christopher L [editor.] | Cialfi, Daniela [editor.] | Lanillos, Pablo [editor.] | Ramstead, Maxwell [editor.] | Sajid, Noor [editor.] | Shimazaki, Hideaki [editor.] | Verbelen, Tim [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 1721Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Ad-Hoc, Mobile and Wireless Networks [recurso electrónico] : 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings / edited by Ioanis Nikolaidis, Kui Wu.

por Nikolaidis, Ioanis [editor.] | Wu, Kui [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6288Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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: TK5105.5 -5105.9.

Ad-hoc, Mobile, and Wireless Networks [recurso electrónico] : 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings / edited by Hannes Frey, Xu Li, Stefan Ruehrup.

por Frey, Hannes [editor.] | Li, Xu [editor.] | Ruehrup, Stefan [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6811Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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: TK5105.5 -5105.9.

Ad Hoc Networks [recurso electrónico] : First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers / edited by Jun Zheng, Shiwen Mao, Scott F. Midkiff, Hua Zhu.

por Zheng, Jun [editor.] | Mao, Shiwen [editor.] | Midkiff, Scott F [editor.] | Zhu, Hua [editor.] | SpringerLink (Online service).

Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 28Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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: TK5105.5 -5105.9.

Adaptive and Natural Computing Algorithms [recurso electrónico] : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II / edited by Andrej Dobnikar, Uroš Lotric, Branko Šter.

por Dobnikar, Andrej [editor.] | Lotric, Uroš [editor.] | Šter, Branko [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6594Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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: QA75.5 -76.95.

Adaptive and Natural Computing Algorithms [recurso electrónico] : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I / edited by Andrej Dobnikar, Uroš Lotric, Branko Šter.

por Dobnikar, Andrej [editor.] | Lotric, Uroš [editor.] | Šter, Branko [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6593Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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: QA75.5 -76.95.

Advanced Computer Science and Information Technology [recurso electrónico] : Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings / edited by G. S. Tomar, Ruay-Shiung Chang, Osvaldo Gervasi, Tai-hoon Kim, Samir Kumar Bandyopadhyay.

por Tomar, G. S [editor.] | Chang, Ruay-Shiung [editor.] | Gervasi, Osvaldo [editor.] | Kim, Tai-hoon [editor.] | Bandyopadhyay, Samir Kumar [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 74Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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 .A43.

Advanced Computer Science and Information Technology [recurso electrónico] : Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings / edited by Tai-hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas.

por Kim, Tai-hoon [editor.] | Adeli, Hojjat [editor.] | Robles, Rosslin John [editor.] | Balitanas, Maricel [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 195Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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: QA76.9 .A43.

Advanced Computing [recurso electrónico] : First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III / edited by Natarajan Meghanathan, Brajesh Kumar Kaushik, Dhinaharan Nagamalai.

por Meghanathan, Natarajan [editor.] | Kaushik, Brajesh Kumar [editor.] | Nagamalai, Dhinaharan [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 133Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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: TK5105.5 -5105.9.

Advanced Computing Strategies for Engineering [electronic resource] : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II / edited by Ian F. C. Smith, Bernd Domer.

por Smith, Ian F. C [editor.] | Domer, Bernd [editor.] | SpringerLink (Online service).

Series Information Systems and Applications, incl. Internet/Web, and HCI ; 10864Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Advanced Computing Strategies for Engineering [electronic resource] : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I / edited by Ian F. C. Smith, Bernd Domer.

por Smith, Ian F. C [editor.] | Domer, Bernd [editor.] | SpringerLink (Online service).

Series Information Systems and Applications, incl. Internet/Web, and HCI ; 10863Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Advanced Concepts for Intelligent Vision Systems [electronic resource] : 19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018, Proceedings / edited by Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders.

por Blanc-Talon, Jacques [editor.] | Helbert, David [editor.] | Philips, Wilfried [editor.] | Popescu, Dan [editor.] | Scheunders, Paul [editor.] | SpringerLink (Online service).

Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11182Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Advanced Gear Engineering [electronic resource] / edited by Veniamin Goldfarb, Evgenii Trubachev, Natalya Barmina.

por Goldfarb, Veniamin [editor.] | Trubachev, Evgenii [editor.] | Barmina, Natalya [editor.] | SpringerLink (Online service).

Series Mechanisms and Machine Science ; 51Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Advanced Information Systems Engineering [recurso electrónico] : 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings / edited by Barbara Pernici.

por Pernici, Barbara [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6051Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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.76 .A65.

Advanced Information Systems Engineering [recurso electrónico] : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings / edited by Haralambos Mouratidis, Colette Rolland.

por Mouratidis, Haralambos [editor.] | Rolland, Colette [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6741Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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: QA76.76 .A65.

Advanced Information Systems Engineering [recurso electrónico] : 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings / edited by Selmin Nurcan, Pnina Soffer, Marko Bajec, Johann Eder.

por Nurcan, Selmin [editor.] | Soffer, Pnina [editor.] | Bajec, Marko [editor.] | Eder, Johann [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9694Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Páginas

Con tecnología Koha