for at udvide
kategorilisten.
Operativsystemer
-
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Assurances for Self-Adaptive Systems: Principles, Models, and Techniques (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Languages and Compilers for Parallel Computing: 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Web Dynpro ABAP for Practitioners (Bog, Hardback, Engelsk)
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;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Serialization and Persistent Objects: Turning Data Structures into Efficient Databases (Bog, Hardback, Engelsk)
These languages are quite similar with respect to persistency, and the authors explain their differences where... Læs mere
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) -
Grundkurs SAP APO: Eine Einfuhrung mit durchgehendem Fallbeispiel (Bog, Paperback / softback, Tysk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Entwicklung einer Methodik fur die durchgangige Integration von Hardware und Softwaremodellen in Simulationen fur Fahrfunktionen (Bog, Paperback / softback, Tysk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Betriebssysteme: Grundlagen und Konzepte (Bog, Paperback / softback, Tysk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Task Scheduling for Multi-core and Parallel Architectures: Challenges, Solutions and Perspectives (Bog, Hardback, Engelsk)
This book presents task-scheduling techniques for emerging complex parallel architectures including heterogeneous multi-core architectures, warehouse-scale datacenters, and distributed big data processing systems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
HCNA Networking Study Guide (Bog, Paperback / softback, Engelsk)
Presenting routing and switching basics in depth, it is a valuable resource for information and communications technology (ICT) practitioners, university students and network technology fans.
Levering: Skaffevare (forvent 14 - 30 hverdage)
