1
Baskı/Yayın Bilgisi 2015
İçindekiler: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2010
İçindekiler: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2007
İçindekiler: ... on a Massively Parallel Embedded Processor -- Stream Image Processing on a Dual-Core Embedded System...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2014
İçindekiler: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2013
İçindekiler: ... Market Trading Strategies Optimized with Evolutionary Methods -- Combining Technical Analysis...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2005
İçindekiler: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Tam Metin Erişim
Elektronik Ekitap