Resultados
|
|
Handbook of Open Source Tools [recurso electrónico] / by Sandeep Koranne. por Koranne, Sandeep [author.] | SpringerLink (Online service). Edición: 1.Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Boston, MA : Springer US, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
|
|
|
|
|
|
|
|
|
Hardware and Software: Verification and Testing [recurso electrónico] : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv. por Namjoshi, Kedar [editor.] | Zeller, Andreas [editor.] | Ziv, Avi [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6405Origen: 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: QA76.758.
|
|
|
Hardware and Software: Verification and Testing [recurso electrónico] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz. por Barner, Sharon [editor.] | Harris, Ian [editor.] | Kroening, Daniel [editor.] | Raz, Orna [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6504Origen: 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: QA76.758.
|
|
|
Hardware and Software: Verification and Testing [recurso electrónico] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / edited by Roderick Bloem, Eli Arbel. por Bloem, Roderick [editor.] | Arbel, Eli [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10028Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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) .
|
|
|
|
|
|
Head first Python / Paul Barry por Barry, Paul. Series Head firstEdición: 2nd ed.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Detalles de publicación: Sebastopol, CA : O'reilly, 2017Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali (1) Signatura topográfica: QA76.73 .P98 B37 2017, Tecate (1) Signatura topográfica: QA76.73 .P98 B37 2017, Biblioteca Central Tijuana (1) Signatura topográfica: QA76.73.P98 B37 2017.
|
|
|
High Performance Computing [electronic resource] : ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers / edited by Rio Yokota, Michèle Weiland, John Shalf, Sadaf Alam. por Yokota, Rio [editor.] | Weiland, Michèle [editor.] | Shalf, John [editor.] | Alam, Sadaf [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11203Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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) .
|
|
|
High Performance Embedded Architectures and Compilers [recurso electrónico] : 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings / edited by Yale N. Patt, Pierfrancesco Foglia, Evelyn Duesterwald, Paolo Faraboschi, Xavier Martorell. por Patt, Yale N [editor.] | Foglia, Pierfrancesco [editor.] | Duesterwald, Evelyn [editor.] | Faraboschi, Paolo [editor.] | Martorell, Xavier [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5952Origen: 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 .C62.
|
|
|
|
|
|
How languages are learned / Patsy M. Lightbown and Nina Spada. por Lightbown, Patsy | Spada, Nina Margaret. Series Oxford handbooks for language teachersEdición: 3rd ed.Tipo de material: Texto; Forma literaria:
No es ficción ; Audiencia:
Especializado; Detalles de publicación: Oxford : Oxford University Press, 2006Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: P118 L53 2006, Facultad de Idiomas Mexicali (1) Signatura topográfica: P118 L53 2006. Ítems disponibles para referencia: Facultad de Idiomas Mexicali Not for loan (1) Signatura topográfica: P118 L53 2006.
|
|
|
|
|
|
|
|
|
Human and Artificial Rationalities [electronic resource] : Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings / edited by Jean Baratgin, Baptiste Jacquet, Hiroshi Yama. por Baratgin, Jean [editor.] | Jacquet, Baptiste [editor.] | Yama, Hiroshi [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14522Edición: 1st ed. 2024.Origen: Springer Nature eBookTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
Human-Centered and Error-Resilient Systems Development [recurso electrónico] : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings / edited by Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt, Filip Kis. por Bogdan, Cristian [editor.] | Gulliksen, Jan [editor.] | Sauer, Stefan [editor.] | Forbrig, Peter [editor.] | Winckler, Marco [editor.] | Johnson, Chris [editor.] | Palanque, Philippe [editor.] | Bernhaupt, Regina [editor.] | Kis, Filip [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9856Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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) .
|
|
|
Human Language Technology. Challenges for Computer Science and Linguistics [electronic resource] : 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papers / edited by Zygmunt Vetulani, Joseph Mariani, Marek Kubis. por Vetulani, Zygmunt [editor.] | Mariani, Joseph [editor.] | Kubis, Marek [editor.] | SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10930Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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) .
|
|
|
|
|
|
Hybrid Metaheuristics [recurso electrónico] : 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings / edited by María J. Blesa, Christian Blum, Günther Raidl, Andrea Roli, Michael Sampels. por Blesa, María J [editor.] | Blum, Christian [editor.] | Raidl, Günther [editor.] | Roli, Andrea [editor.] | Sampels, Michael [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6373Origen: 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.
|
|
|
Hybrid Metaheuristics [recurso electrónico] : 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings / edited by Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello, ALESSANDRO DI NUOVO, Mario Pavone, El-Ghazali Talbi. por Blesa, Maria J [editor.] | Blum, Christian [editor.] | Cangelosi, Angelo [editor.] | Cutello, Vincenzo [editor.] | DI NUOVO, ALESSANDRO [editor.] | Pavone, Mario [editor.] | Talbi, El-Ghazali [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9668Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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) .
|