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
-
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Technologies: 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Advanced Finite Element Simulation with MSC Marc: Application of User Subroutines (Bog, Paperback / softback, Engelsk)
This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Konzepte objektorientierter Programmierung: Mit einer Einfuhrung in Java (Bog, Paperback / softback, Tysk)
Es erläutert das Objekt- und Klassenkonzept, beschreibt Kapselungstechniken und geht detailliert auf Subtyping und Vererbung ein. Software-Wiederverwendung in... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Python 3 - Intensivkurs: Projekte erfolgreich realisieren (Bog, Paperback / softback, Tysk)
Mit Python 3 steht nun eine Version zur Verfügung, die wesentliche Änderungen zu früheren Versionen enthält. In Python 3 - Intensivkurs gibt der amerikanische Python-Spezialist... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (Bog, Paperback / softback, Engelsk)
Constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage)
