Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach INDUKTION ergibt 3 Einträge

Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Suchergebnisse einschränken

Medientyp:
LitAbtlg:
Sprache:
Standort:
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr. Cover Titel Verfasser Jahr Beschreibung Exemplarinformation
1 Inductive Inference for Large Scale Text Classification: Kernel Approaches and Techniques Inductive Inference for Large Scale Text Classification: Kernel Approaches and Techniques [E-Book] Silva, Catarina 2010 E-Book URL Exists Catalogue Record .
2 Mathematik und plausibles Schliessen [Mehrbändige Werke] Pólya, George   MAB-Hierarchie für Katalogsatz anzeigen 500000212500000212 Mehrbändige Werke .
3 Verifying concurrent systems with symbolic execution: temporal reasoning is symbolic execution with a little induction Verifying concurrent systems with symbolic execution: temporal reasoning is symbolic execution with a little induction [Buch] Balser, Michael 2006 Buch URL Exists Catalogue Record Regalstandort: ST 130 B196 .
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Schnellsuche