Der er 18+ underkategorier
for at udvide
kategorilisten.
- 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
Programmering / softwareudvikling
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 25th International Symposium... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings (Bog, Paperback / softback, Engelsk)
The contributions deal with program verification, model checking,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Applied Technologies: 4th International Conference, ICAT 2022, Quito, Ecuador, November 23–25, 2022, Revised Selected Papers, Part II (Bog, Paperback / softback, Engelsk)
This three-volume set CCIS 1755-1757 constitutes the refereed proceedings of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Emerging Technologies in Computing: 5th EAI International Conference, iCETiC 2022, Chester, UK, August 15-16, 2022, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed conference proceedings of the 5th EAI... Læs mere
Levering: 6 - 9 hverdage -
Web and Big Data: 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25–27, 2022, Proceedings, Part III (Bog, Paperback / softback, Engelsk)
This three-volume set, LNCS 13421, 13422 and 13423, constitutes the thoroughly... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Algorithms and Discrete Applied Mathematics: 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9–11, 2023, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 9th International Conference... Læs mere
Levering: 6 - 9 hverdage -
Computer Aided Systems Theory – EUROCAST 2022: 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20–25, 2022, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Current Trends in Web Engineering: ICWE 2022 International Workshops, BECS, SWEET and WALS, Bari, Italy, July 5–8, 2022, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This volume constitutes the papers of several workshops which were held... Læs mere
Levering: 6 - 9 hverdage -
Machine Learning, Optimization, and Data Science: 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18–22, 2022, Revised Selected Papers, Part I (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Technology Research Explained: Design of Software, Architectures, Methods, and Technology in General (Bog, Paperback / softback, Engelsk)
This book aims to help research practitioners in technology science avoid some of the most common pitfalls or at least make them easier to overcome.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
