Publikationen

Zeige Ergebnisse 31 bis 40 von 85

In: 9th International Conference on Tests & Proofs (TAP). International Conference on Test & Proofs (TAP-09) 9th July 20-24 L’Aquila Italy 2015.

Zur Publikation

In: IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2015) April 22-24 Belgrade Serbia 2015.

Zur Publikation

In: Genetic and Evolutionary Computation Conference. Genetic and Evolutionary Computation Conference (GECCO) A recombination of the 24th International Conference on Genetic Algorithms (ICGA) and the 20th Annual Genetic Programming Conference (GP) July 11-15 Madrid Spain 2015.

Zur Publikation

In: 7th Conference on Reversible Computation. Conference on Reversible Computation (RC-07) 7th July 16-17 Grenoble France 2015.

Zur Publikation

In: 7th Conference on Reversible Computation. Conference on Reversible Computation (RC-07) 7th July 16-17 Grenoble France 2015.

Zur Publikation

In: The 45th International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2015) 45th May 18-20 Waterloo ON Canada IEEE 2015.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence