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
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings
1, 2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : Proceedings
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Foundations of software science and computation structures: 4th international conference, FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Lambda Calculus with Types
1, 2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Types for proofs and programs: international conference, TYPES 2007, Cividale del Friuli Italy, May 2-5, 2007
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
1, 2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Constructive Data Refinement in Typed Lambda Calculus
Foundation of Software Science and Computation Structures, 2000, Vol.1784, p.161-176
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Filter Models and Easy Terms
Lecture notes in computer science, 2001, Vol.2202, p.17-37
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Wherefore Art Thou \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\ldots $$\end{document} Semantics of Computation?
History and Philosophy of Computing, p.3-23
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Intersection Types λS
Lambda Calculus with Types, 2013, p.577-578
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Models of Self-Descriptive Set Theories
Partial Differential Equations and the Calculus of Variations, p.473-518
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the -Calculus and Mechanizing the Theory of Contexts
Foundations of Software Science and Computation Structures, 2001, Vol.2030
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Finite Graph Problem for Two-Way Alternating Automata
Foundations of Software Science and Computation Structures, 2001, Vol.2030
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Adequacy for Algebraic Effects
Foundations of Software Science and Computation Structures, 2001, Vol.2030
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Synchronized Tree Languages Revisited and New Applications
Foundations of Software Science and Computation Structures, 2001, Vol.2030
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Marrella and the Verification of an Embedded System
Foundations of Software Science and Computation Structures, 2001, Vol.2030
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Type Inference with Recursive Type Equations
Foundations of Software Science and Computation Structures, 2001, Vol.2030
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Axiomatic Semantics for the Synchronous Language Gentzen
Foundations of Software Science and Computation Structures, 2001, Vol.2030
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures
Foundations of Software Science and Computation Structures, 2001, Vol.2030
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Foundations for a Graph-Based Approach to the Specification of Access Control Policies
Foundations of Software Science and Computation Structures, 2001, Vol.2030
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory
Foundations of Software Science and Computation Structures, 2001, Vol.2030
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Secrecy Types for Asymmetric Communication
Foundations of Software Science and Computation Structures, 2001, Vol.2030
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Axiomatizing Tropical Semirings
Foundations of Software Science and Computation Structures, 2001, Vol.2030
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
High-Level Petri Nets as Type Theories in the Join Calculus
Foundations of Software Science and Computation Structures, 2001, Vol.2030
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Class Analysis of Object-Oriented Programs through Abstract Interpretation
Foundations of Software Science and Computation Structures, 2001, Vol.2030
2001
Volltextzugriff (PDF)
1 – 25 von 57
Suche als RSS-Feed
Aktive Filter
KollektionEbook Central Perpetual and DDA
Suchergebnisse filtern
Filter anzeigen