for at udvide
kategorilisten.
Softwareudvikling
-
Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Science and Its Applications -- ICCSA 2013: 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Bog, Paperback / softback, Engelsk)
He won a number of prestigious science and technology awards, including a 2nd prize of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Bog, Paperback / softback, Engelsk)
This book constitutes revised lectures from the 11th Symposium on Formal... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Embedded Controller: Grundlagen und praktische Umsetzung fur industrielle Anwendungen (Bog, Paperback / softback, Tysk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Model-Driven Dependability Assessment of Software Systems (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Surface- and Groundwater Quality Changes in Periods of Water Scarcity (Bog, Paperback / softback, Engelsk)
The third section is devoted to a comprehensive regional assessment of hydrological drought on Slovak rivers, followed by evaluation... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Service Engineering: European Research Results (Bog, Paperback / softback, Engelsk)
Service engineering is increasingly posing challenges to traditional software engineering methodologies including specification, modeling, architecture, and verification, just to name a few.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Grundkurs Microsoft Dynamics AX: Die Business-Losung von Microsoft in Version AX 2012 (Bog, Paperback / softback, Tysk)
Praktiker, IT-Verantwortliche und Berater erhalten eine konkrete und leicht verständliche Anleitung zur Arbeit in Microsoft Dynamics AX.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Ubiquitous Computing and Ambient Intelligence: Context-Awareness and Context-Driven Interaction: 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Design Thinking Research: Building Innovation Eco-Systems (Bog, Paperback / softback, Engelsk)
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
Levering: Skaffevare (forvent 14 - 30 hverdage)
