Sortiert nach
Forschungsbericht des Landes Nordrhein-Westfalen, Fachgruppe Mathematik/Informatik : 2995
1980
- Link zum Volltext
[2022]
[2022]
- Achermann, Eric
- Barner, Wilfried
- Birk, Elisabeth
- Buss, Mareike
- Danneberg, Lutz[Herausgeber]
- Döring, Detlef
- Emig, Christine
- Fick, Monika
- Freedman, Joseph S
- Hey’l, Bettina
- Kubik, Andreas
- Kuhnau, Petra
- Köppe, Tilmann
- Laan, J. M. van der
- Matzat, Wolfgang
- Neudeck, Otto
- Polaschegg, Andrea
- Rüth, Axel
- Schmidt-Biggemann, Wilhelm[Herausgeber]
- Sdzuj, Reimund B
- Simons, Olaf
- Stingelin, Martin
- Stöckmann, Ingo
- Thomé, Horst[Herausgeber]
- Vollhardt, Friedrich[Herausgeber]
Reprint 2021, [2021]
- Aeberhard, Simon[Mitwirkender]
- Bartl, Andrea[Mitwirkender]
- Bergengruen, Maximilian[Mitwirkender]
- Birnstiel, Klaus[Mitwirkender]
- Brittnacher, Hans Richard[Mitwirkender]
- Dean, Martin R[Mitwirkender]
- Gess, Nicola[Mitwirkender]
- Hamann, Christof[Mitwirkender]
- Hamann, Christof[Herausgeber]
- Hermes, Stefan[Mitwirkender]
- Janz, Rolf-Peter[Mitwirkender]
- Karško, Anna[Mitwirkender]
- Koch, Manfred[Mitwirkender]
- Lubkoll, Christine[Mitwirkender]
- Marco Gisi, Lucas[Mitwirkender]
- Mülder-Bach, Inka[Mitwirkender]
- Parr, Rolf[Mitwirkender]
- Parr, Rolf[Herausgeber]
- Previšić, Boris[Mitwirkender]
- Schwarz, Thomas[Mitwirkender]
- Simon, Ralf[Mitwirkender]
- Simons, Oliver[Mitwirkender]
- Stockhammer, Robert[Mitwirkender]
- Thüring, Hubert[Mitwirkender]
- Weder, Christine[Mitwirkender]
- Wetz, Gary[Mitwirkender]
[2022]
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Simons, Martin
- Hümmer, Heinz-Dieter
- Achermann, Eric
- Aeberhard, Simon
- Barner, Wilfried
- Bartl, Andrea
- Bergengruen, Maximilian
- Birk, Elisabeth
- Birnstiel, Klaus
- Brittnacher, Hans Richard
- Buss, Mareike
- Cunningham, Kathleen Gallagher
- Danneberg, Lutz
- Dean, Martin R
- Dobson, Julia
- Döring, Detlef
- Eden, Mary
- Emig, Christine
- Fick, Monika
- Freedman, Joseph S
Erscheinungsform
Schlagwort
- Automatisches Beweisverfahren
- Civil war
- Computer logic
- Computer programming
- Computers
- Engineering
- Engineering, general
- Formalisierung
- Gedruckte Schaltung
- Kalendarisches
- Kalender
- LITERARY CRITICISM / European / General
- LITERARY CRITICISM / European / German
- LITERARY CRITICISM / Semiotics & Theory
- Literary Studies
- Logics and Meanings of Programs
- Machines
- Manufacturing industries
- Manufacturing, Machines, Tools
- Mathematical Logic and Formal Languages
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Art des Inhalts