1
Baskı/Yayın Bilgisi 2006
İçindekiler: ... a Restricted Form of Universal Quantification -- Modeling the Evolution of Objects in Temporal...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2005
İçindekiler: ...Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams -- Gray, Binary...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2007
İçindekiler: ...Workflow Tools -- Programming Paradigms for Scientific Problem Solving Environments -- Why...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2008
İçindekiler: ... for Ecological Inventory & Monitoring Programs -- Visualization and Interactive Exploration of Large...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2010
İçindekiler: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2008
İçindekiler: ... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...
Tam Metin Erişim
Elektronik Ekitap
9
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Manufacturing Systems -- Collaborative Networks In Industry - Trends And Foundations -- Session 1 Advanced...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2006
İçindekiler: ... -- Detecting and Repairing Anomalous Evolutions in Noisy Environments: Logic Programming Formalization...
Tam Metin Erişim
Elektronik Ekitap