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
Verifying Programs by Bounded Tree-Width Behavior Graphs
Multi-Agent Systems, 2023, Vol.14282, p.116-132
2023
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Getting Rid of Store-Buffers in TSO Analysis
Computer Aided Verification, 2011, p.99-115
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
EU Criminal Justice: Fundamental Rights, Transnational Proceedings and the European Public Prosecutor’s Office
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models
Software Engineering and Formal Methods, 2017, Vol.10469, p.185-202
2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Physical and Mechanical Characterization of a Low-Quality Sheep Wool Fiber
AIIA 2022: Biosystems Engineering Towards the Green Deal, p.1183-1191
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Spatial Analyses to Assess the Availability of Sheep Wool as Potential Eco-friendly Material
Safety, Health and Welfare in Agriculture and Agro-food Systems, p.155-164
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
2013, 2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Soluble Molecule Transport Within Synthetic Hydrogels in Comparison to the Native Extracellular Matrix
Hydrogels in Cell-Based Therapies, 2014
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Low Dose-Rate, High Total Dose Set-Up for Rad-Hard CMOS I/O Circuits Testing
Applications in Electronics Pervading Industry, Environment and Society, p.27-33
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Context-Bounded Analysis of TSO Systems
UPMARC, 2014, p.21
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Chapter 1 - Soluble Molecule Transport Within Synthetic Hydrogels in Comparison to the Native Extracellular Matrix
Hydrogels in Cell-Based Therapies, 2014, p.1-30
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Hydrocephalus
Rickham's Neonatal Surgery, p.931-956
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Septostomy and Other Advanced Procedures
Pediatric Hydrocephalus, p.1505-1528
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Conflicts of Jurisdiction in Criminal Proceedings in Europe: Between Bis In Idem and Lis Pendens
EU Criminal Justice, p.115-129
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Endoscopic Third Ventriculostomy
Pediatric Hydrocephalus, p.1399-1458
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Fiscal policy in the accession countries
Tax Systems and Tax Reforms in New EU Members, 2005, p.55-71
1, 2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Advanced Imaging Techniques
Advanced Imaging Techniques in Clinical Pathology, p.85-104
Link zum Volltext
Verfügbarkeit prüfen
1 – 17 von 17
Suche als RSS-Feed
Aktive Filter
ThemaChimeric Models Technical Aspects
KollektioneBooks on EBSCOhost
Suchergebnisse filtern
Filter anzeigen