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
Modular Specification and Verification of Object-Oriented Programs [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Advanced Lectures on Software Engineering : LASER Summer School 2007/2008 [Elektronische Ressource]
Lecture Notes in Computer Science : 6029
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings [Elektronische Ressource]
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Scalable Information Systems : 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers [Elektronische Ressource]
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering : 18
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Algorithms and Architectures for Parallel Processing : 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings
Lecture Notes in Computer Science : 10048
2016
Volltextzugriff (PDF)
1 – 7 von 7
Suche als RSS-Feed
Aktive Filter
Art des InhaltsNicht angegeben
SystemstelleCFA
SchlagwortSoftware engineering
Suchergebnisse filtern
Filter anzeigen