Su búsqueda retornó 28 resultados.

Resultados
		Advanced Guide to Python 3 Programming [electronic resource] / by John Hunt. por Hunt, John [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceEdición: 2nd 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) .
		AIxIA 2022 - Advances in Artificial Intelligence [electronic resource] : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings / edited by Agostino Dovier, Angelo Montanari, Andrea Orlandini. por Dovier, Agostino [editor.] \| Montanari, Angelo [editor.] \| Orlandini, Andrea [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 13796Edició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 International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		AIxIA 2023 - Advances in Artificial Intelligence [electronic resource] : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings / edited by Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini. por Basili, Roberto [editor.] \| Lembo, Domenico [editor.] \| Limongelli, Carla [editor.] \| Orlandini, Andrea [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14318Edició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) .
		A Beginners Guide to Python 3 Programming [electronic resource] / by John Hunt. por Hunt, John [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceEdición: 2nd 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) .
		Compilador C CSS y simulador Proteus para Microcontroladores PIC / Eduardo García Breijo por García Breijo, Eduardo. Edición: 1a ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Español Detalles de publicación: México : Alfaomega, 2008Disponibilidad: Ítems disponibles para préstamo: Tecate (3) Signatura topográfica: TJ223.P76 G37 2008, .., Valle de las Palmas (2) Signatura topográfica: TJ223.P76 G37 2008, .., Biblioteca Central Ensenada (4) Signatura topográfica: TJ223 .P76 G37 2008, .., Biblioteca Central Mexicali (1) Signatura topográfica: TJ223 .P76 G37 2008, Biblioteca Central Tijuana (3) Signatura topográfica: TJ223.P76 G37 2008, ...
		Compiladores : principios, técnicas y herramientas / Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman ; tr. Pedro Flores Suárez, y Pere Botella i López. por Aho, Alfred V \| Sethi, Ravi \| Ullman, Jeffrey D, 1942- \| Flores Suárez, Pedro \| Botella i López, Pere. Edición: 1a ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Español Lenguaje original: Inglés Detalles de publicación: México : Addison-Wesley, 1998Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali (4) Signatura topográfica: QA76.76.C65 A46, ...
		Compiladores : principios, técnicas y herramientas / Alfred V. Aho ... [et al.] ; tr. Alfonso Vidal Romero Elizondo. por Aho, Alfred V \| Sethi, Ravi \| Ullman, Jeffrey D, 1942- \| Flores Suárez, Pedro \| Romero Elizondo, Alfonso Vidal [tr.]. Edición: 2a ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Español Lenguaje original: Inglés Detalles de publicación: México : Pearson educación, 2008Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (3) Signatura topográfica: QA76.76 .C65 A4618 2008, .., Biblioteca Central Ensenada (4) Signatura topográfica: QA76.76 .C65 C6518 2008, .., Valle de las Palmas (3) Signatura topográfica: QA76.76 .C65 A4618 2008, .., Facultad de Ciencias Administrativas, Sociales e Ingeniería (Guadalupe Victoria) (2) Signatura topográfica: QA76.76 .C65 A4618 2008, .., Tecate (1) Signatura topográfica: QA76.76 .C65 A4618 2008.
		Compilers : principles, techniques, [and] tools / Alfred V. Aho ... [et al.]. por Aho, Alfred V \| Aho, Alfred V \| Aho, Alfred V. Compilers, principles, techniques, and tools. Edición: 2nd ed.Tipo de material: Texto; Naturaleza de los contenidos: ; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Boston : Pearson/Addison Wesley, c2007Acceso en línea: Table of contents only Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (2) Signatura topográfica: QA76.76.C65 C65 2007, ... Listas: CveAsig: ING.COMPUTACION. (1 votos)
		Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers / edited by Zoltán Porkoláb, Viktória Zsók. por Porkoláb, Zoltán [editor.] \| Zsók, Viktória [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 11950Edició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 International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Database Systems for Advanced Applications. DASFAA 2023 International Workshops [electronic resource] : BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023, Proceedings / edited by Amr El Abbadi, Gillian Dobbie, Zhiyong Feng, Lu Chen, Xiaohui Tao, Yingxia Shao, Hongzhi Yin. por El Abbadi, Amr [editor.] \| Dobbie, Gillian [editor.] \| Feng, Zhiyong [editor.] \| Chen, Lu [editor.] \| Tao, Xiaohui [editor.] \| Shao, Yingxia [editor.] \| Yin, Hongzhi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13922Edició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) .
		Design Patterns with Java [electronic resource] : An Introduction / by Olaf Musch. por Musch, Olaf [author.] \| SpringerLink (Online service). Edició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: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Explainable and Transparent AI and Multi-Agent Systems [electronic resource] : 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers / edited by Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling. por Calvaresi, Davide [editor.] \| Najjar, Amro [editor.] \| Omicini, Andrea [editor.] \| Aydogan, Reyhan [editor.] \| Carli, Rachele [editor.] \| Ciatto, Giovanni [editor.] \| Mualla, Yazan [editor.] \| Främling, Kary [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14127Edició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) .
		Formal Methods and Software Engineering [electronic resource] : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings / edited by Yi Li, Sofiène Tahar. por Li, Yi [editor.] \| Tahar, Sofiène [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14308Edició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: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Methods for Industrial Critical Systems [electronic resource] : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings / edited by Alessandro Cimatti, Laura Titolo. por Cimatti, Alessandro [editor.] \| Titolo, Laura [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14290Edició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) .
		Graph Transformation [electronic resource] : 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings / edited by Maribel Fernández, Christopher M. Poskitt. por Fernández, Maribel [editor.] \| Poskitt, Christopher M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13961Edició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) .
		Guide to Java [electronic resource] : A Concise Introduction to Programming / by James T. Streib, Takako Soma. por Streib, James T [author.] \| Soma, Takako [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceEdición: 2nd 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) .
		Inductive Logic Programming [electronic resource] : 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings / edited by Elena Bellodi, Francesca Alessandra Lisi, Riccardo Zese. por Bellodi, Elena [editor.] \| Lisi, Francesca Alessandra [editor.] \| Zese, Riccardo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14363Edició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) .
		Introduction to compiler construction in a Java world / Bill Campbell, Swami Iyer, Bahar Akbal-Delibas por Campbell, Bill, 1950- \| Iyer, Swami [coaut.] \| Akbal-Delibas, Bahar [coaut.]. Series Computer Science / Computer Engineering / ComputingTipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Boca Raton, FLorida : CRC Press, 2013Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: QA76.73.J38 C35 2013. Listas: CveAsig: ING.COMPUTACION.
		Logic and Argumentation [electronic resource] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / edited by Andreas Herzig, Jieting Luo, Pere Pardo. por Herzig, Andreas [editor.] \| Luo, Jieting [editor.] \| Pardo, Pere [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14156Edició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) .
		Modern compiler design / Dick Grune … [et al.] por Grune, Dick, 1939- [ed.]. Edición: 2nd ed. Detalles de publicación: New York, NY. : Springer, 2012Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: QA76.76.C65 M63 2012.

		Advanced Guide to Python 3 Programming [electronic resource] / by John Hunt. por Hunt, John [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceEdición: 2nd 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) .
		AIxIA 2022 - Advances in Artificial Intelligence [electronic resource] : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings / edited by Agostino Dovier, Angelo Montanari, Andrea Orlandini. por Dovier, Agostino [editor.] \| Montanari, Angelo [editor.] \| Orlandini, Andrea [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 13796Edició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 International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		AIxIA 2023 - Advances in Artificial Intelligence [electronic resource] : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings / edited by Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini. por Basili, Roberto [editor.] \| Lembo, Domenico [editor.] \| Limongelli, Carla [editor.] \| Orlandini, Andrea [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14318Edició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) .
		A Beginners Guide to Python 3 Programming [electronic resource] / by John Hunt. por Hunt, John [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceEdición: 2nd 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) .
		Compilador C CSS y simulador Proteus para Microcontroladores PIC / Eduardo García Breijo por García Breijo, Eduardo. Edición: 1a ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Español Detalles de publicación: México : Alfaomega, 2008Disponibilidad: Ítems disponibles para préstamo: Tecate (3) Signatura topográfica: TJ223.P76 G37 2008, .., Valle de las Palmas (2) Signatura topográfica: TJ223.P76 G37 2008, .., Biblioteca Central Ensenada (4) Signatura topográfica: TJ223 .P76 G37 2008, .., Biblioteca Central Mexicali (1) Signatura topográfica: TJ223 .P76 G37 2008, Biblioteca Central Tijuana (3) Signatura topográfica: TJ223.P76 G37 2008, ...
		Compiladores : principios, técnicas y herramientas / Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman ; tr. Pedro Flores Suárez, y Pere Botella i López. por Aho, Alfred V \| Sethi, Ravi \| Ullman, Jeffrey D, 1942- \| Flores Suárez, Pedro \| Botella i López, Pere. Edición: 1a ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Español Lenguaje original: Inglés Detalles de publicación: México : Addison-Wesley, 1998Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali (4) Signatura topográfica: QA76.76.C65 A46, ...
		Compiladores : principios, técnicas y herramientas / Alfred V. Aho ... [et al.] ; tr. Alfonso Vidal Romero Elizondo. por Aho, Alfred V \| Sethi, Ravi \| Ullman, Jeffrey D, 1942- \| Flores Suárez, Pedro \| Romero Elizondo, Alfonso Vidal [tr.]. Edición: 2a ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Español Lenguaje original: Inglés Detalles de publicación: México : Pearson educación, 2008Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (3) Signatura topográfica: QA76.76 .C65 A4618 2008, .., Biblioteca Central Ensenada (4) Signatura topográfica: QA76.76 .C65 C6518 2008, .., Valle de las Palmas (3) Signatura topográfica: QA76.76 .C65 A4618 2008, .., Facultad de Ciencias Administrativas, Sociales e Ingeniería (Guadalupe Victoria) (2) Signatura topográfica: QA76.76 .C65 A4618 2008, .., Tecate (1) Signatura topográfica: QA76.76 .C65 A4618 2008.
		Compilers : principles, techniques, [and] tools / Alfred V. Aho ... [et al.]. por Aho, Alfred V \| Aho, Alfred V \| Aho, Alfred V. Compilers, principles, techniques, and tools. Edición: 2nd ed.Tipo de material: Texto; Naturaleza de los contenidos: ; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Boston : Pearson/Addison Wesley, c2007Acceso en línea: Table of contents only Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (2) Signatura topográfica: QA76.76.C65 C65 2007, ... Listas: CveAsig: ING.COMPUTACION. (1 votos)
		Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers / edited by Zoltán Porkoláb, Viktória Zsók. por Porkoláb, Zoltán [editor.] \| Zsók, Viktória [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 11950Edició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 International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Database Systems for Advanced Applications. DASFAA 2023 International Workshops [electronic resource] : BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023, Proceedings / edited by Amr El Abbadi, Gillian Dobbie, Zhiyong Feng, Lu Chen, Xiaohui Tao, Yingxia Shao, Hongzhi Yin. por El Abbadi, Amr [editor.] \| Dobbie, Gillian [editor.] \| Feng, Zhiyong [editor.] \| Chen, Lu [editor.] \| Tao, Xiaohui [editor.] \| Shao, Yingxia [editor.] \| Yin, Hongzhi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13922Edició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) .
		Design Patterns with Java [electronic resource] : An Introduction / by Olaf Musch. por Musch, Olaf [author.] \| SpringerLink (Online service). Edició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: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Explainable and Transparent AI and Multi-Agent Systems [electronic resource] : 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers / edited by Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling. por Calvaresi, Davide [editor.] \| Najjar, Amro [editor.] \| Omicini, Andrea [editor.] \| Aydogan, Reyhan [editor.] \| Carli, Rachele [editor.] \| Ciatto, Giovanni [editor.] \| Mualla, Yazan [editor.] \| Främling, Kary [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14127Edició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) .
		Formal Methods and Software Engineering [electronic resource] : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings / edited by Yi Li, Sofiène Tahar. por Li, Yi [editor.] \| Tahar, Sofiène [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14308Edició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: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Methods for Industrial Critical Systems [electronic resource] : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings / edited by Alessandro Cimatti, Laura Titolo. por Cimatti, Alessandro [editor.] \| Titolo, Laura [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14290Edició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) .
		Graph Transformation [electronic resource] : 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings / edited by Maribel Fernández, Christopher M. Poskitt. por Fernández, Maribel [editor.] \| Poskitt, Christopher M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13961Edició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) .
		Guide to Java [electronic resource] : A Concise Introduction to Programming / by James T. Streib, Takako Soma. por Streib, James T [author.] \| Soma, Takako [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceEdición: 2nd 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) .
		Inductive Logic Programming [electronic resource] : 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings / edited by Elena Bellodi, Francesca Alessandra Lisi, Riccardo Zese. por Bellodi, Elena [editor.] \| Lisi, Francesca Alessandra [editor.] \| Zese, Riccardo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14363Edició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) .
		Introduction to compiler construction in a Java world / Bill Campbell, Swami Iyer, Bahar Akbal-Delibas por Campbell, Bill, 1950- \| Iyer, Swami [coaut.] \| Akbal-Delibas, Bahar [coaut.]. Series Computer Science / Computer Engineering / ComputingTipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Boca Raton, FLorida : CRC Press, 2013Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: QA76.73.J38 C35 2013. Listas: CveAsig: ING.COMPUTACION.
		Logic and Argumentation [electronic resource] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / edited by Andreas Herzig, Jieting Luo, Pere Pardo. por Herzig, Andreas [editor.] \| Luo, Jieting [editor.] \| Pardo, Pere [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14156Edició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) .
		Modern compiler design / Dick Grune … [et al.] por Grune, Dick, 1939- [ed.]. Edición: 2nd ed. Detalles de publicación: New York, NY. : Springer, 2012Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: QA76.76.C65 M63 2012.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 28 resultados.