Formal Aspects of Component Software, Fachbücher

Trustworthy Global Computing, Fachbücher

Software Engineering and Formal Methods, Fachbücher

Algorithms for Sensor Systems, Fachbücher

Implementation and Application of Functional Languages, Fachbücher von Ralf Hinze

Logic, Language, and Computation, Fachbücher

Graph Drawing, Fachbücher von Alexander Wolff

Logic-Based Program Synthesis and Transformation, Fachbücher

Combinatorial Optimization, Fachbücher

Integrated Formal Methods, Fachbücher von Elvira Albert

Trends in Functional Programming, Fachbücher

In Memory Data Management and Analysis, Fachbücher

Risks and Security of Internet and Systems, Fachbücher von Javier Lopez, Indrajit Ray

Lightweight Cryptography for Security and Privacy, Fachbücher

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, Fachbücher von Joaquin Garcia-Alfaro

Languages and Compilers for Parallel Computing, Fachbücher