for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
In this title, the author focuses on mainstream, useful and usable instruction in a popular, open source scripting language. Readers can download the complete source code of all ten projects, allowing for experimentation or integration into other projects.
The two-volume set LNCS 8297 and LNCS 8298 constitutes the proceedings of... Læs mere
This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. They deal with declarative programming, including functional programming and logic programming.
This book constitutes the refereed proceedings of the 19th Ada-Europe... Læs mere
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.
The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.
This book contains substantially extended and revised versions of the best... Læs mere
This book contains the extended and revised versions of selected papers from the 4th International Symposium on Business Modeling and Software Design, BMSD 2014, held in Luxembourg, Luxembourg, in June 2014.
This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, algorithms, programming, verification, and visualization.
Thiscovers topics such as renewable energy supply, energy storage and e-mobility, efficiencyin data centers and networks, sustainable food and water supply, sustainablehealth, industrial production and quality, etc.
This book contains the refereed proceedings of the 7th International Conference on Software... Læs mere