Su búsqueda retornó 1029 resultados.

Resultados
		Mathematical Logic [recurso electrónico] : Foundations for Information Science / by Wei Li. por Li, Wei [author.] \| SpringerLink (Online service). Series Progress in Computer Science and Applied Logic (PCS) ; 25Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Basel : Birkhäuser Basel, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
		Mathematical Logic and Model Theory [recurso electrónico] : A Brief Introduction / by Alexander Prestel, Charles N. Delzell. por Prestel, Alexander [author.] \| Delzell, Charles N [author.] \| SpringerLink (Online service). Series UniversitextOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA1 -939.
		Mathematical Software - ICMS 2018 [electronic resource] : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban. por Davenport, James H [editor.] \| Kauers, Manuel [editor.] \| Labahn, George [editor.] \| Urban, Josef [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10931Edició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) .
		The Mathematics of Language [recurso electrónico] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers / edited by Christian Ebert, Gerhard Jäger, Jens Michaelis. por Ebert, Christian [editor.] \| Jäger, Gerhard [editor.] \| Michaelis, Jens [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6149Origen: 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: QA8.9 -QA10.3.
		The Mathematics of Language [recurso electrónico] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki. por Kanazawa, Makoto [editor.] \| Kornai, András [editor.] \| Kracht, Marcus [editor.] \| Seki, Hiroyuki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6878Origen: 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: QA8.9 -QA10.3.
		Mathematics of Program Construction [recurso electrónico] : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings / edited by Claude Bolduc, Jules Desharnais, Béchir Ktari. por Bolduc, Claude [editor.] \| Desharnais, Jules [editor.] \| Ktari, Béchir [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6120Origen: 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.
		Meaning-Centered Grammar [recurso electrónico] : an Introductory Text. por Hancock, Craig. Series Equinox textbooks and surveys in linguisticsTipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Detalles de publicación: London : Equinox Pub., 2005Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: PE1112 .H2865 2005.
		Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [recurso electrónico] : 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings / edited by Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb. por Müller-Clostermann, Bruno [editor.] \| Echtle, Klaus [editor.] \| Rathgeb, Erwin P [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5987Origen: 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.
		Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [recurso electrónico] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4?6, 2016, Proceedings / edited by Anne Remke, Boudewijn R. Haverkort. por Remke, Anne [editor.] \| Haverkort, Boudewijn R [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9629Edición: 1st ed. 2016.Origen: 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) .
		Membrane Computing [recurso electrónico] : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers / edited by Gheorghe Paun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Grzegorz Rozenberg, Arto Salomaa. por Paun, Gheorghe [editor.] \| Pérez-Jiménez, Mario J [editor.] \| Riscos-Núñez, Agustín [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5957Origen: 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: QA75.5 -76.95.
		Membrane Computing [recurso electrónico] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers / edited by Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa. por Gheorghe, Marian [editor.] \| Hinze, Thomas [editor.] \| Paun, Gheorghe [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6501Origen: 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: QA75.5 -76.95.
		Metadata and Semantic Research [electronic resource] : 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers / edited by Emmanouel Garoufallou, Andreas Vlachidis. por Garoufallou, Emmanouel [editor.] \| Vlachidis, Andreas [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 1789Edició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) .
		Metadata and Semantic Research [electronic resource] : 17th Research Conference, MTSR 2023, Milan, Italy, October 25-27, 2023, Revised Selected Papers / edited by Emmanouel Garoufallou, Fabio Sartori. por Garoufallou, Emmanouel [editor.] \| Sartori, Fabio [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 2048Edició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) .
		Metaphors we live by / George Lakoff and Mark Johnson. por Lakoff, George \| Johnson, Mark, 1949-. Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Inglés Detalles de publicación: Chicago : University of Chicago, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (2) Signatura topográfica: P106 L34 2003, ... Ítems disponibles para referencia: Facultad de Idiomas Mexicali Not for loan (1) Signatura topográfica: P106 L34 2003. No disponible:En tránsito (1).
		Methods of Cut-Elimination [recurso electrónico] / by Alexander Leitsch, Matthias Baaz. por Leitsch, Alexander [author.] \| Baaz, Matthias [author.] \| SpringerLink (Online service). Series Trends in Logic ; 34Origen: 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: QA8.9 -10.3.
		Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks [electronic resource] / by Muhammad Usman, Vallipuram Muthukkumarasamy, Xin-Wen Wu, Surraya Khanum. por Usman, Muhammad [author.] \| Muthukkumarasamy, Vallipuram [author.] \| Wu, Xin-Wen [author.] \| Khanum, Surraya [author.] \| SpringerLink (Online service). Edició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: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Model and Data Engineering [electronic resource] : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings / edited by El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez. por Abdelwahed, El Hassan [editor.] \| Bellatreche, Ladjel [editor.] \| Golfarelli, Mattéo [editor.] \| Méry, Dominique [editor.] \| Ordonez, Carlos [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11163Edició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) .
		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.
		Model-Based Systems Engineering with OPM and SysML [recurso electrónico] / by Dov Dori. por Dori, Dov [author.] \| SpringerLink (Online service). Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: New York, NY : Springer New York : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Model Checking and Artificial Intelligence [recurso electrónico] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron Meyden, Jan-Georg Smaus. por Meyden, Ron [editor.] \| Smaus, Jan-Georg [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6572Origen: 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: Q334 -342.

		Mathematical Logic [recurso electrónico] : Foundations for Information Science / by Wei Li. por Li, Wei [author.] \| SpringerLink (Online service). Series Progress in Computer Science and Applied Logic (PCS) ; 25Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Basel : Birkhäuser Basel, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
		Mathematical Logic and Model Theory [recurso electrónico] : A Brief Introduction / by Alexander Prestel, Charles N. Delzell. por Prestel, Alexander [author.] \| Delzell, Charles N [author.] \| SpringerLink (Online service). Series UniversitextOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA1 -939.
		Mathematical Software - ICMS 2018 [electronic resource] : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban. por Davenport, James H [editor.] \| Kauers, Manuel [editor.] \| Labahn, George [editor.] \| Urban, Josef [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10931Edició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) .
		The Mathematics of Language [recurso electrónico] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers / edited by Christian Ebert, Gerhard Jäger, Jens Michaelis. por Ebert, Christian [editor.] \| Jäger, Gerhard [editor.] \| Michaelis, Jens [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6149Origen: 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: QA8.9 -QA10.3.
		The Mathematics of Language [recurso electrónico] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki. por Kanazawa, Makoto [editor.] \| Kornai, András [editor.] \| Kracht, Marcus [editor.] \| Seki, Hiroyuki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6878Origen: 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: QA8.9 -QA10.3.
		Mathematics of Program Construction [recurso electrónico] : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings / edited by Claude Bolduc, Jules Desharnais, Béchir Ktari. por Bolduc, Claude [editor.] \| Desharnais, Jules [editor.] \| Ktari, Béchir [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6120Origen: 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.
		Meaning-Centered Grammar [recurso electrónico] : an Introductory Text. por Hancock, Craig. Series Equinox textbooks and surveys in linguisticsTipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Detalles de publicación: London : Equinox Pub., 2005Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: PE1112 .H2865 2005.
		Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [recurso electrónico] : 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings / edited by Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb. por Müller-Clostermann, Bruno [editor.] \| Echtle, Klaus [editor.] \| Rathgeb, Erwin P [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5987Origen: 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.
		Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [recurso electrónico] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4?6, 2016, Proceedings / edited by Anne Remke, Boudewijn R. Haverkort. por Remke, Anne [editor.] \| Haverkort, Boudewijn R [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9629Edición: 1st ed. 2016.Origen: 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) .
		Membrane Computing [recurso electrónico] : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers / edited by Gheorghe Paun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Grzegorz Rozenberg, Arto Salomaa. por Paun, Gheorghe [editor.] \| Pérez-Jiménez, Mario J [editor.] \| Riscos-Núñez, Agustín [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5957Origen: 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: QA75.5 -76.95.
		Membrane Computing [recurso electrónico] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers / edited by Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa. por Gheorghe, Marian [editor.] \| Hinze, Thomas [editor.] \| Paun, Gheorghe [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6501Origen: 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: QA75.5 -76.95.
		Metadata and Semantic Research [electronic resource] : 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers / edited by Emmanouel Garoufallou, Andreas Vlachidis. por Garoufallou, Emmanouel [editor.] \| Vlachidis, Andreas [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 1789Edició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) .
		Metadata and Semantic Research [electronic resource] : 17th Research Conference, MTSR 2023, Milan, Italy, October 25-27, 2023, Revised Selected Papers / edited by Emmanouel Garoufallou, Fabio Sartori. por Garoufallou, Emmanouel [editor.] \| Sartori, Fabio [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 2048Edició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) .
		Metaphors we live by / George Lakoff and Mark Johnson. por Lakoff, George \| Johnson, Mark, 1949-. Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Inglés Detalles de publicación: Chicago : University of Chicago, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (2) Signatura topográfica: P106 L34 2003, ... Ítems disponibles para referencia: Facultad de Idiomas Mexicali Not for loan (1) Signatura topográfica: P106 L34 2003. No disponible:En tránsito (1).
		Methods of Cut-Elimination [recurso electrónico] / by Alexander Leitsch, Matthias Baaz. por Leitsch, Alexander [author.] \| Baaz, Matthias [author.] \| SpringerLink (Online service). Series Trends in Logic ; 34Origen: 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: QA8.9 -10.3.
		Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks [electronic resource] / by Muhammad Usman, Vallipuram Muthukkumarasamy, Xin-Wen Wu, Surraya Khanum. por Usman, Muhammad [author.] \| Muthukkumarasamy, Vallipuram [author.] \| Wu, Xin-Wen [author.] \| Khanum, Surraya [author.] \| SpringerLink (Online service). Edició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: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Model and Data Engineering [electronic resource] : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings / edited by El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez. por Abdelwahed, El Hassan [editor.] \| Bellatreche, Ladjel [editor.] \| Golfarelli, Mattéo [editor.] \| Méry, Dominique [editor.] \| Ordonez, Carlos [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11163Edició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) .
		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.
		Model-Based Systems Engineering with OPM and SysML [recurso electrónico] / by Dov Dori. por Dori, Dov [author.] \| SpringerLink (Online service). Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: New York, NY : Springer New York : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Model Checking and Artificial Intelligence [recurso electrónico] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron Meyden, Jan-Georg Smaus. por Meyden, Ron [editor.] \| Smaus, Jan-Georg [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6572Origen: 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: Q334 -342.

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.