Your search returned 13 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Fundamentals of Algebraic Graph Transformation [electronic resource] / by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer. by Series: Monographs in Theoretical Computer Science. An EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
2.
Theoretical Aspects of Local Search [electronic resource] / by Wil Michiels, Jan Korst, Emile Aarts. by Series: Monographs in Theoretical Computer Science, An EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
3.
Time-Dependent Scheduling [electronic resource] / by Stanisław Gawiejnowicz. by Series: Monographs in Theoretical Computer Science, An EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
4.
Logics of Specification Languages [electronic resource] / edited by Dines Bjørner, Martin C. Henson. by Series: Monographs in Theoretical Computer Science, An EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
5.
Unfoldings [electronic resource] : A Partial-Order Approach to Model Checking / by Javier Esparza, Keijo Heljanko. by Series: Monographs in Theoretical Computer Science An EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
6.
Handbook of Weighted Automata [electronic resource] / edited by Manfred Droste, Werner Kuich, Heiko Vogler. by Series: Monographs in Theoretical Computer Science. An EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
7.
Stochastic Coalgebraic Logic [electronic resource] / by Ernst-Erich Doberkat. by Series: Monographs in Theoretical Computer Science. An EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
8.
Theoretical Aspects of Distributed Computing in Sensor Networks [electronic resource] / edited by Sotiris Nikoletseas, José D.P. Rolim. by Series: Monographs in Theoretical Computer Science. An EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
9.
Deterministic Extraction from Weak Random Sources [electronic resource] / by Ariel Gabizon. by Series: Monographs in Theoretical Computer Science. An EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
10.
Fault-Tolerant Search Algorithms [electronic resource] : Reliable Computation with Unreliable Information / by Ferdinando Cicalese. by Series: Monographs in Theoretical Computer Science. An EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
11.
Patterns in Permutations and Words [electronic resource] / by Sergey Kitaev. by Series: Monographs in Theoretical Computer Science. An EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
12.
Foundations of Algebraic Specification and Formal Software Development [electronic resource] / by Donald Sannella, Andrzej Tarlecki. by Series: Monographs in Theoretical Computer Science. An EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
13.
Modeling Time in Computing [electronic resource] / by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi. by Series: Monographs in Theoretical Computer Science. An EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
Pages

Maintained by VTU Library