Su búsqueda retornó 39 resultados.

Resultados
		Computer Safety, Reliability, and Security [electronic resource] : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch. por Gallina, Barbara [editor.] \| Skavhaug, Amund [editor.] \| Bitsch, Friedemann [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11093Edició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) .
		Computer Safety, Reliability, and Security [electronic resource] : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings / edited by Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch. por Guiochet, Jérémie [editor.] \| Tonetta, Stefano [editor.] \| Bitsch, Friedemann [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14181Edició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) .
		Computer Security [electronic resource] : ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers / edited by Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie Antón, Stefanos Gritzalis. por Katsikas, Sokratis K [editor.] \| Cuppens, Frédéric [editor.] \| Cuppens, Nora [editor.] \| Lambrinoudakis, Costas [editor.] \| Kalloniatis, Christos [editor.] \| Mylopoulos, John [editor.] \| Antón, Annie [editor.] \| Gritzalis, Stefanos [editor.] \| SpringerLink (Online service). Series Security and Cryptology ; 10683Edició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) .
		Constructive Side-Channel Analysis and Secure Design [electronic resource] : 9th International Workshop, COSADE 2018, Singapore, April 23-24, 2018, Proceedings / edited by Junfeng Fan, Benedikt Gierlichs. por Fan, Junfeng [editor.] \| Gierlichs, Benedikt [editor.] \| SpringerLink (Online service). Series Security and Cryptology ; 10815Edició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) .
		Constructive Side-Channel Analysis and Secure Design [electronic resource] : 14th International Workshop, COSADE 2023, Munich, Germany, April 3-4, 2023, Proceedings / edited by Elif Bilge Kavun, Michael Pehl. por Kavun, Elif Bilge [editor.] \| Pehl, Michael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13979Edició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) .
		Data Management Technologies and Applications [electronic resource] : 10th International Conference, DATA 2021, Virtual Event, July 6-8, 2021, and 11th International Conference, DATA 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers / edited by Alfredo Cuzzocrea, Oleg Gusikhin, Slimane Hammoudi, Christoph Quix. por Cuzzocrea, Alfredo [editor.] \| Gusikhin, Oleg [editor.] \| Hammoudi, Slimane [editor.] \| Quix, Christoph [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 1860Edició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) .
		Digital Design from the VLSI Perspective [electronic resource] : Concepts for VLSI Beginners / by Vaibbhav Taraate. por Taraate, Vaibbhav [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: 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) .
		Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings / edited by Cristina Silvano, Christian Pilato, Marc Reichenbach. por Silvano, Cristina [editor.] \| Pilato, Christian [editor.] \| Reichenbach, Marc [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14385Edició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) .
		Emerging Technologies for Developing Countries [electronic resource] : 5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022, Proceedings / edited by Muthoni Masinde, Antoine Bagula. por Masinde, Muthoni [editor.] \| Bagula, Antoine [editor.] \| SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 503Edició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) .
		Euro-Par 2023: Parallel Processing [electronic resource] : 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023, Proceedings / edited by José Cano, Marios D. Dikaiakos, George A. Papadopoulos, Miquel Pericàs, Rizos Sakellariou. por Cano, José [editor.] \| Dikaiakos, Marios D [editor.] \| Papadopoulos, George A [editor.] \| Pericàs, Miquel [editor.] \| Sakellariou, Rizos [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14100Edició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) .
		Flight Systems and Control [electronic resource] : A Practical Approach / by Tian Seng Ng. por Ng, Tian Seng [author.] \| SpringerLink (Online service). Series Springer Aerospace TechnologyEdició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) .
		Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker. por Chechik, Marsha [editor.] \| Katoen, Joost-Pieter [editor.] \| Leucker, Martin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14000Edició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) .
		Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro. por Dubois, Catherine [editor.] \| San Pietro, Pierluigi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13962Edició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) .
		Fundamentals of Software Engineering [electronic resource] : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers / edited by Hossein Hojjat, Erika Ábrahám. por Hojjat, Hossein [editor.] \| Ábrahám, Erika [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14155 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: 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) .
		Getting Started with Tiva ARM Cortex M4 Microcontrollers [electronic resource] : A Lab Manual for Tiva LaunchPad Evaluation Kit / by Dhananjay V. Gadre, Sarthak Gupta. por Gadre, Dhananjay V [author.] \| Gupta, Sarthak [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: New Delhi : Springer India : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Guide to Computer Processor Architecture [electronic resource] : A RISC-V Approach, with High-Level Synthesis / by Bernard Goossens. por Goossens, Bernard [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceEdició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) .
		Hands-on Experience with Altera FPGA Development Boards [electronic resource] / by Jivan S. Parab, Rajendra S. Gad, G.M. Naik. por Parab, Jivan S [author.] \| Gad, Rajendra S [author.] \| Naik, G.M [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: New Delhi : Springer India : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Intelligent Engineering Informatics [electronic resource] : Proceedings of the 6th International Conference on FICTA / edited by Vikrant Bhateja, Carlos A. Coello Coello, Suresh Chandra Satapathy, Prasant Kumar Pattnaik. por Bhateja, Vikrant [editor.] \| Coello Coello, Carlos A [editor.] \| Satapathy, Suresh Chandra [editor.] \| Pattnaik, Prasant Kumar [editor.] \| SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 695Edició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) .
		Introduction to Mechatronics [electronic resource] : An Integrated Approach / by Biswanath Samanta. por Samanta, Biswanath [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: 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) .
		Introduction to Parallel Computing [electronic resource] : From Algorithms to Programming on State-of-the-Art Platforms / by Roman Trobec, Boštjan Slivnik, Patricio Bulić, Borut Robič. por Trobec, Roman [author.] \| Slivnik, Boštjan [author.] \| Bulić, Patricio [author.] \| Robič, Borut [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceEdició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) .

		Computer Safety, Reliability, and Security [electronic resource] : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch. por Gallina, Barbara [editor.] \| Skavhaug, Amund [editor.] \| Bitsch, Friedemann [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11093Edició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) .
		Computer Safety, Reliability, and Security [electronic resource] : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings / edited by Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch. por Guiochet, Jérémie [editor.] \| Tonetta, Stefano [editor.] \| Bitsch, Friedemann [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14181Edició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) .
		Computer Security [electronic resource] : ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers / edited by Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie Antón, Stefanos Gritzalis. por Katsikas, Sokratis K [editor.] \| Cuppens, Frédéric [editor.] \| Cuppens, Nora [editor.] \| Lambrinoudakis, Costas [editor.] \| Kalloniatis, Christos [editor.] \| Mylopoulos, John [editor.] \| Antón, Annie [editor.] \| Gritzalis, Stefanos [editor.] \| SpringerLink (Online service). Series Security and Cryptology ; 10683Edició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) .
		Constructive Side-Channel Analysis and Secure Design [electronic resource] : 9th International Workshop, COSADE 2018, Singapore, April 23-24, 2018, Proceedings / edited by Junfeng Fan, Benedikt Gierlichs. por Fan, Junfeng [editor.] \| Gierlichs, Benedikt [editor.] \| SpringerLink (Online service). Series Security and Cryptology ; 10815Edició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) .
		Constructive Side-Channel Analysis and Secure Design [electronic resource] : 14th International Workshop, COSADE 2023, Munich, Germany, April 3-4, 2023, Proceedings / edited by Elif Bilge Kavun, Michael Pehl. por Kavun, Elif Bilge [editor.] \| Pehl, Michael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13979Edició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) .
		Data Management Technologies and Applications [electronic resource] : 10th International Conference, DATA 2021, Virtual Event, July 6-8, 2021, and 11th International Conference, DATA 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers / edited by Alfredo Cuzzocrea, Oleg Gusikhin, Slimane Hammoudi, Christoph Quix. por Cuzzocrea, Alfredo [editor.] \| Gusikhin, Oleg [editor.] \| Hammoudi, Slimane [editor.] \| Quix, Christoph [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 1860Edició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) .
		Digital Design from the VLSI Perspective [electronic resource] : Concepts for VLSI Beginners / by Vaibbhav Taraate. por Taraate, Vaibbhav [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: 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) .
		Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings / edited by Cristina Silvano, Christian Pilato, Marc Reichenbach. por Silvano, Cristina [editor.] \| Pilato, Christian [editor.] \| Reichenbach, Marc [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14385Edició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) .
		Emerging Technologies for Developing Countries [electronic resource] : 5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022, Proceedings / edited by Muthoni Masinde, Antoine Bagula. por Masinde, Muthoni [editor.] \| Bagula, Antoine [editor.] \| SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 503Edició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) .
		Euro-Par 2023: Parallel Processing [electronic resource] : 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023, Proceedings / edited by José Cano, Marios D. Dikaiakos, George A. Papadopoulos, Miquel Pericàs, Rizos Sakellariou. por Cano, José [editor.] \| Dikaiakos, Marios D [editor.] \| Papadopoulos, George A [editor.] \| Pericàs, Miquel [editor.] \| Sakellariou, Rizos [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14100Edició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) .
		Flight Systems and Control [electronic resource] : A Practical Approach / by Tian Seng Ng. por Ng, Tian Seng [author.] \| SpringerLink (Online service). Series Springer Aerospace TechnologyEdició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) .
		Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker. por Chechik, Marsha [editor.] \| Katoen, Joost-Pieter [editor.] \| Leucker, Martin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14000Edició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) .
		Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro. por Dubois, Catherine [editor.] \| San Pietro, Pierluigi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13962Edició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) .
		Fundamentals of Software Engineering [electronic resource] : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers / edited by Hossein Hojjat, Erika Ábrahám. por Hojjat, Hossein [editor.] \| Ábrahám, Erika [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14155 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: 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) .
		Getting Started with Tiva ARM Cortex M4 Microcontrollers [electronic resource] : A Lab Manual for Tiva LaunchPad Evaluation Kit / by Dhananjay V. Gadre, Sarthak Gupta. por Gadre, Dhananjay V [author.] \| Gupta, Sarthak [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: New Delhi : Springer India : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Guide to Computer Processor Architecture [electronic resource] : A RISC-V Approach, with High-Level Synthesis / by Bernard Goossens. por Goossens, Bernard [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceEdició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) .
		Hands-on Experience with Altera FPGA Development Boards [electronic resource] / by Jivan S. Parab, Rajendra S. Gad, G.M. Naik. por Parab, Jivan S [author.] \| Gad, Rajendra S [author.] \| Naik, G.M [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: New Delhi : Springer India : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Intelligent Engineering Informatics [electronic resource] : Proceedings of the 6th International Conference on FICTA / edited by Vikrant Bhateja, Carlos A. Coello Coello, Suresh Chandra Satapathy, Prasant Kumar Pattnaik. por Bhateja, Vikrant [editor.] \| Coello Coello, Carlos A [editor.] \| Satapathy, Suresh Chandra [editor.] \| Pattnaik, Prasant Kumar [editor.] \| SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 695Edició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) .
		Introduction to Mechatronics [electronic resource] : An Integrated Approach / by Biswanath Samanta. por Samanta, Biswanath [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: 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) .
		Introduction to Parallel Computing [electronic resource] : From Algorithms to Programming on State-of-the-Art Platforms / by Roman Trobec, Boštjan Slivnik, Patricio Bulić, Borut Robič. por Trobec, Roman [author.] \| Slivnik, Boštjan [author.] \| Bulić, Patricio [author.] \| Robič, Borut [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceEdició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) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Series

Tópicos

Su búsqueda retornó 39 resultados.