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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Fingerprints identification of radiotherapy patients
Cancer radiothérapie, 2012-10, Vol.16 (7), p.633-637
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mise en œuvre d’un dispositif d’identification biométrique en radiothérapie : l’expérience du centre Oscar-Lambret
Cancer radiothérapie, 2012-10, Vol.16 (7), p.633-637
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Algebra of Programming Using Dependent Types
Lecture notes in computer science, 2008, Vol.5133, p.268-283
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
2008 edition., 2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verifying a Semantic βη-Conversion Test for Martin-Löf Type Theory
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, Vol.5133 LNCS, p.29-56
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Asymptotic Improvement of Computations over Free Monads
Mathematics of Program Construction, 2008, Vol.5133, p.388-403
2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Hoare Logic for Call-by-Value Functional Programs
Mathematics of Program Construction, 2008, Vol.5133, p.305-335
2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The Böhm–Jacopini Theorem Is False, Propositionally
Mathematics of Program Construction, 2008, p.177-192
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematics of Program Construction: 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modal Semirings Revisited
Mathematics of Program Construction, 2008, Vol.5133, p.360-387
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Recounting the Rationals: Twice
Mathematics of Program Construction, 2008, Vol.5133, p.79-91
2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Unfolding Abstract Datatypes
Mathematics of Program Construction, 2008, Vol.5133, p.110-133
2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Scrap Your Type Applications
Mathematics of Program Construction, 2008, Vol.5133, p.2-27
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems
Mathematics of Program Construction, 2008, Vol.5133, p.336-359
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Asynchronous Exceptions as an Effect
Mathematics of Program Construction, 2008, Vol.5133, p.153-176
2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening
Mathematics of Program Construction, 2008, Vol.5133, p.220-242
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Zippy Tabulations of Recursive Functions
Mathematics of Program Construction, 2008, Vol.5133, p.92-109
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Probabilistic Choice in Refinement Algebra
Mathematics of Program Construction, 2008, Vol.5133, p.243-267
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Capacity-$C$ Torch Problem
Mathematics of Program Construction, 2008, Vol.5133, p.57-78
2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Circulations, Fuzzy Relations and Semirings
Mathematics of Program Construction, 2008, Vol.5133, p.134-152
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Expression Lemma
Mathematics of Program Construction, 2008, Vol.5133, p.193-219
2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Safe Modification of Pointer Programs in Refinement Calculus
Mathematics of Program Construction, 2008, Vol.5133, p.284-304
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Symmetric and Synchronous Communication in Peer-to-Peer Networks
Mathematics of Program Construction, 2008, Vol.5133, p.404-421
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Exploiting Unique Fixed Points
Mathematics of Program Construction, 2008, Vol.5133, p.1-1
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming with Effects in Coq
Mathematics of Program Construction, 2008, Vol.5133, p.28-28
2008
Volltextzugriff (PDF)
1 – 25 von 79
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
1 weiteren anzeigen...
Weniger anzeigen...
Sprache
Erscheinungsjahr
n.n
n.n
Thema
15 weitere anzeigen...
Weniger anzeigen...
Kollektion
10 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
5 weitere anzeigen...
Weniger anzeigen...