for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.
This book constitutes the thoroughly refereed post-conference proceedings of the 6th Conference on Theory of Quantum Computation, Communication, and Cryptography, TQC 2011, held in Madrid, Spain, in May 2011.
Le théorie des probabilité s'illustre dans de nombreux domaines issus de la biologie, de la physique, et des sciences de l'ingénieur... Læs mere
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering.
Das Buch richtet sich dabei vor allem an Leser, die sich nicht nur über die Entwicklung auf dem Gebiet des "Electronic Commerce"... Læs mere
Dieses Buch bietet sowohl eine anwendungsorientierte Einführung in die Programmiersprache C als auch eine moderne, strukturierte Herangehensweise an die Softwareentwicklung. Die dem Buch beigegebene CD-ROM enthält alle Programme sowie die angesprochenen Tools.
Software-Konfigurationsmanagement dient dazu, Zeit und Aufwand bei der Entwicklung und Pflege langlebiger komplexer Softwaresysteme zu reduzieren und die Software-Evolution beherrschbar zu machen.