-
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen
Giesl, Jürgen 1995 Infix
-
Informierte Graphensuchverfahren und genetische Algorithmen zur Lösung von Containerbeladeproblemen
Bortfeldt, Andreas 1995 Köster
-
Ein rekursiver Algorithmus zur adaptiven numerischen Quadratur mehrdimensionaler Funktionen
Bonk, Thomas 1995 LRZ
-
Evolutionary algorithms in management applications
Biethahn, Jörg 1995 Springer
-
Tourenplanung durch Einsatz naturanaloger Verfahren – Integration von genetischen Algorithmen und simulated annealing
Wendt, Oliver 1995 Dt. Univ.-Verl.
-
Algorithmen und Datenstrukturen
Owsnicki-Klewe, Bernd 1995 Wissner
-
Parallel algorithms for irregularly structured problems – second international workshop, IRREGULAR '95, Lyon, France, September 4 - 6, 1995 ; proceedings
Ferreira, Afonso 1995 Springer
-
Algorithms – third annual European symposium ; proceedings
Spirakis, Paul G. 1995 Springer
-
Distributed algorithms – 9th international workshop ; proceedings
Hélary, Jean-Michel 1995 Springer
-
Algorithms and data structures – 4th international workshop ; proceedings
Akl, Selim G. 1995 Springer
-
Progress in evolutionary computation – selected papers
Yao, Xin 1995 Springer
-
Datenstrukturen und Algorithmen zu Testzwecken
Hahn, Ralf 1995 VDI-Verl.
-
Ein Ansatz zur Formalisierung der Echtzeit-Bildauswertung und seine Nutzung zur automatischen Erzeugung lauffähiger Maschinenprogramme
Melchert, Wolfgang 1995 Infix
-
Ein effizienter Scheduling-Algorithmus auf Basis des Threshold Accepting
Siedentopf, Jukka 1995 Inst. für Produktionswirtschaft und Industrielle Informationswirtschaft
-
Applied algebra, algebraic algorithms and error correcting codes – 11th international symposium ; proceedings
Cohen, Gérard 1995 Springer
-
On the design and security of block ciphers
Lai, Xuejia 1995 Hartung-Gorre
-
Automatische Handlungsplanung für Mehrrobotersysteme
Kernebeck, Uwe 1995 VDI-Verl.
-
Algorithmustransformationen beim Entwurf anwendungsspezifischer integrierter Schaltungen
Sauer, Matthias 1995 Shaker
-
Genetic evolution of autonomous agents
Almássy, Nikolaus 1995 Shaker
-
Paralleles Sortieren auf mehrdimensionalen Gittern
Wanka, Rolf 1995 Shaker