Search Results for 4. - Narrowed by: Computers.

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

2026-07-23T20:20:13Z

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: Electronic Resources
Availability Online Library~1

Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2025 Workshops, ADUR, FairPC, GLFM, PM4B and RAFDA, Sydney, NSW, Australia, June 10-13, 2025, Proceedings

2026-07-23T20:20:13Z

Author Yuan, Shuhan. editor. (orcid)0000-0001-6816-419X Malliaros, Fragkiskos. editor. (orcid)0000-0002-8770-3969 Zheng, Xin. editor. (orcid)0000-0003-0915-7787 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-8197-6
Format: Electronic Resources
Availability Online Library~1

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

2026-07-23T20:20:13Z

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: Electronic Resources
Availability Online Library~1

World Conference of AI-Powered Innovation and Inventive Design 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part I

2026-07-23T20:20:13Z

Author Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 Brad, Stelian. editor. (orcid)0000-0003-1129-3358 Livotov, Pavel. editor. (orcid)0000-0001-8784-1117 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75919-2
Format: Electronic Resources
Availability Online Library~1

World Conference of AI-Powered Innovation and Inventive Design 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part II

2026-07-23T20:20:13Z

Author Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 Brad, Stelian. editor. (orcid)0000-0003-1129-3358 Livotov, Pavel. editor. (orcid)0000-0001-8784-1117 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75923-9
Format: Electronic Resources
Availability Online Library~1

Advances in Mobile Computing and Multimedia Intelligence 22nd International Conference, MoMM 2024, Bratislava, Slovak Republic, December 2-4, 2024, Proceedings

2026-07-23T20:20:13Z

Author Delir Haghighi, Pari. editor. (orcid)0000-0001-9922-1214 Fedushko, Solomiia. editor. (orcid)0000-0001-7548-5856 Kotsis, Gabriele. editor. (orcid)0000-0002-4185-2942 Khalil, Ismail. editor. (orcid)0000-0003-2493-3414 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78049-3
Format: Electronic Resources
Availability Online Library~1

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

2026-07-23T20:20:13Z

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: Electronic Resources
Availability Online Library~1

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

2026-07-23T20:20:13Z

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: Electronic Resources
Availability Online Library~1

Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part I

2026-07-23T20:20:13Z

Author Dassisti, Michele. editor. (orcid)0000-0001-6984-9203 Madani, Kurosh. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80760-2
Format: Electronic Resources
Availability Online Library~1

Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part II

2026-07-23T20:20:13Z

Author Dassisti, Michele. editor. (orcid)0000-0001-6984-9203 Madani, Kurosh. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80775-6
Format: Electronic Resources
Availability Online Library~1

Number-Theoretic Methods in Cryptology 4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024, Revised Selected Papers

2026-07-23T20:20:13Z

Author Dąbrowski, Andrzej. editor. (orcid)0000-0002-1524-4871 Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 Pomykała, Jacek. editor. (orcid)0000-0002-6480-5751 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82380-0
Format: Electronic Resources
Availability Online Library~1

Computer Security. ESORICS 2023 International Workshops CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part II

2026-07-23T20:20:13Z

Author Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Abie, Habtamu. editor. (orcid)0000-0003-0866-5050 Ranise, Silvio. editor. (orcid)0000-0001-7269-9285 Verderame, Luca. editor. (orcid)0000-0001-7155-7429 Cambiaso, Enrico. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54129-2
Format: Electronic Resources
Availability Online Library~1

Augmented Cognition 18th International Conference, AC 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I

2026-07-23T20:20:13Z

Author Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61569-6
Format: Electronic Resources
Availability Online Library~1

Augmented Cognition 18th International Conference, AC 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II

2026-07-23T20:20:13Z

Author Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61572-6
Format: Electronic Resources
Availability Online Library~1

Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part I

2026-07-23T20:20:13Z

Author Chigona, Wallace. editor. (orcid)0000-0002-1059-811X Kabanda, Salah. editor. (orcid)0000-0002-0490-8417 Seymour, Lisa F. editor. (orcid)0000-0001-6704-0021 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66982-8
Format: Electronic Resources
Availability Online Library~1

Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part II

2026-07-23T20:20:13Z

Author Chigona, Wallace. editor. (orcid)0000-0002-1059-811X Kabanda, Salah. editor. (orcid)0000-0002-0490-8417 Seymour, Lisa F. editor. (orcid)0000-0001-6704-0021 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66986-6
Format: Electronic Resources
Availability Online Library~1

The Internet of Things in the Industrial Sector Security and Device Connectivity, Smart Environments, and Industry 4.0

2026-07-23T20:20:13Z

Author Mahmood, Zaigham. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24892-5
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

2026-07-23T20:20:13Z

Author Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34175-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

2026-07-23T20:20:13Z

Author Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0310-8
Format: Electronic Resources
Availability Online Library~1

Context-Aware Systems and Applications, and Nature of Computation and Communication 7th EAI International Conference, ICCASA 2018, and 4th EAI International Conference, ICTCC 2018, Viet Tri City, Vietnam, November 22–23, 2018, Proceedings

2026-07-23T20:20:13Z

Author Cong Vinh, Phan. editor. Alagar, Vangalur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-06152-4
Format: Electronic Resources
Availability Online Library~1

Technology Trends 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29–31, 2018, Revised Selected Papers

2026-07-23T20:20:13Z

Author Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Pizarro, Guillermo. editor. (orcid)0000-0002-0731-4550 Zúñiga-Prieto, Miguel. editor. (orcid)0000-0001-9369-1813 D’Armas, Mayra. editor. Zúñiga Sánchez, Miguel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05532-5
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 14th International Conference, HAIS 2019, León, Spain, September 4–6, 2019, Proceedings

2026-07-23T20:20:13Z

Author Pérez García, Hilde. editor. (orcid)0000-0001-7112-1983 Sánchez González, Lidia. editor. (orcid)0000-0002-0760-1170 Castejón Limas, Manuel. editor. (orcid)0000-0002-5152-4555 Quintián Pardo, Héctor. editor. (orcid)0000-0002-0268-7999 Corchado Rodríguez, Emilio. editor. (orcid)0000-0001-8560-3991
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29859-3
Format: Electronic Resources
Availability Online Library~1

Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings

2026-07-23T20:20:13Z

Author Steinfeld, Ron. editor. (orcid)0000-0003-1745-4183 Yuen, Tsz Hon. editor. (orcid)0000-0002-0629-6792 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31919-9
Format: Electronic Resources
Availability Online Library~1

Digital Libraries at the Crossroads of Digital Information for the Future 21st International Conference on Asia-Pacific Digital Libraries, ICADL 2019, Kuala Lumpur, Malaysia, November 4–7, 2019, Proceedings

2026-07-23T20:20:13Z

Author Jatowt, Adam. editor. (orcid)0000-0001-7235-0665 Maeda, Akira. editor. (orcid)0000-0002-5494-132X Syn, Sue Yeon. editor. (orcid)0000-0002-3632-5160 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34058-2
Format: Electronic Resources
Availability Online Library~1

Electronic Participation 11th IFIP WG 8.5 International Conference, ePart 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings

2026-07-23T20:20:13Z

Author Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842 Edelmann, Noella. editor. Glassey, Olivier. editor. (orcid)0000-0001-8795-0591 Misuraca, Gianluca. editor. Parycek, Peter. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27397-2
Format: Electronic Resources
Availability Online Library~1

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

2026-07-23T20:20:13Z

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: Electronic Resources
Availability Online Library~1

Extending the Boundaries of Design Science Theory and Practice 14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4–6, 2019, Proceedings

2026-07-23T20:20:13Z

Author Tulu, Bengisu. editor. (orcid)0000-0001-7226-1830 Djamasbi, Soussan. editor. (orcid)0000-0001-8638-8402 Leroy, Gondy. editor. (orcid)0000-0003-4751-6680 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19504-5
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

2026-07-23T20:20:13Z

Author Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12797-8
Format: Electronic Resources
Availability Online Library~1

Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

2026-07-23T20:20:13Z

Author Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23703-5
Format: Electronic Resources
Availability Online Library~1

Electronic Voting 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings

2026-07-23T20:20:13Z

Author Krimmer, Robert. editor. (orcid)0000-0002-0873-539X Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Cortier, Veronique. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Küsters, Ralf. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30625-0
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures

2026-07-23T20:20:13Z

Author Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 Yakovlev, Konstantin S. editor. (orcid)0000-0002-4377-321X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33274-7
Format: Electronic Resources
Availability Online Library~1

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

2026-07-23T20:20:13Z

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: Electronic Resources
Availability Online Library~1

Machine Learning and Intelligent Communications 4th International Conference, MLICOM 2019, Nanjing, China, August 24–25, 2019, Proceedings

2026-07-23T20:20:13Z

Author Zhai, Xiangping Bryce. editor. (orcid)0000-0001-8939-199X Chen, Bing. editor. Zhu, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32388-2
Format: Electronic Resources
Availability Online Library~1

Information Systems Security and Privacy 4th International Conference, ICISSP 2018, Funchal - Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

2026-07-23T20:20:13Z

Author Mori, Paolo. editor. (orcid)0000-0002-6618-0388 Furnell, Steven. editor. (orcid)0000-0003-0984-7542 Camp, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25109-3
Format: Electronic Resources
Availability Online Library~1

Electronic Government 18th IFIP WG 8.5 International Conference, EGOV 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings

2026-07-23T20:20:13Z

Author Lindgren, Ida. editor. (orcid)0000-0002-4735-8697 Janssen, Marijn. editor. (orcid)0000-0001-6211-8790 Lee, Habin. editor. (orcid)0000-0003-0071-4874 Polini, Andrea. editor. (orcid)0000-0002-2840-7561 Rodríguez Bolívar, Manuel Pedro. editor. (orcid)0000-0001-8959-7664
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27325-5
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings

2026-07-23T20:20:13Z

Author Laender, Alberto H. F. editor. (orcid)0000-0001-5032-2233 Pernici, Barbara. editor. Lim, Ee-Peng. editor. de Oliveira, José Palazzo M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33223-5
Format: Electronic Resources
Availability Online Library~1

Information, Communication and Computing Technology 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers

2026-07-23T20:20:13Z

Author Gani, Abdullah Bin. editor. (orcid)0000-0002-4388-020X Das, Pradip Kumar. editor. Kharb, Latika. editor. Chahal, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1384-8
Format: Electronic Resources
Availability Online Library~1

Knowledge Graph and Semantic Computing: Knowledge Computing and Language Understanding 4th China Conference, CCKS 2019, Hangzhou, China, August 24–27, 2019, Revised Selected Papers

2026-07-23T20:20:13Z

Author Zhu, Xiaoyan. editor. Qin, Bing. editor. Zhu, Xiaodan. editor. Liu, Ming. editor. Qian, Longhua. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1956-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

2026-07-23T20:20:13Z

Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65948-0
Format: Electronic Resources
Availability Online Library~1

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

2026-07-23T20:20:13Z

Author Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62932-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for Knowledge Management First IFIP WG 12.6 International Workshop, AI4KM 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

2026-07-23T20:20:13Z

Author Mercier-Laurent, Eunika. editor. (orcid)0000-0003-2303-7263 Boulanger, Danielle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54897-0
Format: Electronic Resources
Availability Online Library~1

Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings

2026-07-23T20:20:13Z

Author Shi, Xiaodong. editor. Chen, Yidong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45701-6
Format: Electronic Resources
Availability Online Library~1

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

2026-07-23T20:20:13Z

Author Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07512-9
Format: Electronic Resources
Availability Online Library~1

LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings

2026-07-23T20:20:13Z

Author Pardo, Alberto. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54423-1
Format: Electronic Resources
Availability Online Library~1

Resource Allocation and MIMO for 4G and Beyond

2026-07-23T20:20:13Z

Author Cavalcanti, Francisco Rodrigo Porto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-8057-0
Format: Electronic Resources
Availability Online Library~1

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

2026-07-23T20:20:13Z

Author Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43652-3
Format: Electronic Resources
Availability Online Library~1

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

2026-07-23T20:20:13Z

Author Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44199-2
Format: Electronic Resources
Availability Online Library~1

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

2026-07-23T20:20:13Z

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: Electronic Resources
Availability Online Library~1

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

2026-07-23T20:20:13Z

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: Electronic Resources
Availability Online Library~1

ICT Systems Security and Privacy Protection 40th IFIP International Conference, SEC 2025, Maribor, Slovenia, May 21-23, 2025, Proceedings, Part II

2026-07-23T20:20:13Z

Author Nemec Zlatolas, Lili. editor. (orcid)0000-0002-2086-9825 Rannenberg, Kai. editor. (orcid)0009-0000-6142-7161 Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-92886-4
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

2026-07-23T20:20:13Z

Author Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94569-4
Format: Electronic Resources
Availability Online Library~1

Machine Learning in Clinical Neuroimaging 7th International Workshop, MLCN 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings

2026-07-23T20:20:13Z

Author Bathula, Deepti R. editor. (orcid)0000-0002-1383-3744 Benet Nirmala, Anoop. editor. (orcid)0000-0002-6082-391X Dvornek, Nicha C. editor. (orcid)0000-0002-1648-6055 Govindarajan, Sindhuja T. editor. (orcid)0000-0003-1741-0906 Habes, Mohamad. editor. (orcid)0000-0001-9447-5805
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78761-4
Format: Electronic Resources
Availability Online Library~1

Database Systems for Advanced Applications 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part II

2026-07-23T20:20:13Z

Author Onizuka, Makoto. editor. (orcid)0000-0001-5559-8300 Lee, Jae-Gil. editor. (orcid)0000-0002-8711-7732 Tong, Yongxin. editor. (orcid)0000-0002-5598-0312 Xiao, Chuan. editor. (orcid)0000-0001-7239-5134 Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-5779-4
Format: Electronic Resources
Availability Online Library~1

Database Systems for Advanced Applications 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part III

2026-07-23T20:20:13Z

Author Onizuka, Makoto. editor. (orcid)0000-0001-5559-8300 Lee, Jae-Gil. editor. (orcid)0000-0002-8711-7732 Tong, Yongxin. editor. (orcid)0000-0002-5598-0312 Xiao, Chuan. editor. (orcid)0000-0001-7239-5134 Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-5555-4
Format: Electronic Resources
Availability Online Library~1

Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2024 Workshops, RAFDA and IWTA, Taipei, Taiwan, May 7-10, 2024, Proceedings

2026-07-23T20:20:13Z

Author Wang, Zhaoxia. editor. (orcid)0000-0001-7674-5488 Tan, Chang Wei. editor. (orcid)0000-0001-8377-3241 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2650-9
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security Workshops ACNS 2024 Satellite Workshops, AIBlock, AIHWS, AIoTS, SCI, AAC, SiMLA, LLE, and CIMSS, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I

2026-07-23T20:20:13Z

Author Andreoni, Martin. editor. (orcid)0000-0002-4170-4341 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61486-6
Format: Electronic Resources
Availability Online Library~1

Data and Applications Security and Privacy XXXVIII 38th Annual IFIP WG 11.3 Conference, DBSec 2024, San Jose, CA, USA, July 15-17, 2024, Proceedings

2026-07-23T20:20:13Z

Author Ferrara, Anna Lisa. editor. (orcid)0000-0002-1026-5729 Krishnan, Ram. editor. (orcid)0000-0002-7402-553X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65172-4
Format: Electronic Resources
Availability Online Library~1

Generalizing from Limited Resources in the Open World Second International Workshop, GLOW 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3, 2024, Proceedings

2026-07-23T20:20:13Z

Author Guo, Jinyang. editor. (orcid)0000-0003-1956-3367 Ma, Yuqing. editor. Ding, Yifu. editor. Gong, Ruihao. editor. Zheng, Xingyu. editor. (orcid)0009-0009-6283-7635
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-6125-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing, Smart Communication and Network Technologies First International Conference, ICICSCNT 2023, Chennai, India, May 17-18, 2023, Proceedings

2026-07-23T20:20:13Z

Author Dassan, Paulraj. editor. (orcid)0000-0002-8853-9945 Thirumaaran, Sethukarasi. editor. (orcid)0000-0002-9433-2609 Subramani, Neelakandan. editor. (orcid)0000-0003-2337-8471 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75957-4
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers

2026-07-23T20:20:13Z

Author Rocha, Ana Paula. editor. Steels, Luc. editor. van den Herik, Jaap. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55326-4
Format: Electronic Resources
Availability Online Library~1

Advancements in Smart Computing and Information Security Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part I

2026-07-23T20:20:13Z

Author Rajagopal, Sridaran. editor. (orcid)0000-0001-7397-7611 Popat, Kalpesh. editor. (orcid)0000-0002-3818-3717 Meva, Divyakant. editor. (orcid)0000-0001-8804-7337 Bajeja, Sunil. editor. (orcid)0000-0002-4412-9688 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-58604-0
Format: Electronic Resources
Availability Online Library~1

Advancements in Smart Computing and Information Security Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part II

2026-07-23T20:20:13Z

Author Rajagopal, Sridaran. editor. (orcid)0000-0001-7397-7611 Popat, Kalpesh. editor. (orcid)0000-0002-3818-3717 Meva, Divyakant. editor. (orcid)0000-0001-8804-7337 Bajeja, Sunil. editor. (orcid)0000-0002-4412-9688 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59097-9
Format: Electronic Resources
Availability Online Library~1

Advancements in Smart Computing and Information Security Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part III

2026-07-23T20:20:13Z

Author Rajagopal, Sridaran. editor. (orcid)0000-0001-7397-7611 Popat, Kalpesh. editor. (orcid)0000-0002-3818-3717 Meva, Divyakant. editor. (orcid)0000-0001-8804-7337 Bajeja, Sunil. editor. (orcid)0000-0002-4412-9688 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59100-6
Format: Electronic Resources
Availability Online Library~1

Advancements in Smart Computing and Information Security Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part IV

2026-07-23T20:20:13Z

Author Rajagopal, Sridaran. editor. (orcid)0000-0001-7397-7611 Popat, Kalpesh. editor. (orcid)0000-0002-3818-3717 Meva, Divyakant. editor. (orcid)0000-0001-8804-7337 Bajeja, Sunil. editor. (orcid)0000-0002-4412-9688 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59107-5
Format: Electronic Resources
Availability Online Library~1

Knowledge Science, Engineering and Management 17th International Conference, KSEM 2024, Birmingham, UK, August 16-18, 2024, Proceedings, Part III

2026-07-23T20:20:13Z

Author Cao, Cungeng. editor. Chen, Huajun. editor. (orcid)0000-0001-5496-7442 Zhao, Liang. editor. (orcid)0000-0002-2648-9989 Arshad, Junaid. editor. Asyhari, Taufiq. editor. (orcid)0000-0002-3023-8285
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-5498-4
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems 37th International Conference, ARCS 2024, Potsdam, Germany, May 14-16, 2024, Proceedings

2026-07-23T20:20:13Z

Author Fey, Dietmar. editor. (orcid)0000-0002-6077-4732 Stabernack, Benno. editor. (orcid)0000-0002-6654-1606 Lankes, Stefan. editor. (orcid)0000-0003-4718-2238 Pacher, Mathias. editor. (orcid)0000-0001-5313-5898 Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66146-4
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases. Research Track and Demo Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VIII

2026-07-23T20:20:13Z

Author Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Daniušis, Povilas. editor. (orcid)0000-0001-5977-827X Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70371-3
Format: Electronic Resources
Availability Online Library~1

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

2026-07-23T20:20:13Z

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: Electronic Resources
Availability Online Library~1

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

2026-07-23T20:20:13Z

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: Electronic Resources
Availability Online Library~1

PRICAI 2023: Trends in Artificial Intelligence 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part III

2026-07-23T20:20:13Z

Author Liu, Fenrong. editor. (orcid)0000-0001-7931-0324 Sadanandan, Arun Anand. editor. Pham, Duc Nghia. editor. Mursanto, Petrus. editor. (orcid)0000-0002-4831-4629 Lukose, Dickson. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7025-4
Format: Electronic Resources
Availability Online Library~1

Computer Security. ESORICS 2023 International Workshops CyberICS, DPM, CBT, and SECPRE, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part I

2026-07-23T20:20:13Z

Author Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. (orcid)0000-0001-8792-0413 Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54204-6
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security Workshops ACNS 2024 Satellite Workshops, AIBlock, AIHWS, AIoTS, SCI, AAC, SiMLA, LLE, and CIMSS, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part II

2026-07-23T20:20:13Z

Author Andreoni, Martin. editor. (orcid)0000-0002-4170-4341 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61489-7
Format: Electronic Resources
Availability Online Library~1

Optimal Inspection Models with Their Applications

2026-07-23T20:20:13Z

Author Ito, Kodo. author. Nakagawa, Toshio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22021-0
Format: Electronic Resources
Availability Online Library~1

Autonomous driving algorithms and Its IC Design

2026-07-23T20:20:13Z

Author Ren, Jianfeng. author. Xia, Dong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2897-2
Format: Electronic Resources
Availability Online Library~1

Applications in Reliability and Statistical Computing

2026-07-23T20:20:13Z

Author Pham, Hoang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21232-1
Format: Electronic Resources
Availability Online Library~1

Interconnect Reliability in Advanced Memory Device Packaging

2026-07-23T20:20:13Z

Author Gan, Chong Leong,. author. Huang, Chen-Yu,. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26708-6
Format: Electronic Resources
Availability Online Library~1

Which-Is-Better (WIB): Problems in Reliability Theory

2026-07-23T20:20:13Z

Author Mizutani, Satoshi. author. Zhao, Xufeng. author. Nakagawa, Toshio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27316-2
Format: Electronic Resources
Availability Online Library~1

Machine learning for iOS developers

2026-07-23T20:20:13Z

Author Mishra, Abhishek, author.
Preferred Shelf Number Q325.5 .M57 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119602927
Format: Electronic Resources
Availability Online Library~1

Knowledge Graphs and Semantic Web First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings

2026-07-23T20:20:13Z

Author Villazón-Terrazas, Boris. editor. (orcid)0000-0002-8572-7887 Hidalgo-Delgado, Yusniel. editor. (orcid)0000-0001-5763-0669 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21395-4
Format: Electronic Resources
Availability Online Library~1

Applications and Techniques in Information Security 10th International Conference, ATIS 2019, Thanjavur, India, November 22–24, 2019, Proceedings

2026-07-23T20:20:13Z

Author Shankar Sriram, V. S. editor. (orcid)0000-0001-7870-7944 Subramaniyaswamy, V. editor. Sasikaladevi, N. editor. (orcid)0000-0002-0841-502X Zhang, Leo. editor. Batten, Lynn. editor. (orcid)0000-0003-4525-2423
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0871-4
Format: Electronic Resources
Availability Online Library~1

Communications, Signal Processing, and Systems Proceedings of the 2018 CSPS Volume I: Communications

2026-07-23T20:20:13Z

Author Liang, Qilian. editor. Liu, Xin. editor. Na, Zhenyu. editor. Wang, Wei. editor. Mu, Jiasong. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6264-4
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2019 20th International Conference, Hong Kong, China, January 19–22, 2020, Proceedings

2026-07-23T20:20:13Z

Author Cheng, Reynold. editor. (orcid)0000-0002-9480-9809 Mamoulis, Nikos. editor. Sun, Yizhou. editor. Huang, Xin. editor. (orcid)0000-0002-3650-0301 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34223-4
Format: Electronic Resources
Availability Online Library~1

Smart Blockchain Second International Conference, SmartBlock 2019, Birmingham, UK, October 11–13, 2019, Proceedings

2026-07-23T20:20:13Z

Author Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34083-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part I

2026-07-23T20:20:13Z

Author Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 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-030-20912-4
Format: Electronic Resources
Availability Online Library~1

2nd International Conference on Wireless Intelligent and Distributed Environment for Communication WIDECOM 2019

2026-07-23T20:20:13Z

Author Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-11437-4
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedings

2026-07-23T20:20:13Z

Author Jang-Jaccard, Julian. editor. (orcid)0000-0002-1002-057X Guo, Fuchun. editor. (orcid)0000-0001-6939-7710 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21548-4
Format: Electronic Resources
Availability Online Library~1

PRICAI 2019: Trends in Artificial Intelligence 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part III

2026-07-23T20:20:13Z

Author Nayak, Abhaya C. editor. (orcid)0000-0003-0681-9570 Sharma, Alok. editor. (orcid)0000-0002-7668-3501 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29894-4
Format: Electronic Resources
Availability Online Library~1

Information Management and Big Data 5th International Conference, SIMBig 2018, Lima, Peru, September 3–5, 2018, Proceedings

2026-07-23T20:20:13Z

Author Lossio-Ventura, Juan Antonio. editor. (orcid)0000-0003-0996-2356 Muñante, Denisse. editor. (orcid)0000-0003-2621-8342 Alatrista-Salas, Hugo. editor. (orcid)0000-0001-5252-4728 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-11680-4
Format: Electronic Resources
Availability Online Library~1

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings

2026-07-23T20:20:13Z

Author Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Barzola-Monteses, Julio. editor. Santos-Baquerizo, Eduardo. editor. Espinoza-Andaluz, Mayken. editor. Yánez-Pazmiño, Wendy. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12018-4
Format: Electronic Resources
Availability Online Library~1

Early Computing in Britain Ferranti Ltd. and Government Funding, 1948 — 1958

2026-07-23T20:20:13Z

Author Lavington, Simon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15103-4
Format: Electronic Resources
Availability Online Library~1

Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

2026-07-23T20:20:13Z

Author Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29852-4
Format: Electronic Resources
Availability Online Library~1

Hypothesis-Driven Simulation Studies Assistance for the Systematic Design and Conducting of Computer Simulation Experiments

2026-07-23T20:20:13Z

Author Lorig, Fabian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-27588-4
Format: Electronic Resources
Availability Online Library~1

Principles of Security and Trust 8th International Conference, POST 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

2026-07-23T20:20:13Z

Author Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17138-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

2026-07-23T20:20:13Z

Author Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32409-4
Format: Electronic Resources
Availability Online Library~1

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

2026-07-23T20:20:13Z

Author Cuzzocrea, Alfredo. editor. Greco, Sergio. editor. Larsen, Henrik Legind. editor. Saccà, Domenico. editor. Andreasen, Troels. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27629-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings

2026-07-23T20:20:13Z

Author Kaliszyk, Cezary. editor. (orcid)0000-0002-8273-6059 Brady, Edwin. editor. (orcid)0000-0002-9734-367X Kohlhase, Andrea. editor. Sacerdoti Coen, Claudio. editor. (orcid)0000-0002-4360-6016 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23250-4
Format: Electronic Resources
Availability Online Library~1

Business and Consumer Analytics: New Ideas

2026-07-23T20:20:13Z

Author Moscato, Pablo. editor. de Vries, Natalie Jane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-06222-4
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2026-07-23T20:20:13Z

Author Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21759-4
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part II

2026-07-23T20:20:13Z

Author Deka, Bhabesh. editor. (orcid)0000-0002-9679-6159 Maji, Pradipta. editor. (orcid)0000-0002-8288-8917 Mitra, Sushmita. editor. (orcid)0000-0001-9285-1117 Bhattacharyya, Dhruba Kumar. editor. (orcid)0000-0002-9506-7640 Bora, Prabin Kumar. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34872-4
Format: Electronic Resources
Availability Online Library~1

Arto Salomaa: Mathematician, Computer Scientist, and Teacher A Thematic Biography

2026-07-23T20:20:13Z

Author Paakki, Jukka. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16049-4
Format: Electronic Resources
Availability Online Library~1

Game Theory Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7–9, 2019, Revised Selected Papers

2026-07-23T20:20:13Z

Author Li, Deng-Feng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0657-4
Format: Electronic Resources
Availability Online Library~1

Learning Technology for Education Challenges 8th International Workshop, LTEC 2019, Zamora, Spain, July 15–18, 2019, Proceedings

2026-07-23T20:20:13Z

Author Uden, Lorna. editor. Liberona, Dario. editor. Sanchez, Galo. editor. Rodríguez-González, Sara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20798-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence XXXVI 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17–19, 2019, Proceedings

2026-07-23T20:20:13Z

Author Bramer, Max. editor. Petridis, Miltos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34885-4
Format: Electronic Resources
Availability Online Library~1

Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14–15, 2018, Revised Selected Papers, Part I

2026-07-23T20:20:13Z

Author Luhach, Ashish Kumar. editor. Singh, Dharm. editor. Hsiung, Pao-Ann. editor. Hawari, Kamarul Bin Ghazali. editor. Lingras, Pawan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-3140-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXXIII

2026-07-23T20:20:13Z

Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Kowalczyk, Ryszard. editor. Xhafa, Fatos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-59540-4
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I

2026-07-23T20:20:13Z

Author Deka, Bhabesh. editor. (orcid)0000-0002-9679-6159 Maji, Pradipta. editor. (orcid)0000-0002-8288-8917 Mitra, Sushmita. editor. (orcid)0000-0001-9285-1117 Bhattacharyya, Dhruba Kumar. editor. (orcid)0000-0002-9506-7640 Bora, Prabin Kumar. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34869-4
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

2026-07-23T20:20:13Z

Author Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34968-4
Format: Electronic Resources
Availability Online Library~1

Cognitive Radio, Mobile Communications and Wireless Networks

2026-07-23T20:20:13Z

Author Rehmani, Mubashir Husain. editor. Dhaou, Riadh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91002-4
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

2026-07-23T20:20:13Z

Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25540-4
Format: Electronic Resources
Availability Online Library~1

Critical Information Infrastructures Security 13th International Conference, CRITIS 2018, Kaunas, Lithuania, September 24-26, 2018, Revised Selected Papers

2026-07-23T20:20:13Z

Author Luiijf, Eric. editor. (orcid)0000-0002-1821-9890 Žutautaitė, Inga. editor. (orcid)0000-0002-6073-2823 Hämmerli, Bernhard M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05849-4
Format: Electronic Resources
Availability Online Library~1

The Digital Big Bang : the Hard Stuff, the Soft Stuff, and the Future of Cybersecurity

2026-07-23T20:20:13Z

Author Quade, Phil.
Preferred Shelf Number QA76.9 .A25
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119617396
Format: Electronic Resources
Availability Online Library~1

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

2026-07-23T20:20:13Z

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: Electronic Resources
Availability Online Library~1

Advanced Multicore Systems-On-Chip Architecture, On-Chip Network, Design

2026-07-23T20:20:13Z

Author Ben Abdallah, Abderazek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6092-2
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017, Proceedings

2026-07-23T20:20:13Z

Author Stolfa, Jakub. editor. Stolfa, Svatopluk. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64218-5
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI

2026-07-23T20:20:13Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62407-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

2026-07-23T20:20:13Z

Author Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70848-5
Format: Electronic Resources
Availability Online Library~1

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

2026-07-23T20:20:13Z

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: Electronic Resources
Availability Online Library~1

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

2026-07-23T20:20:13Z

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: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

2026-07-23T20:20:13Z

Author Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69926-4
Format: Electronic Resources
Availability Online Library~1

Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives

2026-07-23T20:20:13Z

Author Chen, Quan. author. Guo, Minyi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6238-4
Format: Electronic Resources
Availability Online Library~1

Testbeds and Research Infrastructures for the Development of Networks and Communities 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised Selected Papers

2026-07-23T20:20:13Z

Author Guo, Song. editor. Wei, Guiyi. editor. Xiang, Yang. editor. (orcid)0000-0001-5252-0831 Lin, Xiaodong. editor. Lorenz, Pascal. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49580-4
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18-22, 2017, Proceedings, Part III

2026-07-23T20:20:13Z

Author Altun, Yasemin. editor. Das, Kamalika. editor. Mielikäinen, Taneli. editor. Malerba, Donato. editor. (orcid)0000-0001-8432-4608 Stefanowski, Jerzy. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71273-4
Format: Electronic Resources
Availability Online Library~1

Augmented Marked Graphs

2026-07-23T20:20:13Z

Author Cheung, King Sing. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06428-4
Format: Electronic Resources
Availability Online Library~1

Mobile Web Information Systems 11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014. Proceedings

2026-07-23T20:20:13Z

Author Awan, Irfan. editor. Younas, Muhammad. editor. Franch, Xavier. editor. Quer, Carme. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10359-4
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings

2026-07-23T20:20:13Z

Author Murata, Satoshi. editor. Kobayashi, Satoshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11295-4
Format: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2026-07-23T20:20:13Z

Author Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12904-4
Format: Electronic Resources
Availability Online Library~1

Pairing-Based Cryptography -- Pairing 2013 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers

2026-07-23T20:20:13Z

Author Cao, Zhenfu. editor. Zhang, Fangguo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04873-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2012 International Conference on Cybernetics and Informatics

2026-07-23T20:20:13Z

Author Zhong, Shaobo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-3872-4
Format: Electronic Resources
Availability Online Library~1

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2026-07-23T20:20:13Z

Author Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44124-4
Format: Electronic Resources
Availability Online Library~1

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

2026-07-23T20:20:13Z

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: Electronic Resources
Availability Online Library~1

Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings

2026-07-23T20:20:13Z

Author Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55128-4
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

2026-07-23T20:20:13Z

Author Holzer, Markus. editor. Kutrib, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08846-4
Format: Electronic Resources
Availability Online Library~1

Social Informatics SocInfo 2013 International Workshops, QMC and HISTOINFORMATICS, Kyoto, Japan, November 25, 2013, Revised Selected Papers

2026-07-23T20:20:13Z

Author Nadamoto, Akiyo. editor. Jatowt, Adam. editor. (orcid)0000-0001-7235-0665 Wierzbicki, Adam. editor. Leidner, Jochen L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55285-4
Format: Electronic Resources
Availability Online Library~1

Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

2026-07-23T20:20:13Z

Author Atmanspacher, Harald. editor. Haven, Emmanuel. editor. Kitto, Kirsty. editor. Raine, Derek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54943-4
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

2026-07-23T20:20:13Z

Author McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54013-4
Format: Electronic Resources
Availability Online Library~1

Solving the Dynamic Complexity Dilemma Predictive and Prescriptive Business Management: Answering the Need for a New Paradigm

2026-07-23T20:20:13Z

Author Abu el Ata, Nabil. author. Perks, Maurice J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54310-4
Format: Electronic Resources
Availability Online Library~1

Serviceology for Services Selected papers of the 1st International Conference of Serviceology

2026-07-23T20:20:13Z

Author Mochimaru, Masaaki. editor. Ueda, Kanji. editor. Takenaka, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-54816-4
Format: Electronic Resources
Availability Online Library~1

Electronic Identity

2026-07-23T20:20:13Z

Author de Andrade, Norberto Nuno Gomes. author. Chen-Wilson, Lisha. author. Argles, David. author. Wills, Gary. author. Schiano di Zenise, Michele. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6449-4
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2026-07-23T20:20:13Z

Author Esparcia-Alcázar, Anna I. editor. Mora, Antonio M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45523-4
Format: Electronic Resources
Availability Online Library~1

Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedings

2026-07-23T20:20:13Z

Author Auer, Peter. editor. Clark, Alexander. editor. Zeugmann, Thomas. editor. Zilles, Sandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11662-4
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

2026-07-23T20:20:13Z

Author Ábrahám, Erika. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43613-4
Format: Electronic Resources
Availability Online Library~1

Intel Galileo and Intel Galileo Gen 2 API Features and Arduino Projects for Linux Programmers

2026-07-23T20:20:13Z

Author Ramon, Manoel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6838-3
Format: Electronic Resources
Availability Online Library~1

Raspberry Pi Hardware Reference

2026-07-23T20:20:13Z

Author Gay, Warren. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0799-4
Format: Electronic Resources
Availability Online Library~1

Computing from the abacus to the iPad

2026-07-23T20:20:13Z

Author Curley, Robert, 1955- editor. Gale Group.
Preferred Shelf Number ONLINE(341336.1)
Electronic Access Available for Hacettepe University via Gale Virtual Reference Library. Click here to access
Format: Electronic Resources
Availability Online Library~1

Computer technology and computer programming : new research and strategies

2026-07-23T20:20:13Z

Author Antonakos, James L.
Preferred Shelf Number QA76.6 .C66 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Quantum computing explained

2026-07-23T20:20:13Z

Author McMahon, David (David M.)
Preferred Shelf Number ONLINE
Electronic Access Click for information Click here to view book Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/9780470181386 MyiLibrary, Table of contents http://www.myilibrary.com?id=122156&ref=toc
Format: Electronic Resources
Availability Online Library~1

Sayısal devrelerde mantıksal tasarım

2026-07-23T20:20:13Z

Author Yarımağan, Ünal.
Preferred Shelf Number TK7888.4 Y37 2003
Format: Books
Availability Beytepe Library~1