Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
The Chinese Recorder Index
The Chinese Recorder Index is the only complete index and research guide to the Chinese Recorder andissionary Recorder. The core of this monumental work is three separate indexes: p liThe Persons Index includes every individual who is mentioned at least four times over the run of the journal. Index entries for each person are keyed to indicate the location of such biographical information as his or her title, denominational affiliation, dates and locations of service in China, and names of spouse and children, as well as any articles he or she contributed to the Recorder./lip liThe Missions and Organizations Index includes references to mission locations, personnel, finances, converts made, attacks sustained, and other data, and to hospitals, schools, opium refuges, and orphanages./lip liThe Subject Index includes references to the many topics covered in the Recorder./lip Following these indexes are lists that provide quick reference to specific information, such as persons and missions by location, women, and medical doctors.
Formal Methods: Foundations and Applications
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.
Agile Methods
This book constitutes the refereed proceedings of the 11th Brazilian Workshop on Agile Methods, WBMA 2021, which took place online in October 2021. The 6 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 18 submissions. WBMA is the research track in the Agile Brazil conference. It is an academic event that focuses on agile software development.
Programming Languages
This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015. The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.
