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
Modern C++ for Absolute Beginners : A Friendly Introduction to C++ Programming Language and C++11 to C++20 Standards [electronic resource]
1st ed. 2020, 2020
    Datensatz exportieren als...
  • BibTeX
Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers [electronic resource]
1st ed. 2020, 2020
    Datensatz exportieren als...
  • BibTeX
Innovative Security Solutions for Information Technology and Communications : 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers [electronic resource]
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
Artificial Intelligence and Security : 5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV [electronic resource]
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers [electronic resource]
1st ed. 2018, 2018
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II [electronic resource]
1st ed. 2018, 2018
Open Access
    Datensatz exportieren als...
  • BibTeX
Open Source Systems: Towards Robust Practices : 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings [electronic resource]
1st ed. 2017, 2017
    Datensatz exportieren als...
  • BibTeX
Pro Docker [electronic resource]
1st ed. 2016, 2016
    Datensatz exportieren als...
  • BibTeX
Perspectives of System Informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers [electronic resource]
1st ed. 2015, 2015
    Datensatz exportieren als...
  • BibTeX
Mobile, Secure, and Programmable Networking : First International Conference, MSPN 2015, Paris, France, June 15-17, 2015, Selected Papers [electronic resource]
1st ed. 2015, 2015
    Datensatz exportieren als...
  • BibTeX
Architecture of Computing Systems -- ARCS 2014 : 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings [electronic resource]
1st ed. 2014, 2014
    Datensatz exportieren als...
  • BibTeX
Raspberry Pi - Das Handbuch : Konfiguration, Hardware, Applikationserstellung [electronic resource]
1st ed. 2013, 2013
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II [electronic resource]
1st ed. 2012, 2012
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I [electronic resource]
1st ed. 2012, 2012
    Datensatz exportieren als...
  • BibTeX
Analyzing Computer System Performance with Perl::PDQ [electronic resource]
2nd ed. 2011, 2011
    Datensatz exportieren als...
  • BibTeX
Reliable Software Technologies - Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings [electronic resource]
1st ed. 2010, 2010
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II [electronic resource]
1st ed. 2010, 2010
    Datensatz exportieren als...
  • BibTeX
Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers [electronic resource]
1st ed. 2010, 2010
    Datensatz exportieren als...
  • BibTeX
Systems and Virtualization Management: Standards and the Cloud : Third International DMTF Academic Alliance Workshop, SVM 2009, Wuhan, China, September 22-23, 2009. Revised Selected Papers [electronic resource]
1st ed. 2010, 2010
    Datensatz exportieren als...
  • BibTeX
Algorithms and Architectures for Parallel Processing : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II [electronic resource]
1st ed. 2010, 2010
    Datensatz exportieren als...
  • BibTeX
Software Product Lines: Going Beyond : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings [electronic resource]
1st ed. 2010, 2010
    Datensatz exportieren als...
  • BibTeX
Innovations in Computing Sciences and Software Engineering [electronic resource]
1st ed. 2010, 2010
    Datensatz exportieren als...
  • BibTeX
Parallel Processing and Applied Mathematics, Part I : 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 [electronic resource]
1st ed. 2010, 2010
    Datensatz exportieren als...
  • BibTeX
Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings [electronic resource]
1st ed. 2009, 2009
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings [electronic resource]
1st ed. 2009, 2009
1 – 25 von 48
Suche als RSS-Feed
Aktive Filter
ErscheinungsformMonographie
Autor / AutorinWeigend, Michael
SchlagwortSoftware Engineering
Suchergebnisse filtern
Filter anzeigen