Once again KAM theory is committed in the context of nearly integrable Hamiltonian systems. While elliptic and hyperbolic ...
Lire la suite
Provides complete instructions for the safe and effective administration of local anesthesia. Written by noted dental hygiene ...
Lire la suite
Some ferromagnetic materials with localized magnetic moments have become a hot topic in modern solid-state physics because ...
Lire la suite
This book provides for the first time a general overview of research activities related to location and map-based services. ...
Lire la suite
Although modern location theory is now more than 90 years old, the focus of researchers in this area has been mainly problem ...
Lire la suite
this book would guide the siting of facilities, the book also shows the use of statistical tools for forecasting and analyzing ...
Lire la suite
These proceedings contain the papers presented at the 3rd International S- posium on Location- and Context-Awareness in September ...
Lire la suite
Context-awareness is one of the drivers of the ubiquitous computing paradigm. Well-designed context modeling and context ...
Lire la suite
nd These proceedings contain the papers presented at the 2 International Workshop on Location- and Context-Awareness in May ...
Lire la suite
The last decade has witnessed a dramatic change in attitude towards foreign direct investment (FDI) and a significant increase ...
Lire la suite
In development scenarios where things can't be run in a debugger, or when you run the risk of masking the problem, logs ...
Lire la suite
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
Lire la suite
The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium ...
Lire la suite
This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...
Lire la suite
This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...
Lire la suite
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Lire la suite
Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming ...
Lire la suite
This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...
Lire la suite
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Lire la suite