Der er 18+ underkategorier
- Agil programmering
- Algoritmer og datastrukturer
- Aspektorienteret programmering
- Databaseprogrammering
- Extreme programming (XP)
- Funktionel programmering
- Grafisk programmering
- Kompilatorer og fortolkere
- Mobile og håndholdte enheders programmering. Programmering af apps
- Netværksprogrammering
- Objektorienteret programmering
- Programmering: Macintosh
- Programmering: Microsoft
- Programmeringssprog og scriptsprog
- Programmeringsteknikker
- Softwareudvikling
- Spiludvikling og spilprogrammering
- Webprogrammering
Kompilatorer og fortolkere
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Transactions on Aspect-Oriented Software Development IX (Bog, Paperback / softback, Engelsk)The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD)... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the International Symposium on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures (Bog, Paperback / softback, Engelsk)The summer school will focus on several of the most prominent and practical... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Bog, Paperback / softback, Engelsk)This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. formal methods and modeling languages for components and services;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
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) -
Bemærk: Kan ikke leveres før jul.
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the proceedings of the 19th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
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) -
Bemærk: Kan ikke leveres før jul.
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) -
Bemærk: Kan ikke leveres før jul.
Reliable Software Technologies -- Ada-Europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. They are organized in topical sections on multi-core and distributed systems;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Modelling Foundations and Applications: 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the proceedings of the 9th European Conference on Modelling... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
