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.
Heroines and Local Girls
Over the course of the long eighteenth century, a network of some fifty women writers, working in French, English, Dutch, and German, staked out a lasting position in the European literary field. These writers were multilingual and lived for many years outside of their countries of origin, translated and borrowed from each others' works, attended literary circles and salons, and fashioned a transnational women's literature characterized by highly recognizable codes. Drawing on a literary geography of national types, women writers across Western Europe read, translated, wrote, and rewrote stories about exceptional young women, literary heroines who transcend the gendered destiny of their dist...
Batavia-Jakarta, 1600-2000
This is an odd book. An extensive and sometimes annotated bibliography, it is not a book in the sense of a narrative. However, if treated as a book in the traditional sense it leads the reader through a broad spectrum of feelings of amazement, curiosity and desire: amazement about the sheer volume, richness and detail of theliterature on Batavia/Jakarta; curiosity about the contents of certain publications or series of publications with attractive titles; and a feeling of desire immediately to begin an investigation into one of the appealing subjects stumbled upon while leafing through. The bibliography contains over 5000 titles classified into 42 broad subject categories. The vast majority of the publications consists of books, but the number of articles is also very substantial. Most of these titles (3500) were produced after 1950. The larger part of the publications are written in Indonesian, Dutch, and to a lesser extent English. But also publications in such languages as French, Chinese, German, Japanese, Russian, and many others were listed. Indexes of authors, of subjects and of titles make this bibliography easily accessible.
Rainbows of Malay Literature and Beyond: Festshrift in Honour of Professor Md. Salleh Yaapar (Penerbit USM)
This Festschrift engages in the richness and variety of literatures and cultures of the Malay world, and goes beyond its shores to encounters between different cultures and traditions, and to the relationship between literary and other disciplines. Rainbows of Malay Literature and Beyond communicates the absorbing richness of inter-disciplinary study and knowledge.
Applicable Formal Methods for Safe Industrial Products
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems. Since 1994 he has worked as a consultant to industry, specializing in development methods, verification, validation and test of safety-critical systems, and since 1995 he has been a Professor of Computer Science at the University of Bremen. In his research he has been most interested in the combination and ap...
Rigorous State-Based Methods
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024. The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.
Bruce Lee
None
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.
Integrated Formal Methods
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
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.
