PUBNiTO Book Store

Ancient History

Modern History

History

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. 

The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:

Part I: Invited papers; fundamentals of formal verification;  foundations; learn and repair; programming languages.- logic and automata; 

Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers

Formal Methods

pubnito publisher test 

Matteo Pradella

 Computer Science

"Japan in a Nutshell" is a book designed to provide readers with a comprehensive yet concise overview of Japanese culture, history, traditions, and daily life. Often written by experts or long-time residents of Japan, books of this kind aim to distill the essence of Japan into an accessible format for those who are new to or curious about the country.

Japan in a Nutshell

Professor Solomon

Stories

"Armand Durand" is a poignant exploration of love, identity, and societal expectations. Set against the backdrop of Quebec's picturesque landscapes, the novel follows the life and emotional struggles of Armand Durand, a young man of noble spirit and deep intellect. As he navigates through complex family dynamics, romantic entanglements, and personal dilemmas, Armand's journey becomes a mirror reflecting the broader social changes of his time.
But he never expects to be so utterly charmed and entertained as he is by his letter writer, “Molly Make-Believe.” As the winter drags on and Cornelia’s letters grow sparse and impersonal, Carl and Molly strike up a lively correspondence, and he finds himself falling in love with her. Carl becomes determined to uncover Molly’s true identity. But will she be everything he imagines her to be? Does she feel what he feels, or is she just playing a part? And what will Cornelia have to say about this when she comes home?

Originally written in 1910 by one of the early twentieth century’s most prolific romantic authors, Molly Make-Believe is a sweet, old-fashioned romance delivered with Eleanor Hallowell Abbott’s sparkling wit and style, and sure to delight fans of classic romance.

Your Cart

Best Books