Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
20 Years of Negami’s Planar Cover Conjecture
Graphs and combinatorics, 2010-07, Vol.26 (4), p.525-536
2010
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A New Concept in Advice Complexity of Job Shop Scheduling
Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.147-158
2014
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Mapping Problems to Skills Combining Expert Opinion and Student Data
Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.113-124
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, MEMICS 2014, Tel, Czech Republic, October 17--19, 2014, Revised Selected Papers
1, 2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Automating Software Analysis at Large Scale
Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.30-39
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition
Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.100-112
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Bent Functions Synthesis on Intel Xeon Phi Coprocessor
Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.88-99
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Steiner Tree 1.39-Approximation in Practice
Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.60-72
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
LTL Model Checking of LLVM Bitcode with Symbolic Data
Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.47-59
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Context-Switch-Directed Verification in DIVINE
Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.135-146
2014
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
First order limits of sparse graphs: Plane trees and path‐width
Random structures & algorithms, 2017-07, Vol.50 (4), p.612-635
2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes
Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.125-134
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
An Open-Source Hardware Approach for High Performance Low-Cost QoS Monitoring of VoIP Traffic
Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.1-15
2014
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On Monitoring C/C++ Transactional Memory Programs
Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.73-87
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Today's Challenges for Embedded ASR
Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.16-29
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Intro
Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Organization
Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
D Model-Based Segmentation of 3D Biomedical Images
Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934
2014
Link zum Volltext
Verfügbarkeit prüfen
1 – 18 von 18
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen