Su búsqueda retornó 13 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias
1.
Fundamentals of Algebraic Graph Transformation [electronic resource] / by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer.

por Ehrig, Hartmut [author.] | Ehrig, Karsten [author.] | Prange, Ulrike [author.] | Taentzer, Gabriele [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 :

2.
Theoretical Aspects of Local Search [electronic resource] / by Wil Michiels, Jan Korst, Emile Aarts.

por Michiels, Wil [author.] | Korst, Jan [author.] | Aarts, Emile [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 :

3.
Time-Dependent Scheduling [electronic resource] / by Stanisaw Gawiejnowicz.

por Gawiejnowicz, Stanisaw [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 :

4.
Logics of Specification Languages [electronic resource] / edited by Dines Bjȹrner, Martin C. Henson.

por Bjȹrner, Dines [editor.] | Henson, Martin C [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, 2008Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

5.
Unfoldings [electronic resource] : A Partial-Order Approach to Model Checking / by Javier Esparza, Keijo Heljanko.

por Esparza, Javier [author.] | Heljanko, Keijo [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 :

6.
Handbook of Weighted Automata [electronic resource] / edited by Manfred Droste, Werner Kuich, Heiko Vogler.

por Droste, Manfred [editor.] | Kuich, Werner [editor.] | Vogler, Heiko [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, 2009Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

7.
Stochastic Coalgebraic Logic [electronic resource] / by Ernst-Erich Doberkat.

por Doberkat, Ernst-Erich [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, 2009Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

8.
Theoretical Aspects of Distributed Computing in Sensor Networks [electronic resource] / edited by Sotiris Nikoletseas, JosȨ D.P. Rolim.

por Nikoletseas, Sotiris [editor.] | Rolim, JosȨ D.P [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, 2011Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

9.
Deterministic Extraction from Weak Random Sources [electronic resource] / by Ariel Gabizon.

por Gabizon, Ariel [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, 2011Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

10.
Fault-Tolerant Search Algorithms [electronic resource] : Reliable Computation with Unreliable Information / by Ferdinando Cicalese.

por Cicalese, Ferdinando [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, 2013Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

11.
Patterns in Permutations and Words [electronic resource] / by Sergey Kitaev.

por Kitaev, Sergey [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 :

12.
Foundations of Algebraic Specification and Formal Software Development [electronic resource] / by Donald Sannella, Andrzej Tarlecki.

por Sannella, Donald [author.] | Tarlecki, Andrzej [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, 2012Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :

13.
Modeling Time in Computing [electronic resource] / by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi.

por Furia, Carlo A [author.] | Mandrioli, Dino [author.] | Morzenti, Angelo [author.] | Rossi, Matteo [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, 2012Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :