Katalog der Deutschen Nationalbibliothek

Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum

Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Materialarten:  Mikroformen
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: tit all "Effiziente Algorithmen"



Treffer 1 von 1 < < > <



Mikroformen
Link zu diesem Datensatz https://d-nb.info/954409205
Art des Inhalts Hochschulschrift
Titel Das SAT-Problem : ein systematischer Ansatz für effiziente Algorithmen zum aussagenlogischen Erfüllbarkeitsproblem, ausgehend von neuen Instrumenten der "worst case"-Analyse / von Oliver Kullmann
Person(en) Kullmann, Oliver (Verfasser)
Ausgabe [Mikrofiche-Ausg.]
Sekundärausgabe Mikrofiche-Ausg.: 1997. 3 Mikrofiches : 24x
Zeitliche Einordnung Erscheinungsdatum: 1997
Umfang/Format XLV, 79 Bl.
Hochschulschrift Frankfurt (Main), Univ., Diss., 1997
Sachgruppe(n) 28 Informatik, Datenverarbeitung ; 27 Mathematik

Frankfurt Signatur: H 1998 MF 1500
Bereitstellung in Frankfurt
Leipzig Signatur: H 1998 MF 1500
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration