Su búsqueda retornó 5 resultados.

Resultados
		Decision Procedures [recurso electrónico] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman. por Kroening, Daniel [author.] \| Strichman, Ofer [author.] \| SpringerLink (Online service). Series Texts in Theoretical Computer Science. An EATCS SeriesEdición: 2nd 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) .
		Exact Exponential Algorithms [recurso electrónico] / by Fedor V. Fomin, Dieter Kratsch. por Fomin, Fedor V [author.] \| Kratsch, Dieter [author.] \| SpringerLink (Online service). Series Texts in Theoretical Computer Science. An EATCS SeriesOrigen: 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.
		Extremal Combinatorics [recurso electrónico] : With Applications in Computer Science / by Stasys Jukna. por Jukna, Stasys [author.] \| SpringerLink (Online service). Series Texts in Theoretical Computer Science. An EATCS SeriesOrigen: 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: QA75.5 -76.95.
		Graphs and Algorithms in Communication Networks [recurso electrónico] : Studies in Broadband, Optical, Wireless and Ad Hoc Networks / edited by Arie Koster, Xavier Muñoz. por Koster, Arie [editor.] \| Muñoz, Xavier [editor.] \| SpringerLink (Online service). Series Texts in Theoretical Computer Science. An EATCS SeriesOrigen: 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.
		An Introduction to Online Computation [recurso electrónico] : Determinism, Randomization, Advice / by Dennis Komm. por Komm, Dennis [author.] \| SpringerLink (Online service). Series Texts in Theoretical Computer Science. An EATCS SeriesOrigen: 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) .

Con tecnología Koha