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
AI and UX : why artificial intelligence needs user experience [electronic resource]
1st edition 2020, 2020
    Datensatz exportieren als...
  • BibTeX
AI and UX : Why Artificial Intelligence Needs User Experience
1st ed. 2020, 2020
    Datensatz exportieren als...
  • BibTeX
Refinement : Semantics, Languages and Applications
2018
    Datensatz exportieren als...
  • BibTeX
Computersysteme — Aufbau und Funktionsweise
2nd ed. 1983, 1983
    Datensatz exportieren als...
  • BibTeX
Computersysteme — Aufbau und Funktionsweise [electronic resource]
2nd ed. 1983, 1983
    Datensatz exportieren als...
  • BibTeX
Advances in Artificial Intelligence, Software and Systems Engineering : Proceedings of the AHFE 2019 International Conference on Human Factors in Artificial Intelligence and Social Computing, the AHFE International Conference on Human Factors, Software, Service and Systems Engineering, and the AHFE International Conference of Human Factors in Energy, July 24-28, 2019, Washington D.C., USA [electronic resource]
1st ed. 2020, 2020
    Datensatz exportieren als...
  • BibTeX
Advances in Artificial Intelligence, Software and Systems Engineering : Proceedings of the AHFE 2019 International Conference on Human Factors in Artificial Intelligence and Social Computing, the AHFE International Conference on Human Factors, Software, Service and Systems Engineering, and the AHFE International Conference of Human Factors in Energy, July 24-28, 2019, Washington D.C., USA
Advances in Intelligent Systems and Computing : 965
1st ed. 2020, 2020
    Datensatz exportieren als...
  • BibTeX
Dynamikgerechter Entwurf von Werkzeugmaschinen- Gestellstrukturen
iwb Forschungsberichte, Berichte aus dem Institut für Werkzeugmaschinen und Betriebswissenschaften der Technischen Universität München : 93
1st ed. 1995, 1995
    Datensatz exportieren als...
  • BibTeX
Automated Configuration Problem Solving [Elektronische Ressource]
SpringerBriefs in Computer Science
2012
    Datensatz exportieren als...
  • BibTeX
Graphische Datenverarbeitung : Mathematische Methoden Rechnerunterstütztes Entwerfen mit Geometriezellen [electronic resource]
1st ed. 1987, 1987
    Datensatz exportieren als...
  • BibTeX
CAD : Automatisiertes Zeichnen, Darstellen und Konstruieren [electronic resource]
1st ed. 1989, 1989
    Datensatz exportieren als...
  • BibTeX
Systementwurf mit Netzen [electronic resource]
1st ed. 1985, 1985
    Datensatz exportieren als...
  • BibTeX
16PDC Participatory Design Conference : PDC 2020, Participation(s) otherwise : proceedings of the 16th Participatory Design Conference : June 15-19, 2020, Manizales, Colombia - Universidad de Caldas. Volume 2. Exploratory papers & workshops
2020
    Datensatz exportieren als...
  • BibTeX
Petrinetze : Eine Einführung [electronic resource]
2nd ed. 1986, 1986
    Datensatz exportieren als...
  • BibTeX
Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Rewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Rewriting Logic and Its Applications : 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Theoretical Computer Science and General Issues : 11152
2018
    Datensatz exportieren als...
  • BibTeX
Software Engineering 3 : Domains, Requirements, and Software Design [Elektronische Ressource]
Texts in Theoretical Computer Science An EATC Series
2006
    Datensatz exportieren als...
  • BibTeX
Static Analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Transactions on Petri Nets and Other Models of Concurrency IX [Elektronische Ressource]
2014
    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 [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
VDM '90 VDM and Z- Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
    Datensatz exportieren als...
  • BibTeX
Graphische Datenverarbeitung : Mit einer Einführung in PHIGS und PHIGS-PLUS
2nd ed. 1992, 1992
    Datensatz exportieren als...
  • BibTeX
Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
Static Analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings [Elektronische Ressource]
2009
1 – 25 von 1.337
Suche als RSS-Feed
Aktive Filter
Autor / AutorinSinner, Dominik.
Autor / AutorinSudan, Madhu
Sprachedeu
SchlagwortSoftware engineering
Suchergebnisse filtern
Filter anzeigen