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


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


591 - 600 von 719
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (719)

Standorte

Alle Standorte > Frankfurt (719)

Aktionen

Aktionen


E-Mail-IconAdministration