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
-
Runtime Verification: 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Nichtsequentielle und Verteilte Programmierung mit Go: Synchronisation nebenlaufiger Prozesse: Kommunikation – Kooperation – Konkurrenz (Bog, Paperback / softback, Tysk)
Dieses Buch führt nach einem kurzen Kapitel über grundlegende Aspekte der Softwaretechnik und deren Realisierung in Go in die Nichtsequentielle und Verteilte Programmierung mit Go ein.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Datenbanken und SQL: Eine praxisorientierte Einfuhrung mit Anwendungen in Oracle, SQL Server und MySQL (Bog, Paperback / softback, Tysk)
Die Schwerpunkte des Buches sind relationale Datenbanken, Entwurf von Datenbanken, die... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic and Argumentation: 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 6th International Conference on Logic and Argumentation, CLAR 2025, held in Taiyuan, China, during June 14–16, 2025. The 22 full papers included in this book were carefully reviewed and selected from 38 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Die Modularitat von Java 9: Projekt Jigsaw und skalierbare Java-Anwendungen (Bog, Paperback / softback, Tysk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
C/C++ anwenden: Technisch-wissenschaftliche Ubungsaufgaben mit Losungen (Bog, Paperback / softback, Tysk)
In diesem Buch geht es um die Lösung realitätsnaher Probleme aus Forschung und Technik. Abgesehen von den einführenden Aufgaben... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Holub on Patterns: Learning Design Patterns by Looking at Code (Bog, Paperback / softback, Engelsk)
The existing books on design patterns take a catalog approach, where they show the individual design patterns in isolation. Holub on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. They deal with declarative programming, including functional programming and logic programming.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This volume constitutes the thoroughly refereed post-conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Separation Logic for High-level Synthesis (Bog, Paperback / softback, Engelsk)
This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
