and C are nonterminal symbols, the letter a is a terminal symbol (a symbol that represents a constant value), S is the start symbol, and ε denotes the empty...
21 KB (1,926 words) - 08:25, 22 August 2024
by miHoYo General Instrument, an electronics company Gesellschaft für Informatik, a German computer society Goethe-Institut, a German cultural association...
2 KB (295 words) - 20:39, 2 April 2025
Kolloquium 14 Nov 2014 in Jena, Germany (in German). Bonn: Gesellschaft für Informatik. ISBN 978-3-88579-426-4. Bergman, George Mark (2013). "Order of arithmetic...
48 KB (4,556 words) - 21:34, 26 June 2025
First-order logic (section Logical symbols)
Helga Noll (1977). Mathematische Logik mit Informatik-Anwendungen. Heidelberger Taschenbücher, Sammlung Informatik (in German). Vol. 187. Heidelberg: Springer...
93 KB (12,955 words) - 20:50, 1 July 2025
proper rendering support, you may see question marks, boxes, or other symbols instead of Khmer script. Suryavarman II (Khmer: សូរ្យវរ្ម័នទី២, UNGEGN:...
14 KB (1,754 words) - 14:59, 8 June 2025
und die Synchronisation von Halbspursprachen Archived 2018-01-17 at the Wayback Machine; Fakultät Informatik der Universität Stuttgart; 1994 (German)...
5 KB (724 words) - 20:02, 7 May 2025
"Was ist Informatik? Zur Entstehung des Faches an den deutschen Universitäten". In Hellige, Hans Dieter (ed.). Geschichten der Informatik. Visionen,...
30 KB (2,743 words) - 09:09, 25 May 2025
June 2019. Küveler, Gerd; Schwoch, Dietrich (2013) [1996]. Arbeitsbuch Informatik – eine praxisorientierte Einführung in die Datenverarbeitung mit Projektaufgabe...
60 KB (7,236 words) - 06:55, 24 June 2025
(2004) [November 2002]. Written at Bremen, Germany. Geschichten der Informatik - Visionen, Paradigmen, Leitmotive (in German) (1 ed.). Berlin / Heidelberg...
67 KB (8,040 words) - 07:43, 12 June 2025
Steinbuch, Karl W.; Weber, Wolfgang, eds. (1974) [1967]. Taschenbuch der Informatik - Band III - Anwendungen und spezielle Systeme der Nachrichtenverarbeitung...
57 KB (2,988 words) - 12:14, 15 April 2025
List of vacuum-tube computers Hans Dieter Hellige (ed.): Geschichten der Informatik. Visionen, Paradigmen, Leitmotive. Berlin, Springer 2004, ISBN 3-540-00217-0...
6 KB (586 words) - 01:42, 14 June 2025
Bounds on the parameters of various types of codes, IAKS, Fakultät für Informatik, Universität Karlsruhe (TH)]. Online, up to date table of the optimal...
17 KB (2,694 words) - 03:34, 28 November 2024
logic "Normal Forms and Skolemization" (PDF). Max-Planck-Institut für Informatik. Retrieved 15 December 2012. Reiner Hähnle. Tableaux and related methods...
11 KB (1,909 words) - 06:27, 25 July 2024
Division. Forschungsberichte des Max-Planck-Instituts für Informatik. Saarbrücken: MPI Informatik Bibliothek & Dokumentation. OCLC 246319574. MPII-98-1-022...
27 KB (1,617 words) - 21:45, 14 June 2025
Theoretische Informatik-kurz gefasst (4 ed.). London: Oxford University Press. ISBN 3-8274-1099-1. Schöning, Uwe (2008). Theoretische Informatik-kurz gefasst...
17 KB (2,096 words) - 13:46, 8 November 2024
(1+viii+122+2 pages) Küveler, Gerd; Schwoch, Dietrich (2013) [1996]. Arbeitsbuch Informatik - eine praxisorientierte Einführung in die Datenverarbeitung mit Projektaufgabe...
41 KB (3,460 words) - 22:52, 12 May 2025
Trentino-Alto Adige/Südtirol (section Symbols)
und Neuansätzen, Steiner, Stuttgart 2000, p. 213-221 SPA, Südtiroler Informatik AG | Informatica Alto Adige. "Landesinstitut für Statistik – Autonome...
46 KB (4,857 words) - 19:02, 25 June 2025
der Zuse-Maschinen (PDF). INFORMATIK 2005 Informatik LIVE! Band 1, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 19. bis 22. September...
76 KB (6,744 words) - 02:43, 26 April 2025
Goos, Gerhard [in German] (2017-08-07). Geschichte der deutschsprachigen Informatik - Programmiersprachen und Übersetzerbau [History of informatics in German-speaking...
36 KB (2,762 words) - 08:28, 24 May 2025
Portland, OR, USA, LIPIcs, vol. 141, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 15:1–15:19, arXiv:1907.01449, doi:10.4230/LIPIcs.ITP.2019.15,...
18 KB (2,244 words) - 12:55, 24 June 2025
June 2021. Geologische Bundesanstalt: Geofast-Karten SPA, Südtiroler Informatik AG | Informatica Alto Adige. "Natur, Landschaft und Raumentwicklung |...
74 KB (7,669 words) - 08:44, 28 June 2025
publicly traded on the New York Stock Exchange (symbol: NTB) and the Bermuda Stock Exchange (symbol: NTB.BH). In 1858 the Bank of N. T. Butterfield was...
8 KB (871 words) - 19:20, 18 March 2025
of Computer Science and Engineering Science, https://www.th-koeln.de/informatik-und-ingenieurwissenschaften/ Educational center for technology and economy...
8 KB (859 words) - 11:20, 9 May 2025
Retrieved 15 March 2010. "Ein Hinweis in eigener Sache". wortschatz.informatik.uni-leipzig.de. 7 January 2003. Archived from the original on 15 May 2011...
144 KB (14,653 words) - 12:36, 26 June 2025
(STACS 2015). STACS 2015. Vol. 30. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. pp. 649–661. doi:10.4230/LIPIcs.STACS.2015.649. K. Ruohonen (1983). "On...
25 KB (2,521 words) - 16:01, 20 December 2024
McGraw-Hill. p. 317. ISBN 978-0-07-352340-8. "dblp: ACM Turing Award Lectures". informatik.uni-trier.de. Archived from the original on January 2, 2015. Retrieved...
80 KB (3,581 words) - 00:11, 20 June 2025
circle, is easily comprehensible. It needs, however, a lot of space.] "Informatik Sammlung Erlangen (ISER)" (in German). Erlangen, Germany: Friedrich-Alexander...
181 KB (15,921 words) - 08:28, 24 June 2025
Veritas was listed on the S&P 500 and the NASDAQ-100 under the VRTS ticker symbol. In 2014, Symantec announced that it would demerge its information management...
15 KB (1,540 words) - 11:25, 18 April 2025
– Chair of Computer Science VIII – Aerospace Information Technology". informatik.uni-wuerzburg.de. Retrieved January 28, 2022. "Where Science and UAP Meet"...
192 KB (19,922 words) - 02:56, 12 June 2025
the original (PDF) on 2007-11-09. Retrieved 2021-05-06. SPA, Südtiroler Informatik AG | Informatica Alto Adige. "Abteilung Präsidium | Kontakte | Landesverwaltung...
6 KB (753 words) - 01:38, 22 January 2024