-
21Published 2001Table of Contents: “… in Functional Programs with SLAM -- Verifying Generic Erlang Client-Server Implementations -- The Design…”
Full Text via HEAL-Link
Electronic eBook -
22
-
23Published 1997Table of Contents: “… operations -- The implementation and efficiency of arrays in clean 1.1 -- Implementing the conjugate gradient…”
Full Text via HEAL-Link
Electronic eBook -
24
-
25
-
26Published 2019Table of Contents: “… and Pilot Sites -- Chapter 15. DC Microgrids -- Chapter 16. Design and Implementation of Rural Microgrids…”
Full Text via HEAL-Link
Electronic eBook -
27Published 2018Table of Contents: “…State complexity of automata -- Implementations of automata and experiments -- Enhanced regular…”
Full Text via HEAL-Link
Electronic eBook -
28Published 2008Table of Contents: “… Implementation of Compressed Pattern Matching Automata -- Composed Bisimulation for Tree Automata -- Hyper…”
Full Text via HEAL-Link
Electronic eBook -
29
-
30
-
31
-
32Published 2006Table of Contents: “… Automata and Unary Languages -- Structurally Unambiguous Finite Automata -- Symbolic Implementation…”
Full Text via HEAL-Link
Electronic eBook -
33
-
34Published 2009Table of Contents: “…Invited Lectures -- Implementation and Application of Automata in String Processing -- Applications…”
Full Text via HEAL-Link
Electronic eBook -
35by Dameri, Renata PaolaTable of Contents: “… Performance -- ICT in Smart Mobility -- Smart City and Digital City Implementation: two Best Practices…”
Published 2017
Full Text via HEAL-Link
Electronic eBook -
36Published 2017Table of Contents: “…State complexity of automata -- Implementations of automata and experiments -- Enhanced regular…”
Full Text via HEAL-Link
Electronic eBook -
37Published 2019Table of Contents: “… They Are Bound -- Enumerated Automata Implementation of String Dictionaries -- New Approaches for Context…”
Full Text via HEAL-Link
Electronic eBook -
38
-
39Published 2005Table of Contents: “…Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object…”
Full Text via HEAL-Link
Electronic eBook -
40Published 2005Table of Contents: “… -- On the Complexity of Hopcroft’s State Minimization Algorithm -- Implementation of Catalytic P Systems -- Code…”
Full Text via HEAL-Link
Electronic eBook