Su búsqueda retornó 591 resultados.

Resultados
		Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX [recurso electrónico] : Special Issue on Cloud Computing / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Klaus-Dieter Schewe, Karoly Bosa. por Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Schewe, Klaus-Dieter [editor.] \| Bosa, Karoly [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10130Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Transactions on Large-Scale Data- and Knowledge-Centered Systems XXV [recurso electrónico] / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner. por Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9620Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVIII [recurso electrónico] : Special Issue on Database- and Expert-Systems Applications / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Qimin Chen. por Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Chen, Qimin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9940Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIX [recurso electrónico] / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner. por Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10120Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVI [recurso electrónico] : Special Issue on Data Warehousing and Knowledge Discovery / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Ladjel Bellatreche, Mukesh Mohania. por Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Bellatreche, Ladjel [editor.] \| Mohania, Mukesh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9670Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV [recurso electrónico] : Special Issue on Database- and Expert-Systems Applications / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link. por Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Decker, Hendrik [editor.] \| Lhotska, Lenka [editor.] \| Link, Sebastian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9510Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Treatise on Intuitionistic Type Theory [recurso electrónico] / by Johan Georg Granström, Johan Georg Granström. por Granström, Johan Georg [author.] \| Granström, Johan Georg [author.] \| SpringerLink (Online service). Series Logic, Epistemology, and the Unity of Science ; 22Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: BD143 -237.
		Trends in Applied Knowledge-Based Systems and Data Science [recurso electrónico] : 29th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2016, Morioka, Japan, August 2-4, 2016, Proceedings / edited by Hamido Fujita, Moonis Ali, Ali Selamat, Jun Sasaki, Masaki Kurematsu. por Fujita, Hamido [editor.] \| Ali, Moonis [editor.] \| Selamat, Ali [editor.] \| Sasaki, Jun [editor.] \| Kurematsu, Masaki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9799Origen: 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) .
		Triangulations [recurso electrónico] : Structures for Algorithms and Applications / by Jesús A. Loera, Jörg Rambau, Francisco Santos. por Loera, Jesús A [author.] \| Rambau, Jörg [author.] \| Santos, Francisco [author.] \| SpringerLink (Online service). Series Algorithms and Computation in Mathematics ; 25Origen: 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: QA639.5 -640.7.
		Trusted Systems [recurso electrónico] : 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers / edited by Moti Yung, Jianbiao Zhang, Zhen Yang. por Yung, Moti [editor.] \| Zhang, Jianbiao [editor.] \| Yang, Zhen [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9565Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Unconventional Computation and Natural Computation [recurso electrónico] : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / edited by Martyn Amos, ANNE CONDON. por Amos, Martyn [editor.] \| CONDON, ANNE [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9726Origen: 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) .
		Unity of Logic and Computation [electronic resource] : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings / edited by Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea. por Della Vedova, Gianluca [editor.] \| Dundua, Besik [editor.] \| Lempp, Steffen [editor.] \| Manea, Florin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13967Edició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) .
		Variable Neighborhood Search [electronic resource] : 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25-28, 2022, Revised Selected Papers / edited by Andrei Sleptchenko, Angelo Sifaleras, Pierre Hansen. por Sleptchenko, Andrei [editor.] \| Sifaleras, Angelo [editor.] \| Hansen, Pierre [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13863Edició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) .
		Vector Optimization with Infimum and Supremum [recurso electrónico] / by Andreas Löhne. por Löhne, Andreas [author.] \| SpringerLink (Online service). Series Vector OptimizationOrigen: 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: HD30.23.
		Verification and Evaluation of Computer and Communication Systems [electronic resource] : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings / edited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez. por Atig, Mohamed Faouzi [editor.] \| Bensalem, Saddek [editor.] \| Bliudze, Simon [editor.] \| Monsuez, Bruno [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11181Edició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) .
		WALCOM: Algorithms and Computation [recurso electrónico] : 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings / edited by Md. Saidur Rahman, Satoshi Fujita. por Rahman, Md. Saidur [editor.] \| Fujita, Satoshi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5942Origen: 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.9 .A43.
		WALCOM: Algorithms and Computation [recurso electrónico] : 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings / edited by Naoki Katoh, Amit Kumar. por Katoh, Naoki [editor.] \| Kumar, Amit [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6552Origen: 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.9 .A43.
		WALCOM: Algorithms and Computation [recurso electrónico] : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29?31, 2016, Proceedings / edited by Mohammad Kaykobad, Rossella Petreschi. por Kaykobad, Mohammad [editor.] \| Petreschi, Rossella [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9627Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		WALCOM: Algorithms and Computation [electronic resource] : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings / edited by M. Sohel Rahman, Wing-Kin Sung, Ryuhei Uehara. por Rahman, M. Sohel [editor.] \| Sung, Wing-Kin [editor.] \| Uehara, Ryuhei [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10755Edició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) .
		WALCOM: Algorithms and Computation [electronic resource] : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings / edited by M. Sohel Rahman, Wing-Kin Sung, Ryuhei Uehara. por Rahman, M. Sohel [editor.] \| Sung, Wing-Kin [editor.] \| Uehara, Ryuhei [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10755Edició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 Large-Scale Data- and Knowledge-Centered Systems XXX [recurso electrónico] : Special Issue on Cloud Computing / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Klaus-Dieter Schewe, Karoly Bosa. por Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Schewe, Klaus-Dieter [editor.] \| Bosa, Karoly [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10130Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Transactions on Large-Scale Data- and Knowledge-Centered Systems XXV [recurso electrónico] / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner. por Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9620Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVIII [recurso electrónico] : Special Issue on Database- and Expert-Systems Applications / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Qimin Chen. por Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Chen, Qimin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9940Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIX [recurso electrónico] / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner. por Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10120Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVI [recurso electrónico] : Special Issue on Data Warehousing and Knowledge Discovery / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Ladjel Bellatreche, Mukesh Mohania. por Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Bellatreche, Ladjel [editor.] \| Mohania, Mukesh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9670Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV [recurso electrónico] : Special Issue on Database- and Expert-Systems Applications / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link. por Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Decker, Hendrik [editor.] \| Lhotska, Lenka [editor.] \| Link, Sebastian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9510Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Treatise on Intuitionistic Type Theory [recurso electrónico] / by Johan Georg Granström, Johan Georg Granström. por Granström, Johan Georg [author.] \| Granström, Johan Georg [author.] \| SpringerLink (Online service). Series Logic, Epistemology, and the Unity of Science ; 22Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: BD143 -237.
		Trends in Applied Knowledge-Based Systems and Data Science [recurso electrónico] : 29th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2016, Morioka, Japan, August 2-4, 2016, Proceedings / edited by Hamido Fujita, Moonis Ali, Ali Selamat, Jun Sasaki, Masaki Kurematsu. por Fujita, Hamido [editor.] \| Ali, Moonis [editor.] \| Selamat, Ali [editor.] \| Sasaki, Jun [editor.] \| Kurematsu, Masaki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9799Origen: 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) .
		Triangulations [recurso electrónico] : Structures for Algorithms and Applications / by Jesús A. Loera, Jörg Rambau, Francisco Santos. por Loera, Jesús A [author.] \| Rambau, Jörg [author.] \| Santos, Francisco [author.] \| SpringerLink (Online service). Series Algorithms and Computation in Mathematics ; 25Origen: 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: QA639.5 -640.7.
		Trusted Systems [recurso electrónico] : 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers / edited by Moti Yung, Jianbiao Zhang, Zhen Yang. por Yung, Moti [editor.] \| Zhang, Jianbiao [editor.] \| Yang, Zhen [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9565Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Unconventional Computation and Natural Computation [recurso electrónico] : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / edited by Martyn Amos, ANNE CONDON. por Amos, Martyn [editor.] \| CONDON, ANNE [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9726Origen: 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) .
		Unity of Logic and Computation [electronic resource] : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings / edited by Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea. por Della Vedova, Gianluca [editor.] \| Dundua, Besik [editor.] \| Lempp, Steffen [editor.] \| Manea, Florin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13967Edició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) .
		Variable Neighborhood Search [electronic resource] : 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25-28, 2022, Revised Selected Papers / edited by Andrei Sleptchenko, Angelo Sifaleras, Pierre Hansen. por Sleptchenko, Andrei [editor.] \| Sifaleras, Angelo [editor.] \| Hansen, Pierre [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13863Edició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) .
		Vector Optimization with Infimum and Supremum [recurso electrónico] / by Andreas Löhne. por Löhne, Andreas [author.] \| SpringerLink (Online service). Series Vector OptimizationOrigen: 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: HD30.23.
		Verification and Evaluation of Computer and Communication Systems [electronic resource] : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings / edited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez. por Atig, Mohamed Faouzi [editor.] \| Bensalem, Saddek [editor.] \| Bliudze, Simon [editor.] \| Monsuez, Bruno [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11181Edició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) .
		WALCOM: Algorithms and Computation [recurso electrónico] : 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings / edited by Md. Saidur Rahman, Satoshi Fujita. por Rahman, Md. Saidur [editor.] \| Fujita, Satoshi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5942Origen: 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.9 .A43.
		WALCOM: Algorithms and Computation [recurso electrónico] : 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings / edited by Naoki Katoh, Amit Kumar. por Katoh, Naoki [editor.] \| Kumar, Amit [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6552Origen: 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.9 .A43.
		WALCOM: Algorithms and Computation [recurso electrónico] : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29?31, 2016, Proceedings / edited by Mohammad Kaykobad, Rossella Petreschi. por Kaykobad, Mohammad [editor.] \| Petreschi, Rossella [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9627Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		WALCOM: Algorithms and Computation [electronic resource] : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings / edited by M. Sohel Rahman, Wing-Kin Sung, Ryuhei Uehara. por Rahman, M. Sohel [editor.] \| Sung, Wing-Kin [editor.] \| Uehara, Ryuhei [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10755Edició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) .
		WALCOM: Algorithms and Computation [electronic resource] : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings / edited by M. Sohel Rahman, Wing-Kin Sung, Ryuhei Uehara. por Rahman, M. Sohel [editor.] \| Sung, Wing-Kin [editor.] \| Uehara, Ryuhei [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10755Edició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

Tópicos

Títulos

Su búsqueda retornó 591 resultados.