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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
