Su búsqueda retornó 18 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias

Resultados
	1.	Finite Model Theory and Its Applications [electronic resource] / by Erich Grdel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein. por Grdel, Erich [author.] Kolaitis, Phokion G [author.] Libkin, Leonid [author.] Marx, Maarten [author.] Spencer, Joel [author.] Vardi, Moshe Y [author.] Venema, Yde [author.] Weinstein, Scott [author.] SpringerLink (Online service) Series Texts in Theoretical Computer Science an EATCS Series \| Texts in Theoretical Computer Science an EATCS Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	2.	Dissemination of Information in Communication Networks [electronic resource] : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by Juraj Hromkovi, Ralf Klasing, Andrzej Pelc, Peter Ruʾika, Walter Unger. por Hromkovi, Juraj [author.] Klasing, Ralf [author.] Pelc, Andrzej [author.] Ruʾika, Peter [author.] Unger, Walter [author.] SpringerLink (Online service) Series Texts in Theoretical Computer Science An EATCS Series \| Texts in Theoretical Computer Science An EATCS Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	3.	Design and Analysis of Randomized Algorithms [electronic resource] : Introduction to Design Paradigms / by Juraj Hromkovi. por Hromkovi, Juraj [author.] SpringerLink (Online service) Series Texts in Theoretical Computer Science An EATCS Series \| Texts in Theoretical Computer Science An EATCS Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	4.	Decision Procedures [electronic resource] : 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 Series \| Texts in Theoretical Computer Science, An Eatcs Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	5.	Graphs and Algorithms in Communication Networks [electronic resource] : 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 Series \| Texts in Theoretical Computer Science. An EATCS Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	6.	Universal Artificial Intellegence [electronic resource] : Sequential Decisions Based on Algorithmic Probability / by Marcus Hutter. por Hutter, Marcus [author.] SpringerLink (Online service) Series Texts in Theoretical Computer Science An EATCS Series \| Texts in Theoretical Computer Science An EATCS Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	7.	Complexity Theory and Cryptology [electronic resource] : An Introduction to Cryptocomplexity / by Jȵrg Rothe. por Rothe, Jȵrg [author.] SpringerLink (Online service) Series Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS) \| Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	8.	Temporal Logic and State Systems [electronic resource] / by Fred Krȵger, Stephan Merz. por Krȵger, Fred [author.] Merz, Stephan [author.] SpringerLink (Online service) Series Texts in Theoretical Computer Science, An EATCS Series \| Texts in Theoretical Computer Science, An EATCS Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	9.	Abstract Computing Machines [electronic resource] : A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa. por Kluge, W [author.] Brauer, W [editor.] Rozenberg, G [editor.] Salomaa, A [editor.] SpringerLink (Online service) Series Texts in Theoretical Computer Science, An EATCS Series \| Texts in Theoretical Computer Science, An EATCS Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	10.	Parameterized Complexity Theory [electronic resource] / by Jȵrg Flum, Martin Grohe. por Flum, Jȵrg [author.] Grohe, Martin [author.] SpringerLink (Online service) Series Texts in Theoretical Computer Science. An EATCS Series \| Texts in Theoretical Computer Science. An EATCS Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	11.	Software Engineering 1 [electronic resource] : Abstraction and Modelling / by Dines Bjȹrner. por Bjȹrner, Dines [author.] SpringerLink (Online service) Series Texts in Theoretical Computer Science an EATCS Series \| Texts in Theoretical Computer Science an EATCS Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	12.	Dissemination of Information in Optical Networks [electronic resource] : From Technology to Algorithms In Cooperation with Ralf Klasing / by Subir Bandyopadhyay. por Bandyopadhyay, Subir [author.] SpringerLink (Online service) Series Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS) \| Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 Otro título: In Cooperation with Ralf Klasing Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	13.	Grammatical Picture Generation [electronic resource] : A Tree-Based Approach / by Frank Drewes. por Drewes, Frank [author.] SpringerLink (Online service) Series Texts in Theoretical Computer Science. An EATCS Series \| Texts in Theoretical Computer Science. An EATCS Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	14.	Software Engineering 2 [electronic resource] : Specification of Systems and Languages / by Dines Bjȹrner. por Bjȹrner, Dines [author.] SpringerLink (Online service) Series Texts in Theoretical Computer Science An EATCS Series \| Texts in Theoretical Computer Science An EATCS Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	15.	A Practical Theory of Reactive Systems [electronic resource] : Incremental Modeling of Dynamic Behaviors / by Reino Kurki-Suonio. por Kurki-Suonio, Reino [author.] SpringerLink (Online service) Series Texts in Theoretical Computer Science An EATCS Series \| Texts in Theoretical Computer Science An EATCS Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	16.	Extremal Combinatorics [electronic resource] : With Applications in Computer Science / by Stasys Jukna. por Jukna, Stasys [author.] SpringerLink (Online service) Series Texts in Theoretical Computer Science. An EATCS Series \| Texts in Theoretical Computer Science. An EATCS Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	17.	Modelling Distributed Systems [electronic resource] / by Wan Fokkink. por Fokkink, Wan [author.] SpringerLink (Online service) Series Texts in Theoretical Computer Science An EATCS Series \| Texts in Theoretical Computer Science An EATCS Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	18.	Exact Exponential Algorithms [electronic resource] / 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 Series \| Texts in Theoretical Computer Science. An EATCS Series Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)