for at udvide
kategorilisten.
Softwareudvikling
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
-
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)
-
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) -
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions.
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)
