Browse by Subject 004 Datenverarbeitung; Informatik

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  
Showing results 353 to 372 of 632
PreviewIssue DateTitleAuthor(s)Editor(s)
Dokument_35.pdf.jpg1-Dec-2003Model checking combined Z and Statechart specificationsBüssow, Robert-
pockrandt_marcel.pdf.jpg19-Dec-2014Model checking memory-related properties of hardware/software codesignsPockrandt, Marcel-
Dokument_31.pdf.jpg19-Jun-2003A model for the digital representation and transaction of complex pricing and ordering for high-value spatial products and servicesWagner, Roland M.-
Dokument_46.pdf.jpg27-Mar-2009Model-based testing of real-time embedded systems in the automotive domainZander-Nowicka, Justyna-
Dokument_1.pdf.jpg5-Nov-2004Model-Driven Development of QoS-Enabled Distributed ApplicationsWeis, Torben-
Dokument_11.pdf.jpg25-Jun-2010Modeling and Model-based Testing of Service ChoreographiesWieczorek, Sebastian-
Dokument_29.pdf.jpg24-Aug-2012Modeling and Optimizing Content-based Publish/Subscribe SystemsSchröter, Arnd-
1-s2.0-S1877050917311043-main.pdf.jpg2017Modeling bicycle traffic in an agent-based transport simulationZiemke, Dominik; Metzler, Simon; Nagel, Kai-
1-s2.0-S1877050917310566-main.pdf.jpg2017Modeling Demand Responsive Transport using SARL and MATSimCich, Glenn; Knapen, Luk; Maciejewski, Michał; Yasar, Ansar-Ul-Haque; Bellemans, Tom; Janssens, Davy-
Dokument_22.pdf.jpg13-Nov-2002Modeling Spatial and Temporal Data in an Object-Oriented Constraint Database FrameworkDi Deo, Annalisa-
Dokument_8.pdf.jpg12-Jan-2009Ein Modell der Open-Source-EntwicklungEvers, Steffen-
Dokument_18.pdf.jpg7-May-2010Modellbasierte Merkmalsplanung zur objektbezogenen laserscannerbasierten Navigation von FahrzeugenStahn, Roland-
Dokument_53.pdf.jpg7-Jun-2012Modellbasierter evolutionärer FunktionstestLindlar, Felix-
1-s2.0-S1877050917302910-main.pdf.jpg2017Modelling National Research Information Contexts Based on CERIFQuix, Christoph; Riechert, Mathias-
Dokument_42.pdf.jpg14-Jun-2010Models, Methods and Tools for Availability Assessment of IT-Services and Business ProcessesMilanovic, Nikola-
Dokument_22.pdf.jpg7-Mar-2002Eine modulare Architektur für dienstbasierte Interaktionen zwischen AgentenSesseler, Ralf-
mertgen_andreas.pdf.jpg19-Dec-2013Modularisierung und Wiederverwendung durch generische Klassen in Object TeamsMertgen, Andreas-
Dokument_48.pdf.jpg21-Jun-2013Monocular Camera Path Estimation Cross-linking Images in a Graph StructureWefelscheid, Cornelius-
Multi-amalgamation.pdf.jpg2014Multi-amalgamation of rules with application conditions in M-adhesive categoriesGolas, Ulrike; Habel, Annegret; Ehrig, Hartmut-
1-s2.0-S1877050915033530-main.pdf.jpg2015Multi-chimera States in the Leaky Integrate-and-Fire ModelTsigkri-DeSmedt, N.D.; Hizanidis, J.; Hövel, Philipp; Provata, A.-