Search Results for Reasoning.

1.

Decentralized Reasoning in Ambient Intelligence

Yazar

Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4168-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

Yazar

Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 Stapleton, Gem. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-78102-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

Yazar

Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61581-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Case-Based Reasoning Research and Development 24th International Conference, ICCBR 2016, Atlanta, GA, USA, October 31 - November 2, 2016, Proceedings

Yazar

Goel, Ashok. editor. Díaz-Agudo, M Belén. editor. Roth-Berghofer, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-47096-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Yazar

Gaag, Linda C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334728.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

Yazar

Armando, Alessandro. editor. Lowe, Gavin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots

Yazar

Hartanto, Ronny. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings

Yazar

Liu, Weiru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings

Yazar

Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Reasoning Web. Semantic Technologies for the Web of Data 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures

Yazar

Polleres, Axel. editor. d’Amato, Claudia. editor. Arenas, Marcelo. editor. Handschuh, Siegfried. editor. Kroner, Paula. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings

Yazar

Ram, Ashwin. editor. Wiratunga, Nirmalie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings

Yazar

Bichindaritz, Isabelle. editor. Montani, Stefania. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures

Yazar

Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Yazar

Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures

Yazar

Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-85658-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

Yazar

Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74615-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures

Yazar

Barahona, Pedro. editor. Bry, François. editor. Franconi, Enrico. editor. Henze, Nicola. editor. Sattler, Ulrike. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11837787

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

Yazar

Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11526988

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Advances in Artificial Intelligence - IBERAMIA 2024 18th Ibero-American Conference on AI, Montevideo, Uruguay, November 13-15, 2024, Proceedings

Yazar

Correia, Luís. editor. (orcid)0000-0003-2439-1168 Rosá, Aiala. editor. Garijo, Francisco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-80366-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Electronic Voting 9th International Joint Conference, E-Vote-ID 2024, Tarragona, Spain, October 2-4, 2024, Proceedings

Yazar

Duenas-Cid, David. editor. (orcid)0000-0002-0451-4514 Roenne, Peter. editor. (orcid)0000-0002-2785-8301 Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Budurushi, Jurlind. editor. (orcid)0000-0002-6732-4400 Blom, Michelle. editor. (orcid)0000-0002-0459-9917

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-72244-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part II

Yazar

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8432-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VII

Yazar

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8540-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part X

Yazar

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8549-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IV

Yazar

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8462-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VI

Yazar

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8537-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IX

Yazar

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8546-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XIII

Yazar

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8558-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XI

Yazar

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8552-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XII

Yazar

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8555-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VIII

Yazar

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8543-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Advances in Artificial Intelligence 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, A Coruña, Spain, June 19-21, 2024, Proceedings

Yazar

Alonso-Betanzos, Amparo. editor. (orcid)0000-0003-0950-0012 Guijarro-Berdiñas, Bertha. editor. (orcid)0000-0001-8901-5441 Bolón-Canedo, Verónica. editor. (orcid)0000-0002-0524-6427 Hernández-Pereira, Elena. editor. (orcid)0000-0001-8666-4075 Fontenla-Romero, Oscar. editor. (orcid)0000-0003-4203-8720

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-62799-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part I

Yazar

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8429-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part I

Yazar

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63787-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II

Yazar

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63797-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part III

Yazar

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63800-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IV

Yazar

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63803-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part III

Yazar

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8435-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part V

Yazar

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8469-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

Yazar

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-60042-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

Yazar

Kern-Isberner, Gabriele. editor. Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-67190-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Progress in Artificial Intelligence 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings

Yazar

Oliveira, Eugénio. editor. Gama, João. editor. Vale, Zita. editor. Lopes Cardoso, Henrique. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-65340-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Multi-disciplinary Trends in Artificial Intelligence 11th International Workshop, MIWAI 2017, Gadong, Brunei, November 20-22, 2017, Proceedings

Yazar

Phon-Amnuaisuk, Somnuk. editor. Ang, Swee-Peng. editor. Lee, Soo-Young. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-69456-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Yazar

Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-54292-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Ontology-Based Data Access Leveraging Subjective Reports

Yazar

Simari, Gerardo I. author. Molinaro, Cristian. author. Vanina Martinez, Maria. author. Lukasiewicz, Thomas. author. Predoiu, Livia. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-65229-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Information Management and Big Data Second Annual International Symposium, SIMBig 2015, Cusco, Peru, September 2-4, 2015, and Third Annual International Symposium, SIMBig 2016, Cusco, Peru, September 1-3, 2016, Revised Selected Papers

Yazar

Lossio-Ventura, Juan Antonio. editor. Alatrista-Salas, Hugo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-55209-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Knowledge Science, Engineering and Management 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings

Yazar

Li, Gang. editor. (orcid)0000-0003-1583-641X Ge, Yong. editor. Zhang, Zili. editor. Jin, Zhi. editor. Blumenstein, Michael. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63558-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II

Yazar

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-60045-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Yazar

Ölveczky, Peter Csaba. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4471-6687-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

The Semantic Web. Latest Advances and New Domains 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 -- June 2, 2016, Proceedings

Yazar

Sack, Harald. editor. Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 d'Aquin, Mathieu. editor. Ghidini, Chiara. editor. Ponzetto, Simone Paolo. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-34129-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Map Framework A Formal Model of Maps as a Fundamental Data Type in Information Systems

Yazar

McKenney, Mark. author. Schneider, Markus. author. SpringerLink (Online service)