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
    Datensatz exportieren als...
  • BibTeX
Proceedings of the Third Workshop on Formal Integrated Development Environment: Preface
Electronic proceedings in theoretical computer science, 2017-01, Vol.240
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD): Preface
Electronic proceedings in theoretical computer science, 2018-05, Vol.271
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings Second International Workshop on Formal Integrated Development Environment: Preface
Electronic proceedings in theoretical computer science, 2015-08, Vol.187
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings Second International Workshop on Formal Integrated Development Environment: Demo Session
Electronic proceedings in theoretical computer science, 2015-08, Vol.187
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings 1st Workshop on Formal Integrated Development Environment: Preface
Electronic proceedings in theoretical computer science, 2014-04, Vol.149
2014
Volltextzugriff (PDF)
1 – 5 von 5
Suche als RSS-Feed
Aktive Filter
ThemaScience & Technology
Zeitschrift / SerieElectronic Proceedings In Theoretical Computer Science
Nur zeigenMit Volltextzugriff
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Kollektion