Mathematik für die Informatik Grundlegende Begriffe, Strukturen und Anwendungen von Berghammer, Rudolf

DE-522
DE-B768
DE-634
DE-526
DE-1043
DE-1102
DE-1046
DE-858
DE-1028
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-859
DE-860
DE-1049
DE-861
DE-863
DE-862
DE-523
DE-2070s
DE-91
DE-19
DE-703
DE-20
DE-706
DE-29
URL des Erstveröffentlichers

Human and artificial rationalities second international conference, HAR 2023, Paris, France, September 19–22, 2023, proceedings

Volltext

R-Calculus, IV: Propositional Logic von Li, Wei, Sui, Yuefei

Volltext

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker von Schreiner, Wolfgang

Volltext

Logic and its applications 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023, proceedings

Volltext

Understanding Behaviour of Distributed Systems Using mCRL2 von Atif, Muhammad, Groote, Jan Friso

Volltext

Einstieg in die beweisorientierte Mathematik mit Versuch und Irrtum zum Beweis von Göbler, Felix, Küronya, Alex

DE-522
DE-B768
DE-634
DE-526
DE-1043
DE-1102
DE-1046
DE-858
DE-1028
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers

Diagrams, Visual Imagination, and Continuity in Peirce's Philosophy of Mathematics von Kiryushchenko, Vitaly

Volltext

Field Arithmetic von Fried, Michael D., Jarden, Moshe

Volltext

Diagrams and Gestures Mathematics, Philosophy, and Linguistics

Volltext

Kunterbunte Mathematik begeisternde Erkundungen für Kinder, Lehrende und Eltern von Strick, Heinz Klaus 1945-

DE-522
DE-B768
DE-634
DE-526
DE-1043
DE-1102
DE-1046
DE-858
DE-1028
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers

Mathematische Geschichten VII – Extremwerte, Modulo und Beweise für begabte Schülerinnen und Schüler in der Oberstufe von Schindler-Tschirner, Susanne, Schindler, Werner 19XX-

DE-522
DE-B768
DE-634
DE-526
DE-1043
DE-1102
DE-1046
DE-858
DE-1028
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers

Reverse Mathematics Problems, Reductions, and Proofs von Dzhafarov, Damir D., Mummert, Carl

Volltext

Runtime Verification A Hands-On Approach in Java von Colombo, Christian, Pace, Gordon J.

BTU01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UEI01
UER01
UPA01
URL des Erstveröffentlichers

R-Calculus, II: Many-Valued Logics von Li, Wei, Sui, Yuefei

Volltext

Music, Mathematics and Language The New Horizon of Computational Musicology Opened by Information Science von Hirata, Keiji, Tojo, Satoshi, Hamanaka, Masatoshi

BTU01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UEI01
UER01
UPA01
URL des Erstveröffentlichers

Universal Algebraic Logic Dedicated to the Unity of Science von Andréka, Hajnal, Gyenis, Zalán, Németi, István, Sain, Ildikó

Volltext

Axiomatic Thinking I

BTU01
FHD01
FHN01
FHR01
FKE01
FRO01
FWS01
FWS02
HTW01
TUM01
UBM01
UBT01
UBW01
UBY01
UEI01
UPA01
URL des Erstveröffentlichers

Objects, Structures, and Logics FilMat Studies in the Philosophy of Mathematics

Volltext

Mathematical Logic Exercises and Solutions von Csirmaz, Laszlo, Gyenis, Zalán

Volltext