Su búsqueda retornó 63 resultados.

Resultados
		Advances in Combinatorial Mathematics [recurso electrónico] : Proceedings of the Waterloo Workshop in Computer Algebra 2008 / edited by Ilias S. Kotsireas, Eugene V. Zima. por Kotsireas, Ilias S [editor.] \| Zima, Eugene V [editor.] \| SpringerLink (Online service). 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA164 -167.2.
		Algebra and Coalgebra in Computer Science [recurso electrónico] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea. por Corradini, Andrea [editor.] \| Klin, Bartek [editor.] \| Cîrstea, Corina [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6859Origen: 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 .L63.
		Algebraic Foundations in Computer Science [recurso electrónico] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis. por Kuich, Werner [editor.] \| Rahonis, George [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7020Origen: 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 .L63.
		Algebraic Informatics [recurso electrónico] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings / edited by Franz Winkler. por Winkler, Franz [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6742Origen: 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 .L63.
		Algorithmic Number Theory [recurso electrónico] : 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings / edited by Guillaume Hanrot, François Morain, Emmanuel Thomé. por Hanrot, Guillaume [editor.] \| Morain, François [editor.] \| Thomé, Emmanuel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6197Origen: 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.
		Algorithms and Complexity [electronic resource] : 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings / edited by Marios Mavronicolas. por Mavronicolas, Marios [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13898Edició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) .
		Algorithms and Data Structures [electronic resource] : 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings / edited by Pat Morin, Subhash Suri. por Morin, Pat [editor.] \| Suri, Subhash [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14079Edició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) .
		Approximate Commutative Algebra [recurso electrónico] / edited by Lorenzo Robbiano, John Abbott. por Robbiano, Lorenzo [editor.] \| Abbott, John [editor.] \| SpringerLink (Online service). Series Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, AustriaOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Vienna : Springer Vienna, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA564 -609.
		Approximation and Online Algorithms [electronic resource] : 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings / edited by Jarosław Byrka, Andreas Wiese. por Byrka, Jarosław [editor.] \| Wiese, Andreas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14297Edició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) .
		Arithmetic of Finite Fields [recurso electrónico] : Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings / edited by M. Anwar Hasan, Tor Helleseth. por Hasan, M. Anwar [editor.] \| Helleseth, Tor [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6087Origen: 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 .M35.
		Arithmetic of Finite Fields [recurso electrónico] : 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers / edited by Sylvain Duquesne, Svetla Petkova-Nikova. por Duquesne, Sylvain [editor.] \| Petkova-Nikova, Svetla [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10064Origen: 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) .
		Arithmetic of Finite Fields [electronic resource] : 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers / edited by Lilya Budaghyan, Francisco Rodríguez-Henríquez. por Budaghyan, Lilya [editor.] \| Rodríguez-Henríquez, Francisco [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11321Edició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) .
		Arithmetic of Finite Fields [electronic resource] : 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers / edited by Lilya Budaghyan, Francisco Rodríguez-Henríquez. por Budaghyan, Lilya [editor.] \| Rodríguez-Henríquez, Francisco [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11321Edició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) .
		Arithmetic of Finite Fields [electronic resource] : 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers / edited by Sihem Mesnager, Zhengchun Zhou. por Mesnager, Sihem [editor.] \| Zhou, Zhengchun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13638Edició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) .
		Automated Deduction in Geometry [recurso electrónico] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert. por Schreck, Pascal [editor.] \| Narboux, Julien [editor.] \| Richter-Gebert, Jürgen [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6877Origen: 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.
		Certified Programs and Proofs [recurso electrónico] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao. por Jouannaud, Jean-Pierre [editor.] \| Shao, Zhong [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7086Origen: 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 .L63.
		Combinatorial Algorithms [recurso electrónico] : 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers / edited by Costas S. Iliopoulos, William F. Smyth. por Iliopoulos, Costas S [editor.] \| Smyth, William F [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6460Origen: 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 .M35B.
		Combinatorial Algorithms [recurso electrónico] : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers / edited by Costas S. Iliopoulos, William F. Smyth. por Iliopoulos, Costas S [editor.] \| Smyth, William F [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7056Origen: 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 .M35B.
		Combinatorial Optimization and Applications [recurso electrónico] : 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I / edited by Weili Wu, Ovidiu Daescu. por Wu, Weili [editor.] \| Daescu, Ovidiu [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6508Origen: 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.
		Combinatorial Optimization and Applications [recurso electrónico] : 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part II / edited by Weili Wu, Ovidiu Daescu. por Wu, Weili [editor.] \| Daescu, Ovidiu [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6509Origen: 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.

		Advances in Combinatorial Mathematics [recurso electrónico] : Proceedings of the Waterloo Workshop in Computer Algebra 2008 / edited by Ilias S. Kotsireas, Eugene V. Zima. por Kotsireas, Ilias S [editor.] \| Zima, Eugene V [editor.] \| SpringerLink (Online service). 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA164 -167.2.
		Algebra and Coalgebra in Computer Science [recurso electrónico] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea. por Corradini, Andrea [editor.] \| Klin, Bartek [editor.] \| Cîrstea, Corina [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6859Origen: 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 .L63.
		Algebraic Foundations in Computer Science [recurso electrónico] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis. por Kuich, Werner [editor.] \| Rahonis, George [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7020Origen: 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 .L63.
		Algebraic Informatics [recurso electrónico] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings / edited by Franz Winkler. por Winkler, Franz [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6742Origen: 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 .L63.
		Algorithmic Number Theory [recurso electrónico] : 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings / edited by Guillaume Hanrot, François Morain, Emmanuel Thomé. por Hanrot, Guillaume [editor.] \| Morain, François [editor.] \| Thomé, Emmanuel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6197Origen: 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.
		Algorithms and Complexity [electronic resource] : 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings / edited by Marios Mavronicolas. por Mavronicolas, Marios [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13898Edició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) .
		Algorithms and Data Structures [electronic resource] : 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings / edited by Pat Morin, Subhash Suri. por Morin, Pat [editor.] \| Suri, Subhash [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14079Edició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) .
		Approximate Commutative Algebra [recurso electrónico] / edited by Lorenzo Robbiano, John Abbott. por Robbiano, Lorenzo [editor.] \| Abbott, John [editor.] \| SpringerLink (Online service). Series Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, AustriaOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Vienna : Springer Vienna, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA564 -609.
		Approximation and Online Algorithms [electronic resource] : 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings / edited by Jarosław Byrka, Andreas Wiese. por Byrka, Jarosław [editor.] \| Wiese, Andreas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14297Edició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) .
		Arithmetic of Finite Fields [recurso electrónico] : Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings / edited by M. Anwar Hasan, Tor Helleseth. por Hasan, M. Anwar [editor.] \| Helleseth, Tor [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6087Origen: 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 .M35.
		Arithmetic of Finite Fields [recurso electrónico] : 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers / edited by Sylvain Duquesne, Svetla Petkova-Nikova. por Duquesne, Sylvain [editor.] \| Petkova-Nikova, Svetla [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10064Origen: 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) .
		Arithmetic of Finite Fields [electronic resource] : 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers / edited by Lilya Budaghyan, Francisco Rodríguez-Henríquez. por Budaghyan, Lilya [editor.] \| Rodríguez-Henríquez, Francisco [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11321Edició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) .
		Arithmetic of Finite Fields [electronic resource] : 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers / edited by Lilya Budaghyan, Francisco Rodríguez-Henríquez. por Budaghyan, Lilya [editor.] \| Rodríguez-Henríquez, Francisco [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11321Edició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) .
		Arithmetic of Finite Fields [electronic resource] : 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers / edited by Sihem Mesnager, Zhengchun Zhou. por Mesnager, Sihem [editor.] \| Zhou, Zhengchun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13638Edició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) .
		Automated Deduction in Geometry [recurso electrónico] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert. por Schreck, Pascal [editor.] \| Narboux, Julien [editor.] \| Richter-Gebert, Jürgen [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6877Origen: 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.
		Certified Programs and Proofs [recurso electrónico] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao. por Jouannaud, Jean-Pierre [editor.] \| Shao, Zhong [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7086Origen: 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 .L63.
		Combinatorial Algorithms [recurso electrónico] : 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers / edited by Costas S. Iliopoulos, William F. Smyth. por Iliopoulos, Costas S [editor.] \| Smyth, William F [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6460Origen: 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 .M35B.
		Combinatorial Algorithms [recurso electrónico] : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers / edited by Costas S. Iliopoulos, William F. Smyth. por Iliopoulos, Costas S [editor.] \| Smyth, William F [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7056Origen: 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 .M35B.
		Combinatorial Optimization and Applications [recurso electrónico] : 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I / edited by Weili Wu, Ovidiu Daescu. por Wu, Weili [editor.] \| Daescu, Ovidiu [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6508Origen: 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.
		Combinatorial Optimization and Applications [recurso electrónico] : 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part II / edited by Weili Wu, Ovidiu Daescu. por Wu, Weili [editor.] \| Daescu, Ovidiu [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6509Origen: 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.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Series

Tópicos

Su búsqueda retornó 63 resultados.