for at udvide
kategorilisten.
Softwareudvikling
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
-
Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Pattern Calculus: Computing with Functions and Structures (Bog, Paperback / softback, Engelsk)
Over time, basic research tends to lead to specialization – increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in increasingly con ned workshops and conferences, discussing increasingly incremental contri- tions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Enterprise Architecture Patterns: Practical Solutions for Recurring IT-Architecture Problems (Bog, Paperback / softback, Engelsk)
Every enterprise architect faces similar problems when designing and governing the enterprise architecture of a medium to large enterprise.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
The Software Industry: Economic Principles, Strategies, Perspectives (Bog, Paperback / softback, Engelsk)
Whether ERP software, office applications, open-source products or online games: In terms of its economic characteristics, software differs fundamentally from industrial goods or services.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
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)
