Search Results - ((((programovy OR programy) OR programm) OR programovaci) OR programovanie) systeme informatik

Gewissensbisse – Fallbeispiele zu ethischen Problemen der Informatik

Authors: Wolfgang Coy Constanze Kurz Otto Obert et al.

Resource Type: eBook.

Subjects: Computer science--Moral and ethical aspects, Information technology--Moral and ethical aspects

Categories: COMPUTERS / Social Aspects, COMPUTERS / Computer Science, COMPUTERS / Information Technology

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Authors: Stephanie Weirich

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Ereignisdiskrete Systeme : Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen

Authors: Jan Lunze

Resource Type: eBook.

Subjects: System analysis--Textbooks, Automatic control--Textbooks, Discrete-time systems--Textbooks

Categories: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / General, TECHNOLOGY & ENGINEERING / General

Verbundprojekt: Menschorientierte Gestaltung komplexer System of Systems - MoSyS; in der Fördermaßnahme 'Beherrschung der Komplexität soziotechnischer Systeme - ein Beitrag zum Advanced Systems Engineering für die Wertschöpfung von morgen (PDA_ASE)' im Programm 'Zukunft der Wertschöpfung - Forschung zu Produktion, Dienstleistung und Arbeit' des BMBF: gemeinsamer Sachbericht zum Verwendungsnachweis

Authors: Suwelack, Stefan

Subject Terms: 000 | Informatik, Information und Wissen, allgemeine Werke

Verbundprojekt: Menschorientierte Gestaltung komplexer System of Systems - MoSys; in der Fördermaßnahme 'Beherrschung der Komplexität soziotechnischer Systeme - ein Beitrag zum Advanced Systems Engineering für die Wertschöpfung von morgen (PDA_ASE)' im Programm 'Zukunft der Wertschöpfung - Forschung zu Produktion, Dienstleistung und Arbeit' des BMBF: gemeinsamer Sachbericht zum Verwendungsnachweis

Authors: Kiele-Dunsche, Markus Göllner, Denis

Subject Terms: 000 | Informatik, Information und Wissen, allgemeine Werke

Verbundprojekt: Menschorientierte Gestaltung komplexer System of Systems - MoSyS: gemeinsamer Sachbericht zum Verwendungsnachweis in der Fördermaßnahme "Beherrschung der Komplexität soziotechnischer Systeme - Ein Beitrag zum Advanced Systems Engineering für die Wertschöpfung von morgen (PDA_ASE)" im Programm "Zukunft der Wertschöpfung - Forschung zu Produktion, Dienstleistung und Arbeit" des BMBF

Authors: Anacker, Harald Günther, Matthias Humpert, Lynn et al.

Subject Terms: 000 | Informatik, Information und Wissen, allgemeine Werke

Soziale Formen : Fortführung eines soziologischen Programms

Authors: Athanasios Karafillidis

Resource Type: eBook.

Subjects: System theory, Communication, Sociology--Methodology, Social systems, Differentiation (Sociology)

Categories: SOCIAL SCIENCE / Sociology / Social Theory

Verbundprojekt 'Menschorientierte Gestaltung komplexer System of Systems' (Akronym 'MoSyS') - Abschlussdokumentation: Fördermaßnahme: „Beherrschung der Komplexität soziotechnischer Systeme - ein Beitrag zum Advanced Systems Engineering für die Wertschöpfung von morgen (PDA_ASE)“; Programm: „Zukunft der Wertschöpfung - Forschung zu Produktion, Dienstleistung und Arbeit“ des BMBF

Authors: Anacker, Harald

Subject Terms: 000 | Informatik, Information und Wissen, allgemeine Werke

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Authors: Viktor Vafeiadis

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Literaturwissenschaft und Informatik : Transdisziplinäre Perspektiven, digitale Methoden und selbstlernende Algorithmen

Authors: Alexa Lucke Hermann Johannes

Resource Type: eBook.

Subjects: Literature--Computer-assisted instruction, Literature--Study and teaching

Categories: COMPUTERS / Social Aspects, LANGUAGE ARTS & DISCIPLINES / Linguistics / Historical & Comparative

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Medien des Gatekeeping : Akteure, Architekturen, Prozesse

Authors: Franziska Reichenbecher Gabriele Schabacher

Resource Type: eBook.

Subjects: HM--Sociology (General), CB--History of Civilization, P--Philology. Linguistics

Categories: SOCIAL SCIENCE / Anthropology / Cultural & Social, SOCIAL SCIENCE / Media Studies

Rechtsgutsverletzungen durch KI-Systeme im Spiegel der Funktion des Strafrechts : KI und Generalvertrauen

Authors: Nicolai Preetz

Resource Type: eBook.

Subjects: Artificial intelligence, Criminal law, Technology and law

Categories: LAW / General, LAW / Criminal Law / General, LAW / Computer & Internet

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Proceedings of the 2023 1st International Conference on Advanced Informatics and Intelligent Information Systems (ICAI3S 2023)

Authors: Andiko Putro Suryotomo Heru Cahya Rustamaji

Resource Type: eBook.

Subjects: Information technology--Congresses, Computer science--Congresses

Categories: COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Data Science / Bioinformatics, TECHNOLOGY & ENGINEERING / Engineering (General)

Systems and Innovation Research in Transition

Authors: Jakob Edler Rainer Walz

Resource Type: eBook.

Subjects: Technological innovations, Technological innovations--Research

Categories: BUSINESS & ECONOMICS / Management, BUSINESS & ECONOMICS / Development / Economic Development, SCIENCE / Environmental Science

EMSBench: Benchmark und Testumgebung für reaktive Systeme

Authors: Kluge, Florian Ungerer, Theo

Source: Informatik aktuell ISBN: 9783662486108

Access URL: https://rd.springer.com/chapter/10.1007/978-3-662-48611-5_2
https://dblp.uni-trier.de/db/conf/pearl/echtzeit2015.html#KlugeU15
http://dblp.uni-trier.de/db/conf/pearl/echtzeit2015.html#KlugeU15
https://link.springer.com/chapter/10.1007/978-3-662-48611-5_2

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Authors: Nobuko Yoshida

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Dana Fisman Grigore Rosu

Resource Type: eBook.

Subjects: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

Authors: Jan Friso Groote Kim Guldstrand Larsen

Resource Type: eBook.

Subjects: System analysis--Congresses, Artificial intelligence, System design--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Hardware / General