Account
Orders
Advanced search
This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic...
A new high-level book for professionals from Atlantis Press providing an overview of nanotechnologies now and their applications in a broad variety of fields, including information and communication technologies, environmental sciences and engineering, societal life,...
The book presents surveys describing recent developments in most of the primary subfields of General Topology, and its applications to Algebra and Analysis during the last decade, following the previous editions (North Holland, 1992 and 2002).The book was prepared in...
The book is devoted to rigorous derivation of macroscopic mathematical models as a homogenization of exact mathematical models at the microscopic level.The idea is quite natural: one first must describe the joint motion of the elastic skeleton and the fluid in pores at...
Data compression is mandatory to manage massive datasets, indexing is fundamental to query them. However, their goals appear as counterposed: the former aims at minimizing data redundancies, whereas the latter augments the dataset with auxiliary information to speed up...
This book is a mathematically rigorous introduction to the beautiful subject of ordinary differential equations for beginning graduate or advanced undergraduate students. Students should have a solid background in analysis and linear algebra. The presentation emphasizes...
This book presents recent developments is the field of human aspects in Ambient Intelligence.This field, and the associated workshop series, addresses multidisciplinary aspects of AmI with human-directed disciplines such as psychology, social science, neuroscience and...
This monograph treats normally hyperbolic invariant manifolds, with a focus on noncompactness. These objects generalize hyperbolic fixed points and are ubiquitous in dynamical systems.First, normally hyperbolic invariant manifolds and their relation to hyperbolic fixed...
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two...
System on chips designs have evolved from fairly simple unicore, single memory designs to complex heterogeneous multicore SoC architectures consisting of a large number of IP blocks on the same silicon. To meet high computational demands posed by latest consumer...
Industrial engineering is a branch of engineering dealing with the optimization of complex processes or systems. It is concerned with the development, improvement, implementation and evaluation of production and service systems. Computational Intelligence Systems find a...
This is an open access book. The 10th annual session of the China Disaster Defense Association was held in the beautiful metropolis-Tianjin in September 2022.This annual session was hosted by China Civil Aviation University. The theme of this annual meeting is:...
Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.
PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)
DRM Adobe LCP
LCP DRM Adobe
Sign up to get our latest ebook recommendations and special offers