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 718
<< < > >>


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


611 - 620 von 718
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (718)

Standorte

Alle Standorte > Leipzig (718)

Aktionen

Aktionen


E-Mail-IconAdministration