Search Results for Fornahl, Dirk.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Markets and Policy Measures in the Evolution of Electric Mobility

Yazar

Fornahl, Dirk. editor.

http://dx.doi.org/10.1007/978-3-319-24229-3

Format:

Electronic Resources

Alıntı:

Markets and Policy Measures in the Evolution of Electric Mobility Fornahl, Dirk. editor.

Evolutionary Paths Towards the Mobility Patterns of the Future

Yazar

Hülsmann, Michael. editor.

http://dx.doi.org/10.1007/978-3-642-37558-3

Format:

Electronic Resources

Alıntı:

Fornahl, Dirk. editor.

Digital Systems for Open Access to Formal and Informal Learning

Yazar

Sampson, Demetrios G. editor.

http://dx.doi.org/10.1007/978-3-319-02264-2

Format:

Electronic Resources

Alıntı:

Digital Systems for Open Access to Formal and Informal Learning Sampson, Demetrios G. editor.

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

Yazar

Manea, Florin. editor.

http://dx.doi.org/10.1007/978-3-319-23660-5

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

https://doi.org/10.1007/978-3-030-31157-5

Format:

Electronic Resources

Alıntı:

on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings / Beyer, Dirk. editor

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

https://doi.org/10.1007/978-3-030-17502-3

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}