Search Results for 4. - Narrowed by: Computers.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d4.$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026ps$003d300?
2025-12-27T11:09:19Z
The Internet of Things in the Industrial Sector Security and Device Connectivity, Smart Environments, and Industry 4.0
ent://SD_ILS/0/SD_ILS:482818
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24892-5">https://doi.org/10.1007/978-3-030-24892-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484069
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33223-5">https://doi.org/10.1007/978-3-030-33223-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information, Communication and Computing Technology 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485040
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Gani, Abdullah Bin. editor. (orcid)0000-0002-4388-020X Das, Pradip Kumar. editor. Kharb, Latika. editor. Chahal, Deepak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-1384-8">https://doi.org/10.1007/978-981-15-1384-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Graph and Semantic Computing: Knowledge Computing and Language Understanding 4th China Conference, CCKS 2019, Hangzhou, China, August 24–27, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485050
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Zhu, Xiaoyan. editor. Qin, Bing. editor. Zhu, Xiaodan. editor. Liu, Ming. editor. Qian, Longhua. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-1956-7">https://doi.org/10.1007/978-981-15-1956-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Technology Trends 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29–31, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486966
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05532-5">https://doi.org/10.1007/978-3-030-05532-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:486876
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Cong Vinh, Phan. editor. Alagar, Vangalur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-06152-4">https://doi.org/10.1007/978-3-030-06152-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Artificial Intelligent Systems 14th International Conference, HAIS 2019, León, Spain, September 4–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:487006
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29859-3">https://doi.org/10.1007/978-3-030-29859-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Voting 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:487066
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30625-0">https://doi.org/10.1007/978-3-030-30625-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:483319
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34058-2">https://doi.org/10.1007/978-3-030-34058-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483905
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30690-8">https://doi.org/10.1007/978-3-030-30690-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Participation 11th IFIP WG 8.5 International Conference, ePart 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484676
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27397-2">https://doi.org/10.1007/978-3-030-27397-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484905
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Rousseau, Louis-Martin. editor. Stergiou, Kostas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19212-9">https://doi.org/10.1007/978-3-030-19212-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482878
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Steinfeld, Ron. editor. (orcid)0000-0003-1745-4183 Yuen, Tsz Hon. editor. (orcid)0000-0002-0629-6792 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31919-9">https://doi.org/10.1007/978-3-030-31919-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems Security and Privacy 4th International Conference, ICISSP 2018, Funchal - Madeira, Portugal, January 22-24, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483447
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Mori, Paolo. editor. (orcid)0000-0002-6618-0388 Furnell, Steven. editor. (orcid)0000-0003-0984-7542 Camp, Olivier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25109-3">https://doi.org/10.1007/978-3-030-25109-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Intelligent Communications 4th International Conference, MLICOM 2019, Nanjing, China, August 24–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483616
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Zhai, Xiangping Bryce. editor. (orcid)0000-0001-8939-199X Chen, Bing. editor. Zhu, Kun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32388-2">https://doi.org/10.1007/978-3-030-32388-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:483488
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33274-7">https://doi.org/10.1007/978-3-030-33274-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483547
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34175-6">https://doi.org/10.1007/978-3-030-34175-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Government 18th IFIP WG 8.5 International Conference, EGOV 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483757
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27325-5">https://doi.org/10.1007/978-3-030-27325-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:486017
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-0310-8">https://doi.org/10.1007/978-981-15-0310-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:486273
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19504-5">https://doi.org/10.1007/978-3-030-19504-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:486626
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23703-5">https://doi.org/10.1007/978-3-030-23703-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486575
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12797-8">https://doi.org/10.1007/978-3-030-12797-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence for Knowledge Management First IFIP WG 12.6 International Workshop, AI4KM 2012, Montpellier, France, August 28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487151
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Mercier-Laurent, Eunika. editor. (orcid)0000-0003-2303-7263 Boulanger, Danielle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54897-0">https://doi.org/10.1007/978-3-642-54897-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:487888
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07512-9">https://doi.org/10.1007/978-3-319-07512-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489206
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Pardo, Alberto. editor. Viola, Alfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54423-1">https://doi.org/10.1007/978-3-642-54423-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489135
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Shi, Xiaodong. editor. Chen, Yidong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45701-6">https://doi.org/10.1007/978-3-662-45701-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Resource Allocation and MIMO for 4G and Beyond
ent://SD_ILS/0/SD_ILS:484754
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Cavalcanti, Francisco Rodrigo Porto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4614-8057-0">https://doi.org/10.1007/978-1-4614-8057-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489079
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44199-2">https://doi.org/10.1007/978-3-662-44199-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:488966
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43652-3">https://doi.org/10.1007/978-3-662-43652-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interconnect Reliability in Advanced Memory Device Packaging
ent://SD_ILS/0/SD_ILS:526838
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Gan, Chong Leong,. author. Huang, Chen-Yu,. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26708-6">https://doi.org/10.1007/978-3-031-26708-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Which-Is-Better (WIB): Problems in Reliability Theory
ent://SD_ILS/0/SD_ILS:526867
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Mizutani, Satoshi. author. Zhao, Xufeng. author. Nakagawa, Toshio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27316-2">https://doi.org/10.1007/978-3-031-27316-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomous driving algorithms and Its IC Design
ent://SD_ILS/0/SD_ILS:527865
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Ren, Jianfeng. author. Xia, Dong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-2897-2">https://doi.org/10.1007/978-981-99-2897-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications in Reliability and Statistical Computing
ent://SD_ILS/0/SD_ILS:527152
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Pham, Hoang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21232-1">https://doi.org/10.1007/978-3-031-21232-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimal Inspection Models with Their Applications
ent://SD_ILS/0/SD_ILS:527328
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Ito, Kodo. author. Nakagawa, Toshio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22021-0">https://doi.org/10.1007/978-3-031-22021-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Graphs and Semantic Web First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482816
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Villazón-Terrazas, Boris. editor. (orcid)0000-0002-8572-7887 Hidalgo-Delgado, Yusniel. editor. (orcid)0000-0001-5763-0669 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21395-4">https://doi.org/10.1007/978-3-030-21395-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:484045
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Information Infrastructures Security 13th International Conference, CRITIS 2018, Kaunas, Lithuania, September 24-26, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484061
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05849-4">https://doi.org/10.1007/978-3-030-05849-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hypothesis-Driven Simulation Studies Assistance for the Systematic Design and Conducting of Computer Simulation Experiments
ent://SD_ILS/0/SD_ILS:484520
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Lorig, Fabian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-27588-4">https://doi.org/10.1007/978-3-658-27588-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:484523
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17138-4">https://doi.org/10.1007/978-3-030-17138-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485019
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23250-4">https://doi.org/10.1007/978-3-030-23250-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business and Consumer Analytics: New Ideas
ent://SD_ILS/0/SD_ILS:485259
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Moscato, Pablo. editor. de Vries, Natalie Jane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-06222-4">https://doi.org/10.1007/978-3-030-06222-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:485304
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21759-4">https://doi.org/10.1007/978-3-030-21759-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security and Privacy 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486956
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Jang-Jaccard, Julian. editor. (orcid)0000-0002-1002-057X Guo, Fuchun. editor. (orcid)0000-0001-6939-7710 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21548-4">https://doi.org/10.1007/978-3-030-21548-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:486958
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Nayak, Abhaya C. editor. (orcid)0000-0003-0681-9570 Sharma, Alok. editor. (orcid)0000-0002-7668-3501 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29894-4">https://doi.org/10.1007/978-3-030-29894-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Management and Big Data 5th International Conference, SIMBig 2018, Lima, Peru, September 3–5, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:486994
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-11680-4">https://doi.org/10.1007/978-3-030-11680-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Collective Intelligence XXXIII
ent://SD_ILS/0/SD_ILS:482949
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Kowalczyk, Ryszard. editor. Xhafa, Fatos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-59540-4">https://doi.org/10.1007/978-3-662-59540-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Early Computing in Britain Ferranti Ltd. and Government Funding, 1948 — 1958
ent://SD_ILS/0/SD_ILS:483008
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Lavington, Simon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15103-4">https://doi.org/10.1007/978-3-030-15103-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:482972
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12018-4">https://doi.org/10.1007/978-3-030-12018-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484770
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32409-4">https://doi.org/10.1007/978-3-030-32409-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484880
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Cuzzocrea, Alfredo. editor. Greco, Sergio. editor. Larsen, Henrik Legind. editor. Saccà, Domenico. editor. Andreasen, Troels. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27629-4">https://doi.org/10.1007/978-3-030-27629-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Game Theory Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7–9, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486359
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Li, Deng-Feng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-0657-4">https://doi.org/10.1007/978-981-15-0657-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
2nd International Conference on Wireless Intelligent and Distributed Environment for Communication WIDECOM 2019
ent://SD_ILS/0/SD_ILS:486890
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-11437-4">https://doi.org/10.1007/978-3-030-11437-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:483149
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34869-4">https://doi.org/10.1007/978-3-030-34869-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communications, Signal Processing, and Systems Proceedings of the 2018 CSPS Volume I: Communications
ent://SD_ILS/0/SD_ILS:483407
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Liang, Qilian. editor. Liu, Xin. editor. Na, Zhenyu. editor. Wang, Wei. editor. Mu, Jiasong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-6264-4">https://doi.org/10.1007/978-981-13-6264-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483626
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29852-4">https://doi.org/10.1007/978-3-030-29852-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Information Systems Engineering – WISE 2019 20th International Conference, Hong Kong, China, January 19–22, 2020, Proceedings
ent://SD_ILS/0/SD_ILS:483529
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34223-4">https://doi.org/10.1007/978-3-030-34223-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Techniques in Information Security 10th International Conference, ATIS 2019, Thanjavur, India, November 22–24, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483576
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-0871-4">https://doi.org/10.1007/978-981-15-0871-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483746
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitive Radio, Mobile Communications and Wireless Networks
ent://SD_ILS/0/SD_ILS:483880
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Rehmani, Mubashir Husain. editor. Dhaou, Riadh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91002-4">https://doi.org/10.1007/978-3-319-91002-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Blockchain Second International Conference, SmartBlock 2019, Birmingham, UK, October 11–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485178
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34083-4">https://doi.org/10.1007/978-3-030-34083-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:485330
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34872-4">https://doi.org/10.1007/978-3-030-34872-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:486104
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20912-4">https://doi.org/10.1007/978-3-030-20912-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arto Salomaa: Mathematician, Computer Scientist, and Teacher A Thematic Biography
ent://SD_ILS/0/SD_ILS:486150
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Paakki, Jukka. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16049-4">https://doi.org/10.1007/978-3-030-16049-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning Technology for Education Challenges 8th International Workshop, LTEC 2019, Zamora, Spain, July 15–18, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486631
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Uden, Lorna. editor. Liberona, Dario. editor. Sanchez, Galo. editor. Rodríguez-González, Sara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20798-4">https://doi.org/10.1007/978-3-030-20798-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence XXXVI 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486697
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Bramer, Max. editor. Petridis, Miltos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34885-4">https://doi.org/10.1007/978-3-030-34885-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14–15, 2018, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:486732
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Luhach, Ashish Kumar. editor. Singh, Dharm. editor. Hsiung, Pao-Ann. editor. Hawari, Kamarul Bin Ghazali. editor. Lingras, Pawan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-3140-4">https://doi.org/10.1007/978-981-13-3140-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Web Information Systems 11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485664
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Awan, Irfan. editor. Younas, Muhammad. editor. Franch, Xavier. editor. Quer, Carme. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10359-4">https://doi.org/10.1007/978-3-319-10359-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 2012 International Conference on Cybernetics and Informatics
ent://SD_ILS/0/SD_ILS:487206
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Zhong, Shaobo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4614-3872-4">https://doi.org/10.1007/978-1-4614-3872-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Augmented Marked Graphs
ent://SD_ILS/0/SD_ILS:485527
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Cheung, King Sing. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06428-4">https://doi.org/10.1007/978-3-319-06428-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485696
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Murata, Satoshi. editor. Kobayashi, Satoshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11295-4">https://doi.org/10.1007/978-3-319-11295-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pairing-Based Cryptography -- Pairing 2013 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486893
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Cao, Zhenfu. editor. Zhang, Fangguo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04873-4">https://doi.org/10.1007/978-3-319-04873-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:487680
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44124-4">https://doi.org/10.1007/978-3-662-44124-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487787
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09584-4">https://doi.org/10.1007/978-3-319-09584-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Solving the Dynamic Complexity Dilemma Predictive and Prescriptive Business Management: Answering the Need for a New Paradigm
ent://SD_ILS/0/SD_ILS:488101
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Abu el Ata, Nabil. author. Perks, Maurice J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54310-4">https://doi.org/10.1007/978-3-642-54310-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers
ent://SD_ILS/0/SD_ILS:489067
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Atmanspacher, Harald. editor. Haven, Emmanuel. editor. Kitto, Kirsty. editor. Raine, Derek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54943-4">https://doi.org/10.1007/978-3-642-54943-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:489372
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Ábrahám, Erika. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43613-4">https://doi.org/10.1007/978-3-662-43613-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Identity
ent://SD_ILS/0/SD_ILS:484375
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author de Andrade, Norberto Nuno Gomes. author. Chen-Wilson, Lisha. author. Argles, David. author. Wills, Gary. author. Schiano di Zenise, Michele. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6449-4">https://doi.org/10.1007/978-1-4471-6449-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:485783
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487418
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54013-4">https://doi.org/10.1007/978-3-642-54013-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Serviceology for Services Selected papers of the 1st International Conference of Serviceology
ent://SD_ILS/0/SD_ILS:488502
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Mochimaru, Masaaki. editor. Ueda, Kanji. editor. Takenaka, Takeshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-4-431-54816-4">https://doi.org/10.1007/978-4-431-54816-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:488881
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55128-4">https://doi.org/10.1007/978-3-642-55128-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488970
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Esparcia-Alcázar, Anna I. editor. Mora, Antonio M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45523-4">https://doi.org/10.1007/978-3-662-45523-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488993
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Auer, Peter. editor. Clark, Alexander. editor. Zeugmann, Thomas. editor. Zilles, Sandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11662-4">https://doi.org/10.1007/978-3-319-11662-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489012
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Holzer, Markus. editor. Kutrib, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08846-4">https://doi.org/10.1007/978-3-319-08846-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Informatics SocInfo 2013 International Workshops, QMC and HISTOINFORMATICS, Kyoto, Japan, November 25, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489024
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Nadamoto, Akiyo. editor. Jatowt, Adam. editor. (orcid)0000-0001-7235-0665 Wierzbicki, Adam. editor. Leidner, Jochen L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55285-4">https://doi.org/10.1007/978-3-642-55285-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing from the abacus to the iPad
ent://SD_ILS/0/SD_ILS:341336
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Curley, Robert, 1955- editor. Gale Group.<br/>Preferred Shelf Number ONLINE(341336.1)<br/>Electronic Access <a href="http://find.galegroup.com/openurl/openurl?url_ver=Z39.88-2004&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&req_dat=info:sid/gale:ugnid:hu_tr&res_id=info:sid/gale:GVRL&ctx_enc=info:ofi:enc:UTF-8&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft_id=info:sid/gale:bmcode:recid/4WLB">Available for Hacettepe University via Gale Virtual Reference Library. Click here to access</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer technology and computer programming : new research and strategies
ent://SD_ILS/0/SD_ILS:540718
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Antonakos, James L.<br/>Preferred Shelf Number QA76.6 .C66 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466562592">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Quantum computing explained
ent://SD_ILS/0/SD_ILS:297053
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author McMahon, David (David M.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.contentreserve.com/TitleInfo.asp?ID={F4DF5FEC-32E0-466F-B75E-31FFA3218C7B}&Format=50">Click for information</a>
<a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=331444">Click here to view book</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780470096994">Available by subscription from Safari Books Online</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470181386">http://dx.doi.org/10.1002/9780470181386</a>
MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=122156&ref=toc">http://www.myilibrary.com?id=122156&ref=toc</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sayısal devrelerde mantıksal tasarım
ent://SD_ILS/0/SD_ILS:124805
2025-12-27T11:09:19Z
2025-12-27T11:09:19Z
Author Yarımağan, Ünal.<br/>Preferred Shelf Number TK7888.4 Y37 2003<br/>Format: Books<br/>Availability Beytepe Library~1<br/>