Výsledky vyhledávání - ((((programy OR program) OR programm) OR programovaci) OR programovanie) systeme informatik

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

Autoři: Stephanie Weirich

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

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

Abteilungsinterne Excel-Programme zur Qualitätserhebung. Analyse und Verbesserungsmöglichkeiten

Autoři: Eduard Tinis

Resource Type: eBook.

Categories: COMPUTERS / Computer Science

Medien des Gatekeeping : Akteure, Architekturen, Prozesse

Autoři: Franziska Reichenbecher Gabriele Schabacher

Resource Type: eBook.

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

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

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

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

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

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

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: 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

Gewissensbisse – Fallbeispiele zu ethischen Problemen der Informatik

Autoři: Wolfgang Coy Constanze Kurz Otto Obert a další

Resource Type: eBook.

Témata: Computer science--Moral and ethical aspects, Information technology--Moral and ethical aspects

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

Frontiers of Combining Systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings

Autoři: Uli Sattler Martin Suda

Resource Type: eBook.

Témata: Computer science--Congresses, Logic, Symbolic and mathematical--Congresses

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

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

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: 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

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)

Autoři: Vepřek, Libuše Hannah

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

Autonomous Systems: Developments and Trends

Autoři: Herwig Unger Kyandoghere Kyamaky Janusz Kacprzyk

Resource Type: eBook.

Témata: Computational intelligence, Artificial intelligence

Categories: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Engineering (General)

Tragbare Multisensormodule zur sensorgestützten Erfassung von Parametern bei Einsatzübungen. (German)

Alternate Title: Portable multisensor modules for sensor-based acquisition of parameters during training exercises. (English)

Autoři: Paschek, Stefan Kuschel, Thomas Alibazibehbahani, Parisay a další

Zdroj: e & i Elektrotechnik und Informationstechnik; Nov2025, Vol. 142 Issue 6, p396-408, 13p

Handlungsfelder und Prozesse im Forschungsdatenmanagement. (German)

Alternate Title: Fields of action and processes in research data management. (English)
Champs d'action et processus dans la gestion des données de recherche. (French)

Autoři: Lehmann, Anna Alshawaf, Fadwa Herwig, Anja

Zdroj: Information -- Wissenschaft und Praxis; Oct2025, Vol. 76 Issue 5/6, p271-281, 11p

Die Auswirkungen Künstlicher Intelligenz auf die Polizeiarbeit. (German)

Autoři: HONEKAMP, WILFRIED

Zdroj: Deutsches Polizeiblatt (DPolBl); 2025, Issue 6, p15-18, 4p

Témata: ARTIFICIAL intelligence, LAW enforcement, LEGAL norms, TECHNOLOGICAL innovations, QUANTITATIVE research, ETHICS, PUBLIC safety

Disallowing Same-program Co-schedules to Improve Efficiency in Quad-core Servers

Autoři: Andreas de Blanche Thomas Lundqvist

Témata: 0103 physical sciences, ddc:000, Informatik, Wissen, Systeme, Co-scheduling, Same Process, Scheduling, Allocation, Multicore, Slowdown, Cluster, Cloud, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/hipeac/coshvisorhpc2017.html#BlancheL17
http://www.diva-portal.org/smash/record.jsf?pid=diva2:1066747
https://doi.org/10.14459/2017md1344414
https://mediatum.ub.tum.de/1344414
https://mediatum.ub.tum.de/1344414

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

Autoři: Jan Lunze

Resource Type: eBook.

Témata: 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

Autoři: Suwelack, Stefan

Témata: 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

Autoři: Kiele-Dunsche, Markus Göllner, Denis

Témata: 000 | Informatik, Information und Wissen, allgemeine Werke

Europäische Kriegsdividenden … aber für wen? (German)

Autoři: Serfati, Claude

Zdroj: Kurswechsel; 2025, Issue 3, p15-28, 14p

Témata: MILITARY spending, PUBLIC spending, MILITARY budgets, INTERNATIONAL security, SOCIAL impact, SOCIAL change, INTERNATIONAL alliances

Geografický termín: EUROPE, FRANCE

Korporace: EUROPEAN Commission

Programming Languages and Systems

Autoři: Alex Potanin

Resource Type: eBook.

Témata: Compilers (Computer programs), Programming languages (Electronic computers)--Congresses, Artificial intelligence, Computer programming

Categories: COMPUTERS / Programming / Compilers

Verhaltensdesign : Technologische und ästhetische Programme der 1960er und 1970er Jahre

Autoři: Jeannie Moser Christina Vagt

Resource Type: eBook.

Témata: Medien, Technik, Kulturwissenschaft, Bildung

Categories: SOCIAL SCIENCE / Media Studies, TECHNOLOGY & ENGINEERING / Social Aspects