Electronic Books

Total Books: 61 - 74 /74

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 ...

Total Books: 61 - 74 /74