Search Results for Software - Narrowed by: 2009 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$0026qf$003dPUBDATE$002509Publication$002bDate$0025092009$0025092009$0026ic$003dtrue$0026ps$003d300? 2026-05-14T10:10:23Z Software project management ent://SD_ILS/0/SD_ILS:313251 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Hughes, Bob.&#160;Cotterell, Mike.<br/>Preferred Shelf Number&#160;QA76.76 H84 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Geomorphometry concepts, software, applications ent://SD_ILS/0/SD_ILS:146531 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Hengl, Tomislav.&#160;Reuter, Hannes I.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123743459">http://www.sciencedirect.com/science/book/9780123743459</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecting secure software systems ent://SD_ILS/0/SD_ILS:538962 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Talukder, Asoke K., author.&#160;Chaitanya, Manish.<br/>Preferred Shelf Number&#160;QA76.9 .A25 T34 2009<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420087857">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Software-Entwicklung f&uuml;r Echtzeitsysteme ent://SD_ILS/0/SD_ILS:190052 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Benra, Juliane T. editor.&#160;Halang, Wolfgang A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01596-0">http://dx.doi.org/10.1007/978-3-642-01596-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise-scale agile software development ent://SD_ILS/0/SD_ILS:540109 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Schiel, James., author.<br/>Preferred Shelf Number&#160;QA76.76 .D47 S2957 2009<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781439803226">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Handbook of software engineering &amp; knowledge engineering ent://SD_ILS/0/SD_ILS:79287 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Chang, Shi Kuo, 1944- ed.<br/>Preferred Shelf Number&#160;QA 76.758 H36 2001- V.2<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Guide to Graphics Software Tools ent://SD_ILS/0/SD_ILS:175848 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Chen, Jim X. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-901-1">http://dx.doi.org/10.1007/978-1-84800-901-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life Models in Software ent://SD_ILS/0/SD_ILS:175940 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Komosinski, Maciej. editor.&#160;Adamatzky, Andrew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-285-6">http://dx.doi.org/10.1007/978-1-84882-285-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abnahme komplexer Software-Systeme Das Praxishandbuch ent://SD_ILS/0/SD_ILS:185414 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Osterhage, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68230-1">http://dx.doi.org/10.1007/978-3-540-68230-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware-dependent Software Principles and Practice ent://SD_ILS/0/SD_ILS:170535 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ecker, Wolfgang. editor.&#160;M&uuml;ller, Wolfgang. editor.&#160;D&ouml;mer, Rainer. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9436-1">http://dx.doi.org/10.1007/978-1-4020-9436-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Self-Adaptive Systems ent://SD_ILS/0/SD_ILS:190235 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Cheng, Betty H. C. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Giese, Holger. editor.&#160;Inverardi, Paola. editor.&#160;Magee, Jeff. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02161-9">http://dx.doi.org/10.1007/978-3-642-02161-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managing and leading software projects ent://SD_ILS/0/SD_ILS:249314 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Fairley, R. E. (Richard E.), 1937-&#160;IEEE Computer Society.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381789">An electronic book accessible through the World Wide Web; click for information</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems and software engineering with applications ent://SD_ILS/0/SD_ILS:249813 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Schneidewind, Norman.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539</a> IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539">http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software performance and scalability a quantitative approach ent://SD_ILS/0/SD_ILS:297728 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Liu, Henry H.&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=33731">http://www.books24x7.com/marc.asp?bookid=33731</a> Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=448916">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=448916</a> John Wiley <a href="http://dx.doi.org/10.1002/9780470465394">http://dx.doi.org/10.1002/9780470465394</a> Safari Books Online <a href="http://proquest.safaribooksonline.com/?fpi=9780470462539">http://proquest.safaribooksonline.com/?fpi=9780470462539</a> MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=223744&ref=toc">http://www.myilibrary.com?id=223744&ref=toc</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Software Development with C ent://SD_ILS/0/SD_ILS:172012 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Qian, Kai. author.&#160;Den Haring, David. author.&#160;Cao, Li. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0606-9">http://dx.doi.org/10.1007/978-1-4419-0606-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimierungssysteme Modelle, Verfahren, Software, Anwendungen ent://SD_ILS/0/SD_ILS:190045 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Mellouli, Taieb. author.&#160;Suhl, Leena. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01580-9">http://dx.doi.org/10.1007/978-3-642-01580-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software-Architektur kompakt &ndash; angemessen und zielorientiert ent://SD_ILS/0/SD_ILS:198699 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Starke, Gernot. author.&#160;Hruschka, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2205-7">http://dx.doi.org/10.1007/978-3-8274-2205-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software-Architektur Grundlagen &mdash; Konzepte &mdash; Praxis ent://SD_ILS/0/SD_ILS:198724 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Vogel, Oliver. author.&#160;Arnold, Ingo. author.&#160;Chughtai, Arif. author.&#160;Ihler, Edmund. author.&#160;Kehrer, Timo. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2267-5">http://dx.doi.org/10.1007/978-3-8274-2267-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Expressive processing digital fictions, computer games, and software studies ent://SD_ILS/0/SD_ILS:220214 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Wardrip-Fruin, Noah.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267550">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267550</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Approach to Modelling Software Evolution Processes ent://SD_ILS/0/SD_ILS:188443 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Li, Tong. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-79464-6">http://dx.doi.org/10.1007/978-3-540-79464-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experience and Knowledge Management in Software Engineering ent://SD_ILS/0/SD_ILS:189551 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Schneider, Kurt. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-95880-2">http://dx.doi.org/10.1007/978-3-540-95880-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture Knowledge Management Theory and Practice ent://SD_ILS/0/SD_ILS:190303 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ali Babar, Muhammad. editor.&#160;Dings&oslash;yr, Torgeir. editor.&#160;Lago, Patricia. editor.&#160;van Vliet, Hans. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02374-3">http://dx.doi.org/10.1007/978-3-642-02374-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Research, Management and Applications 2009 ent://SD_ILS/0/SD_ILS:191272 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Lee, Roger. editor.&#160;Ishii, Naohiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05441-9">http://dx.doi.org/10.1007/978-3-642-05441-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software error detection through testing and analysis ent://SD_ILS/0/SD_ILS:297725 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Huang, J. C., 1935-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=456102">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=456102</a> John Wiley <a href="http://dx.doi.org/10.1002/9780470464076">http://dx.doi.org/10.1002/9780470464076</a> MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=227967&ref=toc">http://www.myilibrary.com?id=227967&ref=toc</a> <a href="http://site.ebrary.com/lib/alltitles/Doc?id=10332960">http://site.ebrary.com/lib/alltitles/Doc?id=10332960</a> <a href="http://swb.eblib.com/patron/FullRecord.aspx?p=456102">http://swb.eblib.com/patron/FullRecord.aspx?p=456102</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> MIS cases : decision making with application software ent://SD_ILS/0/SD_ILS:316715 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Miller, M. Lisa.<br/>Preferred Shelf Number&#160;HD30.23 M55 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Transactions on Aspect-Oriented Software Development V ent://SD_ILS/0/SD_ILS:190203 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Rashid, Awais. editor.&#160;Ossher, Harold. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02059-9">http://dx.doi.org/10.1007/978-3-642-02059-9</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 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z 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/> Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering ent://SD_ILS/0/SD_ILS:175673 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Seffah, Ahmed. editor.&#160;Metzker, Eduard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-019-3">http://dx.doi.org/10.1007/978-1-84800-019-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI ent://SD_ILS/0/SD_ILS:175851 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Seffah, Ahmed. editor.&#160;Vanderdonckt, Jean. editor.&#160;Desmarais, Michel C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-907-3">http://dx.doi.org/10.1007/978-1-84800-907-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Verification and Analysis An Integrated, Hands-On Approach ent://SD_ILS/0/SD_ILS:175929 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Stanley, William. author.&#160;Laski, Janusz. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-240-5">http://dx.doi.org/10.1007/978-1-84882-240-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ada for Software Engineers (Second Edition with Ada 2005) ent://SD_ILS/0/SD_ILS:175948 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ben-Ari, Mordechai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-314-3">http://dx.doi.org/10.1007/978-1-84882-314-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Informatik in der Medizintechnik Grundlagen &mdash; Software &mdash; Computergest&uuml;tzte Systeme ent://SD_ILS/0/SD_ILS:177112 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Zauner, Martin. author.&#160;Schrempf, Andreas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-211-89189-6">http://dx.doi.org/10.1007/978-3-211-89189-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Green Software Defined Radios Enabling seamless connectivity while saving on hardware and energy ent://SD_ILS/0/SD_ILS:170071 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Perre, Liesbet Van der. author.&#160;Craninckx, Jan. author.&#160;Dejonghe, Antoine. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-8212-2">http://dx.doi.org/10.1007/978-1-4020-8212-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189739 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Castagna, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189740 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Chechik, Marsha. editor.&#160;Wirsing, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00593-0">http://dx.doi.org/10.1007/978-3-642-00593-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189741 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Alfaro, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00596-1">http://dx.doi.org/10.1007/978-3-642-00596-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189784 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Moor, Oege. editor.&#160;Schwartzbach, Michael I. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00722-4">http://dx.doi.org/10.1007/978-3-642-00722-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189794 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Kowalewski, Stefan. editor.&#160;Philippou, Anna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00768-2">http://dx.doi.org/10.1007/978-3-642-00768-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ocean Modelling for Beginners Using Open-Source Software ent://SD_ILS/0/SD_ILS:189801 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;K&auml;mpf, Jochen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00820-7">http://dx.doi.org/10.1007/978-3-642-00820-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190232 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bomarius, Frank. editor.&#160;Oivo, Markku. editor.&#160;Jaring, P&auml;ivi. editor.&#160;Abrahamsson, Pekka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02152-7">http://dx.doi.org/10.1007/978-3-642-02152-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190388 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;P&#259;s&#259;reanu, Corina S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02652-2">http://dx.doi.org/10.1007/978-3-642-02652-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190389 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bergel, Alexandre. editor.&#160;Fabry, Johan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02655-3">http://dx.doi.org/10.1007/978-3-642-02655-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190481 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Gotel, Olly. editor.&#160;Joseph, Mathai. editor.&#160;Meyer, Bertrand. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02987-5">http://dx.doi.org/10.1007/978-3-642-02987-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191134 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;N&uacute;&ntilde;ez, Manuel. editor.&#160;Baker, Paul. editor.&#160;Merayo, Mercedes G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05031-2">http://dx.doi.org/10.1007/978-3-642-05031-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software and Data Technologies Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191192 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Cordeiro, Jos&eacute;. editor.&#160;Shishkov, Boris. editor.&#160;Ranchordas, AlpeshKumar. editor.&#160;Helfert, Markus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05201-9">http://dx.doi.org/10.1007/978-3-642-05201-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191347 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Breitman, Karin. editor.&#160;Cavalcanti, Ana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10373-5">http://dx.doi.org/10.1007/978-3-642-10373-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191424 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;&#346;l&#281;zak, Dominik. editor.&#160;Kim, Tai-hoon. editor.&#160;Kiumi, Akingbehin. editor.&#160;Jiang, Tao. editor.&#160;Verner, June. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10619-4">http://dx.doi.org/10.1007/978-3-642-10619-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon B&ouml;rger on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:191688 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Abrial, Jean-Raymond. editor.&#160;Gl&auml;sser, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11447-2">http://dx.doi.org/10.1007/978-3-642-11447-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Moderne Eignungsbeurteilung mit der DIN 33430 Mit einer Software zur computergest&uuml;tzten Konformit&auml;tspr&uuml;fung und einem Originalabdruck der DIN 33430 ent://SD_ILS/0/SD_ILS:179062 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Reimann, Gerd. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-531-91829-7">http://dx.doi.org/10.1007/978-3-531-91829-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Imaging in Biology and Medicine Technology, Software Environments, Applications ent://SD_ILS/0/SD_ILS:185680 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Sensen, Christoph W. editor.&#160;Hallgr&iacute;msson, Benedikt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68993-5">http://dx.doi.org/10.1007/978-3-540-68993-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Product Management and Pricing Key Success Factors for Software Organizations ent://SD_ILS/0/SD_ILS:187751 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Kittlaus, Hans-Bernd. author.&#160;Clough, Peter N. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-76987-3">http://dx.doi.org/10.1007/978-3-540-76987-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software and Data Technologies Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:189099 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Filipe, Joaquim. editor.&#160;Shishkov, Boris. editor.&#160;Helfert, Markus. editor.&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88655-6">http://dx.doi.org/10.1007/978-3-540-88655-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:189554 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Lucia, Andrea. editor.&#160;Ferrucci, Filomena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-95888-8">http://dx.doi.org/10.1007/978-3-540-95888-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:190073 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Chaudron, Michel R. V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01648-6">http://dx.doi.org/10.1007/978-3-642-01648-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190084 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Wang, Qing. editor.&#160;Garousi, Vahid. editor.&#160;Madachy, Raymond. editor.&#160;Pfahl, Dietmar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01680-6">http://dx.doi.org/10.1007/978-3-642-01680-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings ent://SD_ILS/0/SD_ILS:190091 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Chockler, Hana. editor.&#160;Hu, Alan J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01702-5">http://dx.doi.org/10.1007/978-3-642-01702-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190297 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Mirandola, Raffaela. editor.&#160;Gorton, Ian. editor.&#160;Hofmeister, Christine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02351-4">http://dx.doi.org/10.1007/978-3-642-02351-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190314 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Lewis, Grace A. editor.&#160;Poernomo, Iman. editor.&#160;Hofmeister, Christine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02414-6">http://dx.doi.org/10.1007/978-3-642-02414-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:190535 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bove, Ana. editor.&#160;Barbosa, Lu&iacute;s Soares. editor.&#160;Pardo, Alberto. editor.&#160;Pinto, Jorge Sousa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03153-3">http://dx.doi.org/10.1007/978-3-642-03153-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering ent://SD_ILS/0/SD_ILS:190731 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Katz, Shmuel. editor.&#160;Ossher, Harold. editor.&#160;France, Robert. editor.&#160;J&eacute;z&eacute;quel, Jean-Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03764-1">http://dx.doi.org/10.1007/978-3-642-03764-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191262 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Abran, Alain. editor.&#160;Braungarten, Ren&eacute;. editor.&#160;Dumke, Reiner R. editor.&#160;Cuadrado-Gallego, Juan J. editor.&#160;Brunekreef, Jacob. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05415-0">http://dx.doi.org/10.1007/978-3-642-05415-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers ent://SD_ILS/0/SD_ILS:191312 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Kim, Tai-hoon. editor.&#160;Fang, Wai-Chi. editor.&#160;Lee, Changhoon. editor.&#160;Arnett, Kirk P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10242-4">http://dx.doi.org/10.1007/978-3-642-10242-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings ent://SD_ILS/0/SD_ILS:191316 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Lee, Sunggu. editor.&#160;Narasimhan, Priya. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10265-3">http://dx.doi.org/10.1007/978-3-642-10265-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten ent://SD_ILS/0/SD_ILS:199366 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Kleuker, Stephan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9235-5">http://dx.doi.org/10.1007/978-3-8348-9235-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The fabric of mobile services software paradigms and business demands ent://SD_ILS/0/SD_ILS:297744 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Loeb, Shoshana.&#160;Falchuk, Benjamin.&#160;Panagos, Euthimios.&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/9780470478240">http://dx.doi.org/10.1002/9780470478240</a> <a href="http://site.ebrary.com/lib/alltitles/Doc?id=10332947">http://site.ebrary.com/lib/alltitles/Doc?id=10332947</a> Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=33732">http://www.books24x7.com/marc.asp?bookid=33732</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer organization and design : the hardware/software interface ent://SD_ILS/0/SD_ILS:127956 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Hennessy, John L.&#160;Patterson, David A., ort. yaz.<br/>Preferred Shelf Number&#160;QA76.9.C643 H46 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> RF and digital signal processing for software-defined radio a multi-standard multi-mode approach ent://SD_ILS/0/SD_ILS:149181 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Rouphael, Tony J.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750682107">http://www.sciencedirect.com/science/book/9780750682107</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware Software Co-Design of a Multimedia SOC Platform ent://SD_ILS/0/SD_ILS:170593 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Chen, Sao-Jie. author.&#160;Lin, Guang-Huei. author.&#160;Hsiung, Pao-Ann. author.&#160;Hu, Yu-Hen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9623-5">http://dx.doi.org/10.1007/978-1-4020-9623-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> RF and digital signal processing for software-defined radio : a multi-standard multi-mode approach ent://SD_ILS/0/SD_ILS:126628 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Rouphael, Tony J.<br/>Preferred Shelf Number&#160;TK5103.4875 R68 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Beyindeki beyaz cevher lezyonlar&#305;n&#305;n otomatik belirlenmesi i&ccedil;in bir yaz&#305;l&#305;m&#305;n tasar&#305;m ve ger&ccedil;ekle&#351;tirimi = Design and implementation of a software for automatic detection of white matter lesions in brain ent://SD_ILS/0/SD_ILS:124527 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ke&ccedil;eli, Ali Seydi.<br/>Preferred Shelf Number&#160;TEZ/8996 .K43 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Security software development : assessing and managing security risks ent://SD_ILS/0/SD_ILS:543836 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ashbaugh, Douglas A., author.<br/>Preferred Shelf Number&#160;QA76.9 .A25 A8246 2009<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420063813">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Energy efficient hardware-software co-synthesis using reconfigurable hardware ent://SD_ILS/0/SD_ILS:544009 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ou, Jingzhao., author.&#160;Prasanna Kumar, V. K.<br/>Preferred Shelf Number&#160;TK7895 .G36 O94 2009<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781584887423">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Machine learning for spatial environmental data : theory, applications and software ent://SD_ILS/0/SD_ILS:545068 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Kanevski, Mikhail., author.&#160;Pozdnoukhov, Alexei.&#160;Timonin, Vadim.<br/>Preferred Shelf Number&#160;Q325.5 .K36 2009<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781439808085">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Architecting software intensive systems : a practitioner's guide ent://SD_ILS/0/SD_ILS:541853 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Lattanze, Anthony J., author.<br/>Preferred Shelf Number&#160;QA76.758 .L3285 2009<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420045703">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Requirements engineering : from system goals to UML models to software specifications ent://SD_ILS/0/SD_ILS:312721 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Lamsweerde, A. van (Axel)<br/>Preferred Shelf Number&#160;QA76.758 L28 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers ent://SD_ILS/0/SD_ILS:189684 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ga&scaron;evi&#263;, Dragan. editor.&#160;L&auml;mmel, Ralf. editor.&#160;Wyk, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00434-6">http://dx.doi.org/10.1007/978-3-642-00434-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Rubato Composer Music Software Component-Based Implementation of a Functorial Concept Architecture ent://SD_ILS/0/SD_ILS:189593 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Milmeister, G&eacute;rard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00148-2">http://dx.doi.org/10.1007/978-3-642-00148-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189610 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Massacci, Fabio. editor.&#160;Redwine, Samuel T. editor.&#160;Zannone, Nicola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00199-4">http://dx.doi.org/10.1007/978-3-642-00199-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers ent://SD_ILS/0/SD_ILS:189961 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Luck, Michael. editor.&#160;Gomez-Sanz, Jorge J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01338-6">http://dx.doi.org/10.1007/978-3-642-01338-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing ent://SD_ILS/0/SD_ILS:189918 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Lee, Roger. editor.&#160;Ishii, Naohiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01203-7">http://dx.doi.org/10.1007/978-3-642-01203-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190142 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Abrahamsson, Pekka. editor.&#160;Marchesi, Michele. editor.&#160;Maurer, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01853-4">http://dx.doi.org/10.1007/978-3-642-01853-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers ent://SD_ILS/0/SD_ILS:190143 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Berkling, Kay. editor.&#160;Joseph, Mathai. editor.&#160;Meyer, Bertrand. editor.&#160;Nordio, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01856-5">http://dx.doi.org/10.1007/978-3-642-01856-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures ent://SD_ILS/0/SD_ILS:190163 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bernardo, Marco. editor.&#160;Padovani, Luca. editor.&#160;Zavattaro, Gianluigi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01918-0">http://dx.doi.org/10.1007/978-3-642-01918-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190165 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Kordon, Fabrice. editor.&#160;Kermarrec, Yvon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01924-1">http://dx.doi.org/10.1007/978-3-642-01924-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190200 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Glinz, Martin. editor.&#160;Heymans, Patrick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02050-6">http://dx.doi.org/10.1007/978-3-642-02050-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fast Software Encryption 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers ent://SD_ILS/0/SD_ILS:190589 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Dunkelman, Orr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03317-9">http://dx.doi.org/10.1007/978-3-642-03317-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190846 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;O&rsquo;Connor, Rory V. editor.&#160;Baddoo, Nathan. editor.&#160;Cuadrago Gallego, Juan. editor.&#160;Rejas Muslera, Ricardo. editor.&#160;Smolander, Kari. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04133-4">http://dx.doi.org/10.1007/978-3-642-04133-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190872 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Edwards, Stephen H. editor.&#160;Kulczycki, Gregory. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04211-9">http://dx.doi.org/10.1007/978-3-642-04211-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Services for e-Business and e-Society 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190896 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Godart, Claude. editor.&#160;Gronau, Norbert. editor.&#160;Sharma, Sushil. editor.&#160;Canals, G&eacute;r&ocirc;me. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04280-5">http://dx.doi.org/10.1007/978-3-642-04280-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009 ent://SD_ILS/0/SD_ILS:191056 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Halang, Wolfgang A. editor.&#160;Holleczek, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04783-1">http://dx.doi.org/10.1007/978-3-642-04783-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Vertical Software Industry Evolution Analysis of Telecom Operator Software ent://SD_ILS/0/SD_ILS:198458 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Tyrv&auml;inen, Pasi. editor.&#160;Mazhelis, Oleksiy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-7908-2352-3">http://dx.doi.org/10.1007/978-3-7908-2352-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software-Qualit&auml;t Testen, Analysieren und Verifizieren von Software ent://SD_ILS/0/SD_ILS:198697 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Liggesmeyer, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2203-3">http://dx.doi.org/10.1007/978-3-8274-2203-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling systems : practical tools and techniques in software development ent://SD_ILS/0/SD_ILS:506348 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Fitzgerald, John, 1965- author.&#160;Larsen, P. G. (Peter Gorm), 1964- author.<br/>Preferred Shelf Number&#160;QA76.76 .D47 F59 2009<br/>Electronic Access&#160;<a href="https://doi.org/10.1017/CBO9780511626975">https://doi.org/10.1017/CBO9780511626975</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The C programming language ent://SD_ILS/0/SD_ILS:114040 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Kernighan, Brian W.&#160;Ritchie, Dennis M.<br/>Preferred Shelf Number&#160;QA76.73.C15 K47 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Windows 7 just the steps for dummies ent://SD_ILS/0/SD_ILS:303870 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Muir, Nancy, 1954-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.contentreserve.com/TitleInfo.asp?ID={1865C98C-939A-45E6-AC30-F500574831A6}&Format=50">Click for information on Adobe Digital Editions version</a> <a href="http://www.contentreserve.com/TitleInfo.asp?ID={1865C98C-939A-45E6-AC30-F500574831A6}&Format=410">Click for information on Adobe Digital Editions version</a> <a href="http://www.contentreserve.com/TitleInfo.asp?ID={1865C98C-939A-45E6-AC30-F500574831A6}&Format=900">Click for information on Mobipocket Reader version</a> Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118257562">An electronic book accessible through the World Wide Web; click for information</a> Image <a href="http://images.contentreserve.com/ImageType-100/0128-1/{1865C98C-939A-45E6-AC30-F500574831A6}Img100.jpg">http://images.contentreserve.com/ImageType-100/0128-1/{1865C98C-939A-45E6-AC30-F500574831A6}Img100.jpg</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Agent-Based Environmental Management Systems ent://SD_ILS/0/SD_ILS:198173 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Cort&eacute;s, Ulises. editor.&#160;Poch, Manel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-7643-8900-0">http://dx.doi.org/10.1007/978-3-7643-8900-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PowerBuilder : PowerScript reference, version 6. ent://SD_ILS/0/SD_ILS:86071 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Preferred Shelf Number&#160;QA 76.76.A65 P871 1991-97 V.2<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Information security management handbook ent://SD_ILS/0/SD_ILS:542831 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z 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/> Information security management handbook ent://SD_ILS/0/SD_ILS:539793 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Tipton, Harold F.&#160;Nozaki, Micki Krause.<br/>Preferred Shelf Number&#160;QA76.9 .A25 I54165 2007<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781439893159">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Developing virtual reality applications foundations of effective design ent://SD_ILS/0/SD_ILS:147603 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Craig, Alan B.&#160;Sherman, William R.&#160;Will, Jeffrey D.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123749437">http://www.sciencedirect.com/science/book/9780123749437</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> GFI network security and PCI compliance power tools ent://SD_ILS/0/SD_ILS:148143 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Posey, Brien.&#160;Thompson, Troy.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781597492850">http://www.sciencedirect.com/science/book/9781597492850</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> TCP/IP sockets in C practical guide for programmers ent://SD_ILS/0/SD_ILS:148546 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Donahoo, Michael J.&#160;Calvert, Kenneth L.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123745408">http://www.sciencedirect.com/science/book/9780123745408</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Queueing Theory A Linear Algebraic Approach ent://SD_ILS/0/SD_ILS:166498 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Lipsky, Lester. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/ 978-0-387-49706-8">http://dx.doi.org/10.1007/ 978-0-387-49706-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Modeling Agricultural Systems ent://SD_ILS/0/SD_ILS:167240 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Pardalos, Panos M. editor.&#160;Papajorgji, Petraq J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-75181-8">http://dx.doi.org/10.1007/978-0-387-75181-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Systems Security Certification ent://SD_ILS/0/SD_ILS:167460 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Damiani, Ernesto. author.&#160;Ardagna, Claudio Agostino. author.&#160;El Ioini, Nabil. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-77324-7">http://dx.doi.org/10.1007/978-0-387-77324-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The China Information Technology Handbook ent://SD_ILS/0/SD_ILS:167517 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ord&oacute;&ntilde;ez de Pablos, Patricia. editor.&#160;Lytras, Miltiadis D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-77743-6">http://dx.doi.org/10.1007/978-0-387-77743-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Development Challenges in Practice, Theory, and Education Volume 2 ent://SD_ILS/0/SD_ILS:167592 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Barry, Chris. editor.&#160;Lang, Michael. editor.&#160;Wojtkowski, Wita. editor.&#160;Conboy, Kieran. editor.&#160;Wojtkowski, Gregory. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-78578-3">http://dx.doi.org/10.1007/978-0-387-78578-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimal Design and Related Areas in Optimization and Statistics ent://SD_ILS/0/SD_ILS:167702 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Pronzato, Luc. editor.&#160;Zhigljavsky, Anatoly. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-79936-0">http://dx.doi.org/10.1007/978-0-387-79936-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Dependability for Ambient Intelligence ent://SD_ILS/0/SD_ILS:167907 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Kokolakis, Spyros. editor.&#160;G&oacute;mez, Antonio Ma&ntilde;a. editor.&#160;Spanoudakis, George. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-88775-3">http://dx.doi.org/10.1007/978-0-387-88775-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computational Algorithms and Data Analysis ent://SD_ILS/0/SD_ILS:170377 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ao, Sio-Iong. editor.&#160;Rieger, Burghard. editor.&#160;Chen, Su-Shing. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-8919-0">http://dx.doi.org/10.1007/978-1-4020-8919-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronics System Design Techniques for Safety Critical Applications ent://SD_ILS/0/SD_ILS:170397 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Sterpone, Luca. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-8979-4">http://dx.doi.org/10.1007/978-1-4020-8979-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language-driven Exploration and Implementation of Partially Re-configurable ASIPs ent://SD_ILS/0/SD_ILS:170495 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Chattopadhyay, Anupam. author.&#160;Leupers, Rainer. author.&#160;Meyr, Heinrich. author.&#160;Ascheid, Gerd. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9297-8">http://dx.doi.org/10.1007/978-1-4020-9297-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL&rsquo;08 ent://SD_ILS/0/SD_ILS:170626 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Radetzki, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9714-0">http://dx.doi.org/10.1007/978-1-4020-9714-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Django Projects ent://SD_ILS/0/SD_ILS:171239 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bennett, James. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-1939-2">http://dx.doi.org/10.1007/978-1-4302-1939-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developing with Ext GWT Enterprise RIA Development ent://SD_ILS/0/SD_ILS:171240 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Slender, Grant. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-1941-5">http://dx.doi.org/10.1007/978-1-4302-1941-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundation Blender Compositing ent://SD_ILS/0/SD_ILS:171254 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Wickes, Roger D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-1977-4">http://dx.doi.org/10.1007/978-1-4302-1977-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro BizTalk 2009 ent://SD_ILS/0/SD_ILS:171256 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Dunphy, George. author.&#160;Moukhnitski, Sergei. author.&#160;Kaufman, Stephen. author.&#160;Kelcey, Peter. author.&#160;Campos, Harold. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-1982-8">http://dx.doi.org/10.1007/978-1-4302-1982-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro Android ent://SD_ILS/0/SD_ILS:171168 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Hashimi, Sayed Y. author.&#160;Komatineni, Satya. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-1597-4">http://dx.doi.org/10.1007/978-1-4302-1597-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning Joomla! ent://SD_ILS/0/SD_ILS:171187 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Rahmel, Dan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-1643-8">http://dx.doi.org/10.1007/978-1-4302-1643-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developing with Google App Engine ent://SD_ILS/0/SD_ILS:171200 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ciurana, Eugene. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-1832-6">http://dx.doi.org/10.1007/978-1-4302-1832-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro Git ent://SD_ILS/0/SD_ILS:171201 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Chacon, Scott. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-1834-0">http://dx.doi.org/10.1007/978-1-4302-1834-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China ent://SD_ILS/0/SD_ILS:171896 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Li, Daoliang. editor.&#160;Zhao, Chunjiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0209-2">http://dx.doi.org/10.1007/978-1-4419-0209-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China ent://SD_ILS/0/SD_ILS:171897 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Li, Daoliang. editor.&#160;Zhao, Chunjiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0211-5">http://dx.doi.org/10.1007/978-1-4419-0211-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China ent://SD_ILS/0/SD_ILS:171898 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Zhao, Chunjiang. editor.&#160;Li, Daoliang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0213-9">http://dx.doi.org/10.1007/978-1-4419-0213-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded System Design Modeling, Synthesis and Verification ent://SD_ILS/0/SD_ILS:171981 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Gajski, Daniel D. author.&#160;Abdi, Samar. author.&#160;Gerstlauer, Andreas. author.&#160;Schirner, Gunar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0504-8">http://dx.doi.org/10.1007/978-1-4419-0504-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Three-Dimensional Digital Image Processing ent://SD_ILS/0/SD_ILS:175744 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Toriwaki, Junichiro. author.&#160;Yoshida, Hiro. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-172-5">http://dx.doi.org/10.1007/978-1-84800-172-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sequence Comparison Theory and Methods ent://SD_ILS/0/SD_ILS:175813 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Chao, Kun-Mao. author.&#160;Zhang, Louxin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-320-0">http://dx.doi.org/10.1007/978-1-84800-320-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digraphs Theory, Algorithms and Applications ent://SD_ILS/0/SD_ILS:175872 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bang-Jensen, J&oslash;rgen. author.&#160;Gutin, Gregory Z. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-998-1">http://dx.doi.org/10.1007/978-1-84800-998-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Programming Languages ent://SD_ILS/0/SD_ILS:175880 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Dowek, Gilles. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-032-6">http://dx.doi.org/10.1007/978-1-84882-032-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach ent://SD_ILS/0/SD_ILS:175931 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Li, ZhiWu. author.&#160;Zhou, MengChu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-244-3">http://dx.doi.org/10.1007/978-1-84882-244-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Introduction to Computer Architecture ent://SD_ILS/0/SD_ILS:175933 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Page, Daniel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-256-6">http://dx.doi.org/10.1007/978-1-84882-256-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scheduling for Parallel Processing ent://SD_ILS/0/SD_ILS:175946 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Drozdowski, Maciej. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-310-5">http://dx.doi.org/10.1007/978-1-84882-310-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Concise and Practical Introduction to Programming Algorithms in Java ent://SD_ILS/0/SD_ILS:175954 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Nielsen, Frank. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-339-6">http://dx.doi.org/10.1007/978-1-84882-339-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3&ndash;5 February 2009 ent://SD_ILS/0/SD_ILS:175957 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Dale, Chris. editor.&#160;Anderson, Tom. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-349-5">http://dx.doi.org/10.1007/978-1-84882-349-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Trends on Human&ndash;Computer Interaction Research, Development, New Tools and Methods ent://SD_ILS/0/SD_ILS:175958 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Mac&iacute;as, Jos&eacute; A. editor.&#160;Granollers Saltiveri, Antoni. editor.&#160;Latorre, Pedro M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-352-5">http://dx.doi.org/10.1007/978-1-84882-352-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geometric Algebra: An Algebraic System for Computer Games and Animation ent://SD_ILS/0/SD_ILS:175965 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Vince, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-379-2">http://dx.doi.org/10.1007/978-1-84882-379-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models of Computation An Introduction to Computability Theory ent://SD_ILS/0/SD_ILS:175973 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Fern&aacute;ndez, Maribel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-434-8">http://dx.doi.org/10.1007/978-1-84882-434-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OPC Unified Architecture ent://SD_ILS/0/SD_ILS:185639 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Damm, Matthias. author.&#160;Leitner, Stefan-Helmut. author.&#160;Mahnke, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68899-0">http://dx.doi.org/10.1007/978-3-540-68899-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Development Challenges in Practice, Theory, and Education Volume 1 ent://SD_ILS/0/SD_ILS:166627 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Wojtkowski, Wita. editor.&#160;Wojtkowski, Gregory. editor.&#160;Lang, Michael. editor.&#160;Conboy, Kieran. editor.&#160;Barry, Chris. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-68772-8">http://dx.doi.org/10.1007/978-0-387-68772-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web 2.0 The Business Model ent://SD_ILS/0/SD_ILS:167798 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Lytras, Miltiadis D. editor.&#160;Damiani, Ernesto. editor.&#160;Ord&oacute;&ntilde;ez de Pablos, Patricia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-85895-1">http://dx.doi.org/10.1007/978-0-387-85895-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and Use of Serious Games ent://SD_ILS/0/SD_ILS:170551 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Kankaanranta, Marja. editor.&#160;Neittaanm&auml;ki, Pekka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9496-5">http://dx.doi.org/10.1007/978-1-4020-9496-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Definitive Guide to Catalyst Writing Extensible, Scalable, and Maintainable Perl-Based Web Applications ent://SD_ILS/0/SD_ILS:171270 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Diment, Kieren. author.&#160;Trout, Matt S. author.&#160;Cardim, Eden. author.&#160;Kuri, Jay. author.&#160;Robinson, Jess. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-2366-5">http://dx.doi.org/10.1007/978-1-4302-2366-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Expert F# 2.0 ent://SD_ILS/0/SD_ILS:171292 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Syme, Don. author.&#160;Granicz, Adam. author.&#160;Cisternino, Antonio. author.&#160;Andres, Clay. editor.&#160;Anglin, Steve. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-2432-7">http://dx.doi.org/10.1007/978-1-4302-2432-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Healthcare Computing EMR/EHR, Wireless and Health Monitoring ent://SD_ILS/0/SD_ILS:171899 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Varshney, Upkar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0215-3">http://dx.doi.org/10.1007/978-1-4419-0215-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life Models in Hardware ent://SD_ILS/0/SD_ILS:175997 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Adamatzky, Andrew. editor.&#160;Komosinski, Maciej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-530-7">http://dx.doi.org/10.1007/978-1-84882-530-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Maple R&egrave;gles et fonctions essentielles ent://SD_ILS/0/SD_ILS:176404 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Puech, Nicolas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-2-287-48607-4">http://dx.doi.org/10.1007/978-2-287-48607-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Les virus informatiques: th&eacute;orie, pratique et applications ent://SD_ILS/0/SD_ILS:176476 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Filiol, &Eacute;ric. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-2-287-98240-8">http://dx.doi.org/10.1007/978-2-287-98240-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Maple and Mathematica A Problem Solving Approach for Mathematics ent://SD_ILS/0/SD_ILS:177155 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Shingareva, Inna K. author.&#160;Liz&aacute;rraga-Celaya, Carlos. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-211-99432-0">http://dx.doi.org/10.1007/978-3-211-99432-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Gro&szlig;e Netze der Logistik Die Ergebnisse des Sonderforschungsbereichs 559 ent://SD_ILS/0/SD_ILS:186157 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Buchholz, Peter. editor.&#160;Clausen, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-71048-6">http://dx.doi.org/10.1007/978-3-540-71048-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Linux Das Praxisbuch ent://SD_ILS/0/SD_ILS:188188 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Dillmann, R&uuml;diger. author.&#160;Gockel, Tilo. author.&#160;Schr&ouml;der, Joachim. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78620-7">http://dx.doi.org/10.1007/978-3-540-78620-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security Engineering for Service-Oriented Architectures ent://SD_ILS/0/SD_ILS:188468 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Hafner, Michael. author.&#160;Breu, Ruth. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-79539-1">http://dx.doi.org/10.1007/978-3-540-79539-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Adventures From Knowledge to Magic ent://SD_ILS/0/SD_ILS:188824 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Hromkovic, Juraj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85986-4">http://dx.doi.org/10.1007/978-3-540-85986-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Touch of Class Learning to Program Well with Objects and Contracts ent://SD_ILS/0/SD_ILS:189386 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Meyer, Bertrand. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92145-5">http://dx.doi.org/10.1007/978-3-540-92145-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> QVT - Relations Language Modellierung mit der Query Views Transformation ent://SD_ILS/0/SD_ILS:189392 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Nolte, Siegfried. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92171-4">http://dx.doi.org/10.1007/978-3-540-92171-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Web Applications ent://SD_ILS/0/SD_ILS:189403 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Casteleyn, Sven. author.&#160;Daniel, Florian. author.&#160;Dolog, Peter. author.&#160;Matera, Maristella. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92201-8">http://dx.doi.org/10.1007/978-3-540-92201-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2008 Funchal, Madeira, Portugal, January 28-31, 2008 Revised Selected Papers ent://SD_ILS/0/SD_ILS:189407 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Fred, Ana. editor.&#160;Filipe, Joaquim. editor.&#160;Gamboa, Hugo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92219-3">http://dx.doi.org/10.1007/978-3-540-92219-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189426 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Garg, Vijay. editor.&#160;Wattenhofer, Roger. editor.&#160;Kothapalli, Kishore. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92295-7">http://dx.doi.org/10.1007/978-3-540-92295-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trusted Computing Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings. ent://SD_ILS/0/SD_ILS:189738 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Chen, Liqun. editor.&#160;Mitchell, Chris J. editor.&#160;Martin, Andrew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00587-9">http://dx.doi.org/10.1007/978-3-642-00587-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Independent Component Analysis and Signal Separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189742 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Adali, T&uuml;lay. editor.&#160;Jutten, Christian. editor.&#160;Romano, Jo&atilde;o Marcos Travassos. editor.&#160;Barros, Allan Kardec. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00599-2">http://dx.doi.org/10.1007/978-3-642-00599-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189743 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Majumdar, Rupak. editor.&#160;Tabuada, Paulo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00602-9">http://dx.doi.org/10.1007/978-3-642-00602-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security and Cryptology &ndash; ICISC 2008 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:189787 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Lee, Pil Joong. editor.&#160;Cheon, Jung Hee. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00730-9">http://dx.doi.org/10.1007/978-3-642-00730-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Trends in Visual Computing LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers ent://SD_ILS/0/SD_ILS:189803 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Nielsen, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00826-9">http://dx.doi.org/10.1007/978-3-642-00826-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189805 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Li, Wenjie. editor.&#160;Moll&aacute;-Aliod, Diego. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00831-3">http://dx.doi.org/10.1007/978-3-642-00831-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Interaction Third International Symposium, QI 2009, Saarbr&uuml;cken, Germany, March 25-27, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189806 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bruza, Peter. editor.&#160;Sofge, Donald. editor.&#160;Lawless, William. editor.&#160;Rijsbergen, Keith. editor.&#160;Klusch, Matthias. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00834-4">http://dx.doi.org/10.1007/978-3-642-00834-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Topics in Cryptology &ndash; CT-RSA 2009 The Cryptographers&rsquo; Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189815 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Fischlin, Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00862-7">http://dx.doi.org/10.1007/978-3-642-00862-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Methods, Models and Tools for Fault Tolerance ent://SD_ILS/0/SD_ILS:189817 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Butler, Michael. editor.&#160;Jones, Cliff. editor.&#160;Romanovsky, Alexander. editor.&#160;Troubitsyna, Elena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00867-2">http://dx.doi.org/10.1007/978-3-642-00867-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems ent://SD_ILS/0/SD_ILS:189827 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Jensen, Kurt. editor.&#160;Aalst, Wil M. P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00899-3">http://dx.doi.org/10.1007/978-3-642-00899-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Data Hiding and Multimedia Security IV ent://SD_ILS/0/SD_ILS:190112 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Shi, Yun Q. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01757-5">http://dx.doi.org/10.1007/978-3-642-01757-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> MobileWireless Middleware, Operating Systems, and Applications Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190126 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bonnin, Jean-Marie. editor.&#160;Giannelli, Carlo. editor.&#160;Magedanz, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01802-2">http://dx.doi.org/10.1007/978-3-642-01802-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190130 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ferr&eacute;, S&eacute;bastien. editor.&#160;Rudolph, Sebastian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01815-2">http://dx.doi.org/10.1007/978-3-642-01815-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects in Information and Management 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190234 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Goldberg, Andrew V. editor.&#160;Zhou, Yunhong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02158-9">http://dx.doi.org/10.1007/978-3-642-02158-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190236 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Senivongse, Twittie. editor.&#160;Oliveira, Rui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02164-0">http://dx.doi.org/10.1007/978-3-642-02164-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190250 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Al-Begain, Khalid. editor.&#160;Fiems, Dieter. editor.&#160;Horv&aacute;th, G&aacute;bor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02205-0">http://dx.doi.org/10.1007/978-3-642-02205-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Future Multimedia Networking Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190331 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Mauthe, Andreas. editor.&#160;Zeadally, Sherali. editor.&#160;Cerqueira, Eduardo. editor.&#160;Curado, Mar&iacute;lia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02472-6">http://dx.doi.org/10.1007/978-3-642-02472-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Primer on Scientific Programming with Python ent://SD_ILS/0/SD_ILS:190332 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Langtangen, Hans Petter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02475-7">http://dx.doi.org/10.1007/978-3-642-02475-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:190337 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;K&ouml;ppen, Mario. editor.&#160;Kasabov, Nikola. editor.&#160;Coghill, George. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02490-0">http://dx.doi.org/10.1007/978-3-642-02490-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence Methods for Bioinformatics and Biostatistics 5th International Meeting, CIBB 2008 Vietri sul Mare, Italy, October 3-4, 2008 Revised Selected Papers ent://SD_ILS/0/SD_ILS:190342 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Masulli, Francesco. editor.&#160;Tagliaferri, Roberto. editor.&#160;Verkhivker, Gennady M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02504-4">http://dx.doi.org/10.1007/978-3-642-02504-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers ent://SD_ILS/0/SD_ILS:190346 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ystad, S&oslash;lvi. editor.&#160;Kronland-Martinet, Richard. editor.&#160;Jensen, Kristoffer. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02518-1">http://dx.doi.org/10.1007/978-3-642-02518-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Interface and the Management of Information. Designing Information Environments Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I ent://SD_ILS/0/SD_ILS:190357 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Smith, Michael J. editor.&#160;Salvendy, Gavriel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02556-3">http://dx.doi.org/10.1007/978-3-642-02556-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Interface and the Management of Information. Information and Interaction Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II ent://SD_ILS/0/SD_ILS:190358 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Salvendy, Gavriel. editor.&#160;Smith, Michael J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02559-4">http://dx.doi.org/10.1007/978-3-642-02559-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Societies in the Agents World IX 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190359 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Artikis, Alexander. editor.&#160;Picard, Gauthier. editor.&#160;Vercouter, Laurent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02562-4">http://dx.doi.org/10.1007/978-3-642-02562-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Anticipatory Behavior in Adaptive Learning Systems From Psychological Theories to Artificial Cognitive Systems ent://SD_ILS/0/SD_ILS:190360 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Pezzulo, Giovanni. editor.&#160;Butz, Martin V. editor.&#160;Sigaud, Olivier. editor.&#160;Baldassarre, Gianluca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02565-5">http://dx.doi.org/10.1007/978-3-642-02565-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Objects, Components, Models and Patterns 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190362 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Oriol, Manuel. editor.&#160;Meyer, Bertrand. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02571-6">http://dx.doi.org/10.1007/978-3-642-02571-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Image Analysis and Recognition 6th International Conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190375 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Kamel, Mohamed. editor.&#160;Campilho, Aur&eacute;lio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02611-9">http://dx.doi.org/10.1007/978-3-642-02611-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security and Privacy 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190378 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Boyd, Colin. editor.&#160;Gonz&aacute;lez Nieto, Juan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02620-1">http://dx.doi.org/10.1007/978-3-642-02620-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190390 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bouajjani, Ahmed. editor.&#160;Maler, Oded. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02658-4">http://dx.doi.org/10.1007/978-3-642-02658-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Networks 16th Conference, CN 2009, Wis&#322;a, Poland, June 16-20, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190394 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Kwiecie&#324;, Andrzej. editor.&#160;Gaj, Piotr. editor.&#160;Stera, Piotr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02671-3">http://dx.doi.org/10.1007/978-3-642-02671-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190395 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Paige, Richard F. editor.&#160;Hartman, Alan. editor.&#160;Rensink, Arend. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02674-4">http://dx.doi.org/10.1007/978-3-642-02674-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomic and Trusted Computing 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190404 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Gonz&aacute;lez Nieto, Juan. editor.&#160;Reif, Wolfgang. editor.&#160;Wang, Guojun. editor.&#160;Indulska, Jadwiga. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02704-8">http://dx.doi.org/10.1007/978-3-642-02704-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Universal Access in Human-Computer Interaction. Addressing Diversity 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I ent://SD_ILS/0/SD_ILS:190405 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Stephanidis, Constantine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02707-9">http://dx.doi.org/10.1007/978-3-642-02707-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II ent://SD_ILS/0/SD_ILS:190406 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Stephanidis, Constantine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02710-9">http://dx.doi.org/10.1007/978-3-642-02710-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Universal Access in Human-Computer Interaction. Applications and Services 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III ent://SD_ILS/0/SD_ILS:190407 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Stephanidis, Constantine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02713-0">http://dx.doi.org/10.1007/978-3-642-02713-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190408 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Giese, Martin. editor.&#160;Waaler, Arild. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02716-1">http://dx.doi.org/10.1007/978-3-642-02716-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190414 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Diekert, Volker. editor.&#160;Nowotka, Dirk. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02737-6">http://dx.doi.org/10.1007/978-3-642-02737-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Virtual and Mixed Reality Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190419 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Shumaker, Randall. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02771-0">http://dx.doi.org/10.1007/978-3-642-02771-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Engineering 9th International Conference, ICWE 2009 San Sebasti&aacute;n, Spain, June 24-26, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190432 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Gaedke, Martin. editor.&#160;Grossniklaus, Michael. editor.&#160;D&iacute;az, Oscar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02818-2">http://dx.doi.org/10.1007/978-3-642-02818-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Assistive Health and Wellness Management in the Heart of the City 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190446 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Mokhtari, Mounir. editor.&#160;Khalil, Ismail. editor.&#160;Bauchet, J&eacute;r&eacute;my. editor.&#160;Zhang, Daqing. editor.&#160;Nugent, Chris. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02868-7">http://dx.doi.org/10.1007/978-3-642-02868-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190450 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ngo, Hung Q. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02882-3">http://dx.doi.org/10.1007/978-3-642-02882-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> GeoSensor Networks Third International Conference, GSN 2009, Oxford, UK, July 13-14, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190455 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Trigoni, Niki. editor.&#160;Markham, Andrew. editor.&#160;Nawaz, Sarfraz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02903-5">http://dx.doi.org/10.1007/978-3-642-02903-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> RoboCup 2008: Robot Soccer World Cup XII ent://SD_ILS/0/SD_ILS:190461 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Iocchi, Luca. editor.&#160;Matsubara, Hitoshi. editor.&#160;Weitzenfeld, Alfredo. editor.&#160;Zhou, Changjiu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02921-9">http://dx.doi.org/10.1007/978-3-642-02921-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190462 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bradley, Jeremy T. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02924-0">http://dx.doi.org/10.1007/978-3-642-02924-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I ent://SD_ILS/0/SD_ILS:190463 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Albers, Susanne. editor.&#160;Marchetti-Spaccamela, Alberto. editor.&#160;Matias, Yossi. editor.&#160;Nikoletseas, Sotiris. editor.&#160;Thomas, Wolfgang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02927-1">http://dx.doi.org/10.1007/978-3-642-02927-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II ent://SD_ILS/0/SD_ILS:190464 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Albers, Susanne. editor.&#160;Marchetti-Spaccamela, Alberto. editor.&#160;Matias, Yossi. editor.&#160;Nikoletseas, Sotiris. editor.&#160;Thomas, Wolfgang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02930-1">http://dx.doi.org/10.1007/978-3-642-02930-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190469 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Dubois, Catherine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02949-3">http://dx.doi.org/10.1007/978-3-642-02949-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190479 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Maneth, Sebastian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02979-0">http://dx.doi.org/10.1007/978-3-642-02979-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:190633 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Albers, Susanne. editor.&#160;Alt, Helmut. editor.&#160;N&auml;her, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03456-5">http://dx.doi.org/10.1007/978-3-642-03456-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190634 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Degano, Pierpaolo. editor.&#160;Vigan&ograve;, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03459-6">http://dx.doi.org/10.1007/978-3-642-03459-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190636 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Leucker, Martin. editor.&#160;Morgan, Carroll. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03466-4">http://dx.doi.org/10.1007/978-3-642-03466-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Contemporary Computing Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190656 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ranka, Sanjay. editor.&#160;Aluru, Srinivas. editor.&#160;Buyya, Rajkumar. editor.&#160;Chung, Yeh-Ching. editor.&#160;Dua, Sumeet. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03547-0">http://dx.doi.org/10.1007/978-3-642-03547-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Financial Cryptography and Data Security 13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:190657 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Dingledine, Roger. editor.&#160;Golle, Philippe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03549-4">http://dx.doi.org/10.1007/978-3-642-03549-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers ent://SD_ILS/0/SD_ILS:190658 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Setola, Roberto. editor.&#160;Geretshuber, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03552-4">http://dx.doi.org/10.1007/978-3-642-03552-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database and XML Technologies 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190659 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bellahs&egrave;ne, Zohra. editor.&#160;Hunt, Ela. editor.&#160;Rys, Michael. editor.&#160;Unland, Rainer. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03555-5">http://dx.doi.org/10.1007/978-3-642-03555-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings ent://SD_ILS/0/SD_ILS:190663 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bozapalidis, Symeon. editor.&#160;Rahonis, George. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03564-7">http://dx.doi.org/10.1007/978-3-642-03564-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Wireless Middleware, Operating Systems, and Applications - Workshops Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190665 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Hesselman, Cristian. editor.&#160;Giannelli, Carlo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03569-2">http://dx.doi.org/10.1007/978-3-642-03569-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Surfaces XIII 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190674 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Hancock, Edwin R. editor.&#160;Martin, Ralph R. editor.&#160;Sabin, Malcolm A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03596-8">http://dx.doi.org/10.1007/978-3-642-03596-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190676 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Cao, Longbing. editor.&#160;Gorodetsky, Vladimir. editor.&#160;Liu, Jiming. editor.&#160;Weiss, Gerhard. editor.&#160;Yu, Philip S. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03603-3">http://dx.doi.org/10.1007/978-3-642-03603-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy Minimization Methods in Computer Vision and Pattern Recognition 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190690 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Cremers, Daniel. editor.&#160;Boykov, Yuri. editor.&#160;Blake, Andrew. editor.&#160;Schmidt, Frank R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03641-5">http://dx.doi.org/10.1007/978-3-642-03641-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I ent://SD_ILS/0/SD_ILS:190695 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Gross, Tom. editor.&#160;Gulliksen, Jan. editor.&#160;Kotz&eacute;, Paula. editor.&#160;Oestreicher, Lars. editor.&#160;Palanque, Philippe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03655-2">http://dx.doi.org/10.1007/978-3-642-03655-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II ent://SD_ILS/0/SD_ILS:190696 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Gross, Tom. editor.&#160;Gulliksen, Jan. editor.&#160;Kotz&eacute;, Paula. editor.&#160;Oestreicher, Lars. editor.&#160;Palanque, Philippe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03658-3">http://dx.doi.org/10.1007/978-3-642-03658-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190702 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Dinur, Irit. editor.&#160;Jansen, Klaus. editor.&#160;Naor, Joseph. editor.&#160;Rolim, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03685-9">http://dx.doi.org/10.1007/978-3-642-03685-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Management in Grid and Peer-to-Peer Systems Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190714 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Hameurlain, Abdelkader. editor.&#160;Tjoa, A Min. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03715-3">http://dx.doi.org/10.1007/978-3-642-03715-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190724 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Calude, Cristian S. editor.&#160;Costa, Jos&eacute; F&eacute;lix. editor.&#160;Dershowitz, Nachum. editor.&#160;Freire, Elisabete. editor.&#160;Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03745-0">http://dx.doi.org/10.1007/978-3-642-03745-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190726 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;St&uuml;tzle, Thomas. editor.&#160;Birattari, Mauro. editor.&#160;Hoos, Holger H. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03751-1">http://dx.doi.org/10.1007/978-3-642-03751-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures ent://SD_ILS/0/SD_ILS:190727 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Tessaris, Sergio. editor.&#160;Franconi, Enrico. editor.&#160;Eiter, Thomas. editor.&#160;Gutierrez, Claudio. editor.&#160;Handschuh, Siegfried. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03754-2">http://dx.doi.org/10.1007/978-3-642-03754-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Data Engineering and Automated Learning - IDEAL 2009 10th International Conference, Burgos, Spain, September 23-26, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190932 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Corchado, Emilio. editor.&#160;Yin, Hujun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04394-9">http://dx.doi.org/10.1007/978-3-642-04394-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Discrete Geometry for Computer Imagery 15th IAPR International Conference, DGCI 2009, Montr&eacute;al, Canada, September 30 - October 2, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190933 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Brlek, Sre&#269;ko. editor.&#160;Reutenauer, Christophe. editor.&#160;Proven&ccedil;al, Xavier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04397-0">http://dx.doi.org/10.1007/978-3-642-04397-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information Retrieval Theory Second International Conference on the Theory of Information Retrieval, ICTIR 2009 Cambridge, UK, September 10-12, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190941 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Azzopardi, Leif. editor.&#160;Kazai, Gabriella. editor.&#160;Robertson, Stephen. editor.&#160;R&uuml;ger, Stefan. editor.&#160;Shokouhi, Milad. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04417-5">http://dx.doi.org/10.1007/978-3-642-04417-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190942 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bournez, Olivier. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04420-5">http://dx.doi.org/10.1007/978-3-642-04420-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Engineering Languages and Systems 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190944 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Sch&uuml;rr, Andy. editor.&#160;Selic, Bran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04425-0">http://dx.doi.org/10.1007/978-3-642-04425-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Decision Theory First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190945 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Rossi, Francesca. editor.&#160;Tsoukias, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04428-1">http://dx.doi.org/10.1007/978-3-642-04428-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems First International Conference, ICCCI 2009, Wroc&#322;aw, Poland, October 5-7, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190949 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. editor.&#160;Chen, Shyi-Ming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04441-0">http://dx.doi.org/10.1007/978-3-642-04441-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190960 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Buth, Bettina. editor.&#160;Rabe, Gerd. editor.&#160;Seyfarth, Till. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04468-7">http://dx.doi.org/10.1007/978-3-642-04468-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Sensing and Context 4th European Conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190961 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Barnaghi, Payam. editor.&#160;Moessner, Klaus. editor.&#160;Presser, Mirko. editor.&#160;Meissner, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04471-7">http://dx.doi.org/10.1007/978-3-642-04471-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190962 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Samarati, Pierangela. editor.&#160;Yung, Moti. editor.&#160;Martinelli, Fabio. editor.&#160;Ardagna, Claudio A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04474-8">http://dx.doi.org/10.1007/978-3-642-04474-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190986 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Reed, Rick. editor.&#160;Bilgic, Attila. editor.&#160;Gotzhein, Reinhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04554-7">http://dx.doi.org/10.1007/978-3-642-04554-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190990 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Alpuente, Mar&iacute;a. editor.&#160;Cook, Byron. editor.&#160;Joubert, Christophe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04570-7">http://dx.doi.org/10.1007/978-3-642-04570-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:191009 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04633-9">http://dx.doi.org/10.1007/978-3-642-04633-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures ent://SD_ILS/0/SD_ILS:191016 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Koopman, Pieter. editor.&#160;Plasmeijer, Rinus. editor.&#160;Swierstra, Doaitse. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04652-0">http://dx.doi.org/10.1007/978-3-642-04652-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers ent://SD_ILS/0/SD_ILS:191028 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bensalem, Saddek. editor.&#160;Peled, Doron A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04694-0">http://dx.doi.org/10.1007/978-3-642-04694-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Visual Informatics: Bridging Research and Practice First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November 11-13, 2009 Proceedings ent://SD_ILS/0/SD_ILS:191136 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Badioze Zaman, Halimah. editor.&#160;Robinson, Peter. editor.&#160;Petrou, Maria. editor.&#160;Olivier, Patrick. editor.&#160;Schr&ouml;der, Heiko. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05036-7">http://dx.doi.org/10.1007/978-3-642-05036-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings ent://SD_ILS/0/SD_ILS:191152 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Polleres, Axel. editor.&#160;Swift, Terrance. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05082-4">http://dx.doi.org/10.1007/978-3-642-05082-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Methods for Execution-level Business Process Modeling Modeling Support Through Process Verification and Service Composition ent://SD_ILS/0/SD_ILS:191153 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Weber, Ingo M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05085-5">http://dx.doi.org/10.1007/978-3-642-05085-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191155 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Cavalcanti, Ana. editor.&#160;Dams, Dennis R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05089-3">http://dx.doi.org/10.1007/978-3-642-05089-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191165 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Guerraoui, Rachid. editor.&#160;Petit, Franck. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05118-0">http://dx.doi.org/10.1007/978-3-642-05118-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Computational Intelligence International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191204 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Deng, Hepu. editor.&#160;Wang, Lanzhou. editor.&#160;Wang, Fu Lee. editor.&#160;Lei, Jingsheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05253-8">http://dx.doi.org/10.1007/978-3-642-05253-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191346 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Matsui, Mitsuru. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10366-7">http://dx.doi.org/10.1007/978-3-642-10366-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191350 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Baresi, Luciano. editor.&#160;Chi, Chi-Hung. editor.&#160;Suzuki, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10383-4">http://dx.doi.org/10.1007/978-3-642-10383-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191354 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Papasratorn, Borworn. editor.&#160;Chutimaskul, Wichian. editor.&#160;Porkaew, Kriengkrai. editor.&#160;Vanijja, Vajirasak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10392-6">http://dx.doi.org/10.1007/978-3-642-10392-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network Control and Optimization Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings ent://SD_ILS/0/SD_ILS:191358 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;N&uacute;&ntilde;ez-Queija, Rudesindo. editor.&#160;Resing, Jacques. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10406-0">http://dx.doi.org/10.1007/978-3-642-10406-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191362 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Nambiar, Raghunath. editor.&#160;Poess, Meikel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10424-4">http://dx.doi.org/10.1007/978-3-642-10424-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> GeoSpatial Semantics Third International Conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191366 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Janowicz, Krzysztof. editor.&#160;Raubal, Martin. editor.&#160;Levashkin, Sergei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10436-7">http://dx.doi.org/10.1007/978-3-642-10436-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Middleware 2009 ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 &ndash; December 4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191369 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bacon, Jean M. editor.&#160;Cooper, Brian F. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10445-9">http://dx.doi.org/10.1007/978-3-642-10445-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers ent://SD_ILS/0/SD_ILS:191371 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Oliveira, Marcel Vin&iacute;cius Medeiros. editor.&#160;Woodcock, Jim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10452-7">http://dx.doi.org/10.1007/978-3-642-10452-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191382 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Mueller, Peter. editor.&#160;Cao, Jian-Nong. editor.&#160;Wang, Cho-Li. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10485-5">http://dx.doi.org/10.1007/978-3-642-10485-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Signal Processing, Image Processing and Pattern Recognition International Conference, SIP 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191401 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;&#346;l&#281;zak, Dominik. editor.&#160;Pal, Sankar K. editor.&#160;Kang, Byeong-Ho. editor.&#160;Gu, Junzhong. editor.&#160;Kuroda, Hideo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10546-3">http://dx.doi.org/10.1007/978-3-642-10546-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid and Distributed Computing International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191402 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;&#346;l&#281;zak, Dominik. editor.&#160;Kim, Tai-hoon. editor.&#160;Yau, Stephen S. editor.&#160;Gervasi, Osvaldo. editor.&#160;Kang, Byeong-Ho. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10549-4">http://dx.doi.org/10.1007/978-3-642-10549-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web and Wireless Geographical Information Systems 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191418 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Carswell, James D. editor.&#160;Fotheringham, A. Stewart. editor.&#160;McArdle, Gavin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10601-9">http://dx.doi.org/10.1007/978-3-642-10601-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191419 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Deaton, Russell. editor.&#160;Suyama, Akira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10604-0">http://dx.doi.org/10.1007/978-3-642-10604-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constructing Ambient Intelligence AmI 2008 Workshops, Nuremberg, Germany 19-22, 2008. Revised Papers ent://SD_ILS/0/SD_ILS:191420 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Gerh&auml;user, Heinz. editor.&#160;Hupp, J&uuml;rgen. editor.&#160;Efstratiou, Christos. editor.&#160;Heppner, Janina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10607-1">http://dx.doi.org/10.1007/978-3-642-10607-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191425 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Datta, Anupam. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10622-4">http://dx.doi.org/10.1007/978-3-642-10622-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quality of Service in Heterogeneous Networks 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23-25, 2009 Proceedings ent://SD_ILS/0/SD_ILS:191426 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bartolini, Novella. editor.&#160;Nikoletseas, Sotiris. editor.&#160;Sinha, Prasun. editor.&#160;Cardellini, Valeria. editor.&#160;Mahanti, Anirban. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10625-5">http://dx.doi.org/10.1007/978-3-642-10625-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191428 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Dong, Yingfei. editor.&#160;Du, Ding-Zhu. editor.&#160;Ibarra, Oscar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10631-6">http://dx.doi.org/10.1007/978-3-642-10631-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191634 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Chen, Jianer. editor.&#160;Fomin, Fedor V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11269-0">http://dx.doi.org/10.1007/978-3-642-11269-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communications Infrastructure. Systems and Applications in Europe First International ICST Conference, EuropeComm 2009, London, UK, August 11-13, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191640 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Mehmood, Rashid. editor.&#160;Cerqueira, Eduardo. editor.&#160;Piesiewicz, Radoslaw. editor.&#160;Chlamtac, Imrich. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11284-3">http://dx.doi.org/10.1007/978-3-642-11284-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computability of Julia Sets ent://SD_ILS/0/SD_ILS:185503 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Braverman, Mark. author.&#160;Yampolsky, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68547-0">http://dx.doi.org/10.1007/978-3-540-68547-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOA und WebServices ent://SD_ILS/0/SD_ILS:187752 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Zeppenfeld, Klaus. author.&#160;Finger, Patrick. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-76991-0">http://dx.doi.org/10.1007/978-3-540-76991-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sichere Systeme Konzepte, Architekturen und Frameworks ent://SD_ILS/0/SD_ILS:188290 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Schmitz, Roland. author.&#160;Kriha, Walter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78959-8">http://dx.doi.org/10.1007/978-3-540-78959-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189067 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88479-8">http://dx.doi.org/10.1007/978-3-540-88479-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers ent://SD_ILS/0/SD_ILS:189109 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Collins, John. editor.&#160;Faratin, Peyman. editor.&#160;Parsons, Simon. editor.&#160;Rodriguez-Aguilar, Juan A. editor.&#160;Sadeh, Norman M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88713-3">http://dx.doi.org/10.1007/978-3-540-88713-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Processing and Information Retrieval 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189202 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Amir, Amihood. editor.&#160;Turpin, Andrew. editor.&#160;Moffat, Alistair. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89097-3">http://dx.doi.org/10.1007/978-3-540-89097-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Funktionale und Applikative Programmierung Grundlagen, Sprachen, Implementierungstechniken ent://SD_ILS/0/SD_ILS:189207 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Lippe, Wolfram-Manfred. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89108-6">http://dx.doi.org/10.1007/978-3-540-89108-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness ent://SD_ILS/0/SD_ILS:189225 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Mendling, Jan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89224-3">http://dx.doi.org/10.1007/978-3-540-89224-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Generative Theory of Relevance ent://SD_ILS/0/SD_ILS:189254 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Lavrenko, Victor. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89364-6">http://dx.doi.org/10.1007/978-3-540-89364-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Konzepte objektorientierter Programmierung Mit einer Einf&uuml;hrung in Java ent://SD_ILS/0/SD_ILS:189275 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Poetzsch-Heffter, Arnd. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89471-1">http://dx.doi.org/10.1007/978-3-540-89471-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Uncertain Programming ent://SD_ILS/0/SD_ILS:189276 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Liu, Baoding. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89484-1">http://dx.doi.org/10.1007/978-3-540-89484-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Middleware for Network Eccentric and Mobile Applications ent://SD_ILS/0/SD_ILS:189320 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Garbinato, Beno&icirc;t. editor.&#160;Miranda, Hugo. editor.&#160;Rodrigues, Lu&iacute;s. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89707-1">http://dx.doi.org/10.1007/978-3-540-89707-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189324 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Parashar, Manish. editor.&#160;Aggarwal, Sanjeev K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89737-8">http://dx.doi.org/10.1007/978-3-540-89737-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:189534 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Baldoni, Matteo. editor.&#160;Son, Tran Cao. editor.&#160;Riemsdijk, M. Birna. editor.&#160;Winikoff, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-93920-7">http://dx.doi.org/10.1007/978-3-540-93920-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation and Online Algorithms 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers ent://SD_ILS/0/SD_ILS:189544 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Bampis, Evripidis. editor.&#160;Skutella, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-93980-1">http://dx.doi.org/10.1007/978-3-540-93980-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2009 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189692 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Berekovic, Mladen. editor.&#160;M&uuml;ller-Schloer, Christian. editor.&#160;Hochberger, Christian. editor.&#160;Wong, Stephan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00454-4">http://dx.doi.org/10.1007/978-3-642-00454-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189693 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Reingold, Omer. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00457-5">http://dx.doi.org/10.1007/978-3-642-00457-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Analysis and Its Applications 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers ent://SD_ILS/0/SD_ILS:189696 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Margenov, Svetozar. editor.&#160;Vulkov, Lubin G. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00464-3">http://dx.doi.org/10.1007/978-3-642-00464-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Public Key Cryptography &ndash; PKC 2009 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189697 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Jarecki, Stanis&#322;aw. editor.&#160;Tsudik, Gene. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00468-1">http://dx.doi.org/10.1007/978-3-642-00468-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Hanus, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Architecture at Work Modelling, Communication and Analysis ent://SD_ILS/0/SD_ILS:189950 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Lankhorst, Marc. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01310-2">http://dx.doi.org/10.1007/978-3-642-01310-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:189836 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Kaklamanis, Christos. editor.&#160;Nielson, Flemming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00945-7">http://dx.doi.org/10.1007/978-3-642-00945-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:189839 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;C&eacute;sar, Eduardo. editor.&#160;Alexander, Michael. editor.&#160;Streit, Achim. editor.&#160;Tr&auml;ff, Jesper Larsson. editor.&#160;C&eacute;rin, Christophe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00955-6">http://dx.doi.org/10.1007/978-3-642-00955-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Active and Programmable Networks IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers ent://SD_ILS/0/SD_ILS:189844 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Hutchison, David. editor.&#160;Denazis, Spyros. editor.&#160;Lefevre, Laurent. editor.&#160;Minden, Gary J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00972-3">http://dx.doi.org/10.1007/978-3-642-00972-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - EUROCRYPT 2009 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189852 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Joux, Antoine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01001-9">http://dx.doi.org/10.1007/978-3-642-01001-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science IV Special Issue on Security in Computing ent://SD_ILS/0/SD_ILS:189853 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;Moreno, Edward David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01004-0">http://dx.doi.org/10.1007/978-3-642-01004-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation in Combinatorial Optimization 9th European Conference, EvoCOP 2009, T&uuml;bingen, Germany, April 15-17, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189855 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Cotta, Carlos. editor.&#160;Cowling, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01009-5">http://dx.doi.org/10.1007/978-3-642-01009-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Multi-Criterion Optimization 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189859 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ehrgott, Matthias. editor.&#160;Fonseca, Carlos M. editor.&#160;Gandibleux, Xavier. editor.&#160;Hao, Jin-Kao. editor.&#160;Sevaux, Marc. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01020-0">http://dx.doi.org/10.1007/978-3-642-01020-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers ent://SD_ILS/0/SD_ILS:190070 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Ghose, Aditya. editor.&#160;Governatori, Guido. editor.&#160;Sadananda, Ramakoti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01639-4">http://dx.doi.org/10.1007/978-3-642-01639-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Grid and Pervasive Computing 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190081 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Abdennadher, Nabil. editor.&#160;Petcu, Dana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01671-4">http://dx.doi.org/10.1007/978-3-642-01671-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security and Cryptology 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:189996 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Yung, Moti. editor.&#160;Liu, Peng. editor.&#160;Lin, Dongdai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01440-6">http://dx.doi.org/10.1007/978-3-642-01440-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Das V-Modell&reg; XT F&uuml;r Projektleiter und QS-Verantwortliche kompakt und &uuml;bersichtlich ent://SD_ILS/0/SD_ILS:190014 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Friedrich, Jan. author.&#160;Hammerschall, Ulrike. author.&#160;Kuhrmann, Marco. author.&#160;Sihling, Marc. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01488-8">http://dx.doi.org/10.1007/978-3-642-01488-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part I ent://SD_ILS/0/SD_ILS:190021 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Yu, Wen. editor.&#160;He, Haibo. editor.&#160;Zhang, Nian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01507-6">http://dx.doi.org/10.1007/978-3-642-01507-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part II ent://SD_ILS/0/SD_ILS:190022 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Yu, Wen. editor.&#160;He, Haibo. editor.&#160;Zhang, Nian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01510-6">http://dx.doi.org/10.1007/978-3-642-01510-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part III ent://SD_ILS/0/SD_ILS:190023 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Yu, Wen. editor.&#160;He, Haibo. editor.&#160;Zhang, Nian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01513-7">http://dx.doi.org/10.1007/978-3-642-01513-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Computing 7th International Conference, Pervasive 2009, Nara, Japan, May 11-14, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190024 2026-05-14T10:10:23Z 2026-05-14T10:10:23Z Author&#160;Tokuda, Hideyuki. editor.&#160;Beigl, Michael. editor.&#160;Friday, Adrian. editor.&#160;Brush, A. J. Bernheim. editor.&#160;Tobe, Yoshito. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01516-8">http://dx.doi.org/10.1007/978-3-642-01516-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>