Search Results for Davis, Martin.

20 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Yazar

Davis, Martin. editor.

http://dx.doi.org/10.1007/978-3-662-48899-7

Format:

Electronic Resources

Alıntı:

-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / Davis, Martin. editor.

Lost

Yazar

Martin, Jacqueline.

Format:

Kitap

Alıntı:

Lost / Martin, Jacqueline.

Five short plays

Yazar

Ford, Martyn.

Format:

Kitap

Alıntı:

Five short plays / Ford, Martyn.

Global Population in Transition

Yazar

Martins, Jo. M. author.

https://doi.org/10.1007/978-3-319-77362-9

Format:

Electronic Resources

Alıntı:

Global Population in Transition Martins, Jo. M. author.

Ecstasy, catastrophe : Heidegger from Being and time to the Black notebooks

Yazar

Krell, David Farrell.

Format:

Kitap

Alıntı:

Ecstasy, catastrophe : Heidegger from Being and time to the Black notebooks / Krell, David Farrell.

A dictionary of construction, surveying, and civil engineering

Yazar

Gorse, Christopher A.

Format:

Kitap

Alıntı:

Pritchard, Martin, BEng (Hons), PhD.

Methods of Demographic Analysis

Yazar

Yusuf, Farhat. author.

http://dx.doi.org/10.1007/978-94-007-6784-3

Format:

Electronic Resources

Alıntı:

Swanson, David A. author.

Computability : Turing, Gödel, Church, and beyond

Yazar

Posy, Carl J, editor.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6554353

Format:

Electronic Resources

Alıntı:

. Contributors:Scott Aaronson, Dorit Aharonov, B. Jack Copeland, Martin Davis, Solomon Feferman, Saul Kripke, Carl J

Digital Technology, Eating Behaviors, and Eating Disorders

Yazar

Šmahel, David. author.

https://doi.org/10.1007/978-3-319-93221-7

Format:

Electronic Resources

Alıntı:

Digital Technology, Eating Behaviors, and Eating Disorders Šmahel, David. author.

10.

COOP 2014 - Proceedings of the 11th International Conference on the Design of Cooperative Systems, 27-30 May 2014, Nice (France)

Yazar

Rossitto, Chiara. editor.

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

Format:

Electronic Resources

Alıntı:

Martin, David. editor.

11.

Algorithms for Computational Biology Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings

Yazar

Dediu, Adrian-Horia. editor.

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

Format:

Electronic Resources

Alıntı:

Rosenblueth, David A. editor.

12.

Spatial Information Theory 12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015, Proceedings

Yazar

Fabrikant, Sara Irina. editor.

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

Format:

Electronic Resources

Alıntı:

Raubal, Martin. editor.

	{displayName}	{count}
{error}