de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
Close
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
jump to main content
Search Details
Quicksearch:
OK
Close
Document types
16
Entries for
Dissertation (PhD)
3
Entries for
Article in a collected edition
1
Entries for
Journal Article
1
Entries for
Monograph
1
Entries for
Master Thesis
Periods
12
Entries for
2001-2010
9
Entries for
2011-2020
1
Entries for
2021-2030
Authors / Collaborators
3
Entries for
Engels, Gregor
3
Entries for
Rückert, Ulrich
2
Entries for
Heinzemann, Christian
2
Entries for
Kleine Büning, Hans
2
Entries for
Wehrheim, Heike
1
Entries for
Bast, Hannah
1
Entries for
Becker, Steffen
1
Entries for
Bodden, Eric
1
Entries for
Bonorden, Olaf
1
Entries for
Bopp, Thomas
1
Entries for
Brinkmann, André
1
Entries for
Cheng, Betty H. C.
1
Entries for
Depke, Ralph
1
Entries for
Dressler, Falko
1
Entries for
Ebert, Jürgen
1
Entries for
Effert, Sascha
1
Entries for
Giese, Holger
1
Entries for
Haking, Franz
1
Entries for
Hampel, Thorsten
1
Entries for
Heindorf, Stefan
1
Entries for
Hüllermeier, Eyke
1
Entries for
Ibrahim, Emad Monier Mosaad
1
Entries for
Jovanovikj, Ivan
1
Entries for
Keil-Slawik, Reinhard
1
Entries for
Klohs, Karsten
1
Entries for
Lettmann, Theodor
1
Entries for
Meister, Dorothee M.
1
Entries for
Meyer auf der Heide, Friedhelm
1
Entries for
Narayanaswamy, Kiran
1
Entries for
Ngonga Ngomo, Axel-Cyrille
1
Entries for
Niggemann, Oliver
1
Entries for
Oberthür, Simon
1
Entries for
Platzner, Marco
1
Entries for
Potthast, Martin
1
Entries for
Sauer, Stefan
1
Entries for
Scheideler, Christian
1
Entries for
Schulte, Carsten
1
Entries for
Schäfer, Wilhelm
1
Entries for
Schäfer, Wilhelm Fr.
1
Entries for
Selke, Harald
1
Entries for
Senft, Björn
1
Entries for
Simon, Jens
1
Entries for
Steenken, Dominik
1
Entries for
Szwillus, Gerd
1
Entries for
Travkin, Oleg
1
Entries for
Wübbeke, Andreas
1
Entries for
Zimmermann, Olaf
Show 37 more
Show first 10
Languages
14
Entries for
English
10
Entries for
German
22
Titles
in
Klassifikation (DDC)
→
Informatik, Informationswissenschaft, allgemeine Werke
→
Informatik, Wissen, Systeme
Classification
Close
Filters
jump to filter-options
Title
Persons
Place
Publisher
Year
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
All Titles
Klassifikation (DDC)
Informatik, Informationswissenschaft, allgemeine Werke
Informatik, Wissen, Systeme
Informatik, Informationswissenschaft, allgemeine Werke
Wissen
Das Buch
Systeme
Datenverarbeitung; Informatik
Computerprogrammierung, Programme, Daten
Spezielle Computerverfahren
Klassifikation (DDC)
→
Informatik, Informationswissenschaft, allgemeine Werke
→
Informatik, Wissen, Systeme
Validation of data flow results for program modules
Klohs, Karsten
2009
Validation of software migration
model-driven co-migration of test cases
Jovanovikj, Ivan
;
Engels, Gregor
;
Ebert, Jürgen
;
Bodden, Eric
;
Sauer, Stefan
;
Zimmermann, Olaf
Elektronische Ressource, Paderborn, 2020
A value-centered software engineering approach for unique and novel software-based solutions
aligning design thinking with a coopetition-based evolutionary software development
Senft, Björn
;
Engels, Gregor
;
Schulte, Carsten
;
Meister, Dorothee M.
;
Oberthür, Simon
;
Selke, Harald
Elektronische Ressource, Paderborn, 2021
Vandalism detection in crowdsourced knowledge bases
Heindorf, Stefan
;
Engels, Gregor
;
Potthast, Martin
;
Bast, Hannah
Elektronische Ressource, Paderborn, 2019
Variabilitätsmanagement in Anforderungs- und Testfallspezifikation für Software-Produktlinien
Wübbeke, Andreas
2010
Vehicular micro cloud prototype implementation
Narayanaswamy, Kiran
;
Dressler, Falko
;
Scheideler, Christian
Elektronische Ressource, Paderborn, 2019
Verfahren zur redundanten Datenplatzierung in skalierbaren Speichernetzen
Effert, Sascha
2011
Verification and simulation of self-adaptive mechatronic systems
Heinzemann, Christian
2015
Verification and simulation of self-adaptive mechatronic systems
Heinzemann, Christian
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2016
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015
Verifying concurrent programs under weak memory models
Travkin, Oleg
;
Wehrheim, Heike
;
Kleine Büning, Hans
;
Ngonga Ngomo, Axel-Cyrille
;
Platzner, Marco
;
Simon, Jens
Elektronische Ressource, Paderborn, 2017
Verknüpfung mathematischer Modelle zur zieloptimierten Produktionsplanung in Rohöl verarbeitenden Industrien
Haking, Franz
2006
Versatility of bulk synchronous parallel computing
from the heterogeneous cluster to the system on chip
Bonorden, Olaf
2008
Verteilte kooperative Wissensräume
Bopp, Thomas
2006
Virtuelle Wissensräume
ein Ansatz für die kooperative Wissensorganisation
Hampel, Thorsten
2001
Vision based tracking in team sports
Ibrahim, Emad Monier Mosaad
2011
Visual data mining of graph based data
Niggemann, Oliver
2001
Visuelle Modellierung agentenbasierter Systeme
Depke, Ralph
2004
Visuelle Spezifikation des Kerns objektorientierter Applikationen
Szwillus, Gerd
In: Informatik - Wirtschaft - Gesellschaft, Vol. 1993, page 304-309
VLSI design of an associative memory based on distributed storage of information
Rückert, Ulrich
In: VLSI design of neural networks, Vol. 1991, page 153-168
First page
Previous page
Go to pages
1 - 20
21 - 22
Next page
Last page