Runtime Verification, Fachbücher

Computational Logistics, Fachbücher

Collaboration and Technology, Fachbücher

Business Process Management, Fachbücher

Euro-Par 2015: Parallel Processing, Fachbücher

Cryptographic Hardware and Embedded Systems - CHES 2007, Fachbücher von Ingrid Verbauwhede

Verified Software: Theories, Tools and Experiments, Fachbücher

Ad-Hoc, Mobile, and Wireless Networks, Fachbücher

Interactive Theorem Proving, Fachbücher

Advances in Swarm and Computational Intelligence, Fachbücher von Swagatam Das, Ying Tan

Pattern Recognition and Machine Intelligence, Fachbücher von Sankar K. Pal

Combinatorics on Words, Fachbücher

Interactive Theorem Proving, Fachbücher von Ruben Gamboa

Computer Aided Verification, Fachbücher

Internet and Distributed Computing Systems, Fachbücher

Information Security, Fachbücher von Chris J. Mitchell