The Classical Period: Nineteenth Century Sociology Auguste Comte (1798-1857) on Women in Positivist Society Harriett Martineau ...
Lee masThis volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
Lee masOn the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number ...
Lee masThis book constitutes the refereed proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, ...
Lee masThis two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on ...
Lee masThis two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on ...
Lee masThisvolumecontainsaselectionofpapersfromthe5thInternationalConference on the Practice and Theory of Automated Timetabling ...
Lee masThis 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 masThis book reports on recent advances on: (1) new methods and approaches for specific and sensitive detection and identification ...
Lee masThis book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
Lee masRuntime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lee masThis 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 masThis volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Lee masThis volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Lee masThis book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
Lee masCoverage includes semantic Web services, ontology learning, inference and mapping, social semantic Web, ontologies, personalization, ...
Lee masThis volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lee masIt 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