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
1st ed. 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computersysteme — Aufbau und Funktionsweise
2nd ed. 1983, 1983
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Refinement : Semantics, Languages and Applications
2018
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automated Configuration Problem Solving [Elektronische Ressource]
SpringerBriefs in Computer Science
2012
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday [Elektronische Ressource]
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Static Analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Architecting Dependable Systems VII [Elektronische Ressource]
Lecture Notes in Computer Science : 6420
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Programming and Software Engineering : 11222
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures [Elektronische Ressource]
2015
Volltextzugriff (PDF)
    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 [Elektronische Ressource]
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Principles and Practice of Constraint Programming - CP 2009 : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5732
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Practical Aspects of Declarative Languages : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings [Elektronische Ressource]
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Graphische Datenverarbeitung : Mit einer Einführung in PHIGS und PHIGS-PLUS
2nd ed. 1992, 1992
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
FM’99 — Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II [Elektronische Ressource]
1999
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Evolving OpenMP for Evolving Architectures : 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings
Programming and Software Engineering : 11128
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Temporal Logic and State Systems [Elektronische Ressource]
Texts in Theoretical Computer Science, An EATCS Series
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5825
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tests and Proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings [Elektronische Ressource]
2011
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
1 – 25 von 1.229
Suche als RSS-Feed
Aktive Filter
SpracheItalienisch
Art des MediumsOnline-Ressource
SchlagwortSoftware engineering
Suchergebnisse filtern
Filter anzeigen