Search Results for mathematical. - Narrowed by: Algorithms.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dmathematical.$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-01-19T08:32:59Z
Mathematical Aspects of Network Routing Optimization
ent://SD_ILS/0/SD_ILS:173646
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Oliveira, Carlos A.S. author. Pardalos, Panos M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0311-1">http://dx.doi.org/10.1007/978-1-4614-0311-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Modeling in Mechanics of Granular Materials
ent://SD_ILS/0/SD_ILS:196599
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Sadovskaya, Oxana. author. Sadovskii, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29053-4">http://dx.doi.org/10.1007/978-3-642-29053-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Masterpieces Further Chronicles by the Explorers
ent://SD_ILS/0/SD_ILS:165910
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Knoebel, Arthur. author. Lodder, Jerry. author. Laubenbacher, Reinhard. author. Pengelley, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-33062-4">http://dx.doi.org/10.1007/978-0-387-33062-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical methods and algorithms for signal processing
ent://SD_ILS/0/SD_ILS:71546
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Moon, Todd K. Stirling, Wynn C., ort. yaz.<br/>Preferred Shelf Number TK 5102.9 M63 2000<br/>Format: Books<br/>Availability Beytepe Library~4<br/>
Mathematical Models for Evacuation Planning in Urban Areas
ent://SD_ILS/0/SD_ILS:333204
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Bretschneider, Sarah. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333204.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28759-6">http://dx.doi.org/10.1007/978-3-642-28759-6</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, Proceedings
ent://SD_ILS/0/SD_ILS:486136
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Pardalos, Panos. editor. (orcid)0000-0003-2824-101X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22629-9">https://doi.org/10.1007/978-3-030-22629-9</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-01-19T08:32:59Z
2026-01-19T08:32:59Z
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/>
Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486681
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14896-0">https://doi.org/10.1007/978-3-319-14896-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:489262
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44465-8">https://doi.org/10.1007/978-3-662-44465-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:488987
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44522-8">https://doi.org/10.1007/978-3-662-44522-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics-Oriented Natural Language Processing Mathematical Models and Algorithms
ent://SD_ILS/0/SD_ILS:167002
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Fomichov A., Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-72926-8">http://dx.doi.org/10.1007/978-0-387-72926-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Topics in System and Signal Theory A Mathematical Approach
ent://SD_ILS/0/SD_ILS:190689
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Pohl, Volker. author. Boche, Holger. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03639-2">http://dx.doi.org/10.1007/978-3-642-03639-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Protective Relaying of Power Systems Using Mathematical Morphology
ent://SD_ILS/0/SD_ILS:175988
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Wu, Q.H. author. Lu, Z. author. Ji, T.Y. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-499-7">http://dx.doi.org/10.1007/978-1-84882-499-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190510
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Ambos-Spies, Klaus. editor. Löwe, Benedikt. editor. Merkle, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03073-4">http://dx.doi.org/10.1007/978-3-642-03073-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188648
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Ochmański, Edward. editor. Tyszkiewicz, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85238-4">http://dx.doi.org/10.1007/978-3-540-85238-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187162
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74456-6">http://dx.doi.org/10.1007/978-3-540-74456-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184636
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11821069">http://dx.doi.org/10.1007/11821069</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184660
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11832225">http://dx.doi.org/10.1007/11832225</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical and Computer Programming Techniques for Computer Graphics
ent://SD_ILS/0/SD_ILS:175364
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Comninos, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-292-8">http://dx.doi.org/10.1007/978-1-84628-292-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Online Storage Systems and Transportation Problems with Applications Optimization Models and Mathematical Solutions
ent://SD_ILS/0/SD_ILS:164932
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Kallrath, Julia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-23485-3">http://dx.doi.org/10.1007/0-387-23485-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Mathematical Optimization An Introduction to Basic Optimization Theory and Classical and New Gradient-Based Algorithms
ent://SD_ILS/0/SD_ILS:165046
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Snyman, Jan A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105200">http://dx.doi.org/10.1007/b105200</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182953
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11549345">http://dx.doi.org/10.1007/11549345</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hypergraph Theory An Introduction
ent://SD_ILS/0/SD_ILS:332674
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Bretto, Alain. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332674.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00080-0">http://dx.doi.org/10.1007/978-3-319-00080-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Linear Ordering Problem Exact and Heuristic Methods in Combinatorial Optimization
ent://SD_ILS/0/SD_ILS:193389
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Martí, Rafael. author. Reinelt, Gerhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16729-4">http://dx.doi.org/10.1007/978-3-642-16729-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Horizons of Combinatorics
ent://SD_ILS/0/SD_ILS:187813
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Győri, Ervin. editor. Katona, Gyula O. H. editor. Lovász, László. editor. Sági, Gábor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77200-2">http://dx.doi.org/10.1007/978-3-540-77200-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of chemoinformatics algorithms
ent://SD_ILS/0/SD_ILS:542021
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Faulon, Jean-Loup. Bender, Andreas, 1976-<br/>Preferred Shelf Number QD39.3 .E46 H357 2010<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420082999">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Applied Genetic Algorithm and Its Variants Case Studies and New Developments
ent://SD_ILS/0/SD_ILS:528011
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Dey, Nilanjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-3428-7">https://doi.org/10.1007/978-981-99-3428-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sine Cosine Algorithm for Optimization
ent://SD_ILS/0/SD_ILS:526723
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Bansal, Jagdish Chand. author. Bajpai, Prathu. author. Rawat, Anjali. author. Nagar, Atulya K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9722-8">https://doi.org/10.1007/978-981-19-9722-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithm audit : why, what, and how?
ent://SD_ILS/0/SD_ILS:555658
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Aragona, B. (Biagio), author.<br/>Preferred Shelf Number H62 .A6298 2022<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003080381">https://www.taylorfrancis.com/books/9781003080381</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Swarm intelligence algorithms. Modifications and applications
ent://SD_ILS/0/SD_ILS:560362
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Slowik, Adam, editor.<br/>Preferred Shelf Number Q337.3 .S9244 2020 EB<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429422607">https://www.taylorfrancis.com/books/9780429422607</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Swarm intelligence algorithms. A tutorial
ent://SD_ILS/0/SD_ILS:560363
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Slowik, Adam, editor.<br/>Preferred Shelf Number Q337.3 .S9246 2020<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429422614">https://www.taylorfrancis.com/books/9780429422614</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Swarm intelligence algorithms
ent://SD_ILS/0/SD_ILS:578870
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Slowik, Adam, editor.<br/>Preferred Shelf Number Q337.3<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003046882">https://www.taylorfrancis.com/books/9781003046882</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483469
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Batyrshin, Ildar. editor. Marín-Hernández, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33749-0">https://doi.org/10.1007/978-3-030-33749-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483549
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35895-2">https://doi.org/10.1007/978-3-030-35895-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483884
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30179-8">https://doi.org/10.1007/978-3-030-30179-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483886
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30281-8">https://doi.org/10.1007/978-3-030-30281-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485579
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19432-1">https://doi.org/10.1007/978-3-030-19432-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483222
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X Mordonini, Monica. editor. (orcid)0000-0002-5916-9770 Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Villani, Marco. editor. (orcid)0000-0002-5991-5470<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21733-4">https://doi.org/10.1007/978-3-030-21733-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484219
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34146-6">https://doi.org/10.1007/978-3-030-34146-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484225
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484438
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Manea, Florin. editor. Martin, Barnaby. editor. Paulusma, Daniël. editor. Primiero, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22996-2">https://doi.org/10.1007/978-3-030-22996-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484478
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Gopal, T.V. editor. Watada, Junzo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14812-6">https://doi.org/10.1007/978-3-030-14812-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485700
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32441-4">https://doi.org/10.1007/978-3-030-32441-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:482916
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Variable Neighborhood Search 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484195
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Sifaleras, Angelo. editor. Salhi, Said. editor. Brimberg, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15843-9">https://doi.org/10.1007/978-3-030-15843-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:484616
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17601-3">https://doi.org/10.1007/978-3-030-17601-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485199
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-59533-6">https://doi.org/10.1007/978-3-662-59533-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485559
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-13435-8">https://doi.org/10.1007/978-3-030-13435-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486010
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-0105-0">https://doi.org/10.1007/978-981-15-0105-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486274
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486683
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486946
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Seki, Hirosato. editor. Nguyen, Canh Hao. editor. Huynh, Van-Nam. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14815-7">https://doi.org/10.1007/978-3-030-14815-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nature-Inspired Algorithms and Applied Optimization
ent://SD_ILS/0/SD_ILS:402238
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Yang, Xin-She. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67669-2">https://doi.org/10.1007/978-3-319-67669-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nature-inspired optimization algorithms
ent://SD_ILS/0/SD_ILS:356097
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Yang, Xin-She, author.<br/>Preferred Shelf Number ONLINE(356097.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124167438">http://www.sciencedirect.com/science/book/9780124167438</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487471
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09108-2">https://doi.org/10.1007/978-3-319-09108-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487782
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author van den Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09165-5">https://doi.org/10.1007/978-3-319-09165-5</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
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
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/>
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489018
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08970-6">https://doi.org/10.1007/978-3-319-08970-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489028
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11164-3">https://doi.org/10.1007/978-3-319-11164-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489095
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09698-8">https://doi.org/10.1007/978-3-319-09698-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489519
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12214-4">https://doi.org/10.1007/978-3-319-12214-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
ent://SD_ILS/0/SD_ILS:482733
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44116-9">https://doi.org/10.1007/978-3-662-44116-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:483100
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</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-01-19T08:32:59Z
2026-01-19T08:32:59Z
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-01-19T08:32:59Z
2026-01-19T08:32:59Z
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/>
Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings
ent://SD_ILS/0/SD_ILS:486917
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Sericola, Bruno. editor. Miklós, Telek. editor. Horváth, Gábor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08219-6">https://doi.org/10.1007/978-3-319-08219-6</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-01-19T08:32:59Z
2026-01-19T08:32:59Z
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/>
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
ent://SD_ILS/0/SD_ILS:332822
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Polyhedral and Algebraic Methods in Computational Geometry
ent://SD_ILS/0/SD_ILS:331067
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Joswig, Michael. author. Theobald, Thorsten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331067.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4817-3">http://dx.doi.org/10.1007/978-1-4471-4817-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Facets of Combinatorial Optimization Festschrift for Martin Grötschel
ent://SD_ILS/0/SD_ILS:334551
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Jünger, Michael. editor. Reinelt, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334551.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38189-8">http://dx.doi.org/10.1007/978-3-642-38189-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Condition The Geometry of Numerical Algorithms
ent://SD_ILS/0/SD_ILS:334693
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Bürgisser, Peter. author. Cucker, Felipe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334693.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38896-5">http://dx.doi.org/10.1007/978-3-642-38896-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Springer-Handbuch der Mathematik III Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler
ent://SD_ILS/0/SD_ILS:337468
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Zeidler, Eberhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337468.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-00275-6">http://dx.doi.org/10.1007/978-3-658-00275-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sensors: Theory, Algorithms, and Applications
ent://SD_ILS/0/SD_ILS:167892
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Boginski, Vladimir L. editor. Commander, Clayton W. editor. Pardalos, Panos M. editor. Ye, Yinyu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-88619-0">http://dx.doi.org/10.1007/978-0-387-88619-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approximation Methods for Polynomial Optimization Models, Algorithms, and Applications
ent://SD_ILS/0/SD_ILS:174366
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Li, Zhening. author. He, Simai. author. Zhang, Shuzhong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3984-4">http://dx.doi.org/10.1007/978-1-4614-3984-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Just-in-Time Systems
ent://SD_ILS/0/SD_ILS:173858
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Ríos-Mercado, Roger Z. editor. Ríos-Solís, Yasmín A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1123-9">http://dx.doi.org/10.1007/978-1-4614-1123-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Game Theory for Control of Optical Networks
ent://SD_ILS/0/SD_ILS:168382
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Pavel, Lacra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-8322-1">http://dx.doi.org/10.1007/978-0-8176-8322-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approximation Algorithms and Semidefinite Programming
ent://SD_ILS/0/SD_ILS:194890
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Gärtner, Bernd. author. Matousek, Jiri. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22015-9">http://dx.doi.org/10.1007/978-3-642-22015-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Scheduling
ent://SD_ILS/0/SD_ILS:195490
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Brucker, Peter. author. Knust, Sigrid. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23929-8">http://dx.doi.org/10.1007/978-3-642-23929-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deterministic Global Optimization Geometric Branch-and-bound Methods and their Applications
ent://SD_ILS/0/SD_ILS:174058
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Scholz, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1951-8">http://dx.doi.org/10.1007/978-1-4614-1951-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stationarity and Convergence in Reduce-or-Retreat Minimization
ent://SD_ILS/0/SD_ILS:174408
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Levy, Adam B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4642-2">http://dx.doi.org/10.1007/978-1-4614-4642-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Correcting Approaches in Combinatorial Optimization
ent://SD_ILS/0/SD_ILS:174424
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Goldengorin, Boris. author. Pardalos, Panos M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5286-7">http://dx.doi.org/10.1007/978-1-4614-5286-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Statistical Signal Processing Frequency Estimation
ent://SD_ILS/0/SD_ILS:204071
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Kundu, Debasis. author. Nandi, Swagata. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-81-322-0628-6">http://dx.doi.org/10.1007/978-81-322-0628-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Puzzles
ent://SD_ILS/0/SD_ILS:278519
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Levitin, Anany. Levitin, Maria.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=405955">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=405955</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Convex Analysis and Monotone Operator Theory in Hilbert Spaces
ent://SD_ILS/0/SD_ILS:173219
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Bauschke, Heinz H. author. Combettes, Patrick L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9467-7">http://dx.doi.org/10.1007/978-1-4419-9467-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Vector Optimization with Infimum and Supremum
ent://SD_ILS/0/SD_ILS:193865
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Löhne, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18351-5">http://dx.doi.org/10.1007/978-3-642-18351-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Statistical Procedures An Evolutionary Computation Approach to Statistical Procedures Designs and Applications
ent://SD_ILS/0/SD_ILS:193224
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Baragona, Roberto. author. Battaglia, Francesco. author. Poli, Irene. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16218-3">http://dx.doi.org/10.1007/978-3-642-16218-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Treatise on Intuitionistic Type Theory
ent://SD_ILS/0/SD_ILS:206159
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Granström, Johan Georg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1736-7">http://dx.doi.org/10.1007/978-94-007-1736-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms in computational molecular biology techniques, approaches and applications
ent://SD_ILS/0/SD_ILS:298661
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Elloumi, Mourad. Zomaya, Albert Y. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470892107">http://dx.doi.org/10.1002/9780470892107</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The P=NP Question and Gödel’s Lost Letter
ent://SD_ILS/0/SD_ILS:172787
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Lipton, Richard J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7155-5">http://dx.doi.org/10.1007/978-1-4419-7155-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networks in Action Text and Computer Exercises in Network Optimization
ent://SD_ILS/0/SD_ILS:172353
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Sierksma, Gerard. author. Ghosh, Diptesh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-5513-5">http://dx.doi.org/10.1007/978-1-4419-5513-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linear Optimization The Simplex Workbook
ent://SD_ILS/0/SD_ILS:167658
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Hurlbert, Glenn. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-79148-7">http://dx.doi.org/10.1007/978-0-387-79148-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The LLL Algorithm Survey and Applications
ent://SD_ILS/0/SD_ILS:190278
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Nguyen, Phong Q. editor. Vallée, Brigitte. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02295-1">http://dx.doi.org/10.1007/978-3-642-02295-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graphen- und Netzwerkoptimierung
ent://SD_ILS/0/SD_ILS:198752
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Büsing, Christina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2423-5">http://dx.doi.org/10.1007/978-3-8274-2423-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Natural Deduction, Hybrid Systems and Modal Logics
ent://SD_ILS/0/SD_ILS:205315
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Indrzejczak, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-8785-0">http://dx.doi.org/10.1007/978-90-481-8785-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Encyclopedia of Optimization
ent://SD_ILS/0/SD_ILS:167207
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Floudas, Christodoulos A. editor. Pardalos, Panos M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-74759-0">http://dx.doi.org/10.1007/978-0-387-74759-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimal Design and Related Areas in Optimization and Statistics
ent://SD_ILS/0/SD_ILS:167702
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Pronzato, Luc. editor. Zhigljavsky, Anatoly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-79936-0">http://dx.doi.org/10.1007/978-0-387-79936-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Explorations in Monte Carlo Methods
ent://SD_ILS/0/SD_ILS:167852
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Shonkwiler, Ronald W. author. Mendivil, Franklin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-87837-9">http://dx.doi.org/10.1007/978-0-387-87837-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Polygons, Polyominoes and Polycubes
ent://SD_ILS/0/SD_ILS:170688
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Guttman, Anthony J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9927-4">http://dx.doi.org/10.1007/978-1-4020-9927-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digraphs Theory, Algorithms and Applications
ent://SD_ILS/0/SD_ILS:175872
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Bang-Jensen, Jørgen. author. Gutin, Gregory Z. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-998-1">http://dx.doi.org/10.1007/978-1-84800-998-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Composition Paradigms of Automated Music Generation
ent://SD_ILS/0/SD_ILS:177042
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Nierhaus, Gerhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-211-75540-2">http://dx.doi.org/10.1007/978-3-211-75540-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data mining Metodi e strategie
ent://SD_ILS/0/SD_ILS:204372
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Dulli, Susi. author. Furini, Sara. author. Peron, Edmondo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-1163-2">http://dx.doi.org/10.1007/978-88-470-1163-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Genetic Algorithms
ent://SD_ILS/0/SD_ILS:167495
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Dorronsoro, Bernabe. author. Alba, Enrique. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-77610-1">http://dx.doi.org/10.1007/978-0-387-77610-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Kolmogorov Complexity and Its Applications
ent://SD_ILS/0/SD_ILS:166508
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-49820-1">http://dx.doi.org/10.1007/978-0-387-49820-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital dice : computational solutions to practical probability problems
ent://SD_ILS/0/SD_ILS:375467
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Nahin, Paul J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7rqgn">http://www.jstor.org/stable/10.2307/j.ctt7rqgn</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic foundation of multi-scale spatial representation
ent://SD_ILS/0/SD_ILS:541916
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Li, Zhilin, 1960, author.<br/>Preferred Shelf Number G70.212 .L487 2007<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420008432">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Global Optimization From Theory to Implementation
ent://SD_ILS/0/SD_ILS:165746
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Liberti, Leo. editor. Maculan, Nelson. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-30528-9">http://dx.doi.org/10.1007/0-387-30528-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization in Public Transportation Stop Location, Delay Management and Tariff Zone Design in a Public Transportation Network
ent://SD_ILS/0/SD_ILS:166164
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Schöbel, Anita. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36643-2">http://dx.doi.org/10.1007/978-0-387-36643-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Differential Evolution In Search of Solutions
ent://SD_ILS/0/SD_ILS:166182
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Feoktistov, Vitaliy. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36896-2">http://dx.doi.org/10.1007/978-0-387-36896-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parameterized Complexity Theory
ent://SD_ILS/0/SD_ILS:182197
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29953-X">http://dx.doi.org/10.1007/3-540-29953-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interior Point Methods for Linear Optimization
ent://SD_ILS/0/SD_ILS:165276
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Roos, Cornelis. author. Terlaky, Tamás. author. Vial, Jean-Philiipe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b100325">http://dx.doi.org/10.1007/b100325</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New optimization algorithms in physics
ent://SD_ILS/0/SD_ILS:302105
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Hartmann, Alexander K. Rieger, Heiko. John Wiley & Sons.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/3527603794">http://dx.doi.org/10.1002/3527603794</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization algorithms in physics
ent://SD_ILS/0/SD_ILS:301962
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Hartmann, Alexander K. Rieger, Heiko. John Wiley & Sons.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/3527600876">http://dx.doi.org/10.1002/3527600876</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley044/2002277280.html">http://catdir.loc.gov/catdir/bios/wiley044/2002277280.html</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization algorithms in physics
ent://SD_ILS/0/SD_ILS:78614
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Hartmann, Alexander K. Rieger, Heiko, ort. yaz.<br/>Preferred Shelf Number QC 20.7.C58 H37 2002<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Network models
ent://SD_ILS/0/SD_ILS:145407
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Ball, M. O. (Michael O.) ScienceDirect (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444892928">An electronic book accessible through the World Wide Web; click for information</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/handbooks/09270507">http://www.sciencedirect.com/science/handbooks/09270507</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The rapid evaluation of potential fields in particle systems
ent://SD_ILS/0/SD_ILS:220237
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Greengard, Leslie.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267271">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267271</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, automata, and algorithms
ent://SD_ILS/0/SD_ILS:257239
2026-01-19T08:32:59Z
2026-01-19T08:32:59Z
Author Aĭzerman, M. A. (Mark Aronovich), 1913-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120463503">http://www.sciencedirect.com/science/book/9780120463503</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>