Su búsqueda retornó 16 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias
1.
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).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

2.
Universal Artificial Intellegence [electronic resource] : Sequential Decisions Based on Algorithmic Probability / by Marcus Hutter.

por Hutter, Marcus [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

3.
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).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

4.
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).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

5.
Design and Analysis of Randomized Algorithms [electronic resource] : Introduction to Design Paradigms / by Juraj Hromkovi.

por Hromkovi, Juraj [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

6.
Parameterized Complexity Theory [electronic resource] / by Jȵrg Flum, Martin Grohe.

por Flum, Jȵrg [author.] | Grohe, Martin [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

7.
Software Engineering 1 [electronic resource] : Abstraction and Modelling / by Dines Bjȹrner.

por Bjȹrner, Dines [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

8.
Grammatical Picture Generation [electronic resource] : A Tree-Based Approach / by Frank Drewes.

por Drewes, Frank [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

9.
Software Engineering 2 [electronic resource] : Specification of Systems and Languages / by Dines Bjȹrner.

por Bjȹrner, Dines [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

10.
Temporal Logic and State Systems [electronic resource] / by Fred Krȵger, Stephan Merz.

por Krȵger, Fred [author.] | Merz, Stephan [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

11.
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).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

12.
Modelling Distributed Systems [electronic resource] / by Wan Fokkink.

por Fokkink, Wan [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

13.
Decision Procedures [electronic resource] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman.

por Kroening, Daniel [author.] | Strichman, Ofer [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

14.
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).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

15.
Exact Exponential Algorithms [electronic resource] / by Fedor V. Fomin, Dieter Kratsch.

por Fomin, Fedor V [author.] | Kratsch, Dieter [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

16.
Extremal Combinatorics [electronic resource] : With Applications in Computer Science / by Stasys Jukna.

por Jukna, Stasys [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :