for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam, in June 2013.
He won a number of prestigious science and technology awards, including a 2nd prize of... Læs mere
This book constitutes revised lectures from the 11th Symposium on Formal... Læs mere
Das Buch gewährt einen Einblick in die Architektur eingebetteter Systeme und den Entwicklungsprozess für die sie steuernde Firmware. Praxistipps zur effizienten und zielgerichteten Nutzung von Debug-, Einkapselungs- und Analysewerkzeugen runden das Buch ab.
This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It details the state of the art on UML profile proposals for dependability specification and rigorously describes the trade-off they accomplish.
The third section is devoted to a comprehensive regional assessment of hydrological drought on Slovak rivers, followed by evaluation... Læs mere
Service engineering is increasingly posing challenges to traditional software engineering methodologies including specification, modeling, architecture, and verification, just to name a few.
Praktiker, IT-Verantwortliche und Berater erhalten eine konkrete und leicht verständliche Anleitung zur Arbeit in Microsoft Dynamics AX.
This book constitutes the refereed proceedings of the 7th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2013, held in Guanacaste, Costa Rica, in December 2013.
This book summarizes the results of Design Thinking Research carried out at Stanford University in Palo Alto, California, USA, and Hasso Plattner... Læs mere