Treffer 1 - 20 von 29 für Suche 'Gallier, Jean H. 1949-', Suchdauer: 0,25s
Treffer weiter einschränken
-
1
Differential geometry and lie groups a computational perspective von Gallier, Jean H. 1949-, Quaintance, Jocelyn
Veröffentlicht 2020Signatur: Wird geladen …BTU01
Standort: Wird geladen …
FHN01
FHR01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBM01
UBT01
UBW01
UBY01
UEI01
UPA01
URL des Erstveröffentlichers
Elektronisch E-Book -
2
Linear algebra and optimization with applications to machine learning von Gallier, Jean H. 1949-, Quaintance, Jocelyn
Veröffentlicht 2020Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3
Linear algebra and optimization with applications to machine learning von Gallier, Jean H. 1949-, Quaintance, Jocelyn
Veröffentlicht 2020Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
4
Logic for computer science foundations of automatic theorem proving von Gallier, Jean H. 1949-
Veröffentlicht 2017Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5
Logic for computer science foundations of automatic theorem proving von Gallier, Jean H. 1949-
Veröffentlicht 2015Signatur: Wird geladen …TUM01
Standort: Wird geladen …
Elektronisch E-Book -
6
Geometric methods and applications for computer science and engineering von Gallier, Jean H. 1949-
Veröffentlicht 2001Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7
Constructive logic von Gallier, Jean H. 1949-
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8
Logic for computer science foundations of automatic theorem proving von Gallier, Jean H. 1949-
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9
Homology, cohomology, and sheaf cohomology for algebraic topology, algebraic geometry, and differential geometry von Gallier, Jean H. 1949-, Quaintance, Jocelyn
Veröffentlicht 2022Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10
Geometric methods and applications for computer science and engineering von Gallier, Jean H. 1949-
Veröffentlicht 2011Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11
-
12
Curves and surfaces in geometric modeling theory and algorithms von Gallier, Jean H. 1949-
Veröffentlicht 2000Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
13
Constructive logic von Gallier, Jean H. 1949-
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14
Logic for computer science foundations of automatic theorem proving von Gallier, Jean H. 1949-
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15
Logic for computer science foundations of automat. theorem proving von Gallier, Jean H. 1949-
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16
Semantics and correctness of classes of deterministic and nondeterministic recursive programs von Gallier, Jean H. 1949-
Veröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen …Mikrofilm Buch Wird geladen … -
17
Differential Geometry and Lie Groups a computational perspective von Gallier, Jean H. 1949-, Quaintance, Jocelyn
Veröffentlicht 2020Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
18
Differential geometry and lie groups a second course von Gallier, Jean H. 1949-, Quaintance, Jocelyn
Veröffentlicht 2020Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19
Linear algebra and optimization with applications to machine learning von Gallier, Jean H. 1949-, Quaintance, Jocelyn
Veröffentlicht 2020Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
20
A guide to the classification theorem for compact surfaces von Gallier, Jean H. 1949-, Xu, Dianna
Veröffentlicht 2013Signatur: Wird geladen …Inhaltstext
Standort: Wird geladen …
Inhaltsverzeichnis
Buch
Suchwerkzeuge:
Ähnliche Schlagworte
Automatisches Beweisverfahren
Mathematische Logik
Geometrie
Automatic theorem proving
Differentialgeometrie
Lie-Gruppe
Logic, Symbolic and mathematical
Algebraische Topologie
Computer mathematics
Differential geometry
Diskrete Mathematik
Geometry
Hochschulschrift
Kompakte Fläche
Lehrbuch
Lie groups
Lineare Algebra
Logique symbolique et mathématique
Maschinelles Lernen
Théorèmes - Démonstration automatique
Topological groups
Topologische Gruppe
Algoritmen
Computational Mathematics and Numerical Analysis
Computer-aided design
Conception assistée par ordinateur
Courbes algébriques - Informatique
Curvas algébricas
Curves, Algebraic Data processing
Datenverarbeitung