Kompilatorer

Discover the Ballerina programming language for next-generation microservices and cloud-native application development. This book shows you that Ballerina is a cutting-edge …

This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October …

The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all …

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 …

This book contains the best papers of the Second International Conference on So- ware and Data Technologies (ICSOFT 2007), held in Barcelona, Spain. It was org- ized by the …

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 …