Su búsqueda retornó 69 resultados.

Resultados
		Accelerator Programming Using Directives [electronic resource] : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / edited by Sunita Chandrasekaran, Guido Juckeland. por Chandrasekaran, Sunita [editor.] \| Juckeland, Guido [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10732Edició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) .
		Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang. por Lahiri, Shuvendu K [editor.] \| Wang, Chao [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11138Edició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) .
		Bidirectional Transformations [electronic resource] : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / edited by Jeremy Gibbons, Perdita Stevens. por Gibbons, Jeremy [editor.] \| Stevens, Perdita [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 9715Edició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 Performance Engineering [electronic resource] : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / edited by Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke. por Bakhshi, Rena [editor.] \| Ballarini, Paolo [editor.] \| Barbot, Benoît [editor.] \| Castel-Taleb, Hind [editor.] \| Remke, Anne [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11178Edició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] : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch. por Gallina, Barbara [editor.] \| Skavhaug, Amund [editor.] \| Schoitsch, Erwin [editor.] \| Bitsch, Friedemann [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11094Edició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) .
		Coordination Models and Languages [electronic resource] : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings / edited by Giovanna Di Marzo Serugendo, Michele Loreti. por Di Marzo Serugendo, Giovanna [editor.] \| Loreti, Michele [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10852Edició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) .
		Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings / edited by Xinyu Feng, Markus Müller-Olm, Zijiang Yang. por Feng, Xinyu [editor.] \| Müller-Olm, Markus [editor.] \| Yang, Zijiang [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10998Edició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) .
		Engineering Trustworthy Software Systems [electronic resource] : Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang. por Bowen, Jonathan P [editor.] \| Liu, Zhiming [editor.] \| Zhang, Zili [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11174Edició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) .
		Evolving OpenMP for Evolving Architectures [electronic resource] : 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings / edited by Bronis R. de Supinski, Pedro Valero-Lara, Xavier Martorell, Sergi Mateo Bellido, Jesus Labarta. por de Supinski, Bronis R [editor.] \| Valero-Lara, Pedro [editor.] \| Martorell, Xavier [editor.] \| Mateo Bellido, Sergi [editor.] \| Labarta, Jesus [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11128Edició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 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 [electronic resource] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink. por Havelund, Klaus [editor.] \| Peleska, Jan [editor.] \| Roscoe, Bill [editor.] \| de Vink, Erik [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10951Edició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 [electronic resource] : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / edited by Jing Sun, Meng Sun. por Sun, Jing [editor.] \| Sun, Meng [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11232Edició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 for Industrial Critical Systems [electronic resource] : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / edited by Falk Howar, Jiří Barnat. por Howar, Falk [editor.] \| Barnat, Jiří [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11119Edició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: 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) .
		Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings / edited by Christel Baier, Luís Caires. por Baier, Christel [editor.] \| Caires, Luís [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10854Edició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) .
		Integrated Formal Methods [electronic resource] : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / edited by Carlo A. Furia, Kirsten Winter. por Furia, Carlo A [editor.] \| Winter, Kirsten [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11023Edició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) .
		Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments [electronic resource] : Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28-30, 2018, Proceedings / edited by Issa Traore, Isaac Woungang, Sherif Saad Ahmed, Yasir Malik. por Traore, Issa [editor.] \| Woungang, Isaac [editor.] \| Ahmed, Sherif Saad [editor.] \| Malik, Yasir [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11317Edició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) .
		Intelligent Tutoring Systems [electronic resource] : 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11-15, 2018, Proceedings / edited by Roger Nkambou, Roger Azevedo, Julita Vassileva. por Nkambou, Roger [editor.] \| Azevedo, Roger [editor.] \| Vassileva, Julita [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10858Edició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) .
		It's All About Coordination [electronic resource] : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab / edited by Frank de Boer, Marcello Bonsangue, Jan Rutten. por de Boer, Frank [editor.] \| Bonsangue, Marcello [editor.] \| Rutten, Jan [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10865Edició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) .

		Accelerator Programming Using Directives [electronic resource] : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / edited by Sunita Chandrasekaran, Guido Juckeland. por Chandrasekaran, Sunita [editor.] \| Juckeland, Guido [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10732Edició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) .
		Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang. por Lahiri, Shuvendu K [editor.] \| Wang, Chao [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11138Edició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) .
		Bidirectional Transformations [electronic resource] : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / edited by Jeremy Gibbons, Perdita Stevens. por Gibbons, Jeremy [editor.] \| Stevens, Perdita [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 9715Edició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 Performance Engineering [electronic resource] : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / edited by Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke. por Bakhshi, Rena [editor.] \| Ballarini, Paolo [editor.] \| Barbot, Benoît [editor.] \| Castel-Taleb, Hind [editor.] \| Remke, Anne [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11178Edició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] : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch. por Gallina, Barbara [editor.] \| Skavhaug, Amund [editor.] \| Schoitsch, Erwin [editor.] \| Bitsch, Friedemann [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11094Edició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) .
		Coordination Models and Languages [electronic resource] : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings / edited by Giovanna Di Marzo Serugendo, Michele Loreti. por Di Marzo Serugendo, Giovanna [editor.] \| Loreti, Michele [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10852Edició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) .
		Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings / edited by Xinyu Feng, Markus Müller-Olm, Zijiang Yang. por Feng, Xinyu [editor.] \| Müller-Olm, Markus [editor.] \| Yang, Zijiang [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10998Edició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) .
		Engineering Trustworthy Software Systems [electronic resource] : Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang. por Bowen, Jonathan P [editor.] \| Liu, Zhiming [editor.] \| Zhang, Zili [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11174Edició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) .
		Evolving OpenMP for Evolving Architectures [electronic resource] : 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings / edited by Bronis R. de Supinski, Pedro Valero-Lara, Xavier Martorell, Sergi Mateo Bellido, Jesus Labarta. por de Supinski, Bronis R [editor.] \| Valero-Lara, Pedro [editor.] \| Martorell, Xavier [editor.] \| Mateo Bellido, Sergi [editor.] \| Labarta, Jesus [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11128Edició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 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 [electronic resource] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink. por Havelund, Klaus [editor.] \| Peleska, Jan [editor.] \| Roscoe, Bill [editor.] \| de Vink, Erik [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10951Edició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 [electronic resource] : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / edited by Jing Sun, Meng Sun. por Sun, Jing [editor.] \| Sun, Meng [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11232Edició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 for Industrial Critical Systems [electronic resource] : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / edited by Falk Howar, Jiří Barnat. por Howar, Falk [editor.] \| Barnat, Jiří [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11119Edició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: 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) .
		Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings / edited by Christel Baier, Luís Caires. por Baier, Christel [editor.] \| Caires, Luís [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10854Edició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) .
		Integrated Formal Methods [electronic resource] : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / edited by Carlo A. Furia, Kirsten Winter. por Furia, Carlo A [editor.] \| Winter, Kirsten [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11023Edició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) .
		Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments [electronic resource] : Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28-30, 2018, Proceedings / edited by Issa Traore, Isaac Woungang, Sherif Saad Ahmed, Yasir Malik. por Traore, Issa [editor.] \| Woungang, Isaac [editor.] \| Ahmed, Sherif Saad [editor.] \| Malik, Yasir [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11317Edició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) .
		Intelligent Tutoring Systems [electronic resource] : 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11-15, 2018, Proceedings / edited by Roger Nkambou, Roger Azevedo, Julita Vassileva. por Nkambou, Roger [editor.] \| Azevedo, Roger [editor.] \| Vassileva, Julita [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10858Edició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) .
		It's All About Coordination [electronic resource] : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab / edited by Frank de Boer, Marcello Bonsangue, Jan Rutten. por de Boer, Frank [editor.] \| Bonsangue, Marcello [editor.] \| Rutten, Jan [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10865Edició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ó 69 resultados.