Logik und Informatik

Logik und Informatik

Xehetasun bibliografikoak
Egile Nagusiak:	Kreutzer, S, Schweikardt, N
Formatua:	Journal article
Argitaratua:	2004

Antzeko izenburuak

34. evropska poletna šola logike, jezika in informatike ESSLLI 2023
nork: Matej Klemen, et al.
Argitaratua: (2023-12-01)

Making und die Informatik
nork: Nadine Dittert, et al.
Argitaratua: (2024-04-01)

Informatik und Hermeneutik. Zum Mehrwert interdisziplinärer Textanalyse
nork: Evelyn Gius, et al.
Argitaratua: (2015-02-01)

Informatik vor, im und nach dem Schweizer Gymnasium
nork: Dennis Komm
Argitaratua: (2024-03-01)

Digital Fabrication als Brücke zwischen Making und Informatik
nork: David Baberowski, et al.
Argitaratua: (2024-02-01)

Informatik industri /
nork: Riza Sulaiman, editor, et al.
Argitaratua: (2011)

Digital Humanities – Eine Herausforderung an die Informatik und an die Geisteswissenschaften
nork: Klaus-Georg Deck
Argitaratua: (2018-06-01)

Die Dualität der Medizinischen Informatik war und ist anspruchsvoll und motivierend zugleich. Ein Kommentar zu ‚Verpasste Chancen. Nachdenken über Fehlentwicklungen der Medizinischen Informatik’ von Wolfgang Giere
nork: Haux, Reinhold
Argitaratua: (2023-10-01)

Die Informatik als Geisteswissenschaft
nork: John Nerbonne
Argitaratua: (2015-02-01)

Pengimejan dan informatik barah tulang /
nork: Ibrahim Lutfi Shuaib, 1960-
Argitaratua: (2008)

Die Logik der Sünde und das Sakrament der Beichte
nork: Tadeusz Kuźmicki
Argitaratua: (2021-06-01)

The Expressive Power of Two−Variable Least Fixed−Point Logics
nork: Grohe, M, et al.
Argitaratua: (2005)

Review of: Kronenberg, Andreas: Logik und Leben: Kulturelle Relevanz der Didinga und Longarim, Sudan
nork: Gillies, E
Argitaratua: (1974)

Praetorius’ Polyhymnia caduceatrix (1619). Diatonische Logik und Skalenlogik in mehrchörigen und konzertierenden Werken des Frühbarocks
nork: Christophe Guillotel-Nothmann, et al.
Argitaratua: (2020-12-01)

Pengaturcaraan logik /
nork: Wan Hussain Wan Ishak, et al.
Argitaratua: (2007)

Simulasi logik /
nork: 317348 Wong, Tong Seng
Argitaratua: (1993)

Pengaturcaraan logik
nork: Wan Ishak, Wan Hussain, et al.
Argitaratua: (2007)

Get (Logik)
nork: Azzali, Fazli
Argitaratua: (2001)

Penganalisis logik /
nork: 432654 Mohd. Nor Ehwan Surat, et al.
Argitaratua: (2002)

Medizin dient der Gesundheit, Informatik der Daseinsgestaltung – Synergie in Dualität: Über das erste halbe Jahrhundert Medizinische Informatik Heidelberg/Heilbronn
nork: Haux, Reinhold
Argitaratua: (2024-02-01)

A. Eckl, Sprache und Logik bei Platon. Erster Teil  : Logos, Name und Sache im Kratylos
nork: Anne Merker
Argitaratua: (2007-10-01)

Model theory makes formulas large
nork: Dawar, A, et al.
Argitaratua: (2007)

„Was, wie, ich?“ – „Ja, doch, du!“ Prozesse von Schließung, Hierarchisierung und Öffnung in den akademischen Karrieren von Informatik-Doktorandinnen
nork: Swantje Reimann, et al.
Argitaratua: (2021-10-01)

CIT546 – APPLIED INFORMATICS [INFORMATIK GUNAAN] JUN 2017
nork: PPSKOM, Pusat Pengajian Sains Komputer
Argitaratua: (2017)

CIT546 – APPLIED INFORMATICS [INFORMATIK GUNAAN] JUN. 2015
nork: PPSKOM, Pusat Pengajian Sains Komputer
Argitaratua: (2015)

CIT546 – APPLIED INFORMATICS [INFORMATIK GUNAAN] JUN 2016
nork: PPSKOM, Pusat Pengajian Sains Komputer
Argitaratua: (2016)

CIT547 – Informatics Project Management (Pengurusan Projek Informatik)
nork: PPSKOM, Pusat Pengajian Sains Komputer
Argitaratua: (2023)

Informatik in freier Wildbahn: Lerntransfer vom Unterricht in den Alltag
nork: Michael T. Rücker
Argitaratua: (2024-09-01)

Pengawal logik fuzzi /
nork: 415564 Ng, Chap Kuan
Argitaratua: (1995)

Logik Pengaturcaraan Komputer /
nork: Mohd. Aizaini Maarof, author 194492, et al.
Argitaratua: (2003)

Logik pengaturcaraan komputer /
nork: Mohd. Aizaini Maarof 194492, et al.
Argitaratua: (2006)

Pengenalan logik digit /
nork: 332183 Potton, A., et al.
Argitaratua: (1990)

Flobase : pangkalan data biodiversiti informatik spesis flora di Langkawi /
nork: 516039 Azian Hassan, et al.
Argitaratua: (2010)

Final examination semester II 2017/2018 Sekolah Informatik Termaju /
nork: Sekolah Informatik Termaju 599676
Argitaratua: (2018)

Softwareentwicklung und Management von Informationssystemen. Ein Kommentar zu ‚Verpasste Chancen. Nachdenken über Fehlentwicklungen der Medizinischen Informatik’ von Wolfgang Giere
nork: Winter, Alfred
Argitaratua: (2023-10-01)

Asas rekabentuk logik komputer/
nork: 334542 Ahmad Ismail
Argitaratua: (1981)

Pemikiran logikal dan kritikal /
nork: Ainon Mohd., 1950- 454404, et al.
Argitaratua: (1996)

Sistem simulasi litar logik /
nork: 282191 Zakaria Ariffin

Pemikiran kritis dan logik /
nork: 236686 Lok, Chong Hoe
Argitaratua: (2003)

Rekabentuk logik sistem berdigit /
nork: 258577 Adznan Jantan
Argitaratua: (1990)