Unifying Theories of Programming and Formal Engineering Methods 
by Zhiming Liu, Jim Woodcock, Huibiao Zhu
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics su...
Price: $59.64 | Publisher: Springer | Release: 2013
by Beat Suter, Mela Kocher, Rene Bauer
Why do we play games and why do we play them on computers? The contributors of Games and Rules take a closer look at the core of each game and the motivational system that is the game mechanics. Games are control circuits that organize the game world with their (joint) players and establish motivations in a dedicated space, a "Magic ...
Price: $30.00 | Free ebook | Publisher: Self-publishing | Release: 2019
by Rudolf Pecinovsky
You can find a whole range of programming textbooks intended for complete beginners. However, this one is exceptional to certain extent. The whole textbook is designed as a record of the dialogue of the author with his daughter who wants to learn programming. The author endeavors not to explain the Java programming language to the readers...
Price: $40.00 | Free ebook | Publisher: Self-publishing | Release: 2013
by Andrew Shitov
You are reading a book about the Raku programming language. This language has appeared as a rename of Perl 6 in October 2019.Like its parent, Perl 5, the Raku language keeps the spirit of being a powerful tool in many areas, from devops programs for configuration management through different command-line applications to concurrent web ser...
Price: $12.14 | Free ebook | Publisher: Self-publishing | Release: 2019
Numerical Methods for Ordinary Differential Equations
by Kees Vuik, Fred Vermolen, Martin van Gijzen
In this book we discuss several numerical methods for solving ordinary differential equations. We emphasize the aspects that play an important role in practical problems. We con?ne ourselves to ordinary differential equations with the exception of the last chapter in which we discuss the heat equation, a parabolic partial differential equ...
Free ebook | Publisher: Self-publishing | Release: 2023
by Makoto Yano, Chris Dai, Kenichi Masuda, Yoshio Kishimoto
This book contributes to the creation of a cyber ecosystem supported by blockchain technology in which technology and people can coexist in harmony. Blockchains have shown that trusted records, or ledgers, of permanent data can be stored on the Internet in a decentralized manner. The decentralization of the recording process is expected t...
Price: $59.99 | Free ebook | Publisher: Springer | Release: 2020
A Treatise on Systems (volume 2)
by Mark Burgess
This 2d volume describes the systematic application of Promise Theory to systems, representing a significant step forward in describing functional systems with both dynamics and semantics. By combining quantitative and qualitative descriptions in a single framework, Promise Theory provides the first impartial language for multiscale syste...
Free ebook | Publisher: Self-publishing | Release: 2020
Containerized Docker Application Lifecycle with Microsoft Platform and Tools
by Cesar de la Torre
Enterprises are increasingly adopting containers. The enterprise is realizing the benefits of cost savings, solution to deployment problems, and DevOps and production operations improvements that containers provide. Over the last years, Microsoft has been rapidly releasing container innovations to the Windows and Linux ecosystems – part...
Free ebook | Publisher: Microsoft Press | Release: 2019
Fundamentals of C++ Programming
by Richard L. Halterman
This book does not attempt to cover all the facets of the C++ programming language. Experienced programmers should look elsewhere for books that cover C++ in much more detail. The focus here is on introducing programming techniques and developing good habits. To that end, our approach avoids some of the more esoteric features of C++ and c...
Free ebook | Publisher: Self-publishing | Release: 2018
Fundamentals of Python Programming
by Richard L. Halterman
This book does not attempt to cover all the facets of the Python programming language. Experienced programmers should look elsewhere for books that cover Python in much more detail. The focus here is on introducing programming techniques and developing good habits. To that end, our approach avoids some of the more esoteric features of Pyt...
Free ebook | Publisher: Self-publishing | Release: 2018