for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
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 is concentrated on the synergy between computer science and numerical analysis. It is written to provide a firm understanding of the described approaches to computer scientists, engineers or other experts who have to solve real problems.
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 book contains the refereed proceedings of the 7th International Conference on Software... Læs mere
This book constitutes the refereed proceedings of the 31st International Symposium... Læs mere