for at udvide
kategorilisten.
Softwareudvikling
-
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) -
Entwicklung einer Methodik fur die durchgangige Integration von Hardware und Softwaremodellen in Simulationen fur Fahrfunktionen (Bog, Paperback / softback, Tysk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Entwicklung von Echtzeitsystemen: Einfuhrung in die Entwicklung zuverlassiger softwarebasierter Funktionen unter Echtzeitbedingungen (Bog, Paperback / softback, Tysk)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)
-
Einfuhrung in Unix/Linux fur Naturwissenschaftler: Effizientes wissenschaftliches Arbeiten mit der Unix-Kommandozeile (Bog, Paperback / softback, Tysk)
DerLeser erhält damit die Möglichkeit, alle Vorteile des Systems zu nutzen: Nachvollziehbarkeit und Reproduzierbarkeit von Ergebnissen, oftmalige Wiederholung ähnlicher Analysen, Entwicklungsumgebung für Algorithmen und selbstgeschriebene Programme.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Information Technology (Bog, Paperback / softback, Engelsk)
Proceedings of the 2012 International Conference on Information Technology and Software Engineering presents selected articles from this major event, which was held in Beijing, December 8-10, 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage)
