for at udvide
kategorilisten.
Softwareudvikling
-
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) -
Membrane Computing: 14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Web Information Systems Engineering – WISE 2013 Workshops: WISE 2013 International Workshops BigWebData, MBC, PCS, STeH, QUAT, SCEH, and STSC 2013, Nanjing, China, October 13-15, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)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) -
Prototyping: An Approach to Evolutionary System Development (Bog, Paperback / softback, Engelsk)
Prototyping is an approach used in evolutionary systemdevelopment. Theytake a look at the tools used in everyday... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Analyzing Time Interval Data: Introducing an Information System for Time Interval Data Analysis (Bog, Paperback / softback, Engelsk)
Philipp Meisen introduces a model, a query language, and a similarity measure enabling users to analyze time interval data.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Enterprise, Business-Process and Information Systems Modeling: 15th International Conference, BPMDS 2014, 19th International Conference, EMMSAD 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Design Science Methodology for Information Systems and Software Engineering (Bog, Hardback, Engelsk)
It provides guidelines on how to effectively structure research goals, how to analyze research problems concerning design... Læs mere
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) -
SOFSEM 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Snezkou, Czech Republic, January 24-29, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 41st International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
The papers cover a wide range of topics including program verification,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Enterprise Interoperability: 6th International IFIP Working Conference, IWEI 2015, Nimes, France, May 28-29, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 6th International IFIP Working Conference on Enterprise Interoperability, IWEI 2015, held in Nîmes, France, in May 2015.
Levering: Skaffevare (forvent 14 - 30 hverdage)
