Search Results for Engineering - Narrowed by: Algorithms.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dEngineering$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue?dt=list
2024-12-29T14:05:42Z
Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483767
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27455-9">https://doi.org/10.1007/978-3-030-27455-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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485644
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09940-8">https://doi.org/10.1007/978-3-319-09940-8</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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Knowledge Science, Engineering and Management 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:484700
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Douligeris, Christos. editor. (orcid)0000-0002-6849-6693 Karagiannis, Dimitris. editor. (orcid)0000-0003-2162-9740 Apostolou, Dimitris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29563-9">https://doi.org/10.1007/978-3-030-29563-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Science, Engineering and Management 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:485308
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Douligeris, Christos. editor. (orcid)0000-0002-6849-6693 Karagiannis, Dimitris. editor. (orcid)0000-0003-2162-9740 Apostolou, Dimitris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29551-6">https://doi.org/10.1007/978-3-030-29551-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
ent://SD_ILS/0/SD_ILS:482889
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488510
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Zowghi, Didar. editor. Jin, Zhi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43610-3">https://doi.org/10.1007/978-3-662-43610-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modern Advances in Applied Intelligence 27th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2014, Kaohsiung, Taiwan, June 3-6, 2014, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:489039
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Ali, Moonis. editor. Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Horng, Mong-Fong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07455-9">https://doi.org/10.1007/978-3-319-07455-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modern Advances in Applied Intelligence 27th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2014, Kaohsiung, Taiwan, June 3-6, 2014, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:489126
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Ali, Moonis. editor. Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Horng, Mong-Fong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07467-2">https://doi.org/10.1007/978-3-319-07467-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Future Data and Security Engineering 1st International Conference, FDSE 2014, Ho Chi Minh City, Vietnam, November 19-21, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489103
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Wagner, Roland. editor. Neuhold, Erich J. editor. Takizawa, Makoto. editor. Küng, Josef. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12778-1">https://doi.org/10.1007/978-3-319-12778-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hypergraph Theory An Introduction
ent://SD_ILS/0/SD_ILS:332674
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482869
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30942-8">https://doi.org/10.1007/978-3-030-30942-8</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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486578
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489059
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05215-1">https://doi.org/10.1007/978-3-319-05215-1</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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489028
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications
ent://SD_ILS/0/SD_ILS:331024
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Tempo, Roberto. author. Calafiore, Giuseppe. author. Dabbene, Fabrizio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331024.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4610-0">http://dx.doi.org/10.1007/978-1-4471-4610-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Randomized Algorithms for Analysis and Control of Uncertain Systems
ent://SD_ILS/0/SD_ILS:175189
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Tempo, Roberto. author. Dabbene, Fabrizio. author. Calafiore, Giuseppe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137802">http://dx.doi.org/10.1007/b137802</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485691
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11454-5">https://doi.org/10.1007/978-3-319-11454-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Algorithms First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487768
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Gupta, Prosenjit. editor. Zaroliagis, Christos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04126-1">https://doi.org/10.1007/978-3-319-04126-1</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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489003
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12466-7">https://doi.org/10.1007/978-3-319-12466-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Binary Number System Algorithms and Circuits
ent://SD_ILS/0/SD_ILS:335470
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Jamil, Tariq. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335470.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-81-322-0854-9">http://dx.doi.org/10.1007/978-81-322-0854-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Resource-Aware Data Fusion Algorithms for Wireless Sensor Networks
ent://SD_ILS/0/SD_ILS:173923
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Abdelgawad, Ahmed. author. Bayoumi, Magdy. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1350-9">http://dx.doi.org/10.1007/978-1-4614-1350-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithm-Architecture Matching for Signal and Image Processing Best papers from Design and Architectures for Signal and Image Processing 2007 & 2008 & 2009
ent://SD_ILS/0/SD_ILS:205644
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Gogniat, Guy. editor. Milojevic, Dragomir. editor. Morawiec, Adam. editor. Erdogan, Ahmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9965-5">http://dx.doi.org/10.1007/978-90-481-9965-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Space-Filling Curves An Introduction with Applications in Scientific Computing
ent://SD_ILS/0/SD_ILS:333387
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Bader, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333387.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31046-1">http://dx.doi.org/10.1007/978-3-642-31046-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, automata, and algorithms
ent://SD_ILS/0/SD_ILS:257239
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Algorithms, graphs and computers
ent://SD_ILS/0/SD_ILS:256723
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Bellman, Richard, 1920-1984. Cooke, Kenneth L. Lockett, Jo Ann.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120848409">http://www.sciencedirect.com/science/book/9780120848409</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms
ent://SD_ILS/0/SD_ILS:249641
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Akay, Metin. IEEE Engineering in Medicine and Biology Society.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nonlinear biomedical signal processing. Volume 2, Dynamic analysis and modeling
ent://SD_ILS/0/SD_ILS:249642
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Akay, Metin. IEEE Engineering in Medicine and Biology Society.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263163">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263163</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bio-Inspired Models of Network, Information, and Computing Systems 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10--11, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487034
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Di Caro, Gianni A. editor. Theraulaz, Guy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06944-9">https://doi.org/10.1007/978-3-319-06944-9</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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483738
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26831-2">https://doi.org/10.1007/978-3-030-26831-2</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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Introduction to Digital Systems Design
ent://SD_ILS/0/SD_ILS:484014
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92804-3">https://doi.org/10.1007/978-3-319-92804-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484191
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Catania, Barbara. editor. (orcid)0000-0002-6443-169X Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Nawrocki, Jerzy. editor. Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-10801-4">https://doi.org/10.1007/978-3-030-10801-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Sensor Systems 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484228
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Dressler, Falko. editor. (orcid)0000-0002-1989-1750 Scheideler, Christian. editor. (orcid)0000-0002-5278-528X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34405-4">https://doi.org/10.1007/978-3-030-34405-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484866
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21571-2">https://doi.org/10.1007/978-3-030-21571-2</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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485820
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35092-5">https://doi.org/10.1007/978-3-030-35092-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Computation and Complex Networks
ent://SD_ILS/0/SD_ILS:485851
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Liu, Jing. author. Abbass, Hussein A. author. Tan, Kay Chen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60000-0">https://doi.org/10.1007/978-3-319-60000-0</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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485468
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30275-7">https://doi.org/10.1007/978-3-030-30275-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486614
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Olvera-López, José Arturo. editor. (orcid)0000-0003-0639-1463 Salas, Joaquín. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21077-9">https://doi.org/10.1007/978-3-030-21077-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spline and Spline Wavelet Methods with Applications to Signal and Image Processing Volume III: Selected Topics
ent://SD_ILS/0/SD_ILS:483690
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Averbuch, Amir Z. author. Neittaanmäki, Pekka. author. Zheludev, Valery A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92123-5">https://doi.org/10.1007/978-3-319-92123-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483867
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484958
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34500-6">https://doi.org/10.1007/978-3-030-34500-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485418
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001 Sanguinetti, Guido. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31304-3">https://doi.org/10.1007/978-3-030-31304-3</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:483245
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-11298-1">https://doi.org/10.1007/978-3-030-11298-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485409
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898 Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31140-7">https://doi.org/10.1007/978-3-030-31140-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fast Fourier Transform Algorithms for Parallel Computers
ent://SD_ILS/0/SD_ILS:486108
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Takahashi, Daisuke. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-9965-7">https://doi.org/10.1007/978-981-13-9965-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Software Science State of the Art and Perspectives
ent://SD_ILS/0/SD_ILS:486069
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486937
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30923-7">https://doi.org/10.1007/978-3-030-30923-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Thinking First Algorithms, Then Code
ent://SD_ILS/0/SD_ILS:399931
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97940-3">https://doi.org/10.1007/978-3-319-97940-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401797
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Kaczorowski, Jerzy. editor. Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 Pomykała, Jacek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76620-1">https://doi.org/10.1007/978-3-319-76620-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nature-Inspired Algorithms and Applied Optimization
ent://SD_ILS/0/SD_ILS:402238
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Inspired by Nature Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday
ent://SD_ILS/0/SD_ILS:401100
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Stepney, Susan. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67997-6">https://doi.org/10.1007/978-3-319-67997-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduzione al Progetto di Sistemi Digitali
ent://SD_ILS/0/SD_ILS:401180
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-88-470-3963-6">https://doi.org/10.1007/978-88-470-3963-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:485626
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09150-1">https://doi.org/10.1007/978-3-319-09150-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:485695
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Sun, Xiang-he. editor. Qu, Wenyu. editor. Stojmenovic, Ivan. editor. Zhou, Wanlei. editor. Li, Zhiyang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11197-1">https://doi.org/10.1007/978-3-319-11197-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:485778
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Lopes, Luís. editor. Žilinskas, Julius. editor. Costan, Alexandru. editor. Cascella, Roberto G. editor. Kecskemeti, Gabor. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14325-5">https://doi.org/10.1007/978-3-319-14325-5</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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:487790
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09147-1">https://doi.org/10.1007/978-3-319-09147-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487795
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Alhazov, Artiom. editor. Cojocaru, Svetlana. editor. Gheorghe, Marian. editor. Rogozhin, Yurii. editor. Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54239-8">https://doi.org/10.1007/978-3-642-54239-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485732
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Felber, Pascal. editor. Garg, Vijay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11764-5">https://doi.org/10.1007/978-3-319-11764-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:487279
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Sun, Xiang-he. editor. Qu, Wenyu. editor. Stojmenovic, Ivan. editor. Zhou, Wanlei. editor. Li, Zhiyang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11194-0">https://doi.org/10.1007/978-3-319-11194-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet and Distributed Computing Systems 7th International Conference, IDCS 2014, Calabria, Italy, September 22-24, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487281
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Fortino, Giancarlo. editor. Di Fatta, Giuseppe. editor. Li, Wenfeng. editor. Ochoa, Sergio F. editor. (orcid)0000-0002-0431-8767 Cuzzocrea, Alfredo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11692-1">https://doi.org/10.1007/978-3-319-11692-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Economics of Grids, Clouds, Systems, and Services 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers.
ent://SD_ILS/0/SD_ILS:487305
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Altmann, Jörn. editor. Vanmechelen, Kurt. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14609-6">https://doi.org/10.1007/978-3-319-14609-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487483
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Chatterjee, Mainak. editor. Cao, Jian-nong. editor. Kothapalli, Kishore. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-45249-9">https://doi.org/10.1007/978-3-642-45249-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487519
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Dediu, Adrian-Horia. editor. Lozano, Manuel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13749-0">https://doi.org/10.1007/978-3-319-13749-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487652
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author González-Ramírez, Rosa G. editor. Schulte, Frederik. editor. Voß, Stefan. editor. Ceroni Díaz, Jose A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11421-7">https://doi.org/10.1007/978-3-319-11421-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:487758
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09129-7">https://doi.org/10.1007/978-3-319-09129-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:487767
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55224-3">https://doi.org/10.1007/978-3-642-55224-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489069
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sosík, Petr. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14370-5">https://doi.org/10.1007/978-3-319-14370-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:489073
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09156-3">https://doi.org/10.1007/978-3-319-09156-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiple Access Communications 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489165
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Belyaev, Evgeny. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10262-7">https://doi.org/10.1007/978-3-319-10262-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multidimensional Queueing Models in Telecommunication Networks
ent://SD_ILS/0/SD_ILS:489637
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Melikov, Agassi. author. Ponomarenko, Leonid. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08669-9">https://doi.org/10.1007/978-3-319-08669-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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Decision and Game Theory in Management With Intuitionistic Fuzzy Sets
ent://SD_ILS/0/SD_ILS:484921
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Li, Deng-Feng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-40712-3">https://doi.org/10.1007/978-3-642-40712-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:484951
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09144-0">https://doi.org/10.1007/978-3-319-09144-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482660
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author an Mey, Dieter. editor. Alexander, Michael. editor. Paolo, Bientinesi. editor. Cannataro, Mario. editor. Clauss, Carsten. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54420-0">https://doi.org/10.1007/978-3-642-54420-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:486853
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09153-2">https://doi.org/10.1007/978-3-319-09153-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Power System Analysis
ent://SD_ILS/0/SD_ILS:487467
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Idema, Reijer. author. Lahaye, Domenico J.P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.2991/978-94-6239-064-5">https://doi.org/10.2991/978-94-6239-064-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
ent://SD_ILS/0/SD_ILS:488919
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13906-7">https://doi.org/10.1007/978-3-319-13906-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:488925
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Lopes, Luís. editor. Žilinskas, Julius. editor. Costan, Alexandru. editor. Cascella, Roberto G. editor. Kecskemeti, Gabor. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14313-2">https://doi.org/10.1007/978-3-319-14313-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Condition The Geometry of Numerical Algorithms
ent://SD_ILS/0/SD_ILS:334693
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Mathematik für Ingenieure Eine anschauliche Einführung für das praxisorientierte Studium
ent://SD_ILS/0/SD_ILS:337225
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Rießinger, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337225.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36859-2">http://dx.doi.org/10.1007/978-3-642-36859-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Übungsaufgaben zur Mathematik für Ingenieure Mit durchgerechneten und erklärten Lösungen
ent://SD_ILS/0/SD_ILS:337231
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Rießinger, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337231.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36921-6">http://dx.doi.org/10.1007/978-3-642-36921-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Gewöhnliche Differentialgleichungen Theorie und Praxis - vertieft und visualisiert mit Maple®
ent://SD_ILS/0/SD_ILS:337303
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Forst, Wilhelm. author. Hoffmann, Dieter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337303.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37883-6">http://dx.doi.org/10.1007/978-3-642-37883-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modern Accelerator Technologies for Geographic Information Science
ent://SD_ILS/0/SD_ILS:332446
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Shi, Xuan. editor. Kindratenko, Volodymyr. editor. Yang, Chaowei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332446.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-8745-6">http://dx.doi.org/10.1007/978-1-4614-8745-6</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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Mathematik kompakt für Ingenieure und Informatiker
ent://SD_ILS/0/SD_ILS:336902
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Stry, Yvonne. author. Schwenkert, Rainer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336902.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24327-1">http://dx.doi.org/10.1007/978-3-642-24327-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sensors: Theory, Algorithms, and Applications
ent://SD_ILS/0/SD_ILS:167892
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Quantitative Methods in Supply Chain Management Models and Algorithms
ent://SD_ILS/0/SD_ILS:168591
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Christou, Ioannis T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-766-2">http://dx.doi.org/10.1007/978-0-85729-766-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mechanical Design Optimization Using Advanced Optimization Techniques
ent://SD_ILS/0/SD_ILS:173472
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Rao, R. Venkata. author. Savsani, Vimal J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2748-2">http://dx.doi.org/10.1007/978-1-4471-2748-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The BOXES Methodology Black Box Dynamic Control
ent://SD_ILS/0/SD_ILS:176276
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Russell, David W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-528-6">http://dx.doi.org/10.1007/978-1-84996-528-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Geometry Algorithms Theoretical Foundations and Applications to Computational Imaging
ent://SD_ILS/0/SD_ILS:206617
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Brimkov, Valentin E. editor. Barneva, Reneta P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4174-4">http://dx.doi.org/10.1007/978-94-007-4174-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Funktionentheorie erkunden mit Maple
ent://SD_ILS/0/SD_ILS:196692
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Forst, Wilhelm. author. Hoffmann, Dieter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29412-9">http://dx.doi.org/10.1007/978-3-642-29412-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Statistical Signal Processing Frequency Estimation
ent://SD_ILS/0/SD_ILS:204071
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Computer methods. Part C
ent://SD_ILS/0/SD_ILS:299091
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Johnson, Michael L., 1947- Brand, Ludwig. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118164792">An electronic book accessible through the World Wide Web; click for information</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Signal Processing in Power System Protection and Control
ent://SD_ILS/0/SD_ILS:168599
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Rebizant, Waldemar. author. Szafran, Janusz. author. Wiszniewski, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-802-7">http://dx.doi.org/10.1007/978-0-85729-802-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematik für Ingenieure Ein anwendungsorientiertes Lehrbuch
ent://SD_ILS/0/SD_ILS:192100
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Westermann, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12760-1">http://dx.doi.org/10.1007/978-3-642-12760-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer methods. Part C
ent://SD_ILS/0/SD_ILS:147113
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Johnson, Michael L., 1947- Brand, Ludwig.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=00766879&volume=487">http://www.sciencedirect.com/science/publication?issn=00766879&volume=487</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123812704">http://www.sciencedirect.com/science/book/9780123812704</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematik für Ingenieure Eine anschauliche Einführung für das praxisorientierte Studium
ent://SD_ILS/0/SD_ILS:193433
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Rießinger, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16851-2">http://dx.doi.org/10.1007/978-3-642-16851-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Übungsaufgaben zur Mathematik für Ingenieure Mit durchgerechneten und erklärten Lösungen
ent://SD_ILS/0/SD_ILS:193434
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Rießinger, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16853-6">http://dx.doi.org/10.1007/978-3-642-16853-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194411
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Alpuente, María. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20551-4">http://dx.doi.org/10.1007/978-3-642-20551-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
G.W. Stewart Selected Works with Commentaries
ent://SD_ILS/0/SD_ILS:168332
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Kilmer, Misha E. editor. O'Leary, Dianne P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4968-5">http://dx.doi.org/10.1007/978-0-8176-4968-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimental Methods for the Analysis of Optimization Algorithms
ent://SD_ILS/0/SD_ILS:190352
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Bartz-Beielstein, Thomas. editor. Chiarandini, Marco. editor. Paquete, Luís. editor. Preuss, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02538-9">http://dx.doi.org/10.1007/978-3-642-02538-9</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
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Mathematik kompakt für Ingenieure und Informatiker
ent://SD_ILS/0/SD_ILS:191608
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Stry, Yvonne. author. Schwenkert, Rainer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11192-1">http://dx.doi.org/10.1007/978-3-642-11192-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Floating-Point Arithmetic
ent://SD_ILS/0/SD_ILS:168263
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Muller, Jean-Michel. author. Brisebarre, Nicolas. author. de Dinechin, Florent. author. Jeannerod, Claude-Pierre. author. Lefèvre, Vincent. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4705-6">http://dx.doi.org/10.1007/978-0-8176-4705-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ideal Sequence Design in Time-Frequency Space Applications to Radar, Sonar, and Communication Systems
ent://SD_ILS/0/SD_ILS:168275
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Tolimieri, Richard. author. Brodzik, Andrzej K. author. An, Myoung. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4738-4">http://dx.doi.org/10.1007/978-0-8176-4738-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Polygons, Polyominoes and Polycubes
ent://SD_ILS/0/SD_ILS:170688
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Protective Relaying of Power Systems Using Mathematical Morphology
ent://SD_ILS/0/SD_ILS:175988
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
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/>
Mathematik für Ingenieure Eine anschauliche Einführung für das praxisorientierte Studium
ent://SD_ILS/0/SD_ILS:189219
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Rießinger, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89206-9">http://dx.doi.org/10.1007/978-3-540-89206-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Übungsaufgaben zur Mathematik für Ingenieure Mit durchgerechneten und erklärten Lösungen
ent://SD_ILS/0/SD_ILS:189221
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Rießinger, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89210-6">http://dx.doi.org/10.1007/978-3-540-89210-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189717
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Hanus, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00515-2">http://dx.doi.org/10.1007/978-3-642-00515-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190192
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Du, Ding-Zhu. editor. Hu, Xiaodong. 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-3-642-02026-1">http://dx.doi.org/10.1007/978-3-642-02026-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Computing on the Cell Broadband Engine
ent://SD_ILS/0/SD_ILS:171927
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Koranne, Sandeep. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0308-2">http://dx.doi.org/10.1007/978-1-4419-0308-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190271
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Deng, Xiaotie. editor. Hopcroft, John E. editor. Xue, Jinyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02270-8">http://dx.doi.org/10.1007/978-3-642-02270-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress on Meshless Methods
ent://SD_ILS/0/SD_ILS:170338
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Ferreira, A. J. M. editor. Kansa, E. J. editor. Fasshauer, G. E. editor. Leitão, V. M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8821-6">http://dx.doi.org/10.1007/978-1-4020-8821-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematik für Ingenieure Ein anwendungsorientiertes Lehrbuch
ent://SD_ILS/0/SD_ILS:187961
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Westermann, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77731-1">http://dx.doi.org/10.1007/978-3-540-77731-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Resource Allocation in Wireless Networks Theory and Algorithms
ent://SD_ILS/0/SD_ILS:188418
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Stanczak, Slawomir. author. Wiczanowski, Marcin. 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-540-79386-1">http://dx.doi.org/10.1007/978-3-540-79386-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Meshfree Techniques
ent://SD_ILS/0/SD_ILS:169689
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Leitão, V. M. A. editor. Alves, C. J. S. editor. Armando Duarte, C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6095-3">http://dx.doi.org/10.1007/978-1-4020-6095-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematik für Ingenieure Eine anschauliche Einführung für das praxisorientierte Studium
ent://SD_ILS/0/SD_ILS:185388
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Rießinger, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68181-6">http://dx.doi.org/10.1007/978-3-540-68181-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Übungsaufgaben zur Mathematik für Ingenieure Mit durchgerechneten und erklärten Lösungen
ent://SD_ILS/0/SD_ILS:185703
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Rießinger, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69075-7">http://dx.doi.org/10.1007/978-3-540-69075-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Assembly Line Design The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms
ent://SD_ILS/0/SD_ILS:175242
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Rekiek, Brahim. author. Delchambre, Alain. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138846">http://dx.doi.org/10.1007/b138846</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Triangulations and Applications
ent://SD_ILS/0/SD_ILS:183681
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Hjelle, Øyvind. author. Dæhlen, Morten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-33261-8">http://dx.doi.org/10.1007/3-540-33261-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematik Kompakt
ent://SD_ILS/0/SD_ILS:183288
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Stry, Yvonne. author. Schwenkert, Rainer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32312-0">http://dx.doi.org/10.1007/3-540-32312-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Information Theory Mathematics of Digital Information
ent://SD_ILS/0/SD_ILS:183666
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Seibt, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-33219-0">http://dx.doi.org/10.1007/978-3-540-33219-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Event-Based Systems
ent://SD_ILS/0/SD_ILS:183464
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Mühl, Gero. author. Fiege, Ludger. author. Pietzuch, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32653-7">http://dx.doi.org/10.1007/3-540-32653-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Resource Allocation in Wireless Networks Theory and Algorithms
ent://SD_ILS/0/SD_ILS:184905
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Stańczak, Sławomir. author. Wiczanowski, Marcin. author. Boche, Holger. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11818762">http://dx.doi.org/10.1007/11818762</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematik für Ingenieure mit Maple Differential- und Integralrechnung für Funktionen einer Variablen, Vektor- und Matrizenrechnung, Komplexe Zahlen, Funktionenreihen
ent://SD_ILS/0/SD_ILS:180921
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Westermann, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137980">http://dx.doi.org/10.1007/b137980</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Gewöhnliche Differentialgleichungen Theorie und Praxis - vertieft und visualisiert mit Maple®
ent://SD_ILS/0/SD_ILS:181418
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Forst, Wilhelm. author. Hoffmann, Dieter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b139106">http://dx.doi.org/10.1007/b139106</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hierarchical Bayesian Optimization Algorithm Toward a new Generation of Evolutionary Algorithms
ent://SD_ILS/0/SD_ILS:183316
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Pelikan, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b10910">http://dx.doi.org/10.1007/b10910</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nonblocking Electronic and Photonic Switching Fabrics
ent://SD_ILS/0/SD_ILS:165285
2024-12-29T14:05:42Z
2024-12-29T14:05:42Z
Author Kabaciński, Wojciech. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137691">http://dx.doi.org/10.1007/b137691</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>