Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. This book is unique in giving an... Læs mere
Bemærk: Kan ikke leveres før jul.
This tutorial book presents revised and extended lecture notes for a selection of the contributions presented at the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), which was held in Braga, Portugal, in July 2009.
Bemærk: Kan ikke leveres før jul.
Object-Process Methodology (OPM) is a comprehensive novel approach to systems engineering.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
User level: Beginning-Intermediate
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
With these updated patterns, you will have a collection of programs to port over to your own projects. The book begins with the 23 GoF... Læs mere
Bemærk: Kan ikke leveres før jul.
Intermediate user level
Bemærk: Kan ikke leveres før jul.
The Festschrift volume contains 27 papers written by close collaborators... Læs mere
Bemærk: Kan ikke leveres før jul.
Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it.
Bemærk: Kan ikke leveres før jul.
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed... Læs mere