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
-
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) -
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) -
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) -
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) -
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)
-
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)
-
New Essays in Free Logic: In Honour of Karel Lambert (Bog, Paperback / softback, Engelsk)
Free logic - i.e., logic free of existential presuppositions in general and with respect to singular terms in particular- began to come into its own... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
An Introduction to Python and Computer Programming (Bog, Paperback / softback, Engelsk)
This book introduces Python programming language and fundamental concepts in algorithms and computing.
Levering: 6 - 9 hverdage -
More Math Into LaTeX (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Exploring Robotics with ROBOTIS Systems (Bog, Paperback / softback, Engelsk)
This book presents foundational robotics concepts using the ROBOTIS BIOLOID and OpenCM-904 robotic systems, and is suitable as a curriculum for a first course in robotics for undergraduate students or a self-learner.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formalizing Data-Centric Web Services (Bog, Paperback / softback, Engelsk)
This book presents a methodology to model and specify the data aspect of Web services, as it is overlooked by current standards for specifying Web services.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage)
