Search Results for Systems software. - Narrowed by: 2013 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bsoftware.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092013$0025092013$0026ps$003d300? 2025-12-13T13:59:21Z Gr&ouml;bner Bases Statistics and Software Systems ent://SD_ILS/0/SD_ILS:335439 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Hibi, Takayuki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335439.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-4-431-54574-3">http://dx.doi.org/10.1007/978-4-431-54574-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Dependability Assessment of Software Systems ent://SD_ILS/0/SD_ILS:334812 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Bernardi, Simona. author.&#160;Merseguer, Jos&eacute;. author.&#160;Petriu, Dorina Corina. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334812.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39512-3">http://dx.doi.org/10.1007/978-3-642-39512-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Directory of library automation software, systems, and services. ent://SD_ILS/0/SD_ILS:79391 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Cibbarelli, Pamela R., ed.&#160;Information Today, Inc.<br/>Preferred Shelf Number&#160;Z678.9.A3 D6<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333015 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Zuniga, Marco. editor.&#160;Dini, Gianluca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333015.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-04166-7">http://dx.doi.org/10.1007/978-3-319-04166-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334278 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Piterman, Nir. editor.&#160;Smolka, Scott A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334278.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures ent://SD_ILS/0/SD_ILS:334688 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Bernardo, Marco. editor.&#160;Vink, Erik. editor.&#160;Pierro, Alessandra. editor.&#160;Wiklicky, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334688.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Planets, Stars and Stellar Systems Volume 2: Astronomical Techniques, Software, and Data ent://SD_ILS/0/SD_ILS:336020 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Oswalt, Terry D. editor.&#160;Bond, Howard E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336020.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5618-2">http://dx.doi.org/10.1007/978-94-007-5618-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition ent://SD_ILS/0/SD_ILS:336495 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Ben Abdallah, Abderazek. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336495.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-91216-92-3">http://dx.doi.org/10.2991/978-94-91216-92-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334348 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Felleisen, Matthias. editor.&#160;Gardner, Philippa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334348.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335064 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;H&#345;eb&iacute;&#269;ek, Ji&#345;&iacute;. editor.&#160;Schimak, Gerald. editor.&#160;Kub&aacute;sek, Miroslav. editor.&#160;Rizzoli, Andrea E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335064.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41151-9">http://dx.doi.org/10.1007/978-3-642-41151-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335024 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Gorbenko, Anatoliy. editor.&#160;Romanovsky, Alexander. editor.&#160;Kharchenko, Vyacheslav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335024.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334744 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;McCaffery, Fergal. editor.&#160;O&rsquo;Connor, Rory V. editor.&#160;Messnarz, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334744.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39179-8">http://dx.doi.org/10.1007/978-3-642-39179-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335141 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Yenig&uuml;n, H&uuml;sn&uuml;. editor.&#160;Yilmaz, Cemal. editor.&#160;Ulrich, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335141.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335170 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Fitzgerald, Brian. editor.&#160;Conboy, Kieran. editor.&#160;Power, Ken. editor.&#160;Valerdi, Ricardo. editor.&#160;Morgan, Lorraine. editor.<br/>Preferred Shelf Number&#160;ONLINE(335170.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-44930-7">http://dx.doi.org/10.1007/978-3-642-44930-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335198 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Moschitti, Alessandro. editor.&#160;Plank, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335198.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45260-4">http://dx.doi.org/10.1007/978-3-642-45260-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Using Event-B for Critical Device Software Systems ent://SD_ILS/0/SD_ILS:331181 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Singh, Neeraj Kumar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331181.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334033 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Winkler, Dietmar. editor.&#160;Biffl, Stefan. editor.&#160;Bergsmann, Johannes. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334033.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35702-2">http://dx.doi.org/10.1007/978-3-642-35702-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:334055 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Lemos, Rog&eacute;rio. editor.&#160;Giese, Holger. editor.&#160;M&uuml;ller, Hausi A. editor.&#160;Shaw, Mary. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334055.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334236 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;J&uuml;rjens, Jan. editor.&#160;Livshits, Benjamin. editor.&#160;Scandariato, Riccardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334236.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36563-8">http://dx.doi.org/10.1007/978-3-642-36563-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems and Software Variability Management Concepts, Tools and Experiences ent://SD_ILS/0/SD_ILS:334240 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Capilla, Rafael. editor.&#160;Bosch, Jan. editor.&#160;Kang, Kyo-Chul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334240.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36583-6">http://dx.doi.org/10.1007/978-3-642-36583-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development ent://SD_ILS/0/SD_ILS:333358 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Trendowicz, Adam. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333358.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30764-5">http://dx.doi.org/10.1007/978-3-642-30764-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information security management handbook ent://SD_ILS/0/SD_ILS:542831 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Tipton, Harold F.&#160;Krause, Micki.<br/>Preferred Shelf Number&#160;QA76.9 .A25 I54165 2003<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420003406">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Introduction to Cryptography with Maple ent://SD_ILS/0/SD_ILS:333533 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;G&oacute;mez Pardo, Jos&eacute; Luis. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333533.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32166-5">http://dx.doi.org/10.1007/978-3-642-32166-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Surface- and Groundwater Quality Changes in Periods of Water Scarcity ent://SD_ILS/0/SD_ILS:333547 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Gregor, Milo&scaron;. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333547.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32244-0">http://dx.doi.org/10.1007/978-3-642-32244-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334328 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Caragiannis, Ioannis. editor.&#160;Alexander, Michael. editor.&#160;Badia, Rosa Maria. editor.&#160;Cannataro, Mario. editor.&#160;Costan, Alexandru. editor.<br/>Preferred Shelf Number&#160;ONLINE(334328.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36949-0">http://dx.doi.org/10.1007/978-3-642-36949-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Guide to Databases A Practical Introduction ent://SD_ILS/0/SD_ILS:331224 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Lake, Peter. author.&#160;Crowther, Paul. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331224.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5601-7">http://dx.doi.org/10.1007/978-1-4471-5601-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Development Reflections, Challenges and New Directions ent://SD_ILS/0/SD_ILS:331631 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Pooley, Rob. editor.&#160;Coady, Jennifer. editor.&#160;Schneider, Christoph. editor.&#160;Linger, Henry. editor.&#160;Barry, Chris. editor.<br/>Preferred Shelf Number&#160;ONLINE(331631.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4951-5">http://dx.doi.org/10.1007/978-1-4614-4951-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Finding Source Code on the Web for Remix and Reuse ent://SD_ILS/0/SD_ILS:332071 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Sim, Susan Elliott. editor.&#160;Gallardo-Valencia, Rosalva E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332071.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6596-6">http://dx.doi.org/10.1007/978-1-4614-6596-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scala Design Patterns Patterns for Practical Reuse and Design ent://SD_ILS/0/SD_ILS:332904 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Hunt, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332904.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02192-8">http://dx.doi.org/10.1007/978-3-319-02192-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332921 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Hung, Dang. editor.&#160;Ogawa, Mizuhito. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332921.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:333246 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Cordeiro, Jos&eacute;. editor.&#160;Virvou, Maria. editor.&#160;Shishkov, Boris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333246.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29578-2">http://dx.doi.org/10.1007/978-3-642-29578-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing ent://SD_ILS/0/SD_ILS:334079 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Keller, Rainer. editor.&#160;Kramer, David. editor.&#160;Weiss, Jan-Philipp. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334079.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35893-7">http://dx.doi.org/10.1007/978-3-642-35893-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:334096 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;L&auml;mmel, Ralf. editor.&#160;Saraiva, Jo&atilde;o. editor.&#160;Visser, Joost. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334096.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334533 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Brat, Guillaume. editor.&#160;Rungta, Neha. editor.&#160;Venet, Arnaud. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334533.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Dynpro ABAP for Practitioners ent://SD_ILS/0/SD_ILS:334566 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Gellert, Ulrich. author.&#160;Cristea, Ana Daniela. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334566.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38247-5">http://dx.doi.org/10.1007/978-3-642-38247-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings ent://SD_ILS/0/SD_ILS:334706 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Favaro, John. editor.&#160;Morisio, Maurizio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334706.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38977-1">http://dx.doi.org/10.1007/978-3-642-38977-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334871 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Malyshkin, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334871.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project ent://SD_ILS/0/SD_ILS:335577 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Cotroneo, Domenico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335577.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-2772-5">http://dx.doi.org/10.1007/978-88-470-2772-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011 ent://SD_ILS/0/SD_ILS:335821 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Kim, Haeng Kon. editor.&#160;Ao, Sio-Iong. editor.&#160;Rieger, Burghard B. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335821.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-4786-9">http://dx.doi.org/10.1007/978-94-007-4786-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations ent://SD_ILS/0/SD_ILS:333514 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Raynal, Michel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333514.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32027-9">http://dx.doi.org/10.1007/978-3-642-32027-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Software Industry Economic Principles, Strategies, Perspectives ent://SD_ILS/0/SD_ILS:333443 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Buxmann, Peter. author.&#160;Diefenbach, Heiner. author.&#160;Hess, Thomas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333443.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31510-7">http://dx.doi.org/10.1007/978-3-642-31510-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Industrial Deployment of System Engineering Methods ent://SD_ILS/0/SD_ILS:333675 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Romanovsky, Alexander. editor.&#160;Thomas, Martyn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333675.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33170-1">http://dx.doi.org/10.1007/978-3-642-33170-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies ent://SD_ILS/0/SD_ILS:333688 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Reisig, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333688.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33278-4">http://dx.doi.org/10.1007/978-3-642-33278-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers ent://SD_ILS/0/SD_ILS:334344 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Piazolo, Felix. editor.&#160;Felderer, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334344.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37021-2">http://dx.doi.org/10.1007/978-3-642-37021-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The practical OPNET user guide for computer network simulation ent://SD_ILS/0/SD_ILS:541950 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Sethi, Adarshpal S., author.&#160;Hnatyshin, Vasil Y.<br/>Preferred Shelf Number&#160;TK5105.5 .S4243 2013<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781439812068">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Handbook on mobile and ubiquitous computing : status and perspective ent://SD_ILS/0/SD_ILS:543591 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Yang, Laurence Tianruo.&#160;Syukur, Evi.&#160;Loke, Seng.<br/>Preferred Shelf Number&#160;QA76.59 .H364 2013<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781439848128">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Low power emerging wireless technologies ent://SD_ILS/0/SD_ILS:544454 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Mahmoudi, Reza.&#160;Iniewski, Krzysztof, 1960-<br/>Preferred Shelf Number&#160;TK5103.2 .L69 2013<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781315216515">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Service-oriented distributed knowledge discovery ent://SD_ILS/0/SD_ILS:545788 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Talia, Domenico., author.&#160;Trunfio, Paolo.<br/>Preferred Shelf Number&#160;QA76.9 .D343 T3484 2013<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781439875339">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Noise mapping in the EU : models and procedures ent://SD_ILS/0/SD_ILS:539227 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Licitra, Gaetano.<br/>Preferred Shelf Number&#160;TD893.5 .E85 N66 2013<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781136946097">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Safety and human error in engineering systems ent://SD_ILS/0/SD_ILS:540152 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Dhillon, B. S. (Balbir S.), 1947, author.<br/>Preferred Shelf Number&#160;T55 .D485 2013<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781466506954">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Spatial mathematics : theory and practice through mapping ent://SD_ILS/0/SD_ILS:544720 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Arlinghaus, Sandra L. (Sandra Lach), author.&#160;Kerski, Joseph J.<br/>Preferred Shelf Number&#160;G70.23 .A77 2013<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781466505339">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Netcentric system of systems engineering with DEVS unified process ent://SD_ILS/0/SD_ILS:545459 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Mittal, Saurabh., author.&#160;Cetinkaya, Deniz.&#160;Risco-Martin, Jose Luis, 1975-&#160;Seck, Mamadou D.&#160;Verbraeck, Alexander.<br/>Preferred Shelf Number&#160;TA168 .M58 2013<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781439827079">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Computer system reliability : safety and usability ent://SD_ILS/0/SD_ILS:547174 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Dhillon, B. S., author.<br/>Preferred Shelf Number&#160;QA76.76 .R44 D495 2013<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781466573130">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Computer-aided control systems design : practical applications using MATLAB and Simulink ent://SD_ILS/0/SD_ILS:547869 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Chin, Cheng Siong., author.<br/>Preferred Shelf Number&#160;TJ217 .C478 2013<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781315216010">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Robust Data Mining ent://SD_ILS/0/SD_ILS:330861 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Xanthopoulos, Petros. author.&#160;Pardalos, Panos M. author.&#160;Trafalis, Theodore B. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330861.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-9878-1">http://dx.doi.org/10.1007/978-1-4419-9878-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomic Computing Principles, Design and Implementation ent://SD_ILS/0/SD_ILS:331115 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Lalanda, Philippe. author.&#160;McCann, Julie A. author.&#160;Diaconescu, Ada. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331115.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5007-7">http://dx.doi.org/10.1007/978-1-4471-5007-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Network Programming with Java Java 7 Compatible ent://SD_ILS/0/SD_ILS:331180 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Graba, Jan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331180.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5254-5">http://dx.doi.org/10.1007/978-1-4471-5254-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Neuroevolution Through Erlang ent://SD_ILS/0/SD_ILS:331512 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Sher, Gene I. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331512.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4463-3">http://dx.doi.org/10.1007/978-1-4614-4463-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sustainable Web Ecosystem Design ent://SD_ILS/0/SD_ILS:332331 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;O'Toole, Greg. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332331.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-7714-3">http://dx.doi.org/10.1007/978-1-4614-7714-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift ent://SD_ILS/0/SD_ILS:332822 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Paule, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332822.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334071 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. editor.&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334071.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35867-8">http://dx.doi.org/10.1007/978-3-642-35867-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334077 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Beckert, Bernhard. editor.&#160;Damiani, Ferruccio. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334077.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334849 2025-12-13T13:59:21Z 2025-12-13T13:59:21Z Author&#160;Wang, Mingzheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334849.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39787-5">http://dx.doi.org/10.1007/978-3-642-39787-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>