The Classical Period: Nineteenth Century Sociology Auguste Comte (1798-1857) on Women in Positivist Society Harriett Martineau ...
Lee mas
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
Lee mas
On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number ...
Lee mas
This book constitutes the refereed proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, ...
Lee mas
This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on ...
Lee mas
This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on ...
Lee mas
Thisvolumecontainsaselectionofpapersfromthe5thInternationalConference on the Practice and Theory of Automated Timetabling ...
Lee mas
This volume contains a selection of the papers presented at the Sixth Int- national Conference on the Practice and Theory ...
Lee masThis book synthesizes a supportive developer checklist considering sustainable Team and agile Project Management in the challenge ...
Lee mas
This book reports on recent advances on: (1) new methods and approaches for specific and sensitive detection and identification ...
Lee mas
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
Lee mas
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lee mas
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Lee masAs technology is advancing and the needs for development in various fields become necessary, the idea of our project is born, ...
Lee mas
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Lee mas
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Lee mas
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
Lee mas
Coverage includes semantic Web services, ontology learning, inference and mapping, social semantic Web, ontologies, personalization, ...
Lee mas
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lee mas
It is not just a theoretical exploration of smart cities. It goes beyond that by providing an in-depth look at the key technologies ...
Lee mas