Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 
 


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

251 - 260 von 746
<< < > >>


Online Ressourcen 251 Three models of ordinal computability
Seyfferth, Benjamin. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
Online Ressource
Online Ressourcen 252 Towards an arithmetic for partial computable functionals
Karádais, Basil A.. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2013
Online Ressource
Online Ressourcen 253 Towards More Useful Description Logics of Time, Change and Context
Gutiérrez Basulto, Víctor Didier. - Bremen : Staats- und Universitätsbibliothek Bremen, 2013
Online Ressource
Online Ressourcen 254 Algebraic Methods for Computing the Reliability of Networks
Simon, Frank. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
Online Ressource
Online Ressourcen 255 Analysis of methods for extraction of programs from non-constructive proofs
Trifonov, Trifon. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012
Online Ressource
Online Ressourcen 256 Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online Ressource
Online Ressourcen 257 Combinatorial Algorithms
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online Ressource
Online Ressourcen 258 Combining Experimentation and Theory
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online Ressource
Online Ressourcen 259 Complexity classifications for nonmonotonic reasoning and enumeration
Schmidt, Johannes. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
Online Ressource
Online Ressourcen 260 Computational aspects of dependence logic
Lohmann, Peter. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
Online Ressource


251 - 260 von 746
<< < > >>




Materialarten

Alle MaterialartenOnline Ressourcen (746)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen

Standorte

Alle StandorteFrankfurt (746)

E-Mail-IconAdministration