Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Lee mas
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lee mas
Mediation in Collective Labor Conflicts
This book opens up the black box of mediation in collective conflicts through the analyses and comparisons of various systems. ...
Lee mas
Modeling and Retrieval of Context
Computing in context has become a necessity in modern and intelligent IT - plications. With the use of mobile devices and ...
Lee mas
Motion-Free Super-Resolution
With the explosion of Internet technology and graphics engines, digital images are now everywhere. Image capturing tools ...
Lee mas
Multimodal Technologies for Perception of Humans
This book constitutes the thoroughly refereed post-proceedings of the First International CLEAR 2006 Evaluation Campaign ...
Lee mas
Multiscale Modeling
The book is aimed at statisticians, applied mathematicians, and engineers working on problems dealing with multiscale processes ...
Lee mas
Nanoinformatics
This open access book brings out the state of the art on how informatics-based tools are used and expected to be used in ...
Lee mas
Nanoscale Photonic Imaging
This book, edited and authored by a team of world-leading researchers, provides a broad overview of advanced photonic methods ...
Lee mas
National Security Exceptions in International Trade and Investment Agreements
provides a comprehensive analysis of national security exceptions in international trade and investment agreements. The subject ...
Lee mas
Natural Language Processing and Information Systems
NLP techniques may substantially enhance most phases of the information system lifecycle, starting with requirement analysis, ...
Lee mas
Negotiations with Asymmetrical Distribution of Power
In many ways, complex negotiations shape the business arena of regulated network markets. In general, negotiating partners ...
Lee mas
New Voices and New Perspectives in International Economic Law
brings together a series of contributions by international legal scholars that explore a range of subjects and themes in ...
Lee mas
Nonlinear Smoothing and Multiresolution Analysis
This monograph presents a new theory for analysis, comparison and design of nonlinear smoothers, linking to established practices. ...
Lee mas
Nordic Mediation Research
This open access book presents twelve unique studies on mediation from researchers in Denmark, Finland, Norway and Sweden, ...
Lee mas
Novel Optical Resolution Technologies
After theend ofthe 20th century, the science ofcrystallizationreached a truly exciting stage where new opportunities emerged ...
Lee mas
Perspectives of Systems Informatics
This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...
Lee mas
Pervasive Computing : 6th International Conference, Pervasive 2008 Sydney, Australia, May 19-22, 2008 Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Pervasive Computing, PERVASIVE 2008, ...
Lee mas
Procedures in International Law
Containing a synopsis of national bases of jurisdication (one of the first of its kind) international law is presented here ...
Lee mas
Programming for Peace
In this book, these methods are presented, further developed, and applied in relation to the main issue: the resolution and ...
Lee mas
