1
Vydáno 2006
Obsah: ... Views on Data Types -- Recursion Schemes for Dynamic Programming -- Bimonadic Semantics for Basic...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2013
Obsah: ...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2008
Obsah: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2005
Obsah: ... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2010
Obsah: ... Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání