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
Modellierung mit UML : Sprache, Konzepte und Methodik
Xpert.press
1st ed. 2004, 2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Theoretical Computer Science and General Issues : 12477
1st ed. 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Theoretical Computer Science and General Issues : 12476
1st ed. 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Quality of Information and Communications Technology : 13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings
Communications in Computer and Information Science : 1266
1st ed. 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mobile Computing, Applications, and Services : 11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020, Proceedings
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering : 341
1st ed. 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
High Performance Computing : 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings
Theoretical Computer Science and General Issues : 12728
1st ed. 2021, 2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Economics of Grids, Clouds, Systems, and Services : 17th International Conference, GECON 2020, Izola, Slovenia, September 15–17, 2020, Revised Selected Papers
Computer Communication Networks and Telecommunications : 12441
1st ed. 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Building Information Modeling : Technology Foundations and Industry Practice
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Parallel Computational Technologies : 15th International Conference, PCT 2021, Volgograd, Russia, March 30 – April 1, 2021, Revised Selected Papers
Communications in Computer and Information Science : 1437
1st ed. 2021, 2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Distributed Computing and Internet Technology : 17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7–10, 2021, Proceedings
Information Systems and Applications, incl. Internet/Web, and HCI : 12582
1st ed. 2021, 2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Software Architecture : 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings
Programming and Software Engineering : 12857
1st ed. 2021, 2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Digitale Hardware/Software-Systeme : Synthese und Optimierung
Springer-Lehrbuch
1st ed. 1997, 1997
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
New Trends in Information and Communications Technology Applications : 4th International Conference, NTICT 2020, Baghdad, Iraq, June 15, 2020, Proceedings
Communications in Computer and Information Science : 1183
1st ed. 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modelling to Program : Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers
Communications in Computer and Information Science : 1401
1st ed. 2021, 2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Analytical and Stochastic Modelling Techniques and Applications : 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings
Programming and Software Engineering : 12023
1st ed. 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Guide to Computer Processor Architecture : A RISC-V Approach, with High-Level Synthesis
Undergraduate Topics in Computer Science
1st ed. 2023, 2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Advanced Computing : 10th International Conference, IACC 2020, Panaji, Goa, India, December 5–6, 2020, Revised Selected Papers, Part II
Communications in Computer and Information Science : 1368
1st ed. 2021, 2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen : Kiel, 19.–21. März 1980
Informatik-Fachberichte : 27
1st ed. 1980, 1980
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Requirements Writing for System Engineering
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
System Level Design from HW/SW to Memory for Embedded Systems : 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015, Proceedings
IFIP Advances in Information and Communication Technology : 523
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Architecture of Computing Systems - ARCS 2017 : 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings
Lecture Notes in Computer Science : 10172
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings
Theoretical Computer Science and General Issues : 12860
1st ed. 2021, 2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programmverifikation : Sequentielle, parallele und verteilte Programme
Springer-Lehrbuch
1st ed. 1994, 1994
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
Theoretical Computer Science and General Issues : 12079
1st ed. 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings
Lecture Notes in Artificial Intelligence : 12842
1st ed. 2021, 2021
Volltextzugriff (PDF)
1 – 25 von 121
Suche als RSS-Feed
Aktive Filter
Art des InhaltsNicht angegeben
Autor / AutorinEuropean Conference on Model Driven Architecture - Foundations and Applications
Sprache0|e d
Art des MediumsGedruckt
SchlagwortArchitecture.
SchlagwortSoftware engineering
Suchergebnisse filtern
Filter anzeigen