Kompilatorer

Why Python has been proclaimed by the most Professional Techs as the best Scripting Language ? Do you want to learn Coding from scratch? This Book is probably what you looking for …

This volume contains the papers presented at ITP 2010: the First International ConferenceonInteractiveTheoremProving. It washeldduring July11-14,2010 in Edinburgh, Scotland as part …

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full …

Create your first turn-based multiplayer game using GameMaker Studio 2's built-in networking functions as well as using a simple NodeJS server. This book introduces you to the …

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large …

Two central ideas in the movement toward advanced automation systems are the office-of-the-future (or office automation system), and the factory- of-the-future (or factory …

This book constitutes the refereed proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, held in Funchal, Madeira, …

Informatik, Naturwissenschaften und alle Ingenieurdisziplinen, insbesondere Betriebssysteme, Verteilte Systeme, Prozeßdatenverarbeitung, Rechnerarchitektur, Rechnernetze, …

Learn Intel 64 assembly language and architecture, become proficient in C, and understand how the programs are compiled and executed down to machine instructions, enabling you to …

Topics of interest span the entire spectrum of conceptual modeling including research and practice in areas such as theories of concepts and ontologies underlying conceptual …