Su búsqueda retornó 555 resultados.

Resultados
		Leveraging Applications of Formal Methods, Verification and Validation. Modeling [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11244Edició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. Verification [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11245Edició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. Verification [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11245Edició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) .
		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) .
		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) .
		Life System Modeling and Intelligent Computing [recurso electrónico] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II / edited by Kang Li, Minrui Fei, Li Jia, George W. Irwin. por Li, Kang [editor.] \| Fei, Minrui [editor.] \| Jia, Li [editor.] \| Irwin, George W [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6329Origen: 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: QH324.2 -324.25.
		Life System Modeling and Intelligent Computing [recurso electrónico] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III / edited by Kang Li, Li Jia, Xin Sun, Minrui Fei, George W. Irwin. por Li, Kang [editor.] \| Jia, Li [editor.] \| Sun, Xin [editor.] \| Fei, Minrui [editor.] \| Irwin, George W [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6330Origen: 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: QH324.2 -324.25.
		Life System Modeling and Intelligent Computing [recurso electrónico] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part I / edited by Kang Li, Minrui Fei, Li Jia, George W. Irwin. por Li, Kang [editor.] \| Fei, Minrui [editor.] \| Jia, Li [editor.] \| Irwin, George W [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6328Origen: 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: QH324.2 -324.25.
		Logic and the Foundations of Game and Decision Theory – LOFT 8 [recurso electrónico] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers / edited by Giacomo Bonanno, Benedikt Löwe, Wiebe Hoek. por Bonanno, Giacomo [editor.] \| Löwe, Benedikt [editor.] \| Hoek, Wiebe [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6006Origen: 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: QA8.9 -QA10.3.
		Logic, Language, Information and Computation [recurso electrónico] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / edited by Anuj Dawar, Ruy Queiroz. por Dawar, Anuj [editor.] \| Queiroz, Ruy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6188Origen: 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: QA8.9 -QA10.3.
		Logic, Language, Information and Computation [recurso electrónico] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings / edited by Lev D. Beklemishev, Ruy Queiroz. por Beklemishev, Lev D [editor.] \| Queiroz, Ruy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6642Origen: 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: QA8.9 -QA10.3.
		Logic, Rationality, and Interaction [recurso electrónico] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / edited by Hans Ditmarsch, Jérôme Lang, Shier Ju. por Ditmarsch, Hans [editor.] \| Lang, Jérôme [editor.] \| Ju, Shier [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6953Origen: 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: QA8.9 -QA10.3.
		Ludics, Dialogue and Interaction [recurso electrónico] : PRELUDE Project - 2006-2009. Revised Selected Papers / edited by Alain Lecomte, Samuel Tronçon. por Lecomte, Alain [editor.] \| Tronçon, Samuel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6505Origen: 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.
		Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part I / edited by Massih-Reza Amini, Stéphane Canu, Asja Fischer, Tias Guns, Petra Kralj Novak, Grigorios Tsoumakas. por Amini, Massih-Reza [editor.] \| Canu, Stéphane [editor.] \| Fischer, Asja [editor.] \| Guns, Tias [editor.] \| Kralj Novak, Petra [editor.] \| Tsoumakas, Grigorios [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 13713Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Machine Learning for Dynamic Software Analysis: Potentials and Limits [electronic resource] : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / edited by Amel Bennaceur, Reiner Hähnle, Karl Meinke. por Bennaceur, Amel [editor.] \| Hähnle, Reiner [editor.] \| Meinke, Karl [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11026Edició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) .
		Machine Translation [recurso electrónico] : 12th China Workshop, CWMT 2016, Urumqi, China, August 25?26, 2016, Revised Selected Papers / edited by Muyun Yang, Shujie Liu. por Yang, Muyun [editor.] \| Liu, Shujie [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 668Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Singapore : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		The Making of a New Science [electronic resource] : A Personal Journey Through the Early Years of Theoretical Computer Science / by Giorgio Ausiello. por Ausiello, Giorgio [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) .
		Many-Criteria Optimization and Decision Analysis [electronic resource] : State-of-the-Art, Present Challenges, and Future Perspectives / edited by Dimo Brockhoff, Michael Emmerich, Boris Naujoks, Robin Purshouse. por Brockhoff, Dimo [editor.] \| Emmerich, Michael [editor.] \| Naujoks, Boris [editor.] \| Purshouse, Robin [editor.] \| SpringerLink (Online service). Series Natural Computing SeriesEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Mathematical Aspects of Computer and Information Sciences [recurso electrónico] : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers / edited by Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap. por Kotsireas, Ilias S [editor.] \| Rump, Siegfried M [editor.] \| Yap, Chee K [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9582Origen: 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) .

		Leveraging Applications of Formal Methods, Verification and Validation. Modeling [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11244Edició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. Verification [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11245Edició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. Verification [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11245Edició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) .
		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) .
		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) .
		Life System Modeling and Intelligent Computing [recurso electrónico] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II / edited by Kang Li, Minrui Fei, Li Jia, George W. Irwin. por Li, Kang [editor.] \| Fei, Minrui [editor.] \| Jia, Li [editor.] \| Irwin, George W [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6329Origen: 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: QH324.2 -324.25.
		Life System Modeling and Intelligent Computing [recurso electrónico] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III / edited by Kang Li, Li Jia, Xin Sun, Minrui Fei, George W. Irwin. por Li, Kang [editor.] \| Jia, Li [editor.] \| Sun, Xin [editor.] \| Fei, Minrui [editor.] \| Irwin, George W [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6330Origen: 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: QH324.2 -324.25.
		Life System Modeling and Intelligent Computing [recurso electrónico] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part I / edited by Kang Li, Minrui Fei, Li Jia, George W. Irwin. por Li, Kang [editor.] \| Fei, Minrui [editor.] \| Jia, Li [editor.] \| Irwin, George W [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6328Origen: 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: QH324.2 -324.25.
		Logic and the Foundations of Game and Decision Theory – LOFT 8 [recurso electrónico] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers / edited by Giacomo Bonanno, Benedikt Löwe, Wiebe Hoek. por Bonanno, Giacomo [editor.] \| Löwe, Benedikt [editor.] \| Hoek, Wiebe [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6006Origen: 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: QA8.9 -QA10.3.
		Logic, Language, Information and Computation [recurso electrónico] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / edited by Anuj Dawar, Ruy Queiroz. por Dawar, Anuj [editor.] \| Queiroz, Ruy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6188Origen: 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: QA8.9 -QA10.3.
		Logic, Language, Information and Computation [recurso electrónico] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings / edited by Lev D. Beklemishev, Ruy Queiroz. por Beklemishev, Lev D [editor.] \| Queiroz, Ruy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6642Origen: 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: QA8.9 -QA10.3.
		Logic, Rationality, and Interaction [recurso electrónico] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / edited by Hans Ditmarsch, Jérôme Lang, Shier Ju. por Ditmarsch, Hans [editor.] \| Lang, Jérôme [editor.] \| Ju, Shier [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6953Origen: 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: QA8.9 -QA10.3.
		Ludics, Dialogue and Interaction [recurso electrónico] : PRELUDE Project - 2006-2009. Revised Selected Papers / edited by Alain Lecomte, Samuel Tronçon. por Lecomte, Alain [editor.] \| Tronçon, Samuel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6505Origen: 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.
		Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part I / edited by Massih-Reza Amini, Stéphane Canu, Asja Fischer, Tias Guns, Petra Kralj Novak, Grigorios Tsoumakas. por Amini, Massih-Reza [editor.] \| Canu, Stéphane [editor.] \| Fischer, Asja [editor.] \| Guns, Tias [editor.] \| Kralj Novak, Petra [editor.] \| Tsoumakas, Grigorios [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 13713Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Machine Learning for Dynamic Software Analysis: Potentials and Limits [electronic resource] : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / edited by Amel Bennaceur, Reiner Hähnle, Karl Meinke. por Bennaceur, Amel [editor.] \| Hähnle, Reiner [editor.] \| Meinke, Karl [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11026Edició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) .
		Machine Translation [recurso electrónico] : 12th China Workshop, CWMT 2016, Urumqi, China, August 25?26, 2016, Revised Selected Papers / edited by Muyun Yang, Shujie Liu. por Yang, Muyun [editor.] \| Liu, Shujie [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 668Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Singapore : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		The Making of a New Science [electronic resource] : A Personal Journey Through the Early Years of Theoretical Computer Science / by Giorgio Ausiello. por Ausiello, Giorgio [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) .
		Many-Criteria Optimization and Decision Analysis [electronic resource] : State-of-the-Art, Present Challenges, and Future Perspectives / edited by Dimo Brockhoff, Michael Emmerich, Boris Naujoks, Robin Purshouse. por Brockhoff, Dimo [editor.] \| Emmerich, Michael [editor.] \| Naujoks, Boris [editor.] \| Purshouse, Robin [editor.] \| SpringerLink (Online service). Series Natural Computing SeriesEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Mathematical Aspects of Computer and Information Sciences [recurso electrónico] : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers / edited by Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap. por Kotsireas, Ilias S [editor.] \| Rump, Siegfried M [editor.] \| Yap, Chee K [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9582Origen: 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) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 555 resultados.