Publikationen

Zeige Ergebnisse 31 bis 40 von 54

In: International Symposium on Multiple-Valued Logic. International Symposium on Multiple-Valued Logic (AAAI SSS) IEEE 2016.

Zur Publikation

In: International Conference on Computer Aided Verification (CAV). International Conference on Computer Aided Verification (CAV-28) July 17-23 Toronto Canada 2016.

Zur Publikation

In: Genetic and Evolutionary Computation Conference. Genetic and Evolutionary Computation Conference (GECCO) July 20-24 Denver Colorado United States 2016.

Zur Publikation

In: Journal on Emerging Technologies in Computing Systems (JETC) 12 4 ACM Association for Computing Machinery 2016.

Zur Publikation

In: 5th International Conference on Dynamics in Logistics (LDIC 2016). International Conference on Dynamics in Logistics (LDIC-2016) Seiten 3-17 Lecture Notes in Logistics Springer 2016.

Zur Publikation

In: Industrie 4.0 Management 4 2/2016 Seiten 37-40 Gito mbH Verlag für Industrielle Informationstechnik und Organisation 3/2016.

Zur Publikation

In: 2nd International Workshop on Optical/Photonic Interconnects for Computing Systems (OPTICS Workshop). Optical/Photonic Interconnects for Computing Systems (OPTICS-2016) 2nd Design, Automation & Test in Europe Conference March 18 Dresden Germany 2016.

Zur Publikation

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