Su búsqueda retornó 1029 resultados.

Resultados
		Intelligent Computer Mathematics [electronic resource] : 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings / edited by Catherine Dubois, Manfred Kerber. por Dubois, Catherine [editor.] \| Kerber, Manfred [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14101Edición: 1st ed. 2023.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, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Intelligent Computer Mathematics [electronic resource] : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings / edited by Andrea Kohlhase, Laura Kovács. por Kohlhase, Andrea [editor.] \| Kovács, Laura [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14960Edició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) .
		Interactive approaches to second language reading / edited by Patricia L. Carrell, Joanne Devine, David E. Eskey. por Carrell, Patricia L [ed.] \| Devine, Joanne [ed.] \| Eskey, David E [ed.]. Series The Cambridge applied linguistics seriesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge ; New York : Cambridge Unversity Press, 1998Disponibilidad: Ítems disponibles para referencia: Facultad de Idiomas Mexicali Not for loan (1) Signatura topográfica: P53.75 I58 1998.
		Interactive approaches to second language reading / edited by Patricia L. Carrell, Joanne Devine, David E. Eskey. por Carrell, Patricia L \| Devine, Joanne \| Eskey, David E. Series The Cambridge applied linguistics seriesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge ; New York : Cambridge University Press, 1998Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: P53.75 I58 1998.
		Interactive language teaching / edited by Wilga M. Rivers. por Rivers, Wilga M. Series Cambridge language teaching libraryTipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987Acceso en línea: Publisher description \| Table of contents Disponibilidad: Ítems disponibles para préstamo: Valle Dorado (1) Signatura topográfica: P53 I58 1987.
		Interactive Theorem Proving [recurso electrónico] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Matt Kaufmann, Lawrence C. Paulson. por Kaufmann, Matt [editor.] \| Paulson, Lawrence C [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6172Origen: 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 .L63.
		Interactive Theorem Proving [recurso electrónico] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk. por Eekelen, Marko [editor.] \| Geuvers, Herman [editor.] \| Schmaltz, Julien [editor.] \| Wiedijk, Freek [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6898Origen: 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.9 .L63.
		Interactive Theorem Proving [recurso electrónico] : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / edited by Jasmin Christian Blanchette, Stephan Merz. por Blanchette, Jasmin Christian [editor.] \| Merz, Stephan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9807Origen: 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) .
		Interactive Theorem Proving [electronic resource] : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / edited by Jeremy Avigad, Assia Mahboubi. por Avigad, Jeremy [editor.] \| Mahboubi, Assia [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10895Edició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) .
		Interpreted Languages and Compositionality [recurso electrónico] / by Marcus Kracht. por Kracht, Marcus [author.] \| SpringerLink (Online service). Series Studies in Linguistics and Philosophy ; 89Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: P325 -325.5.
		Introducción a la computación : a través del lenguaje Pascal / Elisa Viso Gurovich. por Viso Gurovich, Elisa. Edición: 1a ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: México, D.F. : Trillas, 1988Disponibilidad: Ítems disponibles para préstamo: Facultad de Ciencias Administrativas (1) Signatura topográfica: QA76.73 .P2 V58 1988.
		Introduction to 80x86 assembly language and computer architecture [recurso electrónico] / Richard C. Detmer. por Detmer, Richard C. Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Boston : Jones and Bartlett Publishers, 2001Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A73 D48 2001 EB.
		Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. por Hopcroft, John E, 1939- \| Motwani, Rajeev \| Ullman, Jeffrey D, 1942-. Edición: 2a.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Inglés Detalles de publicación: Boston : Addison-Wesley, c2001Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (3) Signatura topográfica: QA267 H66 2001, ...
		Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman por Hopcroft, John E, 1939- \| Motwani, Rajeev \| Ullman, Jeffrey D, 1942-. Edición: 3rd ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Boston : Pearson/Addison Wesley, 2007Acceso en línea: Table of contents Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA267 H66 2007, Valle de las Palmas (1) Signatura topográfica: QA267 H66 2007, Biblioteca Central Tijuana (1) Signatura topográfica: QA267 H66 2007.
		Introduction to Compiler Design [recurso electrónico] / by Torben Ægidius Mogensen. por Mogensen, Torben Ægidius [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.7 -76.73.
		Introduction to Computer Graphics [electronic resource] : Using OpenGL and Java / by Karsten Lehn, Merijam Gotzes, Frank Klawonn. por Lehn, Karsten [author.] \| Gotzes, Merijam [author.] \| Klawonn, Frank [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceEdición: 3rd ed. 2023.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, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		An introduction to foreign language learning and teaching / Keith Johnson. por Johnson, Keith, 1944-. Series Learning about languageTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Harlow, Essex, London ; New York : Longman, 2001Disponibilidad: Ítems disponibles para préstamo: Facultad de Idiomas Mexicali (1) Signatura topográfica: P51 J64 2001.
		An introduction to formal languages and automata / Peter Linz. por Linz, Peter. Edición: 4th ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Sudbury, Mass. : Jones and Bartlett Publishers, c2006Acceso en línea: Table of contents only Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA267.3 L55 2006.
		An introduction to formal languages and automata / Peter Linz. por Linz, Peter. Edición: 5th ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Sudbury, Mass. : Jones and Bartlett Publishers, c2012Acceso en línea: Table of contents only Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (2) Signatura topográfica: QA267.3 L55 2012, ... (1 votos)
		An introduction to language / Victoria Fromkin, Robert Rodman, Nina Hyams. por Fromkin, Victoria \| Rodman, Robert \| Hyams, Nina M, 1952-. Edición: 8a ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Boston, MA : Thomson Wadsworth, c2007Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: P106 F76 2007.

		Intelligent Computer Mathematics [electronic resource] : 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings / edited by Catherine Dubois, Manfred Kerber. por Dubois, Catherine [editor.] \| Kerber, Manfred [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14101Edición: 1st ed. 2023.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, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Intelligent Computer Mathematics [electronic resource] : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings / edited by Andrea Kohlhase, Laura Kovács. por Kohlhase, Andrea [editor.] \| Kovács, Laura [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14960Edició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) .
		Interactive approaches to second language reading / edited by Patricia L. Carrell, Joanne Devine, David E. Eskey. por Carrell, Patricia L [ed.] \| Devine, Joanne [ed.] \| Eskey, David E [ed.]. Series The Cambridge applied linguistics seriesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge ; New York : Cambridge Unversity Press, 1998Disponibilidad: Ítems disponibles para referencia: Facultad de Idiomas Mexicali Not for loan (1) Signatura topográfica: P53.75 I58 1998.
		Interactive approaches to second language reading / edited by Patricia L. Carrell, Joanne Devine, David E. Eskey. por Carrell, Patricia L \| Devine, Joanne \| Eskey, David E. Series The Cambridge applied linguistics seriesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge ; New York : Cambridge University Press, 1998Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: P53.75 I58 1998.
		Interactive language teaching / edited by Wilga M. Rivers. por Rivers, Wilga M. Series Cambridge language teaching libraryTipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987Acceso en línea: Publisher description \| Table of contents Disponibilidad: Ítems disponibles para préstamo: Valle Dorado (1) Signatura topográfica: P53 I58 1987.
		Interactive Theorem Proving [recurso electrónico] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Matt Kaufmann, Lawrence C. Paulson. por Kaufmann, Matt [editor.] \| Paulson, Lawrence C [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6172Origen: 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 .L63.
		Interactive Theorem Proving [recurso electrónico] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk. por Eekelen, Marko [editor.] \| Geuvers, Herman [editor.] \| Schmaltz, Julien [editor.] \| Wiedijk, Freek [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6898Origen: 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.9 .L63.
		Interactive Theorem Proving [recurso electrónico] : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / edited by Jasmin Christian Blanchette, Stephan Merz. por Blanchette, Jasmin Christian [editor.] \| Merz, Stephan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9807Origen: 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) .
		Interactive Theorem Proving [electronic resource] : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / edited by Jeremy Avigad, Assia Mahboubi. por Avigad, Jeremy [editor.] \| Mahboubi, Assia [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10895Edició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) .
		Interpreted Languages and Compositionality [recurso electrónico] / by Marcus Kracht. por Kracht, Marcus [author.] \| SpringerLink (Online service). Series Studies in Linguistics and Philosophy ; 89Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: P325 -325.5.
		Introducción a la computación : a través del lenguaje Pascal / Elisa Viso Gurovich. por Viso Gurovich, Elisa. Edición: 1a ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: México, D.F. : Trillas, 1988Disponibilidad: Ítems disponibles para préstamo: Facultad de Ciencias Administrativas (1) Signatura topográfica: QA76.73 .P2 V58 1988.
		Introduction to 80x86 assembly language and computer architecture [recurso electrónico] / Richard C. Detmer. por Detmer, Richard C. Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Boston : Jones and Bartlett Publishers, 2001Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A73 D48 2001 EB.
		Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. por Hopcroft, John E, 1939- \| Motwani, Rajeev \| Ullman, Jeffrey D, 1942-. Edición: 2a.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Inglés Detalles de publicación: Boston : Addison-Wesley, c2001Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (3) Signatura topográfica: QA267 H66 2001, ...
		Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman por Hopcroft, John E, 1939- \| Motwani, Rajeev \| Ullman, Jeffrey D, 1942-. Edición: 3rd ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Boston : Pearson/Addison Wesley, 2007Acceso en línea: Table of contents Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA267 H66 2007, Valle de las Palmas (1) Signatura topográfica: QA267 H66 2007, Biblioteca Central Tijuana (1) Signatura topográfica: QA267 H66 2007.
		Introduction to Compiler Design [recurso electrónico] / by Torben Ægidius Mogensen. por Mogensen, Torben Ægidius [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.7 -76.73.
		Introduction to Computer Graphics [electronic resource] : Using OpenGL and Java / by Karsten Lehn, Merijam Gotzes, Frank Klawonn. por Lehn, Karsten [author.] \| Gotzes, Merijam [author.] \| Klawonn, Frank [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceEdición: 3rd ed. 2023.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, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		An introduction to foreign language learning and teaching / Keith Johnson. por Johnson, Keith, 1944-. Series Learning about languageTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Harlow, Essex, London ; New York : Longman, 2001Disponibilidad: Ítems disponibles para préstamo: Facultad de Idiomas Mexicali (1) Signatura topográfica: P51 J64 2001.
		An introduction to formal languages and automata / Peter Linz. por Linz, Peter. Edición: 4th ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Sudbury, Mass. : Jones and Bartlett Publishers, c2006Acceso en línea: Table of contents only Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA267.3 L55 2006.
		An introduction to formal languages and automata / Peter Linz. por Linz, Peter. Edición: 5th ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Sudbury, Mass. : Jones and Bartlett Publishers, c2012Acceso en línea: Table of contents only Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (2) Signatura topográfica: QA267.3 L55 2012, ... (1 votos)
		An introduction to language / Victoria Fromkin, Robert Rodman, Nina Hyams. por Fromkin, Victoria \| Rodman, Robert \| Hyams, Nina M, 1952-. Edición: 8a ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Boston, MA : Thomson Wadsworth, c2007Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: P106 F76 2007.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Títulos

Su búsqueda retornó 1029 resultados.