Resultados de la búsqueda para 'su:"Software Engineering."'

Resultados
		Agile project management quickstart guide : a simplified beginners guide to agile project management. por Stark, Ed hoopla digital Edición: Second edition. Tipo de material: Texto; Formato: caracteres normales ; Forma literaria: No es ficción Idioma: Inglés Número de editor: MWT11970266 Editor: [United States] : ClydeBank Media LLC, 2017 Otro título: Simplified beginners guide to agile project management. Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1)Signatura topográfica: 005.1 A267 2017. Hacer reserva Ingresar para agregar etiquetas Agregar al carrito (remover)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. por Beyer, Dirk [editor.] Huisman, Marieke [editor.] Kordon, Fabrice [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11429 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Programming Languages and Systems [electronic resource] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings / edited by Luís Caires. por Caires, Luís [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11423 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Agile Processes in Software Engineering and Extreme Programming - Workshops [electronic resource] : XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers / edited by Peggy Gregory, Philippe Kruchten. por Gregory, Peggy [editor.] Kruchten, Philippe [editor.] SpringerLink (Online service) Series Lecture Notes in Business Information Processing ; 426 Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 20th International Conference, XP 2019, Montréal, QC, Canada, May 21-25, 2019, Proceedings / edited by Philippe Kruchten, Steven Fraser, François Coallier. por Kruchten, Philippe [editor.] Fraser, Steven [editor.] Coallier, François [editor.] SpringerLink (Online service) Series Lecture Notes in Business Information Processing ; 355 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		The Cloud-to-Thing Continuum [electronic resource] : Opportunities and Challenges in Cloud, Fog and Edge Computing / edited by Theo Lynn, John G. Mooney, Brian Lee, Patricia Takako Endo. por Lynn, Theo [editor.] Mooney, John G [editor.] Lee, Brian [editor.] Endo, Patricia Takako [editor.] SpringerLink (Online service) Series Palgrave Studies in Digital Business & Enabling Technologies Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Palgrave Macmillan, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I / edited by Alexandra Silva, K. Rustan M. Leino. por Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12759 Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / edited by Isil Dillig, Serdar Tasiran. por Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11562 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [electronic resource] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe. por Carreira, Paulo [editor.] Amaral, Vasco [editor.] Vangheluwe, Hans [editor.] SpringerLink (Online service) Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II / edited by Alexandra Silva, K. Rustan M. Leino. por Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12760 Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Listas: Perspectiva de genero. Ingresar para agregar etiquetas Agregar al carrito (remover)
		The Once-Only Principle [electronic resource] : The TOOP Project / edited by Robert Krimmer, Andriana Prentza, Szymon Mamrot. por Krimmer, Robert [editor.] Prentza, Andriana [editor.] Mamrot, Szymon [editor.] SpringerLink (Online service) Series Information Systems and Applications, incl. Internet/Web, and HCI ; 12621 Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Automated Deduction - CADE 28 [electronic resource] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings / edited by André Platzer, Geoff Sutcliffe. por Platzer, André [editor.] Sutcliffe, Geoff [editor.] SpringerLink (Online service) Series Lecture Notes in Artificial Intelligence ; 12699 Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Platform Embedded Security Technology Revealed [electronic resource] : Safeguarding the Future of Computing with Intel Embedded Security and Management Engine / by Xiaoyu Ruan. por Ruan, Xiaoyu [author.] SpringerLink (Online service) Edición: 1st ed. 2014. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berkeley, CA : Apress : Imprint: Apress, 2014 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		A Practical Guide to TPM 2.0 [electronic resource] : Using the Trusted Platform Module in the New Age of Security / by Will Arthur, David Challener. por Arthur, Will [author.] Challener, David [author.] SpringerLink (Online service) Edición: 1st ed. 2015. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berkeley, CA : Apress : Imprint: Apress, 2015 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		The Privacy Engineer's Manifesto [electronic resource] : Getting from Policy to Code to QA to Value / by Michelle Dennedy, Jonathan Fox, Tom Finneran. por Dennedy, Michelle [author.] Fox, Jonathan [author.] Finneran, Tom [author.] SpringerLink (Online service) Edición: 1st ed. 2014. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berkeley, CA : Apress : Imprint: Apress, 2014 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II / edited by Tomáš Vojnar, Lijun Zhang. por Vojnar, Tomáš [editor.] Zhang, Lijun [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11428 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / edited by Isil Dillig, Serdar Tasiran. por Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11561 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8-12, 2020, Proceedings / edited by Viktoria Stray, Rashina Hoda, Maria Paasivaara, Philippe Kruchten. por Stray, Viktoria [editor.] Hoda, Rashina [editor.] Paasivaara, Maria [editor.] Kruchten, Philippe [editor.] SpringerLink (Online service) Series Lecture Notes in Business Information Processing ; 383 Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I / edited by Shuvendu K. Lahiri, Chao Wang. por Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12224 Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings / edited by Hubert Baumeister, Horst Lichter, Matthias Riebisch. por Baumeister, Hubert [editor.] Lichter, Horst [editor.] Riebisch, Matthias [editor.] SpringerLink (Online service) Series Lecture Notes in Business Information Processing ; 283 Edición: 1st ed. 2017. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2017 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Principles of Security and Trust [electronic resource] : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings / edited by Flemming Nielson, David Sands. por Nielson, Flemming [editor.] Sands, David [editor.] SpringerLink (Online service) Series Security and Cryptology ; 11426 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Managed Software Evolution [electronic resource] / edited by Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin. por Reussner, Ralf [editor.] Goedicke, Michael [editor.] Hasselbring, Wilhelm [editor.] Vogel-Heuser, Birgit [editor.] Keim, Jan [editor.] Märtin, Lukas [editor.] SpringerLink (Online service) Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang. por Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12225 Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Fundamental Approaches to Software Engineering [electronic resource] : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Alessandra Russo, Andy Schürr. por Russo, Alessandra [editor.] Schürr, Andy [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 10802 Edición: 1st ed. 2018. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Rethinking Productivity in Software Engineering [electronic resource] / edited by Caitlin Sadowski, Thomas Zimmermann. por Sadowski, Caitlin [editor.] Zimmermann, Thomas [editor.] SpringerLink (Online service) Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berkeley, CA : Apress : Imprint: Apress, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Introduction to Scientific Programming with Python [electronic resource] / by Joakim Sundnes. por Sundnes, Joakim [author.] SpringerLink (Online service) Series Simula SpringerBriefs on Computing ; 6 Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Fundamental Approaches to Software Engineering [electronic resource] : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings / edited by Esther Guerra, Mariëlle Stoelinga. por Guerra, Esther [editor.] Stoelinga, Mariëlle [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12649 Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Programming Languages and Systems [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings / edited by Nobuko Yoshida. por Yoshida, Nobuko [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12648 Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Agile Processes in Software Engineering and Extreme Programming - Workshops [electronic resource] : XP 2019 Workshops, Montréal, QC, Canada, May 21-25, 2019, Proceedings / edited by Rashina Hoda. por Hoda, Rashina [editor.] SpringerLink (Online service) Series Lecture Notes in Business Information Processing ; 364 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		The Future of Software Quality Assurance [electronic resource] / edited by Stephan Goericke. por Goericke, Stephan [editor.] SpringerLink (Online service) Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Bibliotecas de origen

Tipos de ítem

Series

Temas

Su búsqueda retornó 74 resultados.