Deutsch Englisch

Informationen

Fragen Sie uns!

Neuerwerbungen

Semesterapparate

Sachgebiete

Scandienst

Speichern

Trefferanalyse

Abmelden

 

Elektronische Zettelkataloge

E-Journals

Datenbanken

Nationallizenzen

Fernleihe

Medienaufstellung

Katalogmenü

UB Home

 

Datenschutz

Impressum

Diese Suchanfrage abonnieren (RSS)
1 - 10 von 106
vorherige Seite      nächste Seite
* Ihre Aktion  suchen [und] RVK SK 130 and MAT O*
Online Ressourcen (ohne Zeitschr.) 1.  Mathematische Modellierung mit MATLAB® und Octave : Eine praxisorientierte Einführung
/ Haußer, Frank. - 2nd ed. 2019. - Berlin, Heidelberg : Springer Spektrum, 2019Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 2.  Theorems, corollaries, lemmas, and methods of proof
/ Rossi, Richard J.. - Hoboken, N.J : Wiley, 2006Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 3.  Mathematical logic
/ Tourlakis, George J.. - Hoboken, N.J : Wiley, 2008Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 4.  Mathematical modeling and simulation : introduction for scientists and engineers
/ Velten, Kai. - Weinheim [Germany] : Wiley-VCH, 2009Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 5.  Aspekte des Unendlichen : Eine kleine Erzählung für Nichtmathematiker
/ Priese, Lutz. - Wiesbaden : Springer Vieweg, [2019]Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 6.  Vollständige Induktion : Beispiele und Aufgaben bis zum Umfallen
/ Dalwigk, Florian André. - Berlin : Springer Spektrum, [2019]Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 7.  The Axiom of Constructibility: A Guide for the Mathematician
/ Devlin, Keith J.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1977
Online Ressourcen (ohne Zeitschr.) 8.  Cambridge Summer School in Mathematical Logic : Held in Cambridge/England, August 1–21, 1971
/ Mathias, A. R. D.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1973
Online Ressourcen (ohne Zeitschr.) 9.  Reasoning about uncertainty
/ Halpern, Joseph Y.. - Second edition. - Cambridge, Massachusetts : The MIT Press, [2017]
Online Ressourcen (ohne Zeitschr.) 10.  Mathematische Grundlagen für die Informatik : Mengen, Logik, Rekursion
/ Witt, Kurt-Ulrich. - Wiesbaden : Springer Vieweg, 2013Zusammenfassung
[PRS] Person (Phrase: Nachname, Vorname): Hoffmann, Dirk W.
[CLT] Siehe auch: beweis | mengenlehre | logik | logic | recursion | rekursionstheorie | beweisen | symbolic | berechenbarkeit
1 - 10 von 106
vorherige Seite      nächste Seite
Wort   Typ   Anzahl
sk 130 [RVK] Regensburger Verbundklassifikation (RVK) 282
 
1 - 10 von 106
vorherige Seite      nächste Seite