๐ฆ Cozy up with autumn reads! Let our AI Librarian pick your perfect fireside book ๐
Explore the literary world of this author
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26โ30, 2018, Proceedings
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in ...
23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25โ27, 2020, Proceedings
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro ...
Emerging Trends from the Perspective of AITeM's Young Researchers
This book presents selected contributions covering various scientific and technological areas by AITeM (Italian Manufacturing Association). The first ...
19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in Nov...
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Braz...
Since its introduction about sixty years ago, stereotactic and functional neurosurgery has evolved into a fascinating and interdisciplinary endeavor t...
Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Environments for Multiagent Systems, E4MAS 2006,...
6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
...
DNA Repair, Volume 45 in The Enzymes series highlights new advances in the field, with this new volume presenting interesting chapters on DNA polymera...
Proceedings of FAIM 2023, June 18โ22, 2023, Porto, Portugal, Volume 1: Modern Manufacturing
This book reports on cutting-edge research and developments in manufacturing, giving a special emphasis to solutions fostering automation and sustaina...
Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, S...
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Lux...
13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Tutoring Systems, ITS 2016, held in Zagreb, Croatia...
Africaโs international relations have often been defined and oriented by the dominant international and geopolitical agendas of the day. In the afte...
19th International Conference, CAIP 2021, Virtual Event, September 28โ30, 2021, Proceedings, Part II
The two volume set LNCS 13052 and 13053 constitutes the refereed proceedings of the 19th International Conference on Computer Analysis of Images and P...
Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The...
19th International Conference, SEFM 2021, Virtual Event, December 6โ10, 2021, Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a v...
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, N...
Selected Papers from ICOTTS20, Volume 2
This book features a collection of high-quality research papers presented at the International Conference on Tourism, Technology & Systems (ICOTTS 202...
17th International Conference, SEFM 2019, Oslo, Norway, September 18โ20, 2019, Proceedings
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Osl...
Virtual Event, January 10โ15, 2021, Proceedings, Part I
This 8-volumes set constitutes the refereed of the 25th International Conference on Pattern Recognition Workshops, ICPR 2020, held virtually in Milan,...
South Africa has the world's largest number of people living with HIV. This book offers a history of AIDS activism in South Africa from its origins in...
Ten Myths about the Jews analyzes the complex facets of anti-Semitism and anti-Judaism in an accessible and easy-to-read format. Based on wide researc...
Before and After Borders
This book explores non-state actors that are or have been migratory, crossing borders as a matter of practice and identity. Where non-state actors hav...
This book covers the latest developments in the understanding and treatment of traumatic brain injury. Various world experts authored the chapters tha...
Social Sciences
The 2021 volume of the benchmark bibliography of Latin American Studies....
Herbert Daniel, Gay Brazilian Revolutionary
Herbert Daniel was a significant and complex figure in Brazilian leftist revolutionary politics and social activism from the mid-1960s until his death...
The book is a new edition of stereo vision book series of INTECH Open Access Publisher and it presents diverse range of ideas and applications highlig...
Technical Applications in Medicine
Biomedical engineering is currently relatively wide scientific area which has been constantly bringing innovations with an objective to support and im...
Volume 3
This book is composed of a selection of articles from The 2021 World Conference on Information Systems and Technologies (WorldCIST'21), held online be...
10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 โ December 3, 2021, Proceedings, Part I
The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in Sรฃo...
The Eleventh International Conference on Technological Ecosystems for Enhancing Multiculturality
19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3โ6, 2019, Proceedings, Part II
This book constitutes the refereed proceedings of the 19th EPIA Conference on Artificial Intelligence, EPIA 2019, held in Funchal, Madeira, Portugal, ...
Proceedings of MICRADS 2021
This book gathers the proceedings of the Multidisciplinary International Conference of Research Applied to Defense and Security (MICRADS 2021), held a...
This Research Topic is part of the โMethods in Immunologyโ series. Please submit your article to the Research Topic that best suits the focus of y...
International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011. Proceedings, Part III
This three-volume-set (CCIS 219, CCIS 220, and CCIS 221) constitutes the refereed proceedings of the International Conference on ENTERprise Informatio...