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
Programmeringssprog og scriptsprog
-
Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes revised selected papers from the18th Brazilian... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 19th Brazilian Symposium... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
DNA Computing and Molecular Programming: 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
DevOps for Azure Applications: Deploy Web Applications on Azure (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Deductive Software Verification – The KeY Book: From Theory to Practice (Bog, Paperback / softback, Engelsk)
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Safety, Reliability, and Security: 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
The papers are organized in topical sections on flight systems, automotive... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Clause and Effect: Prolog Programming for the Working Programmer (Bog, Paperback / softback, Engelsk)
This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 14th International Symposium... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
