1
Gepubliceerd in 2010
Inhoudsopgave: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2014
Inhoudsopgave: ... Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2008
Inhoudsopgave: ... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2010
Inhoudsopgave: ... of Processes -- A Logic for True Concurrency -- A Theory of Design-by-Contract for Distributed Multiparty...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2011
Inhoudsopgave: ...: Performance Studies of IEEE 802.11 a,b,g Laboratory Links -- 10. Interaction between the Mobile Phone...
Volledige tekst
Elektronisch E-boek