Publikationen

Zeige Ergebnisse 41 bis 50 von 84

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: 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

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

In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14) Special Session at the Forum on Specification & Design Languages October 14-16 Munich Germany 2014.

Zur Publikation

In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14) October 14-16 2014.

Zur Publikation

In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14) October 14-16 München Germany o.A. 2014.

Zur Publikation

In: Proceedings of the 2014 IEEE/ACM International Conference on Computer-Aided Design. IEEE/ACM International Conference on Computer-Aided Design (ICCAD-14) November 3-7 San Jose CA United States Seiten 586-590 ISBN 978-1-4799-6277-8 IEEE Press 2015.

Zur Publikation

In: International Workshop on Boolean Problems - Proceedings. International Workshop on Boolean Problems (IWSBP-14) 11th September 17-19 Freiberg Germany 2014.

Zur Publikation

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