1
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Views on Data Types -- Recursion Schemes for Dynamic Programming -- Bimonadic Semantics for Basic...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2013
İçindekiler: ...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2008
İçindekiler: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs...
Tam Metin Erişim
Elektronik Ekitap