Search Results for Management.

5 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

00000DEFAULTTR

Yazdır

1.

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers için kapak resmi

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Yazar

Karydis, Ioannis. editor.

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

Format:

Electronic Resources

Alıntı:

distributed architectures for cloud-based data management.

2.

Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. için kapak resmi

Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Yazar

Kerber, Manfred. editor.

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

Format:

Electronic Resources

Alıntı:

Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management

3.

Directed Algebraic Topology and Concurrency için kapak resmi

Directed Algebraic Topology and Concurrency

Directed Algebraic Topology and Concurrency

Yazar

Fajstrup, Lisbeth. author.

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

Format:

Electronic Resources

Alıntı:

processes in resource management as a point of departure, the book goes on to refine combinatorial and

4.

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings için kapak resmi

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

Yazar

Beierle, Christoph. editor.

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

Format:

Electronic Resources

Alıntı:

information, information fusion, integrity and constraint management, intelligent agents, knowledge discovery

5.

Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings için kapak resmi

Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Yazar

Watt, Stephen M. editor.

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

Format:

Electronic Resources

Alıntı:

-- Towards Knowledge Management for HOL Light -- Automated Improving of Proof Legibility in the Mizar System

Tümünü Seç

1

5 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2