Computational Complexity of SAT, XSAT and NAE-SAT

For linear and mixed Horn CNF formulas

- ISBN: 978-3-8381-2366-0

Integration of time-dependent features within 3D city model

A 4D City Environment

- ISBN: 978-3-8381-2298-4

Distortions to Agricultural Markets

Trends and Fluctuations, 1955-2010

- ISBN: 978-3-8381-3435-2

Slope stability along active and passive continental margins

- ISBN: 978-3-8381-5063-5

Studies on lentiviral-mediated transgenesis

- ISBN: 978-3-8381-0579-6

Perturbed or not perturbed?

Structure and dynamics of fluorophore-labelled dsDNA helices probed by NMR-spectroscopy

- ISBN: 978-3-8381-1767-6

Fundamental of Liquid Nano-film Rupture and Nano-bubble Application

- ISBN: 978-620-2-32240-9

Entangled Networks of Semiflexible Polymers

Tube Properties and Mechanical Response

- ISBN: 978-3-8381-1149-0

Computational phylogenetics

Methods for analysing genome-scale data

- ISBN: 978-3-8381-1862-8

Gene Regulation by Numbers

Steady-State and Equilibrium Binding Applied to Gene Regulation Systems

- ISBN: 978-3-8381-3288-4