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 ...
Lee mas
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 ...
Lee mas
Practice and Theory of Automated Timetabling V
Thisvolumecontainsaselectionofpapersfromthe5thInternationalConference on the Practice and Theory of Automated Timetabling ...
Lee mas
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 ...
Lee masProduct 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 ...
Lee mas
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
Lee mas
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lee mas
SAT 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Lee mas
Term Rewriting and Applications
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Lee mas
Term Rewriting and Applications (vol. # 3467)
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Lee mas
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 ...
Lee mas
The Semantic Web: Research and Applications
Coverage includes semantic Web services, ontology learning, inference and mapping, social semantic Web, ontologies, personalization, ...
Lee mas
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lee mas
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 ...
Lee mas
