Includes supplementary material: sn.pub/extras
Branislav Rovan
Algorithms Distributed Processing Electronic Commerce Media Server Parallel Systems Routing Signatur Software Engineering architecture automated theorem proving distributed systems programming security software architecture theorem proving