Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.
 
 
 


Ergebnis der Suche nach: tit all "Algorithms"
im Bestand: Gesamter Bestand

1211 - 1220 von 1242
<< < > >>


Online Ressourcen 1211 Verification and Validation of Logic Control Algorithms by Model Checking
Weng, Xiying. - Aachen : Shaker, 2003, 1. Auflage
Online Ressource
Online Ressourcen 1212 Algorithmic Gauß-Manin connection
Schulze, Mathias, 2002
Online Ressource
Online Ressourcen 1213 Algorithms and data structures for a music notation system based on GUIDO music notation
Renz, Kai, 2002
Online Ressource
Online Ressourcen 1214 Efficient algorithms for generating elliptic curves over finite fields suitable for use in cryptography
Baier, Harald, 2002
Online Ressource
Online Ressourcen 1215 Evolutionary algorithms and optimization
Reimann, Axel, 2002
Online Ressource
Online Ressourcen 1216 Gröbner bases, multipolynomial resultants and the Gauss-Jacobi combinatorial algorithms
Awange, Joseph L., 2002
Online Ressource
Online Ressourcen 1217 Guarded logics: algorithms and bisimulation
Hirsch, Colin, 2002
Online Ressource
Online Ressourcen 1218 Integrating concepts from constraint programming and operations research algorithms
Fahle, Torsten, 2002
Online Ressource
Online Ressourcen 1219 Models and algorithms for school timetabling
Marte, Michael, 2002
Online Ressource
Online Ressourcen 1220 PAC-Bayesian pattern classification with kernels
Graepel, Thore, 2002
Online Ressource


1211 - 1220 von 1242
<< < > >>


E-Mail-IconAdministration