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
Formal Methods : An Appetizer
1st ed. 2019, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Semantics with Applications: An Appetizer [Elektronische Ressource]
Undergraduate Topics in Computer Science
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Principles of program analysis : with 51 tables
1. ed., corr. 2. print, 2005
Signatur: TXL1997
    Datensatz exportieren als...
  • BibTeX
Principles of program analysis : with 51 tables
1999
Signatur: TXL1997
    Datensatz exportieren als...
  • BibTeX
Semantics with applications : a formal introduction
Wiley professional computing
1992
Signatur: TVM2754
1 – 5 von 5
Suche als RSS-Feed
Aktive Filter
SchlagwortComputer logic
SchlagwortComputers
Autor / AutorinNielson, Flemming
Suchergebnisse filtern
Filter anzeigen