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
Open Access
    Datensatz exportieren als...
  • BibTeX
Performance and degradation of Proton Exchange Membrane Fuel Cells: State of the art in modeling from atomistic to system scale
Journal of power sources, 2016-02, Vol.304, p.207-233
2016
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The epidemiology and outcomes of combat ocular trauma among local nationals managed at a deployed military hospital in Afghanistan
Eye (London), 2021-08, Vol.35 (8), p.2155-2163
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Metrological aspects of enzyme production
Measurement science & technology, 2010-05, Vol.21 (5), p.054020-054020
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
1st Edition 2023, 2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Megafusionen, Wettbewerb und Globalisierung: Praxis und Perspektiven der Wettbewerbspolitik
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Adsorption and Diffusion of Fructose in Zeolite HZSM-5: Selection of Models and Methods for Computational Studies
Journal of physical chemistry. C, 2011-11, Vol.115 (44), p.21785-21790
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mizar: State-of-the-art and Beyond
Intelligent Computer Mathematics, p.261-279
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Sub-Saharan Africa's mothers, newborns, and children: where and why do they die?
PLoS medicine, 2010-06, Vol.7 (6), p.e1000294-e1000294
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Patterns and processes: Subaerial lava flow morphologies: A review
Journal of volcanology and geothermal research, 2017-08, Vol.342, p.3-12
2017
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Morphologic and thermophysical characteristics of lava flows southwest of Arsia Mons, Mars
Journal of volcanology and geothermal research, 2017-08, Vol.342, p.13-28
2017
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Plateaus and sinuous ridges as the fingerprints of lava flow inflation in the Eastern Tharsis Plains of Mars
Journal of volcanology and geothermal research, 2017-08, Vol.342, p.29-46
2017
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Stillbirths: how can health systems deliver for mothers and babies?
The Lancet (British edition), 2011, Vol.377 (9777), p.1610-1623
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings
1, 2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Highlighting Named Entities in Input for Auto-formulation of Optimization Problems
Intelligent Computer Mathematics, p.130-141
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Some unique surface patterns on ignimbrites on Earth: A “bird's eye” view as a guide for planetary mappers
Journal of volcanology and geothermal research, 2017-08, Vol.342, p.47-60
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
CoProver: A Recommender System for Proof Construction
Intelligent Computer Mathematics, p.237-251
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Extending Numeric Automation for Number Theory Formalizations in Mizar
Intelligent Computer Mathematics, p.309-314
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Teaching Linear Algebra in a Mechanized Mathematical Environment
Intelligent Computer Mathematics, p.113-129
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Nominal AC-Matching
Intelligent Computer Mathematics, p.53-68
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
VizAR: Visualization of Automated Reasoning Proofs (System Description)
Intelligent Computer Mathematics, p.303-308
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Extracting Theory Graphs from Aldor Libraries
Intelligent Computer Mathematics, p.315-320
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
Intelligent Computer Mathematics, p.69-83
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proving Results About OEIS Sequences with Walnut
Intelligent Computer Mathematics, p.270-282
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method
Intelligent Computer Mathematics, p.206-221
Volltextzugriff (PDF)
1 – 25 von 4.544
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
5 weitere anzeigen...
Weniger anzeigen...
Sprache
6 weitere anzeigen...
Weniger anzeigen...
Erscheinungsjahr
n.n
n.n
Thema
15 weitere anzeigen...
Weniger anzeigen...
Kollektion
15 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
5 weitere anzeigen...
Weniger anzeigen...
Neu hinzugefügt