1
3
Publicat 2006
Taula de continguts: ... Specification for Mediators(Virtual Providers) -- WSMX Process Mediation Based on Choreographies -- An Abstract...
Obtenir text complet
Electrònic eBook
4
Publicat 2006
Taula de continguts: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Obtenir text complet
Electrònic eBook
5
Publicat 2012
Taula de continguts: ...: Architecture and Storage Analysis -- Bifurcating Neurons with Filtered Base Signals -- Basic Analysis...
Obtenir text complet
Electrònic eBook
6
per Iliescu, Ovidiu., Iliescu, Ovidiu.
Publicat 2011
Matèries: ...Java (Computer program language)....
Obtenir text complet
Electrònic eBook