Resultados
|
|
|
Formal Aspects of Component Software [recurso electrónico] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / edited by Christiano Braga, Peter Csaba Ölveczky. por Braga, Christiano [editor.] | Ölveczky, Peter Csaba [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9539Edició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) .
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings / edited by Kyungmin Bae, Peter Csaba Ölveczky. por Bae, Kyungmin [editor.] | Ölveczky, Peter Csaba [editor.] | SpringerLink (Online service). Series Programming and Software Engineering ; 11222Edició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) .
|
|
|
|
Formal Methods and Software Engineering [recurso electrónico] : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu. por Ogata, Kazuhiro [editor.] | Lawford, Mark [editor.] | Liu, Shaoying [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10009Origen: 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) .
|
|
|
|
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: Foundations and Applications [electronic resource] : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings / edited by Tiago Massoni, Mohammad Reza Mousavi. por Massoni, Tiago [editor.] | Mousavi, Mohammad Reza [editor.] | SpringerLink (Online service). Series Programming and Software Engineering ; 11254Edició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) .
|
|
|
|
Frontiers in Software Engineering Education [electronic resource] : Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers / edited by Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer. por Capozucca, Alfredo [editor.] | Ebersold, Sophie [editor.] | Bruel, Jean-Michel [editor.] | Meyer, Bertrand [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14387Edició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) .
|
|
|
|
Functional and Logic Programming [recurso electrónico] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / edited by Oleg Kiselyov, Andy King. por Kiselyov, Oleg [editor.] | King, Andy [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9613Origen: 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) .
|
|
|
|
Functional and Logic Programming [electronic resource] : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings / edited by John P. Gallagher, Martin Sulzmann. por Gallagher, John P [editor.] | Sulzmann, Martin [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10818Edició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) .
|
|
|
|
Fundamentals of Java Programming [electronic resource] / by Mitsunori Ogihara. por Ogihara, Mitsunori [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: 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) .
|
|
|
|
Graph Transformation [electronic resource] : 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings / edited by Leen Lambers, Jens Weber. por Lambers, Leen [editor.] | Weber, Jens [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10887Edició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) .
|
|
|
|
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) .
|
|
|
|
|
|
|
|
Graphical Models for Security [electronic resource] : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers / edited by Peng Liu, Sjouke Mauw, Ketil Stolen. por Liu, Peng [editor.] | Mauw, Sjouke [editor.] | Stolen, Ketil [editor.] | SpringerLink (Online service). Series Security and Cryptology ; 10744Edició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) .
|
|
|
|
|
|
|
|
|
|
|
|
High Performance Computing [electronic resource] : ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers / edited by Rio Yokota, Michèle Weiland, John Shalf, Sadaf Alam. por Yokota, Rio [editor.] | Weiland, Michèle [editor.] | Shalf, John [editor.] | Alam, Sadaf [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11203Edició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) .
|
|
|
|
Higher Education for All. From Challenges to Novel Technology-Enhanced Solutions [electronic resource] : First International Workshop on Social, Semantic, Adaptive and Gamification Techniques and Technologies for Distance Learning, HEFA 2017, Maceió, Brazil, March 20-24, 2017, Revised Selected Papers / edited by Alexandra I. Cristea, Ig Ibert Bittencourt, Fernanda Lima. por Cristea, Alexandra I [editor.] | Bittencourt, Ig Ibert [editor.] | Lima, Fernanda [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 832Edició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) .
|
|
|
|
Historia y perspectivas de la programación : fundamentos de informática / Reynaldo Nuncio Limón. por Nuncio Limón, Reynaldo. Edición: 1a ed.Tipo de material: Texto; Forma literaria:
No es ficción Detalles de publicación: México : Trillas, 1991Disponibilidad: Ítems disponibles para préstamo: Facultad de Ciencias Administrativas (2) Signatura topográfica: QA76.5 N85 1991, ... Ítems disponibles para referencia: Facultad de Ciencias Administrativas Not for loan (1) Signatura topográfica: QA76.5 N85 1991.
|
|
|
|
IEEE software. por IEEE Computer Society. Tipo de material:  Recurso continuo; Formato:
impreso
disponible en línea ; Tipo de descriptor de recurso continuo:
periódico Detalles de publicación: [Los Alamitos, CA : IEEE Computer Society, c1984-Otro título: Software.Acceso en línea: Haga clic para acceso en línea Disponibilidad: Ítems disponibles para referencia: Biblioteca Central Ensenada Not for loan (27) Signatura topográfica: QA 76.75 .I35, ...
|
|
|
|
IEEE transactions on software engineering. por IEEE Computer Society. Tipo de material: Recurso continuo; Formato:
impreso
disponible en línea ; Tipo de descriptor de recurso continuo:
periódico Detalles de publicación: [New York, Institute of Electrical and Electronics Engineers] Otro título: Institute of Electrical and Electronics Engineers transactions on software engineering | Transactions on software engineering | Software engineering.Acceso en línea: Haga clic para acceso en línea Disponibilidad: Ítems disponibles para referencia: Biblioteca Central Ensenada Not for loan (50) Signatura topográfica: QA 76.6 I44, ...
|
