Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 
 


Ergebnis der Suche nach: dcs=511*
im Bestand: Gesamter Bestand

611 - 620 von 719
<< < > >>


Online Ressourcen 611 Finite-state genericity
Busse, Edgar, 2006 		Online Ressource
Bücher 612 Finite-state genericity
Busse, Edgar, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 613 Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Schmidt-Samoa, Tobias, 2006 		Online Ressource
Online Ressourcen 614 Formalizing plane graph theory
Bauer, Gertrud Josefine, 2006 		Online Ressource
Bücher 615 Formalizing plane graph theory
Bauer, Gertrud Josefine, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 616 Galleries and q-analogs in combinatorial representation theory
Schwer, Christoph, 2006 		Online Ressource
Bücher 617 Galleries and q-analogs in combinatorial representation theory
Schwer, Christoph, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 618 Knotenfärbungen mit Abstandsbedingungen
Kohl, Anja, 2006 		Online Ressource
Bücher 619 Knotenfärbungen mit Abstandsbedingungen
Kohl, Anja, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 620 Komplexitäts- und Entscheidbarkeitsresultate für inverse Monoide mit idempotenter Präsentation
Ondrusch, Nicole, 2006 		Online Ressource


611 - 620 von 719
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (719)

Standorte

Alle Standorte > Frankfurt (719)

Aktionen

Aktionen


E-Mail-IconAdministration