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.
Programming Languages and Systems: 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The papers cover a variety of foundational and practical issues in programming languages and systems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the Third International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Theory and Practice of Model Transformations: 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 8th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings (Bog, Paperback / softback, Engelsk)software architectures and their models, refinement and verification;... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Using and Improving OpenMP for Devices, Tasks, and More: 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 10th International Workshop on OpenMP, held in Salvador, Brazil, in September 2014. understanding and verifying correctness of OpenMP programs; OpenMP memory extensions; experiences with OpenMP device constructs.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This volume constitutes the thoroughly refereed post-conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Guide to Programming and Algorithms Using R (Bog, Paperback / softback, Engelsk)This easy-to-follow textbook provides a student-friendly introduction to programming and algorithms. Although R is used as the language of choice for all... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Giants of Computing: A Compendium of Select, Pivotal Pioneers (Bog, Paperback / softback, Engelsk)Suitable for the general reader, this concise and easy-to-read reference will be of interest to anyone curious about the inspiring men and women who have shaped the field of computer science.
Levering: Skaffevare (forvent 14 - 30 hverdage)
