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
-
Bemærk: Kan ikke leveres før jul.
Principles and Practice of Constraint Programing-CP 2013: 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 4th International Conference on Runtime... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Pattern Calculus: Computing with Functions and Structures (Bog, Paperback / softback, Engelsk)Over time, basic research tends to lead to specialization – increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in increasingly con ned workshops and conferences, discussing increasingly incremental contri- tions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Advanced Parallel Processing Technologies: 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This book constitutes the refereed post-proceedings of the 10th International Symposium on Advanced Parallel Processing Technologies, APPT 2013, held in Stockholm, Sweden, in August 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Trends in Functional Programming: 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This book constitutes the thoroughly refereed revised selected papers of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (Bog, Paperback / softback, Engelsk)This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures (Bog, Paperback / softback, Engelsk)The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Compiler Construction: 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the proceedings of the 24th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceeding (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
