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
Introduction to Compiler Design
3rd ed. 2024, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Language Design and Implementation
1, 2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Introduction to Compiler Design
Second edition., 2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Reversible Computation: 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024, Proceedings
1, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Partial Evaluation: Practice and Theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29-July 10, 1998
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Introduction to Compiler Design
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
1, 2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fast Control for Reversible Processors
Reversible Computation, 2022, Vol.13354, p.51-64
2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Reversible Functional Array Programming
Reversible Computation, 2021, Vol.12805, p.45-63
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Data Structures and Dynamic Memory Management in Reversible Languages
Reversible Computation, 2018, Vol.11106, p.269-285
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Hermes: A Language for Light-Weight Encryption
Reversible Computation, 2020, Vol.12227, p.93-110
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)
Perspectives of System Informatics, 2019, Vol.11964, p.243-251
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Reversible In-Place Carry-Lookahead Addition with Few Ancillae
Reversible Computation, 2019, Vol.11497, p.224-237
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Garbage-Free Reversible Multiplication and Division
Reversible Computation, 2018, Vol.11106, p.253-268
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
RSSA: A Reversible SSA Form
Perspectives of System Informatics, 2016, Vol.9609, p.203-217
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Semi-inversion of guarded equations
Generative Programming and Component Engineering, 2005, p.189-204
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Implementing Reversible Object-Oriented Language Features on Reversible Machines
Reversible Computation, 2017, Vol.10301, p.66-73
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
The Essence of Computation, 2002, Vol.2566, p.85-108
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Supercompilation for Datatypes
Perspectives of System Informatics, 2015, Vol.8974, p.232-247
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Reversible Computation: 16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Essence of Computation: Complexity, Analysis, Transformation
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Partial Evaluation of Janus Part 2: Assertions and Procedures
Perspectives of Systems Informatics, 2012, Vol.7162, p.289-301
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Flow Logic: A Multi-paradigmatic Approach to Static Analysis
The Essence of Computation, 2002, Vol.2566, p.223-244
2002
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Model Checking Reversible Systems: Forwardly
Reversible Computation, 2024, Vol.14680, p.218-237
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Jeopardy: An Invertible Functional Programming Language
Reversible Computation, 2024, Vol.14680, p.124-141
2024
Volltextzugriff (PDF)
1 – 25 von 151
Suche als RSS-Feed
Aktive Filter
KollektionEbook Central Perpetual and DDA
Suchergebnisse filtern
Filter anzeigen