Your search returned 86 results.

Sort
Results
21.
22.
23.
Theoretical Introduction to Programming [electronic resource] / by Bruce Mills. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.6 M55 2006.

24.
Transactions on Computational Science I [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan. by Series: Lecture Notes in Computer Science ; 4750
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q183.9 G38 2008.

25.
26.
Modelling Distributed Systems [electronic resource] / by Wan Fokkink. by Series: Texts in Theoretical Computer Science An EATCS Series
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 F65 2007.

27.
Encyclopedia of Algorithms [electronic resource] / edited by Ming-Yang Kao. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.58 K36 2008.

28.
29.
30.
31.
Logics of Specification Languages [electronic resource] / edited by Dines Bjørner, Martin C. Henson. by Series: Monographs in Theoretical Computer Science, An EATCS Series
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.7 B56 2008.

32.
33.
34.
Event-Triggered and Time-Triggered Control Paradigms [electronic resource] / by Roman Obermaisser. by Series: Real-Time Systems Series, Event-Triggered and Time-Triggered Control Paradigms ; 22
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science + Business Media, Inc., 2005
In: Springer e-books
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ217.7 O24 2005.

35.
36.
37.
38.
39.
Computation Engineering [electronic resource] : Applied Automata Theory and Logic / by Ganesh Gopalakrishnan. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.M35 G67 2005.

40.
Pages

Powered by Koha