Výsledky vyhľadávania - (((programovy OR programm) OR programovaci) OR programovanie) systeme informatik

EMSBench: Benchmark und Testumgebung für reaktive Systeme

Autori: Kluge, Florian Ungerer, Theo

Zdroj: Informatik aktuell ISBN: 9783662486108

Prístupová URL adresa: 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

Entwurf und Implementierung eines TTCAN-Treibers für OSEKtime/TriCore TC1796
Design and Implementation of a TTCAN Driver for OSEKtime/TriCore TC1796

Autori: Rehm, Stefan

Dostupnosť: http://data.europeana.eu/aggregation/europeana/2048441/item_WFSCOEJSGZ5TDWHPO22KDLCPJZRPVHUF
http://data.europeana.eu/item/2048441/item_WFSCOEJSGZ5TDWHPO22KDLCPJZRPVHUF

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

Autori: Jan Lunze

Typ zdroja: eBook.

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

Kategórie: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / General, TECHNOLOGY & ENGINEERING / General

Gewissensbisse – Fallbeispiele zu ethischen Problemen der Informatik

Autori: Wolfgang Coy Constanze Kurz Otto Obert a ďalší

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Social Aspects, COMPUTERS / Computer Science, COMPUTERS / Information Technology

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

Autori: Suwelack, Stefan

Predmety: 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

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

Predmety: 000 | Informatik, Information und Wissen, allgemeine Werke

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

Autori: Stephanie Weirich

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

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

Autori: Anacker, Harald Günther, Matthias Humpert, Lynn a ďalší

Predmety: 000 | Informatik, Information und Wissen, allgemeine Werke

Soziale Formen : Fortführung eines soziologischen Programms

Autori: Athanasios Karafillidis

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Anacker, Harald

Predmety: 000 | Informatik, Information und Wissen, allgemeine Werke

Autonomous Systems: Developments and Trends

Autori: Herwig Unger Kyandoghere Kyamaky Janusz Kacprzyk

Typ zdroja: eBook.

Predmet: Computational intelligence, Artificial intelligence

Kategórie: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Engineering (General)

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

Autori: Viktor Vafeiadis

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Intraversionen von Mensch-KI-Relationen: Eine kulturwissenschaftliche Perspektive auf „Human-in-the-Loop“-Systeme. (German)

Alternate Title: Intraversions of Human-AI Relations. A Cultural Studies Perspective on Human-in-theLoop Systems. (English)

Autori: Vepřek, Libuše Hannah

Zdroj: Zeitschrift für Empirische Kulturwissenschaft; 2025, Issue 1, p5-27, 23p

Raumbezogenes Predictive Policing im Zeitalter der Digitalisierung – Eine rechtliche Evaluation.

Autori: Weiss, Erik

Zdroj: Juristenzeitung; 2025, Vol. 80 Issue 19, p851-859, 9p

Medien des Gatekeeping : Akteure, Architekturen, Prozesse

Autori: Franziska Reichenbecher Gabriele Schabacher

Typ zdroja: eBook.

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

Kategórie: SOCIAL SCIENCE / Anthropology / Cultural & Social, SOCIAL SCIENCE / Media Studies

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

Autori: Alexa Lucke Hermann Johannes

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Arie Gurfinkel Marijn Heule

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

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

Autori: Jan Lunze

Typ zdroja: eBook.

Predmet: Discrete-time systems, System analysis, Automatic control

Kategórie: TECHNOLOGY & ENGINEERING / Engineering (General), COMPUTERS / General, TECHNOLOGY & ENGINEERING / Electrical

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

Autori: Bernd Finkbeiner Laura Kovács

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

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

Autori: Nicolai Preetz

Typ zdroja: eBook.

Predmet: Artificial intelligence, Criminal law, Technology and law

Kategórie: LAW / General, LAW / Criminal Law / General, LAW / Computer & Internet