Kompilatorer

This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 …

One of the appendices in the dissertation was an overview of a Prolog implementation of an interpreter based on the AND/OR Process Model, a simulator I used to get some preliminary …

This book constitutes the refereed proceedings of the 11th International Symposium on Search-Based Software Engineering, SSBSE 2019, held in Tallinn, Estonia, in August/September …

2010 was the first time that the International Conference on Software Process was held autonomously and not co-located with a larger conference. The conference provided a forum for …

This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated …

In der Programmiersprache C fmdet man eine groBe Zahl von Elementen, wie sie zu einer problemorientierten Programmiersprache gehoren. Daneben gibt es eine Reihe von Ele- menten, …

Learn to program with Rust 2021 Edition, in an easy, step-by-step manner on Unix, the Linux shell, macOS, and the Windows command line.  As you read this book, you’ll build on the …

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS …

Essential Dynamic HTML fast provides a step-by-step approach to discovering DHTML and its techniques - everything you need to know from standard HTML tags to Layers and DOM …

The phenomenal increases in computer system performance in recent years have been accompanied by a commensurate increase in power and energy dissipation. The latter has directly …