Search Results for Analysis.

1.

Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Author

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

Author

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Medical Image Understanding and Analysis 28th Annual Conference, MIUA 2024, Manchester, UK, July 24-26, 2024, Proceedings, Part II

Author

Yap, Moi Hoon. editor. (orcid)0000-0001-7681-4287 Kendrick, Connah. editor. (orcid)0000-0002-3623-6598 Behera, Ardhendu. editor. Cootes, Timothy. editor. Zwiggelaar, Reyer. editor. (orcid)0000-0002-4360-0896

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66958-3

Format:

Availability

Online Library~1

Available:
Copies:

4.

Medical Image Understanding and Analysis 28th Annual Conference, MIUA 2024, Manchester, UK, July 24-26, 2024, Proceedings, Part I

Author

Yap, Moi Hoon. editor. (orcid)0000-0001-7681-4287 Kendrick, Connah. editor. (orcid)0000-0002-3623-6598 Behera, Ardhendu. editor. Cootes, Timothy. editor. Zwiggelaar, Reyer. editor. (orcid)0000-0002-4360-0896

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Smart Applications and Data Analysis 5th International Conference, SADASC 2024, Tangier, Morocco, April 18-20, 2024, Proceedings, Part I

Smart Applications and Data Analysis 5th International Conference, SADASC 2024, Tangier, Morocco, April 18-20, 2024, Proceedings, Part I

Author

Hamlich, Mohamed. editor. (orcid)0000-0002-7512-4329 Dornaika, Fadi. editor. (orcid)0000-0001-6581-9680 Ordonez, Carlos. editor. Bellatreche, Ladjel. editor. Moutachaouik, Hicham. editor. (orcid)0000-0003-1566-104X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Smart Applications and Data Analysis 5th International Conference, SADASC 2024, Tangier, Morocco, April 18-20, 2024, Proceedings, Part II

Author

Hamlich, Mohamed. editor. (orcid)0000-0002-7512-4329 Dornaika, Fadi. editor. (orcid)0000-0001-6581-9680 Ordonez, Carlos. editor. Bellatreche, Ladjel. editor. Moutachaouik, Hicham. editor. (orcid)0000-0003-1566-104X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Author

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Image Analysis and Recognition 16th International Conference, ICIAR 2019, Waterloo, ON, Canada, August 27–29, 2019, Proceedings, Part I

Image Analysis and Recognition 16th International Conference, ICIAR 2019, Waterloo, ON, Canada, August 27–29, 2019, Proceedings, Part I

Author

Karray, Fakhri. editor. (orcid)0000-0002-4217-1372 Campilho, Aurélio. editor. (orcid)0000-0002-5317-6275 Yu, Alfred. editor. (orcid)0000-0002-8604-0219 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedings

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedings

Author

Vera-Rodriguez, Ruben. editor. Fierrez, Julian. editor. Morales, Aythami. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Computer Analysis of Images and Patterns 18th International Conference, CAIP 2019, Salerno, Italy, September 3–5, 2019, Proceedings, Part I

Computer Analysis of Images and Patterns 18th International Conference, CAIP 2019, Salerno, Italy, September 3–5, 2019, Proceedings, Part I

Author

Vento, Mario. editor. (orcid)0000-0002-2948-741X Percannella, Gennaro. editor. (orcid)0000-0002-1227-0353 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Decision-making Analysis and Optimization Modeling of Emergency Warnings for Major Accidents

Author

Gai, Wenmei. author. Du, Yan. author. Deng, Yunfeng. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2871-8

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

Author

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Essence of Systems Analysis and Design A Workbook Approach

Author

Sajja, Priti Srinivas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-5128-9

Format:

Availability

Online Library~1

Available:
Copies:

14.

Recurrent Neural Networks for Short-Term Load Forecasting An Overview and Comparative Analysis

Author

Bianchi, Filippo Maria. author. Maiorino, Enrico. author. Kampffmeyer, Michael C. author. Rizzi, Antonello. author. Jenssen, Robert. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

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:

16.

Cover image for Constructive Side-Channel Analysis and Secure Design 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers

Constructive Side-Channel Analysis and Secure Design 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers

Author

Standaert, François-Xavier. editor. Oswald, Elisabeth. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Author

Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Foundations of Security Analysis and Design VII FOSAD 2012 / 2013 Tutorial Lectures

Author

Aldini, Alessandro. editor. Lopez, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Author

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Citation-based Plagiarism Detection Detecting Disguised and Cross-language Plagiarism using Citation Pattern Analysis

Author

Gipp, Bela. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-06394-8

Format:

Availability

Online Library~1

Available:
Copies:

21.

The laboratory computer a practical guide for physiologists and neuroscientists

Author

Dempster, John, 1956- Dempster, John, 1956- Computer analysis of electrophysiological signals.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780122095511

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Computer Security. ESORICS 2024 International Workshops DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part I

Computer Security. ESORICS 2024 International Workshops DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part I

Author

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Barker, Ken. editor. Navarro-Arribas, Guillermo. editor. (orcid)0000-0003-3535-942X Pérez-Solà, Cristina. editor. (orcid)0000-0001-7534-1326 Delgado-Segura, Sergi. editor. (orcid)0000-0001-7783-7288

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82349-7

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Computational Data and Social Networks 13th International Conference, CSoNet 2024, Bangkok, Thailand, December 16-18, 2024, Proceedings

Computational Data and Social Networks 13th International Conference, CSoNet 2024, Bangkok, Thailand, December 16-18, 2024, Proceedings

Author

Kertesz, Janos. editor. (orcid)0000-0003-4957-5406 Li, Bo. editor. (orcid)0000-0001-7500-8355 Supnithi, Thepchai. editor. Takhom, Akkharawoot. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-6389-7

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Sustainability and Empowerment in the Context of Digital Libraries 26th International Conference on Asia-Pacific Digital Libraries, ICADL 2024, Bandar Sunway, Malaysia, December 4-6, 2024, Proceedings, Part I

Sustainability and Empowerment in the Context of Digital Libraries 26th International Conference on Asia-Pacific Digital Libraries, ICADL 2024, Bandar Sunway, Malaysia, December 4-6, 2024, Proceedings, Part I

Author

Oliver, Gillian. editor. (orcid)0000-0003-2943-5035 Frings-Hessami, Viviane. editor. (orcid)0000-0003-0728-5355 Du, Jia Tina. editor. (orcid)0000-0002-3243-5768 Tezuka, Taro. editor. (orcid)0000-0002-5628-9961 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0865-2

Format:

Availability

Online Library~1

Available:
Copies:

25.

Sustainability and Empowerment in the Context of Digital Libraries 26th International Conference on Asia-Pacific Digital Libraries, ICADL 2024, Bandar Sunway, Malaysia, December 4-6, 2024, Proceedings, Part II

Author

Oliver, Gillian. editor. (orcid)0000-0003-2943-5035 Frings-Hessami, Viviane. editor. (orcid)0000-0003-0728-5355 Du, Jia Tina. editor. (orcid)0000-0002-3243-5768 Tezuka, Taro. editor. (orcid)0000-0002-5628-9961 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0868-3

Format:

Availability

Online Library~1

Available:
Copies:

26.

Business Data Analytics Second International Conference, ICBDA 2023, Dehradun, India, December 7-8, 2023, Proceedings

Author

Singh, Rajesh. editor. (orcid)0000-0002-3164-8905 Gehlot, Anita. editor. (orcid)0000-0001-6463-9581 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-80778-7

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Advances in Digital Forensics XX 20th IFIP WG 11.9 International Conference, New Delhi, India, January 4-5, 2024, Revised Selected Papers

Advances in Digital Forensics XX 20th IFIP WG 11.9 International Conference, New Delhi, India, January 4-5, 2024, Revised Selected Papers

Author

Kurkowski, Elizabeth. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Computer Vision, Pattern Recognition, Image Processing, and Graphics Proceedings of the 8th National Conference, NCVPRIPG 2023

Author

Chaudhury, Santanu. editor. Mishra, Anand. editor. Namboodiri, Anoop M. editor. Jayagopi, Dinesh Babu. editor. Sinha, Neelam. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-5212-6

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

Author

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

Author

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90065-5

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Computer Security. ESORICS 2024 International Workshops SECAI, DisA, CPS4CIP, and SecAssure, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part II

Computer Security. ESORICS 2024 International Workshops SECAI, DisA, CPS4CIP, and SecAssure, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part II

Author

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Kalutarage, Harsha. editor. (orcid)0000-0001-6430-9558 Yanai, Naoto. editor. (orcid)0000-0002-0817-6188 Kozik, Rafał. editor. (orcid)0000-0001-7122-3306 Ksieniewicz, Paweł. editor. (orcid)0000-0001-9578-8395

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I

Author

Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-56852-7

Format:

Availability

Online Library~1

Available:
Copies:

33.

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II

Author

Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Data Augmentation, Labelling, and Imperfections Third MICCAI Workshop, DALI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings

Data Augmentation, Labelling, and Imperfections Third MICCAI Workshop, DALI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings

Author

Xue, Yuan. editor. (orcid)0000-0002-5390-9037 Chen, Chen. editor. (orcid)0000-0002-3525-9755 Chen, Chao. editor. (orcid)0000-0003-1703-6483 Zuo, Lianrui. editor. (orcid)0000-0002-5923-9097 Liu, Yihao. editor. (orcid)0000-0003-3187-9903

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-58171-7

Format:

Availability

Online Library~1

Available:
Copies:

35.

Advanced Digital System Design A Practical Guide to Verilog Based FPGA and ASIC Implementation

Author

Roy, Shirshendu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-41085-7

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Enterprise Design, Operations, and Computing 27th International Conference, EDOC 2023, Groningen, The Netherlands, October 30 - November 3, 2023, Proceedings

Enterprise Design, Operations, and Computing 27th International Conference, EDOC 2023, Groningen, The Netherlands, October 30 - November 3, 2023, Proceedings

Author

Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Pufahl, Luise. editor. (orcid)0000-0002-5182-2587 Karastoyanova, Dimka. editor. van Sinderen, Marten. editor. Moreira, João. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

The Technology Acceptance Model 30 Years of TAM

Author

Davis, Fred D. author. Granić, Andrina. author. (orcid)0000-0002-4266-3406 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Frontiers of Performability Engineering In Honor of Prof. K.B. Misra

Author

Karanki, Durga Rao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Geomatics for Environmental Monitoring: From Data to Services 26th Italian Conference, ASITA 2023, Virtual Event, December 18-20, 2023, Revised Selected Papers

Geomatics for Environmental Monitoring: From Data to Services 26th Italian Conference, ASITA 2023, Virtual Event, December 18-20, 2023, Revised Selected Papers

Author

Borgogno Mondino, Enrico. editor. (orcid)0000-0003-4570-8013 Zamperlin, Paola. editor. (orcid)0000-0003-4763-2112 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-59925-5

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part I

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part I

Author

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part II

Author

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part III

Author

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part IV

Author

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Advances in Information and Computer Security 19th International Workshop on Security, IWSEC 2024, Kyoto, Japan, September 17-19, 2024, Proceedings

Advances in Information and Computer Security 19th International Workshop on Security, IWSEC 2024, Kyoto, Japan, September 17-19, 2024, Proceedings

Author

Minematsu, Kazuhiko. editor. (orcid)0000-0002-3427-6772 Mimura, Mamoru. editor. (orcid)0000-0003-4323-9911 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-7737-2

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part I

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part I

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part II

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72335-3

Format:

Availability

Online Library~1

Available:
Copies:

47.

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IV

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part V

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72344-5

Format:

Availability

Online Library~1

Available:
Copies:

49.

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VI

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VII

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VIII

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72353-7

Format:

Availability

Online Library~1

Available:
Copies:

52.

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IX

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part X

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Computational Data and Social Networks 12th International Conference, CSoNet 2023, Hanoi, Vietnam, December 11-13, 2023, Proceedings

Computational Data and Social Networks 12th International Conference, CSoNet 2023, Hanoi, Vietnam, December 11-13, 2023, Proceedings

Author

Hà, Minh Hoàng. editor. (orcid)0000-0002-9923-6309 Zhu, Xingquan. editor. (orcid)0000-0003-4129-9611 Thai, My T. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0669-3

Format:

Availability

Online Library~1

Available:
Copies:

55.

Software Design for Resilient Computer Systems

Author

Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-55139-0

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part II

Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part II

Author

Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-56583-0

Format:

Availability

Online Library~1

Available:
Copies:

57.

Hardware Security A Look into the Future

Author

Tehranipoor, Mark. author. Zamiri Azar, Kimia. author. Asadizanjani, Navid. author. (orcid)0000-0003-3347-5072 Rahman, Fahim. author. Mardani Kamali, Hadi. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-58687-3

Format:

Availability

Online Library~1

Available:
Copies:

58.

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

International Conference on Reliable Systems Engineering (ICoRSE) - 2022

Author

Cioboată, Daniela Doina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Machine learning for iOS developers

Author

Mishra, Abhishek, author.

Preferred Shelf Number

Q325.5 .M57 2020

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119602927

Format:

Availability

Online Library~1

Available:
Copies:

61.

Cover image for Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Author

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Author

Rousseau, Louis-Martin. editor. Stergiou, Kostas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

63.

Cover image for Algebra, Codes and Cryptology First International Conference, A2C 2019 in honor of Prof. Mamadou Sanghare, Dakar, Senegal, December 5–7, 2019, Proceedings

Algebra, Codes and Cryptology First International Conference, A2C 2019 in honor of Prof. Mamadou Sanghare, Dakar, Senegal, December 5–7, 2019, Proceedings

Author

Gueye, Cheikh Thiecoumba. editor. Persichetti, Edoardo. editor. (orcid)0000-0002-1895-377X Cayrel, Pierre-Louis. editor. Buchmann, Johannes. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

Author

Malyshkin, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

Network Traffic Anomaly Detection and Prevention Concepts, Techniques, and Tools

Author

Bhuyan, Monowar H. author. Bhattacharyya, Dhruba K. author. Kalita, Jugal K. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Author

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Cryptographic Hardware and Embedded Systems - CHES 2017 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings

Cryptographic Hardware and Embedded Systems - CHES 2017 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings

Author

Fischer, Wieland. editor. Homma, Naofumi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Author

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Cover image for Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Author

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

Privately and Publicly Verifiable Computing Techniques A Survey

Author

Demirel, Denise. author. Schabhüser, Lucas. author. Buchmann, Johannes. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cloud Computing Principles, Systems and Applications

Author

Antonopoulos, Nick. editor. Gillam, Lee. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

Cover image for System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings

System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings

Author

Götz, Marcelo. editor. Schirner, Gunar. editor. Wehrmeister, Marco Aurélio. editor. Al Faruque, Mohammad Abdullah. editor. Rettberg, Achim. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

73.

Cover image for Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Author

Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

Author

Lopes, Antónia. editor. de Lemos, Rogério. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques

Author

Pop, Florin. editor. Kołodziej, Joanna. editor. Di Martino, Beniamino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014

Author

Oppenheimer, Frank. editor. Medina Pasaje, Julio Luis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

77.

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers

Author

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation

Author

Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

Cover image for Cryptographic Hardware and Embedded Systems - CHES 2016 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings

Cryptographic Hardware and Embedded Systems - CHES 2016 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings

Author

Gierlichs, Benedikt. editor. Poschmann, Axel Y. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-53140-2

Format:

Availability

Online Library~1

Available:
Copies:

80.

Cover image for Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers

Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers

Author

Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X Resende, Mauricio G.C. editor. Vogiatzis, Chrysafis. editor. Walteros, Jose L. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.