Resultados
|
|
Runtime Verification [recurso electrónico] : 16th International Conference, RV 2016, Madrid, Spain, September 23?30, 2016, Proceedings / edited by Yliès Falcone, César Sánchez. por Falcone, Yliès [editor.] | Sánchez, César [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10012Origen: 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) .
|
|
|
|
|
|
Scalable Uncertainty Management [electronic resource] : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / edited by Davide Ciucci, Gabriella Pasi, Barbara Vantaggi. por Ciucci, Davide [editor.] | Pasi, Gabriella [editor.] | Vantaggi, Barbara [editor.] | SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 11142Edició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) .
|
|
|
Search Based Software Engineering [recurso electrónico] : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings / edited by Federica Sarro, Kalyanmoy Deb. por Sarro, Federica [editor.] | Deb, Kalyanmoy [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9962Origen: 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) .
|
|
|
Service-Oriented Computing [electronic resource] : 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers / edited by Marco Aiello, Johanna Barzen, Schahram Dustdar, Frank Leymann. por Aiello, Marco [editor.] | Barzen, Johanna [editor.] | Dustdar, Schahram [editor.] | Leymann, Frank [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 1847Edició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) .
|
|
|
Software Developers as Users [recurso electrónico] : Semiotic Investigations in Human-Centered Software Development / by Clarisse Sieckenius de Souza, Renato Fontoura de Gusmão Cerqueira, Luiz Marques Afonso, Rafael Rossi de Mello Brandão, Juliana Soares Jansen Ferreira. por Sieckenius de Souza, Clarisse [author.] | Fontoura de Gusmão Cerqueira, Renato [author.] | Marques Afonso, Luiz [author.] | Rossi de Mello Brandão, Rafael [author.] | Soares Jansen Ferreira, Juliana [author.] | SpringerLink (Online service). 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) .
|
|
|
|
|
|
Software Engineering and Formal Methods [recurso electrónico] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / edited by Rocco De Nicola, Eva Kühn. por De Nicola, Rocco [editor.] | Kühn, Eva [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9763Origen: 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) .
|
|
|
Software Engineering and Formal Methods [electronic resource] : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / edited by Einar Broch Johnsen, Ina Schaefer. por Johnsen, Einar Broch [editor.] | Schaefer, Ina [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10886Edició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) .
|
|
|
Software Engineering and Formal Methods [electronic resource] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / edited by Carla Ferreira, Tim A. C. Willemse. por Ferreira, Carla [editor.] | Willemse, Tim A. C [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14323Edició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) .
|
|
|
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops [electronic resource] : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers / edited by Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri. por Masci, Paolo [editor.] | Bernardeschi, Cinzia [editor.] | Graziani, Pierluigi [editor.] | Koddenbrock, Mario [editor.] | Palmieri, Maurizio [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13765Edició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) .
|
|
|
Software maintenance success recipes / Donald J. Reifer. por Reifer, Donald J. Tipo de material: Texto; Forma literaria:
No es ficción ; Audiencia:
Especializado; Detalles de publicación: Boca Raton, FL : CRC Press/Taylor & Francis, c2012Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali (1) Signatura topográfica: QA76.6 R45 2012.
|
|
|
Software Reuse: Bridging with Social-Awareness [recurso electrónico] : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings / edited by Georgia M. Kapitsaki, Eduardo Santana de Almeida. por Kapitsaki, Georgia M [editor.] | Santana de Almeida, Eduardo [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9679Origen: 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) .
|
|
|
Software Technologies [electronic resource] : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers / edited by Enrique Cabello, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen. por Cabello, Enrique [editor.] | Cardoso, Jorge [editor.] | Maciaszek, Leszek A [editor.] | van Sinderen, Marten [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 868Edició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) .
|
|
|
Software Technologies [electronic resource] : 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers / edited by Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek. por Fill, Hans-Georg [editor.] | van Sinderen, Marten [editor.] | Maciaszek, Leszek A [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 1859Edició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) .
|
|
|
|
|
|
|
|
|
Supercomputing [recurso electrónico] : Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26?27, 2016, Revised Selected Papers / edited by Vladimir Voevodin, Sergey Sobolev. por Voevodin, Vladimir [editor.] | Sobolev, Sergey [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 687Origen: 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) .
|
|
|
|