Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
-
Domain Engineering: Product Lines, Languages, and Conceptual Models (Bog, Paperback / softback, Engelsk)
The book will be especially rewarding for researchers and students of software engineering methodologies in general and of domain engineering and its related fields in particular, as it contains the most comprehensive and up-to-date information on this topic.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Concurrent Programming: Algorithms, Principles, and Foundations (Bog, Paperback / softback, Engelsk)
This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Introduction to Cryptography with Maple (Bog, Paperback / softback, Engelsk)
This introduction to cryptography uses a programming-oriented approach to study important current cryptographic schemes and the main cryptanalytic attacks against them. The Maple implementations include many examples with parameters of realistic size.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Lean Enterprise Software and Systems: 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Advanced Parallel Processing Technologies: 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed post-proceedings of the 10th International Symposium on Advanced Parallel Processing Technologies, APPT 2013, held in Stockholm, Sweden, in August 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
The papers cover a wide range of topics including program verification,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Membrane Computing: 14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Web Information Systems Engineering – WISE 2013 Workshops: WISE 2013 International Workshops BigWebData, MBC, PCS, STeH, QUAT, SCEH, and STSC 2013, Nanjing, China, October 13-15, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (Bog, Paperback / softback, Engelsk)
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Sicherheitskonzepte fur das Internet: 5. Berliner Kolloquium der Gottlieb Daimler- und Karl Benz-Stiftung (Bog, Paperback / softback, Tysk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Softwareentwicklung in C: Mit 14 Abbildungen und CD-ROM (Bog, Paperback / softback, Tysk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage)
