Search Results for Logic

1.

Cover image for Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Author

Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings

Author

Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Author

Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-60292-8

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Author

Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44923-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers

Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers

Author

Miksch, Silvia. editor. Riaño, David. editor. (orcid)0000-0002-1608-0215 ten Teije, Annette. editor. (orcid)0000-0002-9771-8822 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

Author

Bulling, Nils. editor. van der Torre, Leendert. editor. Villata, Serena. editor. (orcid)0000-0003-3495-493X Jamroga, Wojtek. editor. Vasconcelos, Wamberto. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

Author

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Author

Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-84924-4

Format:

Availability

Online Library~1

Available:
Copies:

9.

A Concise Introduction to Software Engineering With Open Source and GenAI

Author

Jalote, Pankaj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-74318-4

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings

Author

Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016 Thimm, Matthias. editor. (orcid)0000-0002-8157-1053 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-032-05134-9

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Author

Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Fuzzy Rule-Based Inference Advances and Applications in Reasoning with Approximate Knowledge Interpolation

Author

Li, Fangyi. author. Shen, Qiang. author. (orcid)0000-0001-9333-4605 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0491-0

Format:

Availability

Online Library~1

Available:
Copies:

13.

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Author

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131 Leuschel, Michael. editor. (orcid)0000-0002-4595-1518 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

Author

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-33246-4

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

Author

Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778 Janev, Valentina. editor. (orcid)0000-0002-9794-8505 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28957-7

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Author

Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391 Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29765-7

Format:

Availability

Online Library~1

Available:
Copies:

22.

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

Author

Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0105-0

Format:

Availability

Online Library~1

Available:
Copies:

23.

Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers

Author

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Fallucchi, Francesca. editor. (orcid)0000-0002-3288-044X William De Luca, Ernesto. editor. (orcid)0000-0003-3621-4118 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-36599-8

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings

New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings

Author

Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946 Eder, Johann. editor. (orcid)0000-0001-6050-468X Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868 Wrembel, Robert. editor. (orcid)0000-0001-6037-5718 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30278-8

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

Author

MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19823-7

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Artificial Intelligence in Health First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers

Artificial Intelligence in Health First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers

Author

Koch, Fernando. editor. (orcid)0000-0001-7136-3253 Koster, Andrew. editor. (orcid)0000-0001-5976-7183 Riaño, David. editor. (orcid)0000-0002-1608-0215 Montagna, Sara. editor. (orcid)0000-0001-5390-4319 Schumacher, Michael. editor. (orcid)0000-0001-6522-4556

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-12738-1

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

Author

Chamberlain, Roger. editor. Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17910-6

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers

Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers

Author

Zhao, Jun. editor. Harmelen, Frank van. editor. Tang, Jie. editor. Han, Xianpei. editor. Wang, Quan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-3146-6

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

Author

Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers

Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers

Author

Disser, Yann. editor. (orcid)0000-0002-2085-0454 Verykios, Vassilios S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19759-9

Format:

Availability

Online Library~1

Available:
Copies:

31.

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

Author

Uden, Lorna. editor. Ting, I-Hsien. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21451-7

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings

Author

An, Bo. editor. Bazzan, Ana. editor. Leite, João. editor. Villata, Serena. editor. van der Torre, Leendert. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II

Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II

Author

Pichardo-Lagunas, Obdulia. editor. Miranda-Jiménez, Sabino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Theory and Practice of Natural Computing 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings

Theory and Practice of Natural Computing 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings

Author

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Neruda, Roman. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers

Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers

Author

Cuppens-Boulahia, Nora. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 Cuppens, Frédéric. editor. Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Green IT Engineering: Components, Networks and Systems Implementation

Author

Kharchenko, Vyacheslav. editor. Kondratenko, Yuriy. editor. Kacprzyk, Janusz. editor. (orcid)0000-0003-4187-5877 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Cover image for New Frontiers in Artificial Intelligence JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers

New Frontiers in Artificial Intelligence JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers

Author

Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X Ohta, Yuiko. editor. Arai, Sachiyo. editor. Satoh, Ken. editor. Bekki, Daisuke. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for New Frontiers in Artificial Intelligence JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers

New Frontiers in Artificial Intelligence JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers

Author

Otake, Mihoko. editor. Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X Ota, Yuiko. editor. Satoh, Ken. editor. Bekki, Daisuke. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Databases Theory and Applications 28th Australasian Database Conference, ADC 2017, Brisbane, QLD, Australia, September 25-28, 2017, Proceedings

Databases Theory and Applications 28th Australasian Database Conference, ADC 2017, Brisbane, QLD, Australia, September 25-28, 2017, Proceedings

Author

Huang, Zi. editor. Xiao, Xiaokui. editor. Cao, Xin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Author

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66266-4

Format:

Availability

Online Library~1

Available:
Copies:

41.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Author

Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51738-4

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

Author

Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

Author

El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268 Garbinato, Benoît. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Author

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Advances in Computational Intelligence 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part I

Advances in Computational Intelligence 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part I

Author

Sidorov, Grigori. editor. Herrera-Alcántara, Oscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings

Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings

Author

Grünbacher, Paul. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

Cover image for Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Author

Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Author

Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

Author

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Delporte-Gallet, Carole. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

Author

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization

Author

Hudec, Miroslav. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-42518-4

Format:

Availability

Online Library~1

Available:
Copies:

54.

Process Mining Data Science in Action

Author

van der Aalst, Wil M. P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-49851-4

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Security of Industrial Control Systems and Cyber Physical Systems First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 Revised Selected Papers

Security of Industrial Control Systems and Cyber Physical Systems First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 Revised Selected Papers

Author

Bécue, Adrien. editor. Cuppens-Boulahia, Nora. editor. Cuppens, Frédéric. editor. Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-40385-4

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Author

Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

Author

Mauw, Sjouke. editor. Kordy, Barbara. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

Author

Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Author

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-50230-4

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Author

Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

61.

Cover image for Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers

Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers

Author

Ebert, Achim. editor. Humayoun, Shah Rukh. editor. Seyff, Norbert. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers

Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers

Author

Dignum, Virginia. editor. (orcid)0000-0001-7409-5813 Noriega, Pablo. editor. Sensoy, Murat. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-42691-4

Format:

Availability

Online Library~1

Available:
Copies:

63.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Author

Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Author

Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings

Author

Comyn-Wattiau, Isabelle. editor. Tanaka, Katsumi. editor. Song, Il-Yeol. editor. Yamamoto, Shuichiro. editor. Saeki, Motoshi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Cover image for Diagrammatic Representation and Inference 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings

Diagrammatic Representation and Inference 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings

Author

Jamnik, Mateja. editor. Uesaka, Yuri. editor. Elzer Schwartz, Stephanie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Artificial Intelligence Applications and Innovations 12th IFIP WG 12.5 International Conference and Workshops, AIAI 2016, Thessaloniki, Greece, September 16-18, 2016, Proceedings

Artificial Intelligence Applications and Innovations 12th IFIP WG 12.5 International Conference and Workshops, AIAI 2016, Thessaloniki, Greece, September 16-18, 2016, Proceedings

Author

Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Author

Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

Author

Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

Cover image for Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Author

Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cover image for Knowledge Science, Engineering and Management 9th International Conference, KSEM 2016, Passau, Germany, October 5-7, 2016, Proceedings

Knowledge Science, Engineering and Management 9th International Conference, KSEM 2016, Passau, Germany, October 5-7, 2016, Proceedings

Author

Lehner, Franz. editor. Fteimi, Nora. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

Cover image for Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings

Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings

Author

Daneva, Maya. editor. Pastor, Oscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

73.

Cover image for Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Author

van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

Cover image for Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings

Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings

Author

Baptista, Jorge. editor. Mamede, Nuno. editor. Candeias, Sara. editor. Paraboni, Ivandré. editor. Pardo, Thiago A.S. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

Cover image for Rough Sets and Current Trends in Computing 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings

Rough Sets and Current Trends in Computing 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings

Author

Cornelis, Chris. editor. Kryszkiewicz, Marzena. editor. Slezak, Dominik. editor. Menasalvas Ruiz, Ernestina. editor. Bello, Rafael. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

Cover image for Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings

Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings

Author

Bikakis, Antonis. editor. Fodor, Paul. editor. Roman, Dumitru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

77.

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Author

Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

Cover image for New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers

New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers

Author

Nakano, Yukiko. editor. Satoh, Ken. editor. Bekki, Daisuke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

Cover image for Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I

Author

Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II

Author

Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

Engineering Secure Future Internet Services and Systems Current Research

Author

Heisel, Maritta. editor. Joosen, Wouter. editor. López, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings

Author

Goertzel, Ben. editor. Orseau, Laurent. editor. Snaider, Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09274-4

Format:

Availability

Online Library~1

Available:
Copies:

83.

Cover image for Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Author

Bondavalli, Andrea. editor. Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

84.

Cover image for Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

Author

Abadi, Martín. editor. Lluch Lafuente, Alberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

85.

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III

Author

Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

Author

Majkić, Zoran. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

Author

Maffei, Matteo. editor. Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45917-1

Format:

Availability

Online Library~1

Available:
Copies:

88.

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Author

Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

Learn BlackBerry 10 App Development A Cascades-Driven Approach

Author

Ludin, Anwar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4302-6158-2

Format:

Availability

Online Library~1

Available:
Copies:

90.

Learn iOS 8 App Development

Author

Bucanek, James. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4842-0208-1

Format:

Availability

Online Library~1

Available:
Copies:

91.

Advanced Excel Essentials

Author

Goldmeier, Jordan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4842-0734-5

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}