Microcontroller & Embedded System / Er. Geetanjali Chellani
The Classical Period: Nineteenth Century Sociology Auguste Comte (1798-1857) on Women in Positivist Society Harriett Martineau ...
اقرأ المزيد
Modelling and Reasoning with Vague Concepts
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
اقرأ المزيد
Ontologies for Agents: Theory and Experiences
On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number ...
اقرأ المزيد
PRICAI 2006: Trends in Artificial Intelligence
This book constitutes the refereed proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, ...
اقرأ المزيد
Parallel Problem Solving from Nature – PPSN XVI : 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I
This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on ...
اقرأ المزيد
Parallel Problem Solving from Nature – PPSN XVI : 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II
This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on ...
اقرأ المزيد
Practice and Theory of Automated Timetabling V
Thisvolumecontainsaselectionofpapersfromthe5thInternationalConference on the Practice and Theory of Automated Timetabling ...
اقرأ المزيد
Practice and Theory of Automated Timetabling VI
This volume contains a selection of the papers presented at the Sixth Int- national Conference on the Practice and Theory ...
اقرأ المزيدProduct Development within Artificial Intelligence, Ethics and Legal Risk : Exemplary for Safe Autonomous Vehicles
This book synthesizes a supportive developer checklist considering sustainable Team and agile Project Management in the challenge ...
اقرأ المزيد
Pseudomonas syringae Pathovars and Related Pathogens - Identification, Epidemiology and Genomics
This book reports on recent advances on: (1) new methods and approaches for specific and sensitive detection and identification ...
اقرأ المزيد
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
اقرأ المزيد
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
اقرأ المزيد
SAT 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
اقرأ المزيدTablet press machine supervision with scada / Taher Aburomye ; Ammar Akkad ; Maya Husseini ; Mouhamad Nadim ; Mouhanad Soukkar ; Moaz Yabroudi
As technology is advancing and the needs for development in various fields become necessary, the idea of our project is born, ...
اقرأ المزيد
Term Rewriting and Applications
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
اقرأ المزيد
Term Rewriting and Applications (vol. # 3467)
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
اقرأ المزيد
Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
اقرأ المزيد
The Semantic Web: Research and Applications
Coverage includes semantic Web services, ontology learning, inference and mapping, social semantic Web, ontologies, personalization, ...
اقرأ المزيد
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
اقرأ المزيد
What Every Engineer Should Know About Smart Cities / Valdemar Vicente Graciano Neto, Mohamad Kassab
It is not just a theoretical exploration of smart cities. It goes beyond that by providing an in-depth look at the key technologies ...
اقرأ المزيد
