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
Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Programming and Software Engineering : 11951
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
Engineering Trustworthy Software Systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures [electronic resource]
1st ed. 2016, 2016
    Datensatz exportieren als...
  • BibTeX
Software Service and Application Engineering : Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday [electronic resource]
1st ed. 2012, 2012
    Datensatz exportieren als...
  • BibTeX
Software Engineering for Resilient Systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings [electronic resource]
1st ed. 2013, 2013
    Datensatz exportieren als...
  • BibTeX
Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings [electronic resource]
1st ed. 2016, 2016
    Datensatz exportieren als...
  • BibTeX
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings [electronic resource]
1st ed. 2017, 2017
    Datensatz exportieren als...
  • BibTeX
Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings [electronic resource]
1st ed. 2015, 2015
    Datensatz exportieren als...
  • BibTeX
Requirements Engineering: Foundation for Software Quality : 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings [electronic resource]
1st ed. 2015, 2015
    Datensatz exportieren als...
  • BibTeX
Rapid Integration of Software Engineering Techniques : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers [electronic resource]
1st ed. 2006, 2006
    Datensatz exportieren als...
  • BibTeX
Models in Software Engineering : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers
1st ed. 2010, 2010
    Datensatz exportieren als...
  • BibTeX
Software engineering and formal methods : SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, revised selected papers
1st ed. 2021, [2021]
    Datensatz exportieren als...
  • BibTeX
Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
Programming and Software Engineering : 13077
1st ed. 2021, 2021
    Datensatz exportieren als...
  • BibTeX
Software Architecture : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings [electronic resource]
1st ed. 2014, 2014
    Datensatz exportieren als...
  • BibTeX
Reliable Software Technologies – Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings [electronic resource]
1st ed. 2018, 2018
    Datensatz exportieren als...
  • BibTeX
Reliable Software Technologies – Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings [electronic resource]
1st ed. 2014, 2014
    Datensatz exportieren als...
  • BibTeX
Software Engineering : Proceedings of CSI 2015
Advances in Intelligent Systems and Computing : 731
2019
    Datensatz exportieren als...
  • BibTeX
Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers [electronic resource]
1st ed. 2015, 2015
    Datensatz exportieren als...
  • BibTeX
Software Engineering : Proceedings of CSI 2015 [electronic resource]
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers [electronic resource]
1st ed. 2018, 2018
    Datensatz exportieren als...
  • BibTeX
Domain Science and Engineering : A Foundation for Software Development
Monographs in Theoretical Computer Science. An EATCS Series
1st ed. 2021, 2021
    Datensatz exportieren als...
  • BibTeX
Assurances for Self-Adaptive Systems : Principles, Models, and Techniques [electronic resource]
1st ed. 2013, 2013
    Datensatz exportieren als...
  • BibTeX
Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
Programming and Software Engineering : 12549
1st ed. 2020, 2020
    Datensatz exportieren als...
  • BibTeX
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers [electronic resource]
1st ed. 2011, 2011
    Datensatz exportieren als...
  • BibTeX
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers [electronic resource]
1st ed. 2011, 2011
    Datensatz exportieren als...
  • BibTeX
Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings [electronic resource]
1st ed. 2015, 2015
1 – 25 von 241
Suche als RSS-Feed
Aktive Filter
Art des InhaltsKongressbericht
SchlagwortArtificial intelligence
SchlagwortComputer programming
SchlagwortComputer logic
Suchergebnisse filtern
Filter anzeigen