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

711 - 718 von 718
<< < > >>


Bücher 711 Proof planning with multiple strategies
Meier, Andreas, 2004 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 712 Weighted branching automata
Meinecke, Ingmar, 2004 		Online Ressource
Bücher 713 Weighted branching automata
Meinecke, Ingmar, 2004 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 714 Zwei Gedanken zur höherstufigen Unifikation
Kübler, Martin, 2004 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 715 Beste einseitige L-Approximation mit Quasi-Blending-Funktionen
Klinkhammer, John, 2002 		Online Ressource
Bücher 716 Classifying discrete temporal properties
Wilke, Thomas, 1998 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 717 Aufzählung von kurzen Gittervektoren in allgemeiner Norm
Ritter, Harald, 1997 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 718 Weintrauben, polynome, tableaux
Kohnert, Axel. - Bayreuth : Univ.-Bibliothek, Geschenk- und Tauschstelle, 1991 		Vorhanden in Leipzig Vorhanden in Frankfurt


711 - 718 von 718
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (718)

Standorte

Alle Standorte > Leipzig (718)

Aktionen

Aktionen


E-Mail-IconAdministration