This book draws parallels with the settlement of terrestrial frontiers to investigate how new space propulsion techniques ...
Lire la suiteSoftware-Defined Network (SDN) is considered a breakthrough to the global network. It plays an important role in performance ...
Lire la suite
A comprehensive guide to the use of local anaesthesia in dentistry that will meet the needs of both students and dental practitioners. ...
Lire la suite
Local Newforms for GSp(4) describes a theory of new- and oldforms for representations of GSp(4) over a non-archimedean local ...
Lire la suite
Introduction The dramatic increase in available computer storage capacity over the last 10 years has led to the creation ...
Lire la suite
Once again KAM theory is committed in the context of nearly integrable Hamiltonian systems. While elliptic and hyperbolic ...
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
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 remote mountain loch of Lochnagar is one of the most studied freshwater bodies in Europe. This book brings together knowledge ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
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
Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones ...
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
In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator ...
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
This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial ...
Lire la suite