Search Results for Artificial Intelligence.

1.

Cover image for Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I

Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I

Author

Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II

Author

Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings

Author

Iklé, Matthew. editor. Franz, Arthur. editor. Rzepka, Rafal. editor. Goertzel, Ben. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for PRICAI 2018: Trends in Artificial Intelligence 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28–31, 2018, Proceedings, Part II

PRICAI 2018: Trends in Artificial Intelligence 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28–31, 2018, Proceedings, Part II

Author

Geng, Xin. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Computer Games 6th Workshop, CGW 2017, Held in Conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, Melbourne, VIC, Australia, August, 20, 2017, Revised Selected Papers

Computer Games 6th Workshop, CGW 2017, Held in Conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, Melbourne, VIC, Australia, August, 20, 2017, Revised Selected Papers

Author

Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Saffidine, Abdallah. editor. (orcid)0000-0001-9805-8291 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Advances in Brain Inspired Cognitive Systems 9th International Conference, BICS 2018, Xi'an, China, July 7-8, 2018, Proceedings

Author

Ren, Jinchang. editor. Hussain, Amir. editor. Zheng, Jiangbin. editor. Liu, Cheng-Lin. editor. Luo, Bin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Advanced Data Mining and Applications 14th International Conference, ADMA 2018, Nanjing, China, November 16–18, 2018, Proceedings

Author

Gan, Guojun. editor. Li, Bohan. editor. Li, Xue. editor. Wang, Shuliang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05090-0

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

Author

Demazeau, Yves. editor. An, Bo. editor. (orcid)0000-0002-7064-7438 Bajo, Javier. editor. Fernández-Caballero, Antonio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Spatial Cognition XI 11th International Conference, Spatial Cognition 2018, Tübingen, Germany, September 5-8, 2018, Proceedings

Author

Creem-Regehr, Sarah. editor. Schöning, Johannes. editor. Klippel, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Engineering Psychology and Cognitive Ergonomics 15th International Conference, EPCE 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

Engineering Psychology and Cognitive Ergonomics 15th International Conference, EPCE 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

Author

Harris, Don. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

Author

Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for PRedictive Intelligence in MEdicine First International Workshop, PRIME 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

PRedictive Intelligence in MEdicine First International Workshop, PRIME 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

Author

Rekik, Islem. editor. Unal, Gozde. editor. Adeli, Ehsan. editor. (orcid)0000-0002-0579-7763 Park, Sang Hyun. editor. (orcid)0000-0001-7476-1046 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Computer Vision and Graphics International Conference, ICCVG 2018, Warsaw, Poland, September 17 - 19, 2018, Proceedings

Author

Chmielewski, Leszek J. editor. (orcid)0000-0002-9725-2479 Kozera, Ryszard. editor. (orcid)0000-0002-2907-8632 Orłowski, Arkadiusz. editor. (orcid)0000-0002-6755-1830 Wojciechowski, Konrad. editor. Bruckstein, Alfred M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Computational Data and Social Networks 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings

Computational Data and Social Networks 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings

Author

Chen, Xuemin. editor. (orcid)0000-0003-3820-9195 Sen, Arunabha. editor. Li, Wei Wayne. editor. Thai, My T. editor. (orcid)0000-0003-0503-2012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings

Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings

Author

Ahmed, Mobyen Uddin. editor. Begum, Shahina. editor. (orcid)0000-0002-1212-7637 Fasquel, Jean-Baptiste. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

Author

Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Author

Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Advances in Visual Computing 13th International Symposium, ISVC 2018, Las Vegas, NV, USA, November 19 – 21, 2018, Proceedings

Author

Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Turek, Matt. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

Author

Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Transactions on Computational Collective Intelligence XXXI

Author

Nguyen, Ngoc Thanh. editor. Kowalczyk, Richard. editor. Mercik, Jacek. editor. Motylska-Kuźma, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

Author

Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Author

Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Collaborative Computing: Networking, Applications and Worksharing 13th International Conference, CollaborateCom 2017, Edinburgh, UK, December 11–13, 2017, Proceedings

Collaborative Computing: Networking, Applications and Worksharing 13th International Conference, CollaborateCom 2017, Edinburgh, UK, December 11–13, 2017, Proceedings

Author

Romdhani, Imed. editor. Shu, Lei. editor. Takahiro, Hara. editor. Zhou, Zhangbing. editor. Gordon, Timothy. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Edge Computing – EDGE 2018 Second International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Edge Computing – EDGE 2018 Second International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Author

Liu, Shijun. editor. (orcid)0000-0002-4108-1391 Tekinerdogan, Bedir. editor. (orcid)0000-0002-8538-7261 Aoyama, Mikio. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Author

Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Services Computing – SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Services Computing – SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Author

Ferreira, João Eduardo. editor. (orcid)0000-0001-9607-2014 Spanoudakis, George. editor. Ma, Yutao. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers

Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers

Author

Parlier, Greg H. editor. Liberatore, Federico. editor. Demange, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Advances in Computer Entertainment Technology 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings

Advances in Computer Entertainment Technology 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings

Author

Cheok, Adrian David. editor. (orcid)0000-0001-6316-2339 Inami, Masahiko. editor. Romão, Teresa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

Author

Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part III

Author

Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Human Aspects of IT for the Aged Population. Applications in Health, Assistance, and Entertainment 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

Human Aspects of IT for the Aged Population. Applications in Health, Assistance, and Entertainment 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

Author

Zhou, Jia. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part II

Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part II

Author

Lai, Jian-Huang. editor. Liu, Cheng-Lin. editor. Chen, Xilin. editor. Zhou, Jie. editor. Tan, Tieniu. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part IV

Author

Lai, Jian-Huang. editor. Liu, Cheng-Lin. editor. Chen, Xilin. editor. Zhou, Jie. editor. Tan, Tieniu. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for New Trends in Information and Communications Technology Applications Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings

New Trends in Information and Communications Technology Applications Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings

Author

Al-mamory, Safaa O. editor. (orcid)0000-0003-3144-8222 Alwan, Jwan K. editor. Hussein, Ali D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Cover image for High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

Author

Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Shalf, John. editor. Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part I

Author

Lai, Jian-Huang. editor. Liu, Cheng-Lin. editor. Chen, Xilin. editor. Zhou, Jie. editor. Tan, Tieniu. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Author

Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Author

Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Author

Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Social Informatics 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part I

Author

Staab, Steffen. editor. (orcid)0000-0002-0780-4154 Koltsova, Olessia. editor. (orcid)0000-0002-2669-3154 Ignatov, Dmitry I. editor. (orcid)0000-0002-6584-8534 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Social Informatics 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part II

Author

Staab, Steffen. editor. (orcid)0000-0002-0780-4154 Koltsova, Olessia. editor. (orcid)0000-0002-2669-3154 Ignatov, Dmitry I. editor. (orcid)0000-0002-6584-8534 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

Author

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 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-99229-7

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings

Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings

Author

Kozielski, Stanisław. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Paweł. editor. (orcid)0000-0002-2090-335X Małysiak-Mrozek, Bożena. editor. (orcid)0000-0003-4977-4915 Kostrzewa, Daniel. editor. (orcid)0000-0003-2781-3709

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

Cover image for Intelligent Data Engineering and Automated Learning – IDEAL 2018 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part II

Intelligent Data Engineering and Automated Learning – IDEAL 2018 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part II

Author

Yin, Hujun. editor. (orcid)0000-0002-9198-5401 Camacho, David. editor. (orcid)0000-0002-0535-7450 Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Tallón-Ballesteros, Antonio J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03496-2

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Human Aspects of IT for the Aged Population. Acceptance, Communication and Participation 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Human Aspects of IT for the Aged Population. Acceptance, Communication and Participation 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Author

Zhou, Jia. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III

Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III

Author

Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Hammer, Barbara. editor. Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings

Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings

Author

Voros, Nikolaos. editor. Huebner, Michael. editor. Keramidas, Georgios. editor. Goehringer, Diana. editor. Antonopoulos, Christos. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI

Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI

Author

Sun, Xingming. editor. (orcid)0000-0001-7982-726X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Security, Privacy, and Anonymity in Computation, Communication, and Storage 11th International Conference and Satellite Workshops, SpaCCS 2018, Melbourne, NSW, Australia, December 11-13, 2018, Proceedings

Security, Privacy, and Anonymity in Computation, Communication, and Storage 11th International Conference and Satellite Workshops, SpaCCS 2018, Melbourne, NSW, Australia, December 11-13, 2018, Proceedings

Author

Wang, Guojun. editor. (orcid)0000-0001-9875-4182 Chen, Jinjun. editor. Yang, Laurence T. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Designing for a Digital and Globalized World 13th International Conference, DESRIST 2018, Chennai, India, June 3–6, 2018, Proceedings

Designing for a Digital and Globalized World 13th International Conference, DESRIST 2018, Chennai, India, June 3–6, 2018, Proceedings

Author

Chatterjee, Samir. editor. Dutta, Kaushik. editor. Sundarraj, Rangaraja P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings

Author

Bender, Michael A. editor. Farach-Colton, Martín. editor. (orcid)0000-0003-3616-7788 Mosteiro, Miguel A. editor. (orcid)0000-0001-5842-6256 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I

Author

Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Hammer, Barbara. editor. Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings

Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings

Author

Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. (orcid)0000-0001-7787-4927 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

61.

Cover image for This Changes Everything – ICT and Climate Change: What Can We Do? 13th IFIP TC 9 International Conference on Human Choice and Computers, HCC13 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 19–21, 2018, Proceedings

This Changes Everything – ICT and Climate Change: What Can We Do? 13th IFIP TC 9 International Conference on Human Choice and Computers, HCC13 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 19–21, 2018, Proceedings

Author

Kreps, David. editor. Ess, Charles. editor. Leenen, Louise. editor. Kimppa, Kai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Author

Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

63.

Network and System Security 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings

Author

Au, Man Ho. editor. (orcid)0000-0003-2068-9530 Yiu, Siu Ming. editor. Li, Jin. editor. Luo, Xiapu. editor. Wang, Cong. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II

Author

Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Hammer, Barbara. editor. Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

Cover image for Intravascular Imaging and Computer Assisted Stenting and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis 7th Joint International Workshop, CVII-STENT 2018 and Third International Workshop, LABELS 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

Intravascular Imaging and Computer Assisted Stenting and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis 7th Joint International Workshop, CVII-STENT 2018 and Third International Workshop, LABELS 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

Author

Stoyanov, Danail. editor. Taylor, Zeike. editor. Balocco, Simone. editor. Sznitman, Raphael. editor. Martel, Anne. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Cover image for Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Author

Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Author

Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Cover image for High Performance Computing 4th Latin American Conference, CARLA 2017, Buenos Aires, Argentina, and Colonia del Sacramento, Uruguay, September 20-22, 2017, Revised Selected Papers

High Performance Computing 4th Latin American Conference, CARLA 2017, Buenos Aires, Argentina, and Colonia del Sacramento, Uruguay, September 20-22, 2017, Revised Selected Papers

Author

Mocskos, Esteban. editor. (orcid)0000-0002-6473-7672 Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers

Author

Zu, Qiaohong. editor. Hu, Bo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cover image for Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

Author

German, Reinhard. editor. Hielscher, Kai-Steffen. editor. Krieger, Udo R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

Cover image for Internet Science INSCI 2017 International Workshops, IFIN, DATA ECONOMY, DSI, and CONVERSATIONS, Thessaloniki, Greece, November 22, 2017, Revised Selected Papers

Internet Science INSCI 2017 International Workshops, IFIN, DATA ECONOMY, DSI, and CONVERSATIONS, Thessaloniki, Greece, November 22, 2017, Revised Selected Papers

Author

Diplaris, Sotiris. editor. (orcid)0000-0002-9969-6436 Satsiou, Anna. editor. Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Vafopoulos, Michail. editor. Vilarinho, Thomas. editor. (orcid)0000-0002-7076-7835

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

73.

Cover image for Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

Author

Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

Cover image for Privacy and Identity Management. The Smart Revolution 12th IFIP WG 9.2, 9.5, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Ispra, Italy, September 4-8, 2017, Revised Selected Papers

Privacy and Identity Management. The Smart Revolution 12th IFIP WG 9.2, 9.5, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Ispra, Italy, September 4-8, 2017, Revised Selected Papers

Author

Hansen, Marit. editor. Kosta, Eleni. editor. Nai-Fovino, Igor. editor. Fischer-Hübner, Simone. editor. (orcid)0000-0002-6938-4466 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

Author

Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

Author

Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

77.

Cover image for Mobile Computing, Applications, and Services 9th International Conference, MobiCASE 2018, Osaka, Japan, February 28 – March 2, 2018, Proceedings

Mobile Computing, Applications, and Services 9th International Conference, MobiCASE 2018, Osaka, Japan, February 28 – March 2, 2018, Proceedings

Author

Murao, Kazuya. editor. Ohmura, Ren. editor. Inoue, Sozo. editor. Gotoh, Yusuke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

Pervasive Computing Paradigms for Mental Health Selected Papers from MindCare 2016, Fabulous 2016, and IIoT 2015

Author

Oliver, Nuria. editor. Serino, Silvia. editor. Matic, Aleksandar. editor. Cipresso, Pietro. editor. Filipovic, Nenad. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

Cover image for Machine Learning, Optimization, and Big Data Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers

Machine Learning, Optimization, and Big Data Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers

Author

Nicosia, Giuseppe. editor. Pardalos, Panos. editor. Giuffrida, Giovanni. editor. Umeton, Renato. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

Cover image for Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

Author

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

Cover image for Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Author

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

Cover image for Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

Author

Liu, Peng. editor. Mauw, Sjouke. editor. Stolen, Ketil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Author

Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

84.

Semantic Web-based Intelligent Geospatial Web Services

Author

Yue, Peng. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332124.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6809-7

Format:

Availability

Online Library~1

Available:
Copies:

85.

Agreement Technologies Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings

Author

Chesñevar, Carlos Iván. editor. Onaindia, Eva. editor. Ossowski, Sascha. editor. Vouros, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334857.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

Advances in Applied Self-Organizing Systems

Author

Prokopenko, Mikhail. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331148.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5113-5

Format:

Availability

Online Library~1

Available:
Copies:

87.

Massively Parallel Evolutionary Computation on GPGPUs

Author

Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334507.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

Cover image for Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings

Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings

Author

Kłopotek, Mieczysław A. editor. Koronacki, Jacek. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. Wierzchoń, Sławomir T. editor.

Preferred Shelf Number

ONLINE(334639.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

Cover image for Adaptive and Learning Agents International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers

Adaptive and Learning Agents International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers

Author

Vrancx, Peter. editor. Knudson, Matthew. editor. Grześ, Marek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Mobile Computing, Applications, and Services Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papers

Mobile Computing, Applications, and Services Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papers

Author

Zhang, Joy Ying. editor. Wilkiewicz, Jarek. editor. Nahapetian, Ani. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

Advances in Information Technology 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012. Proceedings

Author

Papasratorn, Borworn. editor. Charoenkitkarn, Nipon. editor. Lavangnananda, Kittichai. editor. Chutimaskul, Wichian. editor. Vanijja, Vajirasak. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

92.

Self-Organizing Robots

Author

Murata, Satoshi. author. Kurokawa, Haruhisa. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-4-431-54055-7

Format:

Availability

Online Library~1

Available:
Copies:

93.

Trustworthy Ubiquitous Computing

Author

Khalil, Ismail. editor. Mantoro, Teddy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.2991/978-94-91216-71-8

Format:

Availability

Online Library~1

Available:
Copies:

94.

Cover image for Security and Intelligent Information Systems International Joint Conferences, SIIS 2011, Warsaw, Poland, June 13-14, 2011, Revised Selected Papers

Security and Intelligent Information Systems International Joint Conferences, SIIS 2011, Warsaw, Poland, June 13-14, 2011, Revised Selected Papers

Author

Bouvry, Pascal. editor. Kłopotek, Mieczysław A. editor. Leprévost, Franck. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

95.

Cover image for Mobile Computing, Applications, and Services Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers

Mobile Computing, Applications, and Services Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers

Author

Gris, Martin. editor. Yang, Guang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

Cover image for Modeling and Mining Ubiquitous Social Media International Workshops MSM 2011, Boston, MA, USA, October 9, 2011, and MUSE 2011, Athens, Greece, September 5, 2011, Revised Selected Papers

Modeling and Mining Ubiquitous Social Media International Workshops MSM 2011, Boston, MA, USA, October 9, 2011, and MUSE 2011, Athens, Greece, September 5, 2011, Revised Selected Papers

Author

Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

Computer and Information Sciences II 26th International Symposium on Computer and Information Sciences

Author

Gelenbe, Erol. editor. Lent, Ricardo. editor. Sakellari, Georgia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2155-8

Format:

Availability

Online Library~1

Available:
Copies:

98.

Cover image for Computer Networks and Information Technologies Second International Conference on Advances in Communication, Network, and Computing, CNC 2011, Bangalore, India, March 10-11, 2011. Proceedings

Computer Networks and Information Technologies Second International Conference on Advances in Communication, Network, and Computing, CNC 2011, Bangalore, India, March 10-11, 2011. Proceedings

Author

Das, Vinu V. editor. Stephen, Janahanlal. editor. Chaba, Yogesh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

99.

Universal Semantic Communication

Author

Juba, Brendan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Complex Intelligent Systems and Their Applications

Author

Xhafa, Fatos. editor. Barolli, Leonard. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-1636-5

Format:

Availability

Online Library~1

Available:
Copies:

101.

Cover image for Adaptive and Learning Agents Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers

Adaptive and Learning Agents Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers

Author

Taylor, Matthew E. editor. Tuyls, Karl. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

102.

Cover image for High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009, Revised Selected Papers

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009, Revised Selected Papers

Author

Mewhort, Douglas J. K. editor. Cann, Natalie M. editor. Slater, Gary W. editor. Naughton, Thomas J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

103.

Cover image for Autonomic Computing and Communications Systems Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers

Autonomic Computing and Communications Systems Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers

Author

Vasilakos, Athanasius V. editor. Beraldi, Roberto. editor. Friedman, Roy. editor. Mamei, Marco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

104.

Advances in Information Technology 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings

Author

Papasratorn, Borworn. editor. Lavangnananda, Kittichai. editor. Chutimaskul, Wichian. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

Cover image for Mobile Computing, Applications, and Services First International ICST Conference, MobiCASE 2009, San Diego, CA, USA, October 26-29, 2009, Revised Selected Papers

Mobile Computing, Applications, and Services First International ICST Conference, MobiCASE 2009, San Diego, CA, USA, October 26-29, 2009, Revised Selected Papers

Author

Phan, Thomas. editor. Montanari, Rebecca. editor. Zerfos, Petros. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

106.

Security Informatics

Author

Yang, Christopher C. editor. Chau, Michael. editor. Wang, Jau-Hwang. editor. Chen, Hsinchun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-1325-8

Format:

Availability

Online Library~1

Available:
Copies:

107.

Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings

Author

Braubach, Lars. editor. Hoek, Wiebe. editor. Petta, Paolo. editor. Pokahr, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

Advanced Agent-Based Environmental Management Systems

Author

Cortés, Ulises. editor. Poch, Manel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8900-0

Format:

Availability

Online Library~1

Available:
Copies:

109.

Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings

Author

Papasratorn, Borworn. editor. Chutimaskul, Wichian. editor. Porkaew, Kriengkrai. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

Cover image for Artificial Life: Borrowing from Biology 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009. Proceedings

Artificial Life: Borrowing from Biology 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009. Proceedings

Author

Korb, Kevin. editor. Randall, Marcus. editor. Hendtlass, Tim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

Cover image for Principles of Practice in Multi-Agent Systems 12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009. Proceedings

Principles of Practice in Multi-Agent Systems 12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009. Proceedings

Author

Yang, Jung-Jin. editor. Yokoo, Makoto. editor. Ito, Takayuki. editor. Jin, Zhi. editor. Scerri, Paul. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

Distributed Intelligent Systems A Coordination Perspective

Author

Bedrouni, Abdellah. author. Mittu, Ranjeev. author. Boukhtouta, A. author. Berger, Jean. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-77702-3

Format:

Availability

Online Library~1

Available:
Copies:

113.

Autonomic Communication

Author

Vasilakos, Athanasios V. editor. Parashar, Manish. editor. Karnouskos, Stamatis. editor. Pedrycz, Witold. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-09753-4

Format:

Availability

Online Library~1

Available:
Copies:

114.

Proceedings of the European Computing Conference Volume 1

Author

Mastorakis, Nikos. editor. Mladenov, Valeri. editor. Kontargyri, Vassiliki T. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-84814-3

Format:

Availability

Online Library~1

Available:
Copies:

115.

Proceedings of the European Computing Conference Volume 2

Author

Mastorakis, Nikos. editor. Mladenov, Valeri. editor. Kontargyri, Vassiliki T. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-85437-3

Format:

Availability

Online Library~1

Available:
Copies:

116.

Radio Monitoring Problems, Methods and Equipment

Author

Rembovsky, Anatoly. author. Ashikhmin, Alexander. author. Kozmin, Vladimir. author. Smolskiy, Sergey. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-98100-0

Format:

Availability

Online Library~1

Available:
Copies:

117.

Issues in Multi-Agent Systems The AgentCities.ES Experience

Author

Moreno, Antonio. editor. Pavón, Juan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8543-9

Format:

Availability

Online Library~1

Available:
Copies:

118.

Agent Technology and e-Health

Author

Annicchiarico, Roberta. editor. Cortés, Ulises. editor. Urdiales, Cristina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8547-7

Format:

Availability

Online Library~1

Available:
Copies:

119.

Advances in Applied Self-organizing Systems

Author

Prokopenko, Mikhail. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-982-8

Format:

Availability

Online Library~1

Available:
Copies:

120.

Trends in Intelligent Systems and Computer Engineering

Author

Castillo, Oscar. editor. Xu, Li. editor. Ao, Sio-Iong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-74935-8

Format:

Availability

Online Library~1

Available:
Copies:

121.

Cover image for Dynamic Pricing and Automated Resource Allocation for Complex Information Services Reinforcement Learning and Combinatorial Auctions

Dynamic Pricing and Automated Resource Allocation for Complex Information Services Reinforcement Learning and Combinatorial Auctions

Author

Schwind, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-68003-1

Format:

Availability

Online Library~1

Available:
Copies:

122.

Ontologies A Handbook of Principles, Concepts and Applications in Information Systems

Author

Sharman, Raj. editor. Kishore, Rajiv. editor. Ramesh, Ram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-37022-4

Format:

Availability

Online Library~1

Available:
Copies:

123.

Cognitive Wireless Communication Networks

Author

Hossain, Ekram. editor. Bhargava, Vijay. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-68832-9

Format:

Availability

Online Library~1

Available:
Copies:

124.

Methods and Procedures for the Verification and Validation of Artificial Neural Networks

Author

Taylor, Brian J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-29485-6

Format:

Availability

Online Library~1

Available:
Copies:

125.

Intelligence and Security Informatics for International Security Information Sharing and Data Mining

Author

Chen, Hsinchun. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-30332-4

Format:

Availability

Online Library~1

Available:
Copies:

126.

Cover image for Developing Ambient Intelligence Proceedings of the First International Conference on Ambient Intelligence Developments (AmID’06)

Developing Ambient Intelligence Proceedings of the First International Conference on Ambient Intelligence Developments (AmID’06)

Author

Maña, Antonio. author. Lotz, Volkmar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-2-287-47610-5

Format:

Availability

Online Library~1

Available:
Copies:

127.

Software Agent-Based Applications, Platforms and Development Kits

Author

Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

128.

Ontologies for Agents: Theory and Experiences

Author

Tamma, Valentina. editor. Cranefield, Stephen. editor. Finin, Timothy W. editor. Willmott, Steven. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-7643-7361-X

Format:

Availability

Online Library~1

Available:
Copies:

129.

Cover image for Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21–23, 2004, Beijing, China

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21–23, 2004, Beijing, China

Author

Shi, Zhongzhi. editor. He, Qing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

130.

Cover image for Multidisciplinary Scheduling: Theory and Applications 1st International Conference, MISTA '03 Nottingham, UK, 13–15 August 2003 Selected Papers

Multidisciplinary Scheduling: Theory and Applications 1st International Conference, MISTA '03 Nottingham, UK, 13–15 August 2003 Selected Papers

Author

Kendall, Graham. editor. Burke, Edmund K. editor. Petrovic, Sanja. editor. Gendreau, Michel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-27744-7

Format:

Availability

Online Library~1

Available:
Copies:

131.

Quantitative Measure for Discrete Event Supervisory Control

Author

Ray, Asok. editor. Phoha, Vir V. editor. Phoha, Shashi P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}