1 |
|
Algorithmik: Die Kunst des Rechnens [E-Book]
|
|
2006 |
|
.
|
2 |
|
Beweise ohne Worte: Deutschsprachige Ausgabe herausgegeben von Nicola Oswald [E-Book]
|
Nelsen, Roger B.
|
2016 |
|
.
|
3 |
|
Beweisen verstehen im Mathematikunterricht: Axiomatik, Pythagoras und Primzahlen als Exempel der Lehrkunstdidaktik [E-Book]
|
Gerwig, Mario
|
2015 |
|
.
|
4 |
|
Beweisrecht der StPO: Spezialkommentar [E-Book]
|
Eisenberg, Ulrich
|
2017 |
|
.
|
5 |
|
Beweisverständnis von Studierenden: Zusammenhänge zu individuellen Merkmalen und der Nutzung von Beweislesestrategien [E-Book]
|
Neuhaus-Eckhardt, Silke
|
2022 |
500439755
|
.
|
6 |
|
Beweisvorstellungen und eigenständiges Beweisen: Entwicklung und vergleichend empirische Untersuchung eines Unterrichtskonzepts am Ende der Sekundarstufe [E-Book]
|
Grundey, Svenja
|
2015 |
|
.
|
7 |
|
¬Das¬ BUCH der Beweise [E-Book]
|
Aigner, Martin
|
2004 |
|
.
|
8 |
|
¬Das¬ BUCH der Beweise [E-Book]
|
Aigner, Martin
|
2010 |
|
.
|
9 |
|
¬Das¬ BUCH der Beweise [E-Book]
|
Aigner, Martin
|
2015 |
|
.
|
10 |
|
¬Das¬ BUCH der Beweise [E-Book]
|
Aigner, Martin
|
2018 |
|
.
|
11 |
|
Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker [E-Book]
|
Ohlbach, Hans Jürgen
|
2017 |
|
.
|
12 |
|
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation [E-Book]
|
Kleuker, Stephan
|
2009 |
|
.
|
13 |
|
¬Das¬ gibt's doch nicht: mathematische Rätsel [Buch]
|
Havil, Julian
|
2009 |
|
Regalstandort: SN 100 H388.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
14 |
|
Große Sätze und schöne Beweise der Mathematik: Identität des Schönen, Allgemeinen, Anwendbaren [Buch]
|
Naas, Josef
|
1986 |
500008017
|
Regalstandort: SK 110 N112.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
15 |
|
Innermathematisches Beweisen und Argumentieren in der Sekundarstufe I: mögliche Erklärungen für systematische Bearbeitungsunterschiede und leistungsförderliche Aspekte [E-Book]
|
Brunner, Esther
|
2013 |
500430599
|
.
|
16 |
|
International commentary on evidence: ICE [Buch]
|
|
1998 |
|
.
|
17 |
|
¬The¬ international journal of evidence & proof [Buch]
|
|
1996 |
|
.
|
18 |
|
Korrekte Software: Semantik, Spezifikation, Verifikation und Testen von Programmen [Buch]
|
Kowalk, Wolfgang Peter
|
1993 |
|
Regalstandort: ST 233 K88.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
19 |
|
Logik für Dummies [Buch]
|
Zegarelli, Mark
|
2016 |
|
Regalstandort: SK 130 Z44.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek, ZB Scheffelstraße.
Anzahl Exemplare: 2.
|
20 |
|
Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung [E-Book]
|
Broy, Manfred
|
2019 |
|
.
|