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

591 - 600 von 718
<< < > >>


Online Ressourcen 591 Verified solution of parametric interval linear systems
Owny, Hassan Badry Mohamed el-, 2007 		Online Ressource
Bücher 592 Verteilte optimistische Simulation von stochastischen farbigen Petrinetzen
Knoke, Michael. - Berlin : dissertation.de, 2007, Als Ms. gedr. 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 593 A non-deterministic call-by-need lambda calculus
Mann, Matthias, [2006] 		Online Ressource
Online Ressourcen 594 Advances in equational theorem proving
Löchner, Bernd, [2006] 		Online Ressource
Bücher 595 Algorithm design techniques for parameterized graph modification problems
Guo, Jiong, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 596 Algorithm design techniques for parameterized graph modification problems
Guo, Jiong, 2006 		Online Ressource
Bücher 597 Algorithmic computer reconstructions of stalactite vaults - Muqarnas - in Islamic architecture
Harmsen, Silvia, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 598 Algorithmische Eigenschaften von Branching-Time-Logiken
Bauer, Sebastian, 2006 		Online Ressource
Bücher 599 Algorithmische Eigenschaften von Branching-Time-Logiken
Bauer, Sebastian, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 600 Blattsprachen und Blattfunktionen
Galota, Matthias, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt


591 - 600 von 718
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (718)

Standorte

Alle Standorte > Leipzig (718)

Aktionen

Aktionen


E-Mail-IconAdministration