1
0
0
(1 - 25 von 26
)
Verfasser Suchresultate
vufind.gbv.de
Treffer von 25 für Suche: 'Ewald Speckenmeyer', Suchdauer: 0.09s. Sortieren. Relevanz, Nach Datum, absteigend, Nach Datum, aufsteigend, Signatur ...
Exact Algorithms for Constraint Satisfaction Problems - Robin Moser -...
books.google.de
396 (Exercise 11), Addison-Wesley, Richard M. Karp and ... Burkhard Monien and Ewald Speckenmeyer, Solving Satis- fiability in less. Bibliography 187.
Parallele Datenverarbeitung aktuellbooks.google.com › books
books.google.de
... mit dem Transputer R. Flieger und R. Grebe ( Hrsg . ) IOS Press , Effiziente Lastausgleichsalgorithmen Max Böhm ' , Ewald Speckenmeyer Universität zu ...
Theory and Applications of Satisfiability Testing: 7th ...books.google.com › books
books.google.de
... (Simon Fraser University) Bart Selman (Cornell University) Ewald Speckenmeyer (Universität zu Köln) Hans van Maaren (Delft University of Technology) ...
Geschichte der Wirtschaftsinformatik: Entstehung und ...books.google.dk › books
books.google.dk
Auf der Informatik-Seite haben die Kollegen Michael Jünger, Rainer Schrader und Ewald Speckenmeyer die Informatik-GrundlagenVeranstaltungen im Grund- ...
Graph-Theoretic Concepts in Computer Science: 15th ...books.google.dk › books
books.google.dk
ON FEEDBACK PROBLEMS IN DIGRAPHS Ewald Speckenmeyer Abteilung Informatik, Universität Dortmund Postfach , D–4600 Dortmund 50 Abstract: ...
Parallele Datenverarbeitung mit dem Transputer: books.google.dk › books
books.google.dk
... Ewald Speckenmeyer” FB Informatik, Universität Dortmund Abstract: A parallel programming language PRAM for the shared memory multiprocessor machine ...
Parallele Datenverarbeitung aktuell - R. Grebe - Google Books
books.google.de
Effiziente. Lastausgleichsalgorithmen. Max Böhm1, Ewald Speckenmeyer Universität zu Köln, Institut für Informatik, D Köln e-mail: ...
On feedback problems in digraphs - Ewald Speckenmeyer - Google Books
books.google.de
books.google.comhttp://books.google.com/books/about/On_feedback_problems_in_digraphs.html?id=fTtkHAAACAAJ&utm_source=gb-gplus-shareOn ...
Parallele Datenverarbeitung mit dem Transputer:
books.google.dk
Dieser Band ist der vierte einer Reihe, der die interessantesten Anwendungen rund um den Transputer beschreibt. Anhand von Projekten, die Anwender aus...
Graph-Theoretic Concepts in Computer Science: 15th International...
books.google.ch
The aim of this workshop series is to contribute to integration in computer science by applying graph-theoretic concepts. Commonalities between various fields...
Satisfiability Problem: Theory and Applications : DIMACS ...books.google.dk › books
books.google.dk
1, D Koln and Theoretical Computer Science Volume 35, On the Use 676 EWALD SPECKENMEYER, MAX BOHM, AND PETER HEUSCH.
Theory and Applications of Satisfiability Testing: 7th International...
books.google.de
... Hans Kleine Büning (Universität Paderborn) David G. Mitchell (Simon Fraser University) Bart Selman (Cornell University) Ewald Speckenmeyer (Universität zu ...
Theory and Applications of Satisfiability Testing - SAT ...books.google.dk › books
books.google.dk
On Linear CNF Formulas Stefan Porschen, Ewald Speckenmeyer, and Bert Randerath Institut für Informatik, Universität zu Köln, D Köln, Germany ...
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG,...
books.google.de
This volume contains the papers which were presented at the second workshop
Theory and Applications of Satisfiability Testing - SAT 2009: 12th...
books.google.dk
Stefan Porschen*, Tatjana Schmidt, and Ewald Speckenmeyer Institut fur Informatik, Universitat zu KolnD K61n, Germany {porschen, ...
Promotionsratgeber - Andreas Preißner, Stefan F. Engel, Bernhard...
books.google.ch
Ratgeber für die speziellen Probleme der Doktoranden. Nach kurzer Zeit bereits ein viel gefragtes Buch. Auf aktuellem Stand.
Theory and Applications of Satisfiability Testing: 6th ...books.google.dk › books
books.google.dk
... Satisfiability Problems Stefan Porschen, Bert Randerath, and Ewald Speckenmeyer Institut für Informatik, Universität zu Köln, D Köln, Germany.
Geschichte der Wirtschaftsinformatik: Entstehung und Entwicklung...
books.google.de
Ein Zeithistoriker und ein Fachwissenschaftler beschreiben die Entstehung der Wirtschaftsinformatik und ihre Entwicklung zur Wissenschaft: von den ersten...
Satisfiability Problem: Theory and Applications : DIMACS Workshop,...
books.google.ch
Ewald Speckenmeyer, Max Bohm. and Peter Heusch ABSTRACT. Let F be Boolean formulas in conjunctive normal form with n variables, r clauses, every clause ...
Transputer Applications and Systems '93: Proceedings of the
books.google.de
This report from the World Transputer Congress contains more than 120 articles that reflect the state-of-the-art in transputer applications. Topics covered...
CATS-computer Aided Tram Scheduling - Peter Heusch, Frank Meisgen,...
books.google.de
CATS-computer Aided Tram Scheduling. Front Cover. Peter Heusch, Frank Meisgen, Ewald Speckenmeyer. Univ., pages.
Untersuchungen zum Feedback-Vertex-Set-Problem in ...books.google.com › books › about › Untersuchu...
books.google.de
Title, Untersuchungen zum Feedback-Vertex-Set-Problem in ungerichteten Graphen. Author, Ewald Speckenmeyer. Publisher, na, Length, 61 pages.
On the Average Time Complexity of Set Partitioning - Ewald...
books.google.de
On the Average Time Complexity of Set Partitioning. Front Cover. Ewald Speckenmeyer, Rainer Kemp. Univ., FB Informatik,
Untersuchungen zum Feedback-Vertex-Set-Problem in ungerichteten...
books.google.de
Front Cover. Ewald Speckenmeyer pages. 0 Reviewshttp://books.google.com/books/about/Untersuchungen_zum_Feedback_Vertex_Set_P.html?id= ...
Verwandte Suchanfragen zu Ewald Speckenmeyer
Hans Kleine Andreas Wotzlaw Bert Randerath | Burkhard Monien Stefan Szeider Tatjana Schmidt | Volker Swyter Manfred Loch |
Personen Vorname "Ewald" (5894) Name "Speckenmeyer" (8) |
sortiert nach Relevanz / Datum