Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Multicore Software Engineering, Performance, and Tools
This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MUSEPAT 2013, held in Saint Petersburg, Russia, in August 2013. The 9 revised papers were carefully reviewed and selected from 25 submissions. The accepted papers are organized into three main sessions and cover topics such as software engineering for multicore systems; specification, modeling and design; programing models, languages, compiler techniques and development tools; verification, testing, analysis, debugging and performance tuning, security testing; software maintenance and evolution; multicore software issues in scientific computing, embedded and mobile systems; energy-efficient computing as well as experience reports.
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
The Chronicles of Fernão Lopes
Volume II of the first complete English translation of the chronicles of Fernão Lopes chronicles the reign of Fernando I (1367-1383) including Portugal's involvement in the Hundred Years' War, the military conflicts with Castile, the alliances with England, Aragon and Granada, the king's marriage with Leonor Teles, and the dispute over the succession to the Portuguese throne.' Until now, the chronicles of Fernão Lopes (c.1380-c.1460) have only been available in critical editions or in partial translations. Comparable to the works of Froissart in France or López de Ayala in Spain, the chronicles provide a wealth of detail on late fourteenth-century politics, diplomacy, warfare and economic matters, courtly society, queenship and noble women, as well as more mundane concerns such as food, health and the purchasing power of a fluctuating currency. Lopes had a keen eye for detail and a perspective especially attuned to the common people, and his chronicles provide an invaluable source for the history of Western Europe in the later Middle Ages.
Handbook of Digital Twins
Over the last two decades, Digital Twins (DTs) have become the intelligent representation of future development in industrial production and daily life. Consisting of over 50 chapters by more than 100 contributors, this comprehensive handbook explains the concept, architecture, design specification and application scenarios of DTs. As a virtual model of a process, product or service to pair the virtual and physical worlds, DTs allow data analysis and system monitoring by using simulations. The fast-growing technology has been widely studied and developed in recent years. Featured with centralization, integrity and dynamics, it is cost-effective to drive innovation and performance. Many field...
PADTAD 2010
None
The Armenian Church of Famagusta and the Complexity of Cypriot Heritage
This book explores seven centuries of change in Cyprus and the Eastern Mediterranean world through the rise and fall of Famagusta’s medieval Armenian Church. An examination of the complex and its art escorts the reader from the era of the Crusades in Lusignan Cyprus, through the rise and fall of the Venetian, Ottoman and British Empires, to the political stasis of the present day. The Armenian church was a home for displaced villagers during the post-independence era, became a military storage facility post-1974 and eventually fell into abandonment once again. This study represents a pioneering history of the Armenian community in Famagusta and a probing analysis of the art and architecture it left behind. It is also a permanent record of the long-term engagement and commitment of Nanyang Technological University Singapore, the World Monuments Fund, and the Famagusta Municipality to protect this precious site, under extremely challenging circumstances.
The Medical Register
None
Wildlife Review
None
