Search Results for Artificial intelligence

Limit Search Results

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

343 Results Found

1 2

0000000000000000000000000000000000000000000DEFAULT

301.

Proceedings of International Conference on Communication and Computational Technologies ICCCT 2023

Author

Kumar, Sandeep. editor. Hiranwal, Saroj. editor. Purohit, S.D. editor. Prasad, Mukesh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

302.

Intelligent Computing and Networking Proceedings of IC-ICN 2022

Author

Balas, Valentina Emilia. editor. Semwal, Vijay Bhaskar. editor. Khandare, Anand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-0071-8

Format:

Availability

Online Library~1

Available:
Copies:

303.

Advances in Data Science and Computing Technologies Select Proceedings of ADSC 2022

Author

Chakraborty, Basabi. editor. Biswas, Arindam. editor. Chakrabarti, Amlan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

304.

Proceedings of Emerging Trends and Technologies on Intelligent Systems ETTIS 2022

Author

Noor, Arti. editor. Saroha, Kriti. editor. Pricop, Emil. editor. Sen, Abhijit. editor. Trivedi, Gaurav. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-4182-5

Format:

Availability

Online Library~1

Available:
Copies:

305.

Microelectronics, Communication Systems, Machine Learning and Internet of Things Select Proceedings of MCMI 2020

Author

Nath, Vijay. editor. Mandal, Jyotsna Kumar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-1906-0

Format:

Availability

Online Library~1

Available:
Copies:

306.

Cover image for Internet of Vehicles. Technologies and Services for Smart Cities 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings

Internet of Vehicles. Technologies and Services for Smart Cities 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings

Author

Peng, Sheng-Lung. editor. Lee, Guan-Ling. editor. Klette, Reinhard. editor. Hsu, Ching-Hsien. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

307.

Cover image for Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part I

Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part I

Author

Bernhaupt, Regina. editor. Dalvi, Girish. editor. Joshi, Anirudha. editor. K. Balkrishan, Devanuj. editor. O'Neill, Jacki. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

308.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Author

Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

309.

Cover image for Security, Privacy, and Anonymity in Computation, Communication, and Storage SpaCCS 2017 International Workshops, Guangzhou, China, December 12-15, 2017, Proceedings

Security, Privacy, and Anonymity in Computation, Communication, and Storage SpaCCS 2017 International Workshops, Guangzhou, China, December 12-15, 2017, Proceedings

Author

Wang, Guojun. editor. (orcid)0000-0001-9875-4182 Atiquzzaman, Mohammed. editor. Yan, Zheng. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

310.

Internet Science 4th International Conference, INSCI 2017, Thessaloniki, Greece, November 22-24, 2017, Proceedings

Author

Kompatsiaris, Ioannis. editor. Cave, Jonathan. editor. Satsiou, Anna. editor. Carle, Georg. editor. Passani, Antonella. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

311.

Cover image for Smart Cities, Green Technologies, and Intelligent Transport Systems 5th International Conference, SMARTGREENS 2016, and Second International Conference, VEHITS 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers

Smart Cities, Green Technologies, and Intelligent Transport Systems 5th International Conference, SMARTGREENS 2016, and Second International Conference, VEHITS 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers

Author

Helfert, Markus. editor. Klein, Cornel. editor. Donnellan, Brian. editor. Gusikhin, Oleg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

312.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Author

Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

313.

Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part II

Author

Bernhaupt, Regina. editor. Dalvi, Girish. editor. Joshi, Anirudha. editor. K. Balkrishan, Devanuj. editor. O'Neill, Jacki. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

314.

Cover image for Security, Privacy, and Anonymity in Computation, Communication, and Storage 10th International Conference, SpaCCS 2017, Guangzhou, China, December 12-15, 2017, Proceedings

Security, Privacy, and Anonymity in Computation, Communication, and Storage 10th International Conference, SpaCCS 2017, Guangzhou, China, December 12-15, 2017, Proceedings

Author

Wang, Guojun. editor. (orcid)0000-0001-9875-4182 Atiquzzaman, Mohammed. editor. Yan, Zheng. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

315.

Cover image for Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

Author

Rossi, Federico. editor. Piotto, Stefano. editor. Concilio, Simona. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

316.

Cover image for Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

Author

D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

317.

Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings

Author

Shi, Xuanhua. editor. (orcid)0000-0001-8451-8656 An, Hong. editor. Wang, Chao. editor. Kandemir, Mahmut. editor. Jin, Hai. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

318.

Cover image for Algorithms for Sensor Systems 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers

Algorithms for Sensor Systems 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers

Author

Fernández Anta, Antonio. editor. Jurdzinski, Tomasz. editor. Mosteiro, Miguel A. editor. Zhang, Yanyong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

319.

Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV

Author

Bernhaupt, Regina. editor. Dalvi, Girish. editor. Joshi, Anirudha. editor. K. Balkrishan, Devanuj. editor. O'Neill, Jacki. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

320.

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Author

Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

321.

Cover image for Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

Author

Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

322.

Cover image for ICT Innovations 2017 Data-Driven Innovation. 9th International Conference, ICT Innovations 2017, Skopje, Macedonia, September 18-23, 2017, Proceedings

ICT Innovations 2017 Data-Driven Innovation. 9th International Conference, ICT Innovations 2017, Skopje, Macedonia, September 18-23, 2017, Proceedings

Author

Trajanov, Dimitar. editor. Bakeva, Verica. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

323.

Cover image for High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016, Revised Selected Papers

High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016, Revised Selected Papers

Author

Barrios Hernández, Carlos Jaime. editor. Gitler, Isidoro. editor. (orcid)0000-0003-1241-5943 Klapp, Jaime. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

324.

Cover image for Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings

Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings

Author

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. Villa-Ramírez, José Luis. editor. Ferro-Escobar, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

325.

Cover image for Financial Cryptography and Data Security FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers

Financial Cryptography and Data Security FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers

Author

Brenner, Michael. editor. Rohloff, Kurt. editor. Bonneau, Joseph. editor. Miller, Andrew. editor. Ryan, Peter Y.A. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

326.

Information Security 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings

Author

Nguyen, Phong Q. editor. Zhou, Jianying. editor. (orcid)0000-0003-0594-0432 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

327.

Cover image for Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Author

de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

328.

Cover image for Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings

Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings

Author

Yue, Wuyi. editor. Li, Quan-Lin. editor. Jin, Shunfu. editor. (orcid)0000-0002-5845-5601 Ma, Zhanyou. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

329.

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Author

Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

330.

Cover image for Virtual, Augmented and Mixed Reality 9th International Conference, VAMR 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

Virtual, Augmented and Mixed Reality 9th International Conference, VAMR 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

Author

Lackey, Stephanie. editor. Chen, Jessie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

331.

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Author

Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

332.

Cover image for Information and Communication Technologies for Ageing Well and e-Health Second International Conference, ICT4AWE 2016, Rome, Italy, April 21-22, 2016, Revised Selected Papers

Information and Communication Technologies for Ageing Well and e-Health Second International Conference, ICT4AWE 2016, Rome, Italy, April 21-22, 2016, Revised Selected Papers

Author

Röcker, Carsten. editor. O'Donoghue, John. editor. Ziefle, Martina. editor. (orcid)0000-0002-6105-4729 Helfert, Markus. editor. Molloy, William. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

333.

Cover image for Big Data Analytics and Knowledge Discovery 19th International Conference, DaWaK 2017, Lyon, France, August 28-31, 2017, Proceedings

Big Data Analytics and Knowledge Discovery 19th International Conference, DaWaK 2017, Lyon, France, August 28-31, 2017, Proceedings

Author

Bellatreche, Ladjel. editor. Chakravarthy, Sharma. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

334.

Human-Computer Interaction - INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part III

Author

Bernhaupt, Regina. editor. Dalvi, Girish. editor. Joshi, Anirudha. editor. K. Balkrishan, Devanuj. editor. O'Neill, Jacki. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

335.

Pervasive Computing Engineering Smart Systems

Author

Silvis-Cividjian, Natalia. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

336.

Cover image for Connectomics in NeuroImaging First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings

Connectomics in NeuroImaging First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings

Author

Wu, Guorong. editor. Laurienti, Paul. editor. Bonilha, Leonardo. editor. Munsell, Brent C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

337.

Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings

Author

Wong, Stephan. editor. Beck, Antonio Carlos. editor. Bertels, Koen. editor. Carro, Luigi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

338.

Cover image for Intravascular Imaging and Computer Assisted Stenting, and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis 6th Joint International Workshops, CVII-STENT 2017 and Second International Workshop, LABELS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10-14, 2017, Proceedings

Intravascular Imaging and Computer Assisted Stenting, and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis 6th Joint International Workshops, CVII-STENT 2017 and Second International Workshop, LABELS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10-14, 2017, Proceedings

Author

Cardoso, M. Jorge. editor. Arbel, Tal. editor. Lee, Su-Lin. editor. Cheplygina, Veronika. editor. (orcid)0000-0003-0176-9324 Balocco, Simone. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

339.

Cover image for Information and Communication Technologies in Education, Research, and Industrial Applications 12th International Conference, ICTERI 2016, Kyiv, Ukraine, June 21-24, 2016, Revised Selected Papers

Information and Communication Technologies in Education, Research, and Industrial Applications 12th International Conference, ICTERI 2016, Kyiv, Ukraine, June 21-24, 2016, Revised Selected Papers

Author

Ginige, Athula. editor. Mayr, Heinrich C. editor. Plexousakis, Dimitris. editor. (orcid)0000-0002-0863-8266 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Nikitchenko, Mykola. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

340.

Anti-fragile ICT Systems

Author

Hole, Kjell Jørgen. author. SpringerLink (Online service)