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
Ordered attributed grammars [Elektronische Ressource]
Acta Informatica, 13.1980, H.3, S. 229-256 (Alle Bände)
2009
Open Access
    Datensatz exportieren als...
  • BibTeX
Eigenschaften von Programmiersprachen : definiert durch attributierte Grammatiken [Elektronische Ressource]
Programmiersprachen und Programmentwicklung, 6(1980), S. 157-174 (Alle Bände)
2009
    Datensatz exportieren als...
  • BibTeX
Methoden und Werkzeuge zur Entwicklung dreidimensionaler visueller Sprachen : = Methods and tools to implement three-dimensional visual languages
2015
Signatur: PQ916
Open Access
    Datensatz exportieren als...
  • BibTeX
Reconfiguration of legacy software artifacts in resource constraint embedded systems [Elektronische Ressource]
2014
Open Access
    Datensatz exportieren als...
  • BibTeX
PBlaman: kontraktbasierte Performance-Blame-Analysis : = PBlaman: contract-based performance blame analysis [Elektronische Ressource]
2015
    Datensatz exportieren als...
  • BibTeX
Modellierung : Grundlagen und formale Methoden
4., erweiterte Auflage, [2018]
    Datensatz exportieren als...
  • BibTeX
Proof-carrying hardware : a novel approach to reconfigurable hardware security
2012
Signatur: PQ742
Open Access
    Datensatz exportieren als...
  • BibTeX
Systematische Analyse semantischer Abhängigkeiten [Elektronische Ressource]
Programmiersprachen / Fachtagung über Programmiersprachen, 4(1976), S. 19-32 (Alle Bände)
2009
Open Access
    Datensatz exportieren als...
  • BibTeX
Attribute grammars as a specification method [Elektronische Ressource]
Attribute grammars, applications and systems (Lecture notes in computer science ; 545), 1991, S. 16-47 (Alle Bände)
2009
    Datensatz exportieren als...
  • BibTeX
Generating processors from specifications of instruction sets : = Generierung von Prozessoren aus Instruktionssatzspezifikationen
2011
Signatur: PQ677
    Datensatz exportieren als...
  • BibTeX
Generating software from specifications
1. ed, 2007
Signatur: TWQ11684
    Datensatz exportieren als...
  • BibTeX
Modellierung : Grundlagen und formale Methoden
Grundlagenwissen für Informatiker
2005
Signatur: TUA3617
    Datensatz exportieren als...
  • BibTeX
Modellierung : Grundlagen und formale Methoden
3., überarb. Aufl, 2014
Signatur: TUA3617(3)
Open Access
    Datensatz exportieren als...
  • BibTeX
Spezifikation, Simulation und Validierung von Prozessoren : = Specification, simulation and validation of processors [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Spezifikation, Simulation und Validierung von Prozessoren : = Specification, simulation and validation of processors
2013
Signatur: PQ781
    Datensatz exportieren als...
  • BibTeX
Modellierung : Grundlagen und formale Methoden
5., aktualisierte Auflage, [2021]
Signatur: TUA3617(5)
    Datensatz exportieren als...
  • BibTeX
Modellierung : Grundlagen und formale Methoden ; [für Bachelor geeignet
2., überarb. und erw. Aufl, 2008
Signatur: TUA3617(2)
    Datensatz exportieren als...
  • BibTeX
Modellierung : Grundlagen und formale Methoden
4., erweiterte Auflage, [2018]
Signatur: TUA3617(4)
26 – 43 von 43
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen