Quantile-Based Reliability Analysis

Menahem Max Schiffer: Selected Papers Volume 1

Heavy-Tailed Time Series

Geometry

Introduction to the Foundations of Applied Mathematics

Dissipative Ordered Fluids : Theories for Liquid Crystals

Sobolev Spaces in Mathematics II : Applications in Analysis and Partial Differential Equations

Lecture Notes on the General Theory of Relativity : From Newton's Attractive Gravity to the Repulsive Gravity of Vacuum Energy

Large Time Asymptotics for Solutions of Nonlinear Partial Differential Equations

The Noether Theorems : Invariance and Conservation Laws in the Twentieth Century

Handbook of Maize : Genetics and Genomics

Combinatorics and Graph Theory

Hidden Markov Models : Estimation and Control

Sunlight, Vitamin D and Skin Cancer

Introduction to Nonparametric Estimation

Hot Topics in Infection and Immunity in Children V

Stopped Random Walks : Limit Theorems and Applications

Competition Policies in Emerging Economies : Lessons and Challenges from Central America and Mexico

Neuroscience in Space

Theory of Stochastic Processes : With Applications to Financial Mathematics and Risk Theory

Embedded Systems Specification and Design Languages : Selected Contributions from FDL'07

Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL'04

Advances in Design and Specification Languages for Embedded Systems : Selected Contributions from FDL'06

Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2014

Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2015

Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2013

Languages for Embedded Systems and their Applications : Selected Contributions on Specification, Design, and Verification from FDL'08

Languages for System Specification : Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL'03

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's : Selected Contributions on Specification, Design, and Verification from FDL 2009

Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005

System Specification & Design Languages : Best of FDL'02

Models, Methods, and Tools for Complex Chip Design : Selected Contributions from FDL 2012

Romance Languages and Linguistic Theory 2010 : Selected papers from 'Going Romance' Leiden 2010

Modeling and Optimization: Theory and Applications : Selected Contributions from the MOPTA 2010 Conference

Medical Retina : ESASO modules 2009 and 2010: Selected contributions.

Surgical Retina : ESASO modules 2009 and 2010: Selected contributions.

System on Chip Design Languages : Extended papers: best of FDL'01 and HDLCon'01

High-Integrity System Specification and Design

High-Level System Modeling : Specification Languages

Romance Linguistics 2010 : Selected papers from the 40th Linguistic Symposium on Romance Languages (LSRL), Seattle, Washington, March 2010