Su búsqueda retornó 1029 resultados.

Resultados
		Model Checking Software [recurso electrónico] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings / edited by Jaco Pol, Michael Weber. por Pol, Jaco [editor.] \| Weber, Michael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6349Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Model Checking Software [recurso electrónico] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi. por Groce, Alex [editor.] \| Musuvathi, Madanlal [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6823Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Model Checking Software [recurso electrónico] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / edited by Dragan Bo?na?ki, Anton Wijs. por Bo?na?ki, Dragan [editor.] \| Wijs, Anton [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9641Origen: 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) .
		Model Checking Software [electronic resource] : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / edited by María del Mar Gallardo, Pedro Merino. por Gallardo, María del Mar [editor.] \| Merino, Pedro [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10869Edició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) .
		Model-Driven Engineering and Software Development [electronic resource] : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers / edited by Luís Ferreira Pires, Slimane Hammoudi, Bran Selic. por Pires, Luís Ferreira [editor.] \| Hammoudi, Slimane [editor.] \| Selic, Bran [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 880Edició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) .
		Model-Driven Engineering and Software Development [electronic resource] : 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers / edited by Luís Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz. por Pires, Luís Ferreira [editor.] \| Hammoudi, Slimane [editor.] \| Seidewitz, Edwin [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 1708Edició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) .
		Model Driven Engineering Languages and Systems [recurso electrónico] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II / edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen. por Petriu, Dorina C [editor.] \| Rouquette, Nicolas [editor.] \| Haugen, Øystein [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6395Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Model Driven Engineering Languages and Systems [recurso electrónico] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I / edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen. por Petriu, Dorina C [editor.] \| Rouquette, Nicolas [editor.] \| Haugen, Øystein [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6394Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Model Driven Engineering Languages and Systems [recurso electrónico] : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings / edited by Jon Whittle, Tony Clark, Thomas Kühne. por Whittle, Jon [editor.] \| Clark, Tony [editor.] \| Kühne, Thomas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6981Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Modeling and Using Context [recurso electrónico] : 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings / edited by Michael Beigl, Henning Christiansen, Thomas R. Roth-Berghofer, Anders Kofod-Petersen, Kenny R. Coventry, Hedda R. Schmidtke. por Beigl, Michael [editor.] \| Christiansen, Henning [editor.] \| Roth-Berghofer, Thomas R [editor.] \| Kofod-Petersen, Anders [editor.] \| Coventry, Kenny R [editor.] \| Schmidtke, Hedda R [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6967Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Modeling Companion for Software Practitioners [electronic resource] / by Egon Börger, Alexander Raschke. por Börger, Egon [author.] \| Raschke, Alexander [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Modeling Decisions for Artificial Intelligence [electronic resource] : 15th International Conference, MDAI 2018, Mallorca, Spain, October 15-18, 2018, Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Isabel Aguiló, Manuel González-Hidalgo. por Torra, Vicenç [editor.] \| Narukawa, Yasuo [editor.] \| Aguiló, Isabel [editor.] \| González-Hidalgo, Manuel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 11144Edició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) .
		Modelling and Verification of Secure Exams [electronic resource] / by Rosario Giustolisi. por Giustolisi, Rosario [author.] \| SpringerLink (Online service). Series Information Security and CryptographyEdició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) .
		Modelling Autonomic Communication Environments [recurso electrónico] : 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings / edited by Rob Brennan, Joel Fleck, Sven Meer. por Brennan, Rob [editor.] \| Fleck, Joel [editor.] \| Meer, Sven [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6473Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Modelling Foundations and Applications [recurso electrónico] : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings / edited by Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier. por Kühne, Thomas [editor.] \| Selic, Bran [editor.] \| Gervais, Marie-Pierre [editor.] \| Terrier, François [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6138Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Modelling Foundations and Applications [recurso electrónico] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings / edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige. por France, Robert B [editor.] \| Kuester, Jochen M [editor.] \| Bordbar, Behzad [editor.] \| Paige, Richard F [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6698Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Modelling Foundations and Applications [recurso electrónico] : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings / edited by Andrzej W?sowski, Henrik Lönn. por W?sowski, Andrzej [editor.] \| Lönn, Henrik [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9764Origen: 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) .
		Modelling Foundations and Applications [electronic resource] : 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings / edited by Alfonso Pierantonio, Salvador Trujillo. por Pierantonio, Alfonso [editor.] \| Trujillo, Salvador [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10890Edició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) .
		Models in Software Engineering [recurso electrónico] : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers / edited by Sudipto Ghosh. por Ghosh, Sudipto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6002Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Models in Software Engineering [recurso electrónico] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers / edited by Juergen Dingel, Arnor Solberg. por Dingel, Juergen [editor.] \| Solberg, Arnor [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6627Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

		Model Checking Software [recurso electrónico] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings / edited by Jaco Pol, Michael Weber. por Pol, Jaco [editor.] \| Weber, Michael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6349Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Model Checking Software [recurso electrónico] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi. por Groce, Alex [editor.] \| Musuvathi, Madanlal [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6823Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Model Checking Software [recurso electrónico] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / edited by Dragan Bo?na?ki, Anton Wijs. por Bo?na?ki, Dragan [editor.] \| Wijs, Anton [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9641Origen: 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) .
		Model Checking Software [electronic resource] : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / edited by María del Mar Gallardo, Pedro Merino. por Gallardo, María del Mar [editor.] \| Merino, Pedro [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10869Edició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) .
		Model-Driven Engineering and Software Development [electronic resource] : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers / edited by Luís Ferreira Pires, Slimane Hammoudi, Bran Selic. por Pires, Luís Ferreira [editor.] \| Hammoudi, Slimane [editor.] \| Selic, Bran [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 880Edició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) .
		Model-Driven Engineering and Software Development [electronic resource] : 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers / edited by Luís Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz. por Pires, Luís Ferreira [editor.] \| Hammoudi, Slimane [editor.] \| Seidewitz, Edwin [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 1708Edició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) .
		Model Driven Engineering Languages and Systems [recurso electrónico] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II / edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen. por Petriu, Dorina C [editor.] \| Rouquette, Nicolas [editor.] \| Haugen, Øystein [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6395Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Model Driven Engineering Languages and Systems [recurso electrónico] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I / edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen. por Petriu, Dorina C [editor.] \| Rouquette, Nicolas [editor.] \| Haugen, Øystein [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6394Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Model Driven Engineering Languages and Systems [recurso electrónico] : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings / edited by Jon Whittle, Tony Clark, Thomas Kühne. por Whittle, Jon [editor.] \| Clark, Tony [editor.] \| Kühne, Thomas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6981Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Modeling and Using Context [recurso electrónico] : 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings / edited by Michael Beigl, Henning Christiansen, Thomas R. Roth-Berghofer, Anders Kofod-Petersen, Kenny R. Coventry, Hedda R. Schmidtke. por Beigl, Michael [editor.] \| Christiansen, Henning [editor.] \| Roth-Berghofer, Thomas R [editor.] \| Kofod-Petersen, Anders [editor.] \| Coventry, Kenny R [editor.] \| Schmidtke, Hedda R [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6967Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Modeling Companion for Software Practitioners [electronic resource] / by Egon Börger, Alexander Raschke. por Börger, Egon [author.] \| Raschke, Alexander [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Modeling Decisions for Artificial Intelligence [electronic resource] : 15th International Conference, MDAI 2018, Mallorca, Spain, October 15-18, 2018, Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Isabel Aguiló, Manuel González-Hidalgo. por Torra, Vicenç [editor.] \| Narukawa, Yasuo [editor.] \| Aguiló, Isabel [editor.] \| González-Hidalgo, Manuel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 11144Edició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) .
		Modelling and Verification of Secure Exams [electronic resource] / by Rosario Giustolisi. por Giustolisi, Rosario [author.] \| SpringerLink (Online service). Series Information Security and CryptographyEdició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) .
		Modelling Autonomic Communication Environments [recurso electrónico] : 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings / edited by Rob Brennan, Joel Fleck, Sven Meer. por Brennan, Rob [editor.] \| Fleck, Joel [editor.] \| Meer, Sven [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6473Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Modelling Foundations and Applications [recurso electrónico] : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings / edited by Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier. por Kühne, Thomas [editor.] \| Selic, Bran [editor.] \| Gervais, Marie-Pierre [editor.] \| Terrier, François [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6138Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Modelling Foundations and Applications [recurso electrónico] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings / edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige. por France, Robert B [editor.] \| Kuester, Jochen M [editor.] \| Bordbar, Behzad [editor.] \| Paige, Richard F [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6698Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Modelling Foundations and Applications [recurso electrónico] : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings / edited by Andrzej W?sowski, Henrik Lönn. por W?sowski, Andrzej [editor.] \| Lönn, Henrik [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9764Origen: 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) .
		Modelling Foundations and Applications [electronic resource] : 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings / edited by Alfonso Pierantonio, Salvador Trujillo. por Pierantonio, Alfonso [editor.] \| Trujillo, Salvador [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10890Edició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) .
		Models in Software Engineering [recurso electrónico] : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers / edited by Sudipto Ghosh. por Ghosh, Sudipto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6002Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Models in Software Engineering [recurso electrónico] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers / edited by Juergen Dingel, Arnor Solberg. por Dingel, Juergen [editor.] \| Solberg, Arnor [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6627Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Títulos

Su búsqueda retornó 1029 resultados.