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
-
More Math Into LaTeX (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Exploring Robotics with ROBOTIS Systems (Bog, Paperback / softback, Engelsk)
This book presents foundational robotics concepts using the ROBOTIS BIOLOID and OpenCM-904 robotic systems, and is suitable as a curriculum for a first course in robotics for undergraduate students or a self-learner.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formalizing Data-Centric Web Services (Bog, Paperback / softback, Engelsk)
This book presents a methodology to model and specify the data aspect of Web services, as it is overlooked by current standards for specifying Web services.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 7th International Conference on Model... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Understanding Control Flow: Concurrent Programming Using µC++ (Bog, Paperback / softback, Engelsk)
Examples and exercises are also provided in this textbook. New programming methodologies are requiring new forms of control flow, and new... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities (Bog, Paperback / softback, Engelsk)
The book formally describes how program operations are mapped to operations on polyhedra and details how... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
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) -
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) -
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)
-
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) -
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)
