Su búsqueda retornó 7749 resultados.

Resultados
		Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11247Edició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) .
		Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11247Edició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) .
		Enterprise and Organizational Modeling and Simulation [electronic resource] : 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Selected Papers / edited by Robert Pergl, Eduard Babkin, Russell Lock, Pavel Malyzhenkov, Vojtěch Merunka. por Pergl, Robert [editor.] \| Babkin, Eduard [editor.] \| Lock, Russell [editor.] \| Malyzhenkov, Pavel [editor.] \| Merunka, Vojtěch [editor.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 332Edició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) .
		Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11246Edició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) .
		Network and System Security [electronic resource] : 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings / edited by Man Ho Au, Siu Ming Yiu, Jin Li, Xiapu Luo, Cong Wang, Aniello Castiglione, Kamil Kluczniak. por Au, Man Ho [editor.] \| Yiu, Siu Ming [editor.] \| Li, Jin [editor.] \| Luo, Xiapu [editor.] \| Wang, Cong [editor.] \| Castiglione, Aniello [editor.] \| Kluczniak, Kamil [editor.] \| SpringerLink (Online service). Series Security and Cryptology ; 11058Edició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) .
		Conceptual Modeling [electronic resource] : 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings / edited by Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee. por Trujillo, Juan C [editor.] \| Davis, Karen C [editor.] \| Du, Xiaoyong [editor.] \| Li, Zhanhuai [editor.] \| Ling, Tok Wang [editor.] \| Li, Guoliang [editor.] \| Lee, Mong Li [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11157Edició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 Simulations as Scientific Instruments: A Pattern Language [electronic resource] : With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield / by Susan Stepney, Fiona A.C. Polack. por Stepney, Susan [author.] \| Polack, Fiona A.C [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) .
		On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman. por Panetto, Hervé [editor.] \| Debruyne, Christophe [editor.] \| Proper, Henderik A [editor.] \| Ardagna, Claudio Agostino [editor.] \| Roman, Dumitru [editor.] \| Meersman, Robert [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11230Edició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) .
		No hay imagen de cubierta disponible Tree-Based Convolutional Neural Networks [electronic resource] : Principles and Applications / by Lili Mou, Zhi Jin. por Mou, Lili [author.] \| Jin, Zhi [author.] \| SpringerLink (Online service). Series SpringerBriefs in Computer ScienceEdició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: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		No hay imagen de cubierta disponible Cutting-Edge Enabling Technologies for Regenerative Medicine [electronic resource] / edited by Heung Jae Chun, Chan Hum Park, Il Keun Kwon, Gilson Khang. por Chun, Heung Jae [editor.] \| Park, Chan Hum [editor.] \| Kwon, Il Keun [editor.] \| Khang, Gilson [editor.] \| SpringerLink (Online service). Series Advances in Experimental Medicine and Biology ; 1078Edició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: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Knocking in Gasoline Engines [electronic resource] : 5th International Conference, December 12-13, 2017, Berlin, Germany / edited by Michael Günther, Marc Sens. por Günther, Michael [editor.] \| Sens, Marc [editor.] \| 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) .
		Intelligent Transport Systems - From Research and Development to the Market Uptake [electronic resource] : First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings / edited by Tatiana Kováčiková, Ľuboš Buzna, Ghadir Pourhashem, Giuseppe Lugano, Yannick Cornet, Nathalie Lugano. por Kováčiková, Tatiana [editor.] \| Buzna, Ľuboš [editor.] \| Pourhashem, Ghadir [editor.] \| Lugano, Giuseppe [editor.] \| Cornet, Yannick [editor.] \| Lugano, Nathalie [editor.] \| SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 222Edició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) .
		No hay imagen de cubierta disponible Wireless Communications under Hostile Jamming: Security and Efficiency [electronic resource] / by Tongtong Li, Tianlong Song, Yuan Liang. por Li, Tongtong [author.] \| Song, Tianlong [author.] \| Liang, Yuan [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: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Information and Communication Technologies in Education, Research, and Industrial Applications [electronic resource] : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers / edited by Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky. por Bassiliades, Nick [editor.] \| Ermolayev, Vadim [editor.] \| Fill, Hans-Georg [editor.] \| Yakovyna, Vitaliy [editor.] \| Mayr, Heinrich C [editor.] \| Nikitchenko, Mykola [editor.] \| Zholtkevych, Grygoriy [editor.] \| Spivakovsky, Aleksander [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 826Edició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) .
		Transactions on Computational Collective Intelligence XXVIII [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe. por Nguyen, Ngoc Thanh [editor.] \| Kowalczyk, Ryszard [editor.] \| van den Herik, Jaap [editor.] \| Rocha, Ana Paula [editor.] \| Filipe, Joaquim [editor.] \| SpringerLink (Online service). Series Transactions on Computational Collective Intelligence ; 10780Edició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) .
		Computational Thinking [electronic resource] : First Algorithms, Then Code / by Paolo Ferragina, Fabrizio Luccio. por Ferragina, Paolo [author.] \| Luccio, Fabrizio [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) .
		Technology Trends [electronic resource] : Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings / edited by Miguel Botto-Tobar, Nelly Esparza-Cruz, Joffre León-Acurio, Narcisa Crespo-Torres, Marola Beltrán-Mora. por Botto-Tobar, Miguel [editor.] \| Esparza-Cruz, Nelly [editor.] \| León-Acurio, Joffre [editor.] \| Crespo-Torres, Narcisa [editor.] \| Beltrán-Mora, Marola [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 798Edició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 and Data Engineering [electronic resource] : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings / edited by El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez. por Abdelwahed, El Hassan [editor.] \| Bellatreche, Ladjel [editor.] \| Golfarelli, Mattéo [editor.] \| Méry, Dominique [editor.] \| Ordonez, Carlos [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11163Edició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) .

		Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11247Edició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) .
		Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11247Edició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) .
		Enterprise and Organizational Modeling and Simulation [electronic resource] : 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Selected Papers / edited by Robert Pergl, Eduard Babkin, Russell Lock, Pavel Malyzhenkov, Vojtěch Merunka. por Pergl, Robert [editor.] \| Babkin, Eduard [editor.] \| Lock, Russell [editor.] \| Malyzhenkov, Pavel [editor.] \| Merunka, Vojtěch [editor.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 332Edició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) .
		Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11246Edició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) .
		Network and System Security [electronic resource] : 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings / edited by Man Ho Au, Siu Ming Yiu, Jin Li, Xiapu Luo, Cong Wang, Aniello Castiglione, Kamil Kluczniak. por Au, Man Ho [editor.] \| Yiu, Siu Ming [editor.] \| Li, Jin [editor.] \| Luo, Xiapu [editor.] \| Wang, Cong [editor.] \| Castiglione, Aniello [editor.] \| Kluczniak, Kamil [editor.] \| SpringerLink (Online service). Series Security and Cryptology ; 11058Edició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) .
		Conceptual Modeling [electronic resource] : 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings / edited by Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee. por Trujillo, Juan C [editor.] \| Davis, Karen C [editor.] \| Du, Xiaoyong [editor.] \| Li, Zhanhuai [editor.] \| Ling, Tok Wang [editor.] \| Li, Guoliang [editor.] \| Lee, Mong Li [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11157Edició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 Simulations as Scientific Instruments: A Pattern Language [electronic resource] : With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield / by Susan Stepney, Fiona A.C. Polack. por Stepney, Susan [author.] \| Polack, Fiona A.C [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) .
		On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman. por Panetto, Hervé [editor.] \| Debruyne, Christophe [editor.] \| Proper, Henderik A [editor.] \| Ardagna, Claudio Agostino [editor.] \| Roman, Dumitru [editor.] \| Meersman, Robert [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11230Edició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) .
		No hay imagen de cubierta disponible Tree-Based Convolutional Neural Networks [electronic resource] : Principles and Applications / by Lili Mou, Zhi Jin. por Mou, Lili [author.] \| Jin, Zhi [author.] \| SpringerLink (Online service). Series SpringerBriefs in Computer ScienceEdició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: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		No hay imagen de cubierta disponible Cutting-Edge Enabling Technologies for Regenerative Medicine [electronic resource] / edited by Heung Jae Chun, Chan Hum Park, Il Keun Kwon, Gilson Khang. por Chun, Heung Jae [editor.] \| Park, Chan Hum [editor.] \| Kwon, Il Keun [editor.] \| Khang, Gilson [editor.] \| SpringerLink (Online service). Series Advances in Experimental Medicine and Biology ; 1078Edició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: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Knocking in Gasoline Engines [electronic resource] : 5th International Conference, December 12-13, 2017, Berlin, Germany / edited by Michael Günther, Marc Sens. por Günther, Michael [editor.] \| Sens, Marc [editor.] \| 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) .
		Intelligent Transport Systems - From Research and Development to the Market Uptake [electronic resource] : First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings / edited by Tatiana Kováčiková, Ľuboš Buzna, Ghadir Pourhashem, Giuseppe Lugano, Yannick Cornet, Nathalie Lugano. por Kováčiková, Tatiana [editor.] \| Buzna, Ľuboš [editor.] \| Pourhashem, Ghadir [editor.] \| Lugano, Giuseppe [editor.] \| Cornet, Yannick [editor.] \| Lugano, Nathalie [editor.] \| SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 222Edició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) .
		No hay imagen de cubierta disponible Wireless Communications under Hostile Jamming: Security and Efficiency [electronic resource] / by Tongtong Li, Tianlong Song, Yuan Liang. por Li, Tongtong [author.] \| Song, Tianlong [author.] \| Liang, Yuan [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: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Information and Communication Technologies in Education, Research, and Industrial Applications [electronic resource] : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers / edited by Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky. por Bassiliades, Nick [editor.] \| Ermolayev, Vadim [editor.] \| Fill, Hans-Georg [editor.] \| Yakovyna, Vitaliy [editor.] \| Mayr, Heinrich C [editor.] \| Nikitchenko, Mykola [editor.] \| Zholtkevych, Grygoriy [editor.] \| Spivakovsky, Aleksander [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 826Edició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) .
		Transactions on Computational Collective Intelligence XXVIII [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe. por Nguyen, Ngoc Thanh [editor.] \| Kowalczyk, Ryszard [editor.] \| van den Herik, Jaap [editor.] \| Rocha, Ana Paula [editor.] \| Filipe, Joaquim [editor.] \| SpringerLink (Online service). Series Transactions on Computational Collective Intelligence ; 10780Edició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) .
		Computational Thinking [electronic resource] : First Algorithms, Then Code / by Paolo Ferragina, Fabrizio Luccio. por Ferragina, Paolo [author.] \| Luccio, Fabrizio [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) .
		Technology Trends [electronic resource] : Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings / edited by Miguel Botto-Tobar, Nelly Esparza-Cruz, Joffre León-Acurio, Narcisa Crespo-Torres, Marola Beltrán-Mora. por Botto-Tobar, Miguel [editor.] \| Esparza-Cruz, Nelly [editor.] \| León-Acurio, Joffre [editor.] \| Crespo-Torres, Narcisa [editor.] \| Beltrán-Mora, Marola [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 798Edició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 and Data Engineering [electronic resource] : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings / edited by El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez. por Abdelwahed, El Hassan [editor.] \| Bellatreche, Ladjel [editor.] \| Golfarelli, Mattéo [editor.] \| Méry, Dominique [editor.] \| Ordonez, Carlos [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11163Edició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) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Títulos

Su búsqueda retornó 7749 resultados.