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
Refinement : Semantics, Languages and Applications
2018
    Datensatz exportieren als...
  • BibTeX
Computersysteme — Aufbau und Funktionsweise
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
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
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
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
Graphische Datenverarbeitung : Mit einer Einführung in PHIGS und PHIGS-PLUS
2nd ed. 1992, 1992
    Datensatz exportieren als...
  • BibTeX
Static Analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings [Elektronische Ressource]
2009
    Datensatz exportieren als...
  • BibTeX
People, Personal Data and the Built Environment
Springer Series in Adaptive Environments
2019
    Datensatz exportieren als...
  • BibTeX
Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6128
2010
    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
    Datensatz exportieren als...
  • BibTeX
Software Engineering 2 : Specification of Systems and Languages [Elektronische Ressource]
Texts in Theoretical Computer Science An EATCS Series
2006
    Datensatz exportieren als...
  • BibTeX
Architecting Dependable Systems VII [Elektronische Ressource]
Lecture Notes in Computer Science : 6420
2010
    Datensatz exportieren als...
  • BibTeX
Practical Aspects of Declarative Languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5937
2010
    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 I [Elektronische Ressource]
1999
    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
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers [Elektronische Ressource]
2009
    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
    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
    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
    Datensatz exportieren als...
  • BibTeX
Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings [Elektronische Ressource]
2007
    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
    Datensatz exportieren als...
  • BibTeX
Temporal Logic and State Systems [Elektronische Ressource]
Texts in Theoretical Computer Science, An EATCS Series
2008
    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
1 – 25 von 966
Suche als RSS-Feed
Aktive Filter
Sprache0|d
SpracheCroatian
SchlagwortArtificial intelligence
SchlagwortBuilding
SchlagwortComputer-Aided Engineering (CAD, CAE) and Design.
SchlagwortSoftware engineering
Suchergebnisse filtern
Filter anzeigen