1 |
![Algorithmik: Die Kunst des Rechnens Algorithmik: Die Kunst des Rechnens](Cover.cls?type=cover&isbn=9783540374374&size=100) |
Algorithmik: Die Kunst des Rechnens [E-Book]
|
|
2006 |
|
.
|
2 |
![Beweise ohne Worte: Deutschsprachige Ausgabe herausgegeben von Nicola Oswald Beweise ohne Worte: Deutschsprachige Ausgabe herausgegeben von Nicola Oswald](Cover.cls?type=cover&isbn=9783662503317&size=100) |
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 Beweisen verstehen im Mathematikunterricht: Axiomatik, Pythagoras und Primzahlen als Exempel der Lehrkunstdidaktik](Cover.cls?type=cover&isbn=9783658101886&size=100) |
Beweisen verstehen im Mathematikunterricht: Axiomatik, Pythagoras und Primzahlen als Exempel der Lehrkunstdidaktik [E-Book]
|
Gerwig, Mario
|
2015 |
|
.
|
4 |
![Beweisrecht der StPO: Spezialkommentar Beweisrecht der StPO: Spezialkommentar](Cover.cls?type=cover&isbn=9783406702631&size=100) |
Beweisrecht der StPO: Spezialkommentar [E-Book]
|
Eisenberg, Ulrich
|
2017 |
|
.
|
5 |
![Beweisverständnis von Studierenden: Zusammenhänge zu individuellen Merkmalen und der Nutzung von Beweislesestrategien Beweisverständnis von Studierenden: Zusammenhänge zu individuellen Merkmalen und der Nutzung von Beweislesestrategien](Cover.cls?type=cover&isbn=9783830995289&size=100) |
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 Beweisvorstellungen und eigenständiges Beweisen: Entwicklung und vergleichend empirische Untersuchung eines Unterrichtskonzepts am Ende der Sekundarstufe](Cover.cls?type=cover&isbn=9783658089375&size=100) |
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 ¬Das¬ BUCH der Beweise](Cover.cls?type=cover&isbn=9783662064528&size=100) |
¬Das¬ BUCH der Beweise [E-Book]
|
Aigner, Martin
|
2004 |
|
.
|
8 |
![¬Das¬ BUCH der Beweise ¬Das¬ BUCH der Beweise](Cover.cls?type=cover&isbn=9783642022593&size=100) |
¬Das¬ BUCH der Beweise [E-Book]
|
Aigner, Martin
|
2010 |
|
.
|
9 |
![¬Das¬ BUCH der Beweise ¬Das¬ BUCH der Beweise](Cover.cls?type=cover&isbn=9783662444573&size=100) |
¬Das¬ BUCH der Beweise [E-Book]
|
Aigner, Martin
|
2015 |
|
.
|
10 |
![¬Das¬ BUCH der Beweise ¬Das¬ BUCH der Beweise](Cover.cls?type=cover&isbn=9783662577677&size=100) |
¬Das¬ BUCH der Beweise [E-Book]
|
Aigner, Martin
|
2018 |
|
.
|
11 |
![Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker](Cover.cls?type=cover&isbn=9783662556528&size=100) |
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 Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation](Cover.cls?type=cover&isbn=9783834895950&size=100) |
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation [E-Book]
|
Kleuker, Stephan
|
2009 |
|
.
|
13 |
![¬Das¬ gibt's doch nicht: mathematische Rätsel ¬Das¬ gibt's doch nicht: mathematische Rätsel](Cover.cls?type=cover&isbn=9783827423061&size=100) |
¬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 Große Sätze und schöne Beweise der Mathematik: Identität des Schönen, Allgemeinen, Anwendbaren](Cover.cls?type=cover&isbn=9783055000416&size=100) |
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 Innermathematisches Beweisen und Argumentieren in der Sekundarstufe I: mögliche Erklärungen für systematische Bearbeitungsunterschiede und leistungsförderliche Aspekte](Cover.cls?type=cover&isbn=9783830978404&size=100) |
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 |
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
International commentary on evidence: ICE [Buch]
|
|
1998 |
|
.
|
17 |
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
¬The¬ international journal of evidence & proof [Buch]
|
|
1996 |
|
.
|
18 |
![Korrekte Software: Semantik, Spezifikation, Verifikation und Testen von Programmen Korrekte Software: Semantik, Spezifikation, Verifikation und Testen von Programmen](Cover.cls?type=cover&isbn=9783411160013&size=100) |
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 Logik für Dummies](Cover.cls?type=cover&isbn=9783527711031&size=100) |
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 Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung](Cover.cls?type=cover&isbn=9783658263027&size=100) |
Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung [E-Book]
|
Broy, Manfred
|
2019 |
|
.
|