for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Allgegenwärtige, in den Hintergrund tretende Informationstechniken könnten den Menschen in allen Lebensbereichen – bei der Arbeit, beim Einkaufen, beim Reisen und zu Hause – unbemerkt und „mitdenkend" unterstützen.
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously.
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal... Læs mere
Web Dynpro ABAP, a NetWeaver web application user interface tool from SAP, enables web programming connected to SAP Systems. using Web Dynpro application parameters and Shared Objects to communicate between the Web Dynpro ABAP Application and Business Server Pages;
These languages are quite similar with respect to persistency, and the authors explain their differences where... Læs mere
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.