Search Results for Computer mathematics. - Narrowed by: Computers.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bmathematics.$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026ps$003d300?dt=list
2026-03-14T06:10:02Z
Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485019
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
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/>
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
ent://SD_ILS/0/SD_ILS:605767
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75919-2">https://doi.org/10.1007/978-3-031-75919-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:605768
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75923-9">https://doi.org/10.1007/978-3-031-75923-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Number-Theoretic Methods in Cryptology 4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:607288
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82380-0">https://doi.org/10.1007/978-3-031-82380-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608173
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90062-4">https://doi.org/10.1007/978-3-031-90062-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608174
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90065-5">https://doi.org/10.1007/978-3-031-90065-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering
ent://SD_ILS/0/SD_ILS:603014
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52664-0">https://doi.org/10.1007/978-3-031-52664-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Green, Pervasive, and Cloud Computing 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602393
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Jin, Hai. editor. (orcid)0000-0002-3934-7605 Yu, Zhiwen. editor. Yu, Chen. editor. Zhou, Xiaokang. editor. Lu, Zeguang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-9893-7">https://doi.org/10.1007/978-981-99-9893-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Green, Pervasive, and Cloud Computing 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings; Part II
ent://SD_ILS/0/SD_ILS:602394
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Jin, Hai. editor. (orcid)0000-0002-3934-7605 Yu, Zhiwen. editor. Yu, Chen. editor. Zhou, Xiaokang. editor. Lu, Zeguang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-9896-8">https://doi.org/10.1007/978-981-99-9896-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602979
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56852-7">https://doi.org/10.1007/978-3-031-56852-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:603019
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56855-8">https://doi.org/10.1007/978-3-031-56855-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers
ent://SD_ILS/0/SD_ILS:482709
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Albanese, Massimiliano. editor. (orcid)0000-0002-2675-5810 Horne, Ross. editor. (orcid)0000-0003-0162-1901 Probst, Christian W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-36537-0">https://doi.org/10.1007/978-3-030-36537-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485295
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261 Gee, James C. editor. (orcid)0000-0002-2258-0187 Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016 Bao, Siqi. editor. (orcid)0000-0003-3885-125X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20351-1">https://doi.org/10.1007/978-3-030-20351-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:485087
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22747-0">https://doi.org/10.1007/978-3-030-22747-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:485088
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22750-0">https://doi.org/10.1007/978-3-030-22750-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business and Consumer Analytics: New Ideas
ent://SD_ILS/0/SD_ILS:485259
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
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/>
Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485469
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Bykadorov, Igor. editor. (orcid)0000-0002-2740-3905 Strusevich, Vitaly. editor. (orcid)0000-0002-4602-8573 Tchemisova, Tatiana. editor. (orcid)0000-0002-2678-2552 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33394-2">https://doi.org/10.1007/978-3-030-33394-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:486113
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22744-9">https://doi.org/10.1007/978-3-030-22744-9</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
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
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/>
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
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
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/>
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:486236
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22734-0">https://doi.org/10.1007/978-3-030-22734-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency XIV
ent://SD_ILS/0/SD_ILS:486990
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Koutny, Maciej. editor. Pomello, Lucia. editor. Kristensen, Lars Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-60651-3">https://doi.org/10.1007/978-3-662-60651-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:483514
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22741-8">https://doi.org/10.1007/978-3-030-22741-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483907
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30806-3">https://doi.org/10.1007/978-3-030-30806-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:484959
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34618-8">https://doi.org/10.1007/978-3-030-34618-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives
ent://SD_ILS/0/SD_ILS:613339
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Chen, Quan. author. Guo, Minyi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6238-4">https://doi.org/10.1007/978-981-10-6238-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613250
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71255-0">https://doi.org/10.1007/978-3-319-71255-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Privately and Publicly Verifiable Computing Techniques A Survey
ent://SD_ILS/0/SD_ILS:614683
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Demirel, Denise. author. Schabhüser, Lucas. author. Buchmann, Johannes. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53798-6">https://doi.org/10.1007/978-3-319-53798-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
ent://SD_ILS/0/SD_ILS:617536
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
ent://SD_ILS/0/SD_ILS:612466
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33786-9">https://doi.org/10.1007/978-3-319-33786-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Architecture An Ordinary Engineering Discipline
ent://SD_ILS/0/SD_ILS:612989
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Paul, Wolfgang J. author. Baumann, Christoph. author. Lutsyk, Petro. author. Schmaltz, Sabine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43065-2">https://doi.org/10.1007/978-3-319-43065-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constructive Side-Channel Analysis and Secure Design 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616150
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Standaert, François-Xavier. editor. Oswald, Elisabeth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43283-0">https://doi.org/10.1007/978-3-319-43283-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613096
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55669-7">https://doi.org/10.1007/978-3-319-55669-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
ent://SD_ILS/0/SD_ILS:617799
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Herdt, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-12680-3">https://doi.org/10.1007/978-3-658-12680-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013
ent://SD_ILS/0/SD_ILS:485061
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Thoai, Nam. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45947-8">https://doi.org/10.1007/978-3-662-45947-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:488937
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Aguilera, Marcos K. editor. Querzoni, Leonardo. editor. Shapiro, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14472-6">https://doi.org/10.1007/978-3-319-14472-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Cryptography 11th International Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488975
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Lindell, Yehuda. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54242-8">https://doi.org/10.1007/978-3-642-54242-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485472
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04921-2">https://doi.org/10.1007/978-3-319-04921-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485473
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04897-0">https://doi.org/10.1007/978-3-319-04897-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485515
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06089-7">https://doi.org/10.1007/978-3-319-06089-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485525
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06686-8">https://doi.org/10.1007/978-3-319-06686-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485622
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09284-3">https://doi.org/10.1007/978-3-319-09284-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485637
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09704-6">https://doi.org/10.1007/978-3-319-09704-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings
ent://SD_ILS/0/SD_ILS:485687
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Bartz-Beielstein, Thomas. editor. Branke, Juergen. editor. Filipič, Bogdan. editor. (orcid)0000-0003-4428-4255 Smith, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10762-2">https://doi.org/10.1007/978-3-319-10762-2</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
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
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/>
Open Problems in Mathematics and Computational Science
ent://SD_ILS/0/SD_ILS:487303
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Koç, Çetin Kaya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10683-0">https://doi.org/10.1007/978-3-319-10683-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487329
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44602-7">https://doi.org/10.1007/978-3-662-44602-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities
ent://SD_ILS/0/SD_ILS:487356
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Kacsuk, Péter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11268-8">https://doi.org/10.1007/978-3-319-11268-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:487501
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43948-7">https://doi.org/10.1007/978-3-662-43948-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Code Breaking in the Pacific
ent://SD_ILS/0/SD_ILS:488233
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Donovan, Peter. author. Mack, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08278-3">https://doi.org/10.1007/978-3-319-08278-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:489016
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45611-8">https://doi.org/10.1007/978-3-662-45611-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489045
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Beckmann, Arnold. editor. Csuhaj-Varjú, Ersébet. editor. Meer, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08019-2">https://doi.org/10.1007/978-3-319-08019-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:489053
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43951-7">https://doi.org/10.1007/978-3-662-43951-7</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
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
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/>
Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489079
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
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/>
Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions
ent://SD_ILS/0/SD_ILS:485555
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Kerren, Andreas. editor. Purchase, Helen. editor. Ward, Matthew O. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06793-3">https://doi.org/10.1007/978-3-319-06793-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Visualization An Introduction
ent://SD_ILS/0/SD_ILS:485562
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Spence, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07341-5">https://doi.org/10.1007/978-3-319-07341-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings
ent://SD_ILS/0/SD_ILS:485812
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Dick, Grant. editor. Browne, Will N. editor. Whigham, Peter. editor. Zhang, Mengjie. editor. Bui, Lam Thu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13563-2">https://doi.org/10.1007/978-3-319-13563-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487033
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12982-2">https://doi.org/10.1007/978-3-319-12982-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II
ent://SD_ILS/0/SD_ILS:488956
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45608-8">https://doi.org/10.1007/978-3-662-45608-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Regulated Grammars and Automata
ent://SD_ILS/0/SD_ILS:489527
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Meduna, Alexander. author. Zemek, Petr. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-0369-6">https://doi.org/10.1007/978-1-4939-0369-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer environments for children a reflection on theories of learning and education
ent://SD_ILS/0/SD_ILS:220165
2026-03-14T06:10:02Z
2026-03-14T06:10:02Z
Author Solomon, Cynthia.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276847">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276847</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>