Electronic Books

Total Books: 3161 - 3180 /4271

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...

This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...

This volume contains the papers presented at the 27th European Symposium on Pro-gramming (ESOP 2018) held 2018, in Thessaloniki, ...

It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

This book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...

This book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...

The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...

This paper is focussed on a principled way to combine the two dominant paradigms for building multiagent team plans, namely ...

This book constitutes the thoroughly refereed postproceedings of the Third International Workshop on Programming Multi-Agent ...

The aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to ...

This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on Programming Multi-Agent ...

This book constitutes the refereed proceedings of the 20th EPIA Conference on Artificial Intelligence, EPIA 2021, held virtually ...

With this edition, EPIA, the Portuguese Conference on Arti?cial Intelligence, celebrates its 20th anniversary.Like all its ...

This book constitutes the refereed proceedings of the 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, held ...

With one volume each year, this series keeps scientists and advanced students informed of the latest developments and results ...

Includes reviews on genetics, cell biology, physiology, comparative morphology, systematics, ecology, and vegetation science.

With one volume published each year, this series keeps scientists and students current with the latest developments and results ...

With one volume each year, this series keeps scientists and advanced students informed of the latest developments and results ...

Total Books: 3161 - 3180 /4271