Parallele und kommunizierende Prozesse" (PDF). Formale Grundlagen der Informatik II: Modellierung und Analyse von Informatiksystemen (in German). Vol. Part...
19 KB (2,452 words) - 08:56, 28 June 2024
Max Planck Institute for Informatics (German: Max-Planck-Institut für Informatik, abbreviated MPI-INF or MPII) is a research institute in computer science...
4 KB (405 words) - 18:02, 12 February 2025
those used in FDR2. The ProB project, which is hosted by the Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, was originally created to support...
42 KB (5,757 words) - 11:49, 24 May 2025
Dagstuhl Seminar Proceedings. 10201. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany: 1–60. doi:10.4230/DagSemProc.10201.1 – via Dagstuhl Research...
19 KB (2,576 words) - 06:53, 9 October 2024
Denmark Finnish Information Processing Association, Finland Société informatique de France (SIF), France Gesellschaft für Informatik e.V. (GI), Germany John...
36 KB (4,167 words) - 06:40, 28 April 2025
CANoe is a development and testing software tool from Vector Informatik GmbH. The software is primarily used by automotive manufacturers and electronic...
9 KB (941 words) - 19:42, 5 November 2024
earliest commercial applications of data processing. In April 1957, Steinbuch published a paper called Informatik: Automatische Informationsverarbeitung...
34 KB (2,867 words) - 23:13, 22 May 2025
German Informatics Society (redirect from Gesellschaft fur Informatik)
The German Informatics Society (GI) (German: Gesellschaft für Informatik) is a German professional society for computer science, with around 20,000 personal...
9 KB (842 words) - 07:31, 27 October 2024
Cepstrum (redirect from Lifter (signal processing))
Weber, Wolfgang; Heinemann, Traute, eds. (1974) [1967]. Taschenbuch der Informatik – Band III – Anwendungen und spezielle Systeme der Nachrichtenverarbeitung...
18 KB (2,261 words) - 05:37, 12 March 2025
Artificial Intelligence. In May 2019, he was honored by the Gesellschaft für Informatik as one of 10 most important heads of German artificial intelligence history...
7 KB (569 words) - 21:37, 19 November 2024
computer science. It was established in 1965 as the Journal of Information Processing and Cybernetics (German: Elektronische Informationsverarbeitung und Kybernetik)...
3 KB (221 words) - 10:56, 2 April 2025
"Bibliography - Petri62". www.informatik.uni-hamburg.de. Retrieved 2020-10-25. "Bibliography - Petri76a". www.informatik.uni-hamburg.de. Retrieved 2020-10-25...
12 KB (1,006 words) - 05:36, 3 June 2025
of the bank. Avaloq was founded in Zürich in 1985, under the name "BZ Informatik Aktiengesellschaft", functioning as the information technology subsidiary...
10 KB (892 words) - 22:59, 20 October 2024
Goos, Gerhard [in German] (2017-08-07). Geschichte der deutschsprachigen Informatik - Programmiersprachen und Übersetzerbau [History of informatics in German-speaking...
13 KB (1,305 words) - 22:46, 12 February 2025
CANape is a software tool from Vector Informatik. This development software, widely used by OEMs and ECU suppliers of automotive industries is used to...
11 KB (997 words) - 05:48, 1 May 2024
Neural network (machine learning) (redirect from Neural network processor)
Archived 6 March 2015 at the Wayback Machine, Diploma thesis. Institut f. Informatik, Technische Univ. Munich. Advisor: J. Schmidhuber, 1991. Hochreiter S...
169 KB (17,641 words) - 00:21, 11 June 2025
(LNI) – Thematics (in German). Vol. T-7. Bonn, Germany: Gesellschaft für Informatik (GI) / Köllen Druck + Verlag GmbH. ISBN 978-3-88579-426-4. ISSN 1614-3213...
40 KB (4,727 words) - 00:02, 29 May 2025
cadwork informatik CI AG is a multinational software company headquartered in Basel, Switzerland. It develops and markets software products primarily for...
13 KB (1,437 words) - 08:28, 21 May 2024
Struktogramme nach Nassi-Shneiderman. Böttcher, Axel; Kneißl, Franz: Informatik für Ingenieure: Grundlagen und Programmierung in C. 3rd edition. München:...
7 KB (841 words) - 15:36, 24 September 2023
of" in McCarthy's explanation. 704 - electronic data-processing machine http://bitsavers.informatik.uni-stuttgart.de/pdf/ibm/704/24-6661-2_704_Manual_1955...
11 KB (1,220 words) - 10:52, 27 May 2025
Bundeswettbewerb Informatik. Informatik Spektrum, Vol. 11, pp. 107–108, Springer-Verlag, 1988 P. Heyderhoff: Informatik-Olympiade. Informatik Spektrum, Vol...
8 KB (653 words) - 11:36, 10 June 2025
class. In 2005 he was also elected as a fellow of the Gesellschaft für Informatik. Since 2006, he has been a member of the council for innovation and growth...
8 KB (864 words) - 17:46, 9 June 2024
November 2018, DBLP is a branch of Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI). DBLP listed more than 5.4 million journal articles, conference...
9 KB (881 words) - 16:46, 3 January 2024
Notation System based on GUIDO Music Notation. PhD thesis. Fachbereich Informatik, Technische Universität Darmstadt, 2002. Guido of Arezzo GNU LilyPond...
4 KB (550 words) - 01:14, 22 February 2025
Data cube (category Image processing)
Datenbanken") was established at German Gesellschaft für Informatik. Datacube Inc. was an image processing company selling hardware and software applications...
10 KB (1,242 words) - 18:48, 1 May 2024
Fachwissenschaftlicher Informatik-Kongress, Studierendenkonferenz Informatik, 26.-27. September 2018, Berlin. Gesellschaft für Informatik. [Bonn]. 2018....
7 KB (556 words) - 16:07, 26 May 2025
majors at undergraduate level: At the School of Technology: Angewandte Informatik - applied computer science Bauwesen-Fassadentechnik - construction engineering:...
5 KB (393 words) - 11:01, 23 May 2025
Computer science (section Image and sound processing)
"information and mathematics" are often used, e.g. informatique (French), Informatik (German), informatica (Italian, Dutch), informática (Spanish, Portuguese)...
73 KB (6,712 words) - 20:16, 28 May 2025
researchers in German artificial intelligence history by the Gesellschaft für Informatik. Bibel established the necessary institutions, conferences and scientific...
22 KB (2,638 words) - 22:00, 5 May 2025
Circuits. International Symposium on Multiple-Valued Logic, 2011. http://www.informatik.uni-bremen.de/agra/doc/konf/11_ismvl_reversible_circuit_design_tutorial...
25 KB (3,032 words) - 16:37, 5 June 2025