Search Results for mathematical. - Narrowed by: Computer software.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dmathematical.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list
2026-01-19T02:50:12Z
Mathematical Aspects of Network Routing Optimization
ent://SD_ILS/0/SD_ILS:173646
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
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/>
Computer Algebra Recipes for Mathematical Physics
ent://SD_ILS/0/SD_ILS:168123
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Enns, Richard H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138898">http://dx.doi.org/10.1007/b138898</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334106
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.<br/>Preferred Shelf Number ONLINE(334106.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36046-6">http://dx.doi.org/10.1007/978-3-642-36046-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334925
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334925.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40313-2">http://dx.doi.org/10.1007/978-3-642-40313-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Modern Mathematical Computing With Mathematica®
ent://SD_ILS/0/SD_ILS:174387
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4253-0">http://dx.doi.org/10.1007/978-1-4614-4253-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196086
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25929-6">http://dx.doi.org/10.1007/978-3-642-25929-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196382
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28212-6">http://dx.doi.org/10.1007/978-3-642-28212-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Discrete Geometry and Mathematical Morphology First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197205
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Köthe, Ullrich. editor. Montanvert, Annick. editor. Soille, Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32313-3">http://dx.doi.org/10.1007/978-3-642-32313-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197237
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32589-2">http://dx.doi.org/10.1007/978-3-642-32589-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Modern Mathematical Computing With Maple™
ent://SD_ILS/0/SD_ILS:173595
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0122-3">http://dx.doi.org/10.1007/978-1-4614-0122-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195206
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Murlak, Filip. editor. Sankowski, Piotr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22993-0">http://dx.doi.org/10.1007/978-3-642-22993-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192878
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Hliněný, Petr. 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-642-15155-2">http://dx.doi.org/10.1007/978-3-642-15155-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193016
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15582-6">http://dx.doi.org/10.1007/978-3-642-15582-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Summary for Digital Signal Processing Applications with Matlab
ent://SD_ILS/0/SD_ILS:205171
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Gopi, E. S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3747-3">http://dx.doi.org/10.1007/978-90-481-3747-3</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-19T02:50:12Z
2026-01-19T02:50:12Z
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 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190747
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Královič, Rastislav. editor. Niwiński, Damian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03816-7">http://dx.doi.org/10.1007/978-3-642-03816-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical and Statistical Methods in Insurance and Finance
ent://SD_ILS/0/SD_ILS:204260
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Perna, Cira. editor. Sibillo, Marilena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-0704-8">http://dx.doi.org/10.1007/978-88-470-0704-8</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-19T02:50:12Z
2026-01-19T02:50:12Z
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-19T02:50:12Z
2026-01-19T02:50:12Z
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-19T02:50:12Z
2026-01-19T02:50:12Z
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/>
Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science
ent://SD_ILS/0/SD_ILS:165808
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-31262-5">http://dx.doi.org/10.1007/0-387-31262-5</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-19T02:50:12Z
2026-01-19T02:50:12Z
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 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-19T02:50:12Z
2026-01-19T02:50:12Z
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/>
Computer Network Security Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183066
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Gorodetsky, Vladimir. editor. Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11560326">http://dx.doi.org/10.1007/11560326</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Normal Forms, Melnikov Functions and Bifurcations of Limit Cycles
ent://SD_ILS/0/SD_ILS:173501
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Han, Maoan. author. Yu, Pei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2918-9">http://dx.doi.org/10.1007/978-1-4471-2918-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Entropy, Search, Complexity
ent://SD_ILS/0/SD_ILS:183501
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Csiszár, Imre. editor. Katona, Gyula O. H. editor. Tardos, Gábor. editor. Wiener, 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-32777-6">http://dx.doi.org/10.1007/978-3-540-32777-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Tower of Hanoi – Myths and Maths
ent://SD_ILS/0/SD_ILS:332606
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Hinz, Andreas M. author. Klavžar, Sandi. author. Milutinović, Uroš. author. Petr, Ciril. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332606.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0237-6">http://dx.doi.org/10.1007/978-3-0348-0237-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
ent://SD_ILS/0/SD_ILS:332681
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Pudlák, Pavel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332681.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00119-7">http://dx.doi.org/10.1007/978-3-319-00119-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-19T02:50:12Z
2026-01-19T02:50:12Z
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/>
Realtime Data Mining Self-Learning Techniques for Recommendation Engines
ent://SD_ILS/0/SD_ILS:332858
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Paprotny, Alexander. author. Thess, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332858.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01321-3">http://dx.doi.org/10.1007/978-3-319-01321-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Connected Dominating Set: Theory and Applications
ent://SD_ILS/0/SD_ILS:331720
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Du, Ding-Zhu. author. Wan, Peng-Jun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331720.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5242-3">http://dx.doi.org/10.1007/978-1-4614-5242-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structure of Solutions of Variational Problems
ent://SD_ILS/0/SD_ILS:332024
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Zaslavski, Alexander J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332024.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6387-0">http://dx.doi.org/10.1007/978-1-4614-6387-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Global Optimization Exploiting Space-Filling Curves
ent://SD_ILS/0/SD_ILS:332385
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Sergeyev, Yaroslav D. author. Strongin, Roman G. author. Lera, Daniela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332385.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-8042-6">http://dx.doi.org/10.1007/978-1-4614-8042-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:334547
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334547.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334617
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334617.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38536-0">http://dx.doi.org/10.1007/978-3-642-38536-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334626
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Bonacina, Maria Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334626.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335023
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335023.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335030
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335030.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40935-6">http://dx.doi.org/10.1007/978-3-642-40935-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335072
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335072.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41202-8">http://dx.doi.org/10.1007/978-3-642-41202-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System
ent://SD_ILS/0/SD_ILS:332481
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Hammock, Michael R. author. Mixon, J. Wilson. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332481.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-9417-1">http://dx.doi.org/10.1007/978-1-4614-9417-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334355
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334355.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37064-9">http://dx.doi.org/10.1007/978-3-642-37064-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research in Computational Molecular Biology 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334382
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Deng, Minghua. editor. Jiang, Rui. editor. Sun, Fengzhu. editor. Zhang, Xuegong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334382.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37195-0">http://dx.doi.org/10.1007/978-3-642-37195-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334718
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334718.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334722
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334722.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39065-4">http://dx.doi.org/10.1007/978-3-642-39065-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334723
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334723.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39068-5">http://dx.doi.org/10.1007/978-3-642-39068-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334724
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334724.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334725
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334725.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39074-6">http://dx.doi.org/10.1007/978-3-642-39074-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334666
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334666.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38771-5">http://dx.doi.org/10.1007/978-3-642-38771-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334771
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Konstantinidis, Stavros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334771.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39274-0">http://dx.doi.org/10.1007/978-3-642-39274-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334778
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334778.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39310-5">http://dx.doi.org/10.1007/978-3-642-39310-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
ent://SD_ILS/0/SD_ILS:334973
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334973.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334980
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Schulte, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334980.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40627-0">http://dx.doi.org/10.1007/978-3-642-40627-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335202
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335202.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45278-9">http://dx.doi.org/10.1007/978-3-642-45278-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fast Compact Algorithms and Software for Spline Smoothing
ent://SD_ILS/0/SD_ILS:331788
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Weinert, Howard L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331788.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5496-0">http://dx.doi.org/10.1007/978-1-4614-5496-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334014
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334014.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334564
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334564.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38236-9">http://dx.doi.org/10.1007/978-3-642-38236-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
ent://SD_ILS/0/SD_ILS:334814
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334814.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39521-5">http://dx.doi.org/10.1007/978-3-642-39521-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334825
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334825.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335003
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335003.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
ent://SD_ILS/0/SD_ILS:335046
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335046.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Contemporary Evolution Strategies
ent://SD_ILS/0/SD_ILS:334897
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Bäck, Thomas. author. Foussette, Christophe. author. Krause, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334897.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40137-4">http://dx.doi.org/10.1007/978-3-642-40137-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335116
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335116.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41515-9">http://dx.doi.org/10.1007/978-3-642-41515-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Visual Mathematics and Cyberlearning
ent://SD_ILS/0/SD_ILS:335714
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Martinovic, Dragana. editor. Freiman, Viktor. editor. Karadag, Zekeriya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335714.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-2321-4">http://dx.doi.org/10.1007/978-94-007-2321-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The SimCalc Vision and Contributions Democratizing Access to Important Mathematics
ent://SD_ILS/0/SD_ILS:336043
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Hegedus, Stephen J. editor. Roschelle, Jeremy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336043.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5696-0">http://dx.doi.org/10.1007/978-94-007-5696-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
ent://SD_ILS/0/SD_ILS:336496
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Mogavero, Fabio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336496.1)<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-95-4">http://dx.doi.org/10.2991/978-94-91216-95-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Übungsbuch Mathematik für Wirtschaftswissenschaftler Aufgabensammlung mit ausführlichen Lösungen
ent://SD_ILS/0/SD_ILS:337084
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Wendler, Tilo. author. Tippe, Ulrike. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337084.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34008-6">http://dx.doi.org/10.1007/978-3-642-34008-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pyomo – Optimization Modeling in Python
ent://SD_ILS/0/SD_ILS:174214
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Hart, William E. author. Laird, Carl. author. Watson, Jean-Paul. author. Woodruff, David L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3226-5">http://dx.doi.org/10.1007/978-1-4614-3226-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sparsity Graphs, Structures, and Algorithms
ent://SD_ILS/0/SD_ILS:196287
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Nešetřil, Jaroslav. author. Ossona de Mendez, Patrice. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27875-4">http://dx.doi.org/10.1007/978-3-642-27875-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Algorithmic Differentiation
ent://SD_ILS/0/SD_ILS:196815
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Forth, Shaun. editor. Hovland, Paul. editor. Phipps, Eric. editor. Utke, Jean. editor. Walther, Andrea. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30023-3">http://dx.doi.org/10.1007/978-3-642-30023-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196979
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30870-3">http://dx.doi.org/10.1007/978-3-642-30870-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
ent://SD_ILS/0/SD_ILS:197087
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31485-8">http://dx.doi.org/10.1007/978-3-642-31485-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
ent://SD_ILS/0/SD_ILS:197102
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31555-8">http://dx.doi.org/10.1007/978-3-642-31555-8</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-19T02:50:12Z
2026-01-19T02:50:12Z
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-19T02:50:12Z
2026-01-19T02:50:12Z
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/>
Design and Analysis of Approximation Algorithms
ent://SD_ILS/0/SD_ILS:174003
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Du, Ding-Zhu. author. Ko, Ker-I. author. Hu, Xiaodong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1701-9">http://dx.doi.org/10.1007/978-1-4614-1701-9</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-19T02:50:12Z
2026-01-19T02:50:12Z
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/>
Fixed-Point Algorithms for Inverse Problems in Science and Engineering
ent://SD_ILS/0/SD_ILS:173247
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Bauschke, Heinz H. editor. Burachik, Regina S. editor. Combettes, Patrick L. editor. Elser, Veit. editor. Luke, D. Russell. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9569-8">http://dx.doi.org/10.1007/978-1-4419-9569-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Tiny Handbook of R
ent://SD_ILS/0/SD_ILS:193766
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Allerhand, Mike. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17980-8">http://dx.doi.org/10.1007/978-3-642-17980-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194848
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21875-0">http://dx.doi.org/10.1007/978-3-642-21875-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Multi-Criterion Optimization 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194193
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Takahashi, Ricardo H. C. editor. Deb, Kalyanmoy. editor. Wanner, Elizabeth F. editor. Greco, Salvatore. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19893-9">http://dx.doi.org/10.1007/978-3-642-19893-9</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-19T02:50:12Z
2026-01-19T02:50:12Z
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/>
Exact Exponential Algorithms
ent://SD_ILS/0/SD_ILS:193327
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Fomin, Fedor V. author. Kratsch, Dieter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16533-7">http://dx.doi.org/10.1007/978-3-642-16533-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity
ent://SD_ILS/0/SD_ILS:193330
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Neumann, Frank. author. Witt, Carsten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16544-3">http://dx.doi.org/10.1007/978-3-642-16544-3</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-19T02:50:12Z
2026-01-19T02:50:12Z
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/>
Optimal Design and Related Areas in Optimization and Statistics
ent://SD_ILS/0/SD_ILS:167702
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
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/>
Queueing Theory A Linear Algebraic Approach
ent://SD_ILS/0/SD_ILS:166498
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Lipsky, Lester. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/ 978-0-387-49706-8">http://dx.doi.org/10.1007/ 978-0-387-49706-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Applied Mathematics and Global Optimization In Honor of Gilbert Strang
ent://SD_ILS/0/SD_ILS:167289
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Gao, David Y. editor. Sherali, Hanif D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-75714-8">http://dx.doi.org/10.1007/978-0-387-75714-8</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-19T02:50:12Z
2026-01-19T02:50:12Z
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/>
Numerical Analysis and Its Applications 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189696
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Margenov, Svetozar. editor. Vulkov, Lubin G. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00464-3">http://dx.doi.org/10.1007/978-3-642-00464-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Independent Component Analysis and Signal Separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189742
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Adali, Tülay. editor. Jutten, Christian. editor. Romano, João Marcos Travassos. editor. Barros, Allan Kardec. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00599-2">http://dx.doi.org/10.1007/978-3-642-00599-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Einführung in die Finanzmathematik
ent://SD_ILS/0/SD_ILS:198151
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Albrecher, Hansjörg. author. Binder, Andreas. author. Mayer, Philipp. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8784-6">http://dx.doi.org/10.1007/978-3-7643-8784-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design by Evolution Advances in Evolutionary Design
ent://SD_ILS/0/SD_ILS:187057
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Hingston, Philip F. editor. Barone, Luigi C. editor. Michalewicz, Zbigniew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74111-4">http://dx.doi.org/10.1007/978-3-540-74111-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Petri-Netze
ent://SD_ILS/0/SD_ILS:187745
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76971-2">http://dx.doi.org/10.1007/978-3-540-76971-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Time-Dependent Scheduling
ent://SD_ILS/0/SD_ILS:185828
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Gawiejnowicz, Stanisław. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69446-5">http://dx.doi.org/10.1007/978-3-540-69446-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Mechanism Design Eine Einführung
ent://SD_ILS/0/SD_ILS:187603
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Steimle, Jürgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76402-1">http://dx.doi.org/10.1007/978-3-540-76402-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretische Informatik Eine umfassende Einführung
ent://SD_ILS/0/SD_ILS:187575
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76320-8">http://dx.doi.org/10.1007/978-3-540-76320-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188500
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79719-7">http://dx.doi.org/10.1007/978-3-540-79719-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Local Search
ent://SD_ILS/0/SD_ILS:184315
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Michiels, Wil. author. Korst, Jan. author. Aarts, Emile. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-35854-1">http://dx.doi.org/10.1007/978-3-540-35854-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Independent Component Analysis and Signal Separation 7th International Conference, ICA 2007, London, UK, September 9-12, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187178
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Davies, Mike E. editor. James, Christopher J. editor. Abdallah, Samer A. editor. Plumbley, Mark D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74494-8">http://dx.doi.org/10.1007/978-3-540-74494-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra Recipes An Advanced Guide to Scientific Modeling
ent://SD_ILS/0/SD_ILS:166466
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-49333-6">http://dx.doi.org/10.1007/978-0-387-49333-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Essentials of Mathematica With Applications to Mathematics and Physics
ent://SD_ILS/0/SD_ILS:166484
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Boccara, Nino. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-49514-9">http://dx.doi.org/10.1007/978-0-387-49514-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra
ent://SD_ILS/0/SD_ILS:166115
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-35651-8">http://dx.doi.org/10.1007/978-0-387-35651-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition
ent://SD_ILS/0/SD_ILS:166176
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36797-2">http://dx.doi.org/10.1007/978-0-387-36797-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186652
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183456
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Rosca, Justinian. editor. Erdogmus, Deniz. editor. Príncipe, José C. editor. Haykin, Simon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11679363">http://dx.doi.org/10.1007/11679363</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Optimization From Theory to Implementation
ent://SD_ILS/0/SD_ILS:165746
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
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-19T02:50:12Z
2026-01-19T02:50:12Z
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/>
Parameterized Complexity Theory
ent://SD_ILS/0/SD_ILS:182197
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
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/>
Numerical Optimization Theoretical and Practical Aspects
ent://SD_ILS/0/SD_ILS:184253
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Bonnans, J. Frédéric. author. Gilbert, J. Charles. author. Lemaréchal, Claude. author. Sagastizábal, Claudia A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-35447-5">http://dx.doi.org/10.1007/978-3-540-35447-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184496
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Differential Evolution A Practical Approach to Global Optimization
ent://SD_ILS/0/SD_ILS:182598
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Price, Kenneth V. author. Storn, Rainer M. author. Lampinen, Jouni A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-31306-0">http://dx.doi.org/10.1007/3-540-31306-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182752
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182826
2026-01-19T02:50:12Z
2026-01-19T02:50:12Z
Author Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>