Search Results for Software engineering. - Narrowed by: 2013 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bengineering.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092013$0025092013$0026te$003dILS$0026ps$003d300?dt=list 2024-12-25T21:23:31Z Handbook of software engineering &amp; knowledge engineering ent://SD_ILS/0/SD_ILS:79287 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z 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/> Projektorganisation und Management im Software Engineering ent://SD_ILS/0/SD_ILS:336947 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Broy, Manfred. author.&#160;Kuhrmann, Marco. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336947.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29290-3">http://dx.doi.org/10.1007/978-3-642-29290-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering: A Hands-On Approach ent://SD_ILS/0/SD_ILS:336486 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Lee, Roger Y. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336486.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-6239-006-5">http://dx.doi.org/10.2991/978-94-6239-006-5</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:332795 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332795.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00738-0">http://dx.doi.org/10.1007/978-3-319-00738-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology &amp; Computing Intelligence ent://SD_ILS/0/SD_ILS:333859 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Lu, Wei. editor.&#160;Cai, Guoqiang. editor.&#160;Liu, Weibin. editor.&#160;Xing, Weiwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333859.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34522-7">http://dx.doi.org/10.1007/978-3-642-34522-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology ent://SD_ILS/0/SD_ILS:333860 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Lu, Wei. editor.&#160;Cai, Guoqiang. editor.&#160;Liu, Weibin. editor.&#160;Xing, Weiwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333860.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34528-9">http://dx.doi.org/10.1007/978-3-642-34528-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2012 International Conference on Information Technology and Software Engineering Software Engineering &amp; Digital Media Technology ent://SD_ILS/0/SD_ILS:333861 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Lu, Wei. editor.&#160;Cai, Guoqiang. editor.&#160;Liu, Weibin. editor.&#160;Xing, Weiwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333861.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34531-9">http://dx.doi.org/10.1007/978-3-642-34531-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:334055 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Lemos, Rog&eacute;rio. editor.&#160;Giese, Holger. editor.&#160;M&uuml;ller, Hausi A. editor.&#160;Shaw, Mary. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334055.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:334096 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;L&auml;mmel, Ralf. editor.&#160;Saraiva, Jo&atilde;o. editor.&#160;Visser, Joost. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334096.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:334109 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Lucia, Andrea. editor.&#160;Ferrucci, Filomena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334109.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36054-1">http://dx.doi.org/10.1007/978-3-642-36054-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334120 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Czarnecki, Krzysztof. editor.&#160;Hedin, G&ouml;rel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334120.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332934 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Erwig, Martin. editor.&#160;Paige, Richard F. editor.&#160;Wyk, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332934.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012 ent://SD_ILS/0/SD_ILS:333535 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333535.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32172-6">http://dx.doi.org/10.1007/978-3-642-32172-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334354 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Cortellessa, Vittorio. editor.&#160;Varr&oacute;, D&aacute;niel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334354.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37057-1">http://dx.doi.org/10.1007/978-3-642-37057-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335227 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Filipe, Joaquim. editor.&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335227.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-54092-9">http://dx.doi.org/10.1007/978-3-642-54092-9</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:337559 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Kleuker, Stephan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337559.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-00642-6">http://dx.doi.org/10.1007/978-3-658-00642-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen ent://SD_ILS/0/SD_ILS:338377 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Sch&auml;uffele, J&ouml;rg. author.&#160;Zurawka, Thomas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(338377.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-2470-7">http://dx.doi.org/10.1007/978-3-8348-2470-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Frameworks for the Cloud Computing Paradigm ent://SD_ILS/0/SD_ILS:331122 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Mahmood, Zaigham. editor.&#160;Saeed, Saqib. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331122.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5031-2">http://dx.doi.org/10.1007/978-1-4471-5031-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334236 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;J&uuml;rjens, Jan. editor.&#160;Livshits, Benjamin. editor.&#160;Scandariato, Riccardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334236.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36563-8">http://dx.doi.org/10.1007/978-3-642-36563-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334859 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;M&uuml;ller, J&ouml;rg P. editor.&#160;Cossentino, Massimo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334859.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39866-7">http://dx.doi.org/10.1007/978-3-642-39866-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334870 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Louren&ccedil;o, Jo&atilde;o M. editor.&#160;Farchi, Eitan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334870.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39955-8">http://dx.doi.org/10.1007/978-3-642-39955-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334911 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Arbab, Farhad. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334911.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40213-5">http://dx.doi.org/10.1007/978-3-642-40213-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 &ndash; November 1, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335072 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Groves, Lindsay. editor.&#160;Sun, Jing. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335072.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41202-8">http://dx.doi.org/10.1007/978-3-642-41202-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering and Management for Software Development Projects ent://SD_ILS/0/SD_ILS:331756 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Chemuturi, Murali. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331756.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-5377-2">http://dx.doi.org/10.1007/978-1-4614-5377-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:333558 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Maciaszek, Leszek A. editor.&#160;Zhang, Kang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333558.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombach ent://SD_ILS/0/SD_ILS:334419 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;M&uuml;nch, J&uuml;rgen. editor.&#160;Schmid, Klaus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334419.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37395-4">http://dx.doi.org/10.1007/978-3-642-37395-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334426 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Doerr, Joerg. editor.&#160;Opdahl, Andreas L. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334426.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37422-7">http://dx.doi.org/10.1007/978-3-642-37422-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334579 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Baumeister, Hubert. editor.&#160;Weber, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334579.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38314-4">http://dx.doi.org/10.1007/978-3-642-38314-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures ent://SD_ILS/0/SD_ILS:334841 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Liu, Zhiming. editor.&#160;Woodcock, Jim. editor.&#160;Zhu, Huibiao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334841.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39721-9">http://dx.doi.org/10.1007/978-3-642-39721-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334844 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Ruhe, G&uuml;nther. editor.&#160;Zhang, Yuanyuan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334844.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39742-4">http://dx.doi.org/10.1007/978-3-642-39742-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334968 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Hierons, Robert M. editor.&#160;Merayo, Mercedes G. editor.&#160;Bravetti, Mario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334968.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335024 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Gorbenko, Anatoliy. editor.&#160;Romanovsky, Alexander. editor.&#160;Kharchenko, Vyacheslav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335024.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335217 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Maciaszek, Leszek A. editor.&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335217.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45422-6">http://dx.doi.org/10.1007/978-3-642-45422-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development ent://SD_ILS/0/SD_ILS:333358 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Trendowicz, Adam. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333358.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30764-5">http://dx.doi.org/10.1007/978-3-642-30764-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer-aided control systems design practical applications using MATLAB and Simulink ent://SD_ILS/0/SD_ILS:290939 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Chin, Cheng Siong.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781466568525">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Music and Human-Computer Interaction ent://SD_ILS/0/SD_ILS:330896 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Holland, Simon. editor.&#160;Wilkie, Katie. editor.&#160;Mulholland, Paul. editor.&#160;Seago, Allan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330896.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2990-5">http://dx.doi.org/10.1007/978-1-4471-2990-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Creativity and Rationale Enhancing Human Experience by Design ent://SD_ILS/0/SD_ILS:330908 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Carroll, John M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330908.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4111-2">http://dx.doi.org/10.1007/978-1-4471-4111-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques ent://SD_ILS/0/SD_ILS:330912 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;&Scaron;tuikys, Vytautas. author.&#160;Dama&scaron;evi&#269;ius, Robertas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330912.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4126-6">http://dx.doi.org/10.1007/978-1-4471-4126-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Connecting Families The Impact of New Communication Technologies on Domestic Life ent://SD_ILS/0/SD_ILS:330927 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Neustaedter, Carman. editor.&#160;Harrison, Steve. editor.&#160;Sellen, Abigail. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330927.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4192-1">http://dx.doi.org/10.1007/978-1-4471-4192-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Physical Layer Multi-Core Prototyping A Dataflow-Based Approach for LTE eNodeB ent://SD_ILS/0/SD_ILS:330930 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Pelcat, Maxime. author.&#160;Aridhi, Slaheddine. author.&#160;Piat, Jonathan. author.&#160;Nezan, Jean-Fran&ccedil;ois. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330930.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4210-2">http://dx.doi.org/10.1007/978-1-4471-4210-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Neuroevolution Through Erlang ent://SD_ILS/0/SD_ILS:331512 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Sher, Gene I. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331512.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4463-3">http://dx.doi.org/10.1007/978-1-4614-4463-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Programming Theory and Practice ent://SD_ILS/0/SD_ILS:331611 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Shankar, A. Udaya. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331611.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4881-5">http://dx.doi.org/10.1007/978-1-4614-4881-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Development Reflections, Challenges and New Directions ent://SD_ILS/0/SD_ILS:331631 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Pooley, Rob. editor.&#160;Coady, Jennifer. editor.&#160;Schneider, Christoph. editor.&#160;Linger, Henry. editor.&#160;Barry, Chris. editor.<br/>Preferred Shelf Number&#160;ONLINE(331631.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4951-5">http://dx.doi.org/10.1007/978-1-4614-4951-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Business Process Management ent://SD_ILS/0/SD_ILS:333671 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Dumas, Marlon. author.&#160;La Rosa, Marcello. author.&#160;Mendling, Jan. author.&#160;Reijers, Hajo A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333671.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33143-5">http://dx.doi.org/10.1007/978-3-642-33143-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Industrial Deployment of System Engineering Methods ent://SD_ILS/0/SD_ILS:333675 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Romanovsky, Alexander. editor.&#160;Thomas, Martyn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333675.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33170-1">http://dx.doi.org/10.1007/978-3-642-33170-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Surface- and Groundwater Quality Changes in Periods of Water Scarcity ent://SD_ILS/0/SD_ILS:333547 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Gregor, Milo&scaron;. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333547.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32244-0">http://dx.doi.org/10.1007/978-3-642-32244-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies ent://SD_ILS/0/SD_ILS:333688 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Reisig, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333688.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33278-4">http://dx.doi.org/10.1007/978-3-642-33278-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomous Sensor Networks Collective Sensing Strategies for Analytical Purposes ent://SD_ILS/0/SD_ILS:333878 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Filippini, Daniel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333878.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34648-4">http://dx.doi.org/10.1007/978-3-642-34648-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming ent://SD_ILS/0/SD_ILS:333884 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Kormanyos, Christopher Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333884.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34688-0">http://dx.doi.org/10.1007/978-3-642-34688-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334014 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Qadeer, Shaz. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334014.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334025 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Frey, Davide. editor.&#160;Raynal, Michel. editor.&#160;Sarkar, Saswati. editor.&#160;Shyamasundar, Rudrapatna K. editor.&#160;Sinha, Prasun. editor.<br/>Preferred Shelf Number&#160;ONLINE(334025.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35668-1">http://dx.doi.org/10.1007/978-3-642-35668-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334033 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Winkler, Dietmar. editor.&#160;Biffl, Stefan. editor.&#160;Bergsmann, Johannes. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334033.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35702-2">http://dx.doi.org/10.1007/978-3-642-35702-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334034 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Wolff, Burkhart. editor.&#160;Gaudel, Marie-Claude. editor.&#160;Feliachi, Abderrahmane. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334034.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35705-3">http://dx.doi.org/10.1007/978-3-642-35705-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334041 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor.&#160;Nikitchenko, Mykola. editor.&#160;Spivakovsky, Aleksander. editor.&#160;Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number&#160;ONLINE(334041.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35737-4">http://dx.doi.org/10.1007/978-3-642-35737-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 &ndash; June 2, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334049 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Yuan, Yuyu. editor.&#160;Wu, Xu. editor.&#160;Lu, Yueming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334049.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35795-4">http://dx.doi.org/10.1007/978-3-642-35795-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, &Scaron;pindler&#367;v Ml&yacute;n, Czech Republic, January 26-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334064 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Emde Boas, Peter. editor.&#160;Groen, Frans C. A. editor.&#160;Italiano, Giuseppe F. editor.&#160;Nawrocki, Jerzy. editor.&#160;Sack, Harald. editor.<br/>Preferred Shelf Number&#160;ONLINE(334064.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334069 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;P&#259;s&#259;reanu, Corina S. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334069.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Communication and Power Engineering Second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334070 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Das, Vinu V. editor.&#160;Chaba, Yogesh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334070.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35864-7">http://dx.doi.org/10.1007/978-3-642-35864-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334071 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. editor.&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334071.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35867-8">http://dx.doi.org/10.1007/978-3-642-35867-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334073 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Giacobazzi, Roberto. editor.&#160;Berdine, Josh. editor.&#160;Mastroeni, Isabella. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334073.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35873-9">http://dx.doi.org/10.1007/978-3-642-35873-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334077 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Beckert, Bernhard. editor.&#160;Damiani, Ferruccio. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334077.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing ent://SD_ILS/0/SD_ILS:334079 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Keller, Rainer. editor.&#160;Kramer, David. editor.&#160;Weiss, Jan-Philipp. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334079.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35893-7">http://dx.doi.org/10.1007/978-3-642-35893-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334106 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Ku&#269;era, Anton&iacute;n. editor.&#160;Henzinger, Thomas A. editor.&#160;Ne&scaron;et&#345;il, Jaroslav. editor.&#160;Vojnar, Tom&aacute;&scaron;. editor.&#160;Anto&scaron;, David. editor.<br/>Preferred Shelf Number&#160;ONLINE(334106.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36046-6">http://dx.doi.org/10.1007/978-3-642-36046-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach ent://SD_ILS/0/SD_ILS:334129 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;J&ouml;rges, Sven. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334129.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36127-2">http://dx.doi.org/10.1007/978-3-642-36127-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Radio Frequency Identification. Security and Privacy Issues 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334132 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Hoepman, Jaap-Henk. editor.&#160;Verbauwhede, Ingrid. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334132.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36140-1">http://dx.doi.org/10.1007/978-3-642-36140-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334142 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Escalona, Mar&iacute;a Jos&eacute;. editor.&#160;Cordeiro, Jos&eacute;. editor.&#160;Shishkov, Boris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334142.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36177-7">http://dx.doi.org/10.1007/978-3-642-36177-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Assurances for Self-Adaptive Systems Principles, Models, and Techniques ent://SD_ILS/0/SD_ILS:334156 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;C&aacute;mara, Javier. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Ghezzi, Carlo. editor.&#160;Lopes, Ant&oacute;nia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334156.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36249-1">http://dx.doi.org/10.1007/978-3-642-36249-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334174 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Gl&uuml;ck, Robert. editor.&#160;Yokoyama, Tetsuo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334174.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36315-3">http://dx.doi.org/10.1007/978-3-642-36315-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Exploring Services Science 4th International Conference, IESS 2013, Porto, Portugal, February 7-8, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334183 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Falc&atilde;o e Cunha, Jo&atilde;o. editor.&#160;Snene, Mehdi. editor.&#160;N&oacute;voa, Henriqueta. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334183.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36356-6">http://dx.doi.org/10.1007/978-3-642-36356-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SmartShadow: Models and Methods for Pervasive Computing ent://SD_ILS/0/SD_ILS:334190 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Wu, Zhaohui. author.&#160;Pan, Gang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334190.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36382-5">http://dx.doi.org/10.1007/978-3-642-36382-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Domain Engineering Product Lines, Languages, and Conceptual Models ent://SD_ILS/0/SD_ILS:334257 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Reinhartz-Berger, Iris. editor.&#160;Sturm, Arnon. editor.&#160;Clark, Tony. editor.&#160;Cohen, Sholom. editor.&#160;Bettin, Jorn. editor.<br/>Preferred Shelf Number&#160;ONLINE(334257.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36654-3">http://dx.doi.org/10.1007/978-3-642-36654-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334263 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Demeester, Piet. editor.&#160;Moerman, Ingrid. editor.&#160;Terzis, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334263.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36672-7">http://dx.doi.org/10.1007/978-3-642-36672-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334274 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Nambiar, Raghunath. editor.&#160;Poess, Meikel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334274.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36727-4">http://dx.doi.org/10.1007/978-3-642-36727-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334278 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Piterman, Nir. editor.&#160;Smolka, Scott A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334278.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334280 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Csuhaj-Varj&uacute;, Erzs&eacute;bet. editor.&#160;Gheorghe, Marian. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Vaszil, Gy&ouml;rgy. editor.<br/>Preferred Shelf Number&#160;ONLINE(334280.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36751-9">http://dx.doi.org/10.1007/978-3-642-36751-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334281 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Fischer, Herbert. editor.&#160;Schneeberger, Josef. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334281.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36754-0">http://dx.doi.org/10.1007/978-3-642-36754-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334282 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Haugen, &Oslash;ystein. editor.&#160;Reed, Rick. editor.&#160;Gotzhein, Reinhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334282.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36757-1">http://dx.doi.org/10.1007/978-3-642-36757-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> TV-Anytime Paving the Way for Personalized TV ent://SD_ILS/0/SD_ILS:334285 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Gil Solla, Alberto. author.&#160;Sotelo Bovino, Rafael G. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334285.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36766-3">http://dx.doi.org/10.1007/978-3-642-36766-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Safety and human error in engineering systems ent://SD_ILS/0/SD_ILS:288126 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Dhillon, B. S. (Balbir S.), 1947-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781466506954">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro Team Foundation Service ent://SD_ILS/0/SD_ILS:330735 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Olausson, Mathias. author.&#160;Rossberg, Joachim. author.&#160;Ehn, Jakob. author.&#160;Sk&ouml;ld, Mattias. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330735.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-5996-1">http://dx.doi.org/10.1007/978-1-4302-5996-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robust Data Mining ent://SD_ILS/0/SD_ILS:330861 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Xanthopoulos, Petros. author.&#160;Pardalos, Panos M. author.&#160;Trafalis, Theodore B. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330861.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-9878-1">http://dx.doi.org/10.1007/978-1-4419-9878-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Using Event-B for Critical Device Software Systems ent://SD_ILS/0/SD_ILS:331181 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Singh, Neeraj Kumar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331181.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sustainable Web Ecosystem Design ent://SD_ILS/0/SD_ILS:332331 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;O'Toole, Greg. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332331.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-7714-3">http://dx.doi.org/10.1007/978-1-4614-7714-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332962 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Bertacco, Valeria. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332964 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Higashino, Teruo. editor.&#160;Katayama, Yoshiaki. editor.&#160;Masuzawa, Toshimitsu. editor.&#160;Potop-Butucaru, Maria. editor.&#160;Yamashita, Masafumi. editor.<br/>Preferred Shelf Number&#160;ONLINE(332964.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03089-0">http://dx.doi.org/10.1007/978-3-319-03089-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332965 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Nugent, Christopher. editor.&#160;Coronato, Antonio. editor.&#160;Bravo, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332965.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03092-0">http://dx.doi.org/10.1007/978-3-319-03092-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332969 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Urzaiz, Gabriel. editor.&#160;Ochoa, Sergio F. editor.&#160;Bravo, Jos&eacute;. editor.&#160;Chen, Liming Luke. editor.&#160;Oliveira, Jonice. editor.<br/>Preferred Shelf Number&#160;ONLINE(332969.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03176-7">http://dx.doi.org/10.1007/978-3-319-03176-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift ent://SD_ILS/0/SD_ILS:332822 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Paule, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332822.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Multimedia Information Processing &ndash; PCM 2013 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332991 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Huet, Benoit. editor.&#160;Ngo, Chong-Wah. editor.&#160;Tang, Jinhui. editor.&#160;Zhou, Zhi-Hua. editor.&#160;Hauptmann, Alexander G. editor.<br/>Preferred Shelf Number&#160;ONLINE(332991.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03731-8">http://dx.doi.org/10.1007/978-3-319-03731-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Mobile Web Information Systems MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-28, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:332992 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Matera, Maristella. editor.&#160;Rossi, Gustavo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332992.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03737-0">http://dx.doi.org/10.1007/978-3-319-03737-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:332993 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;Dash, Shubhransu Sekhar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332993.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03753-0">http://dx.doi.org/10.1007/978-3-319-03753-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:332994 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;Dash, Shubhransu Sekhar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332994.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03756-1">http://dx.doi.org/10.1007/978-3-319-03756-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332999 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Baldoni, Roberto. editor.&#160;Nisse, Nicolas. editor.&#160;Steen, Maarten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332999.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03850-6">http://dx.doi.org/10.1007/978-3-319-03850-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:333000 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Ko&#322;odziej, Joanna. editor.&#160;Martino, Beniamino. editor.&#160;Talia, Domenico. editor.&#160;Xiong, Kaiqi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333000.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03859-9">http://dx.doi.org/10.1007/978-3-319-03859-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiple Access Communcations 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings ent://SD_ILS/0/SD_ILS:333001 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Jonsson, Magnus. editor.&#160;Vinel, Alexey. editor.&#160;Bellalta, Boris. editor.&#160;Marina, Ninoslav. editor.&#160;Dimitrova, Desislava. editor.<br/>Preferred Shelf Number&#160;ONLINE(333001.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03871-1">http://dx.doi.org/10.1007/978-3-319-03871-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333002 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Yousif, Mazin. editor.&#160;Schubert, Lutz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333002.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03874-2">http://dx.doi.org/10.1007/978-3-319-03874-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333011 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor.&#160;Nikitchenko, Mykola. editor.&#160;Spivakovsky, Aleksander. editor.&#160;Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number&#160;ONLINE(333011.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03998-5">http://dx.doi.org/10.1007/978-3-319-03998-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333015 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Zuniga, Marco. editor.&#160;Dini, Gianluca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333015.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-04166-7">http://dx.doi.org/10.1007/978-3-319-04166-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Computing and Services Science Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:333024 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Ivanov, Ivan I. editor.&#160;Sinderen, Marten. editor.&#160;Leymann, Frank. editor.&#160;Shan, Tony. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333024.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-04519-1">http://dx.doi.org/10.1007/978-3-319-04519-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards Practical Brain-Computer Interfaces Bridging the Gap from Research to Real-World Applications ent://SD_ILS/0/SD_ILS:333262 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Allison, Brendan Z. editor.&#160;Dunne, Stephen. editor.&#160;Leeb, Robert. editor.&#160;Del R. Mill&aacute;n, Jos&eacute;. editor.&#160;Nijholt, Anton. editor.<br/>Preferred Shelf Number&#160;ONLINE(333262.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29746-5">http://dx.doi.org/10.1007/978-3-642-29746-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Discovery, Knowledge Engineering and Knowledge Management Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333266 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Fred, Ana. editor.&#160;Dietz, Jan L. G. editor.&#160;Liu, Kecheng. editor.&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333266.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29764-9">http://dx.doi.org/10.1007/978-3-642-29764-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations ent://SD_ILS/0/SD_ILS:333514 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Raynal, Michel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333514.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32027-9">http://dx.doi.org/10.1007/978-3-642-32027-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Cryptography with Maple ent://SD_ILS/0/SD_ILS:333533 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;G&oacute;mez Pardo, Jos&eacute; Luis. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333533.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32166-5">http://dx.doi.org/10.1007/978-3-642-32166-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> QoS Management of Web Services ent://SD_ILS/0/SD_ILS:333814 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Zheng, Zibin. author.&#160;Lyu, Michael R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333814.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34207-3">http://dx.doi.org/10.1007/978-3-642-34207-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managing Requirements Knowledge ent://SD_ILS/0/SD_ILS:333846 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Maalej, Walid. editor.&#160;Thurimella, Anil Kumar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333846.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34419-0">http://dx.doi.org/10.1007/978-3-642-34419-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Mashups Intelligent Reuse of Web Resources ent://SD_ILS/0/SD_ILS:334195 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Endres-Niggemeyer, Brigitte. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334195.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36403-7">http://dx.doi.org/10.1007/978-3-642-36403-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334200 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Kub&aacute;tov&aacute;, Hana. editor.&#160;Hochberger, Christian. editor.&#160;Dan&#283;k, Martin. editor.&#160;Sick, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334200.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36424-2">http://dx.doi.org/10.1007/978-3-642-36424-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334290 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Tribastone, Mirco. editor.&#160;Gilmore, Stephen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334290.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36781-6">http://dx.doi.org/10.1007/978-3-642-36781-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Interoperability 5th International IFIP Working Conference, IWEI 2013, Enschede, The Netherlands, March 27-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334295 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Sinderen, Marten. editor.&#160;Oude Luttighuis, Paul. editor.&#160;Folmer, Erwin. editor.&#160;Bosems, Steven. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334295.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36796-0">http://dx.doi.org/10.1007/978-3-642-36796-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335150 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Ng, Wilfred. editor.&#160;Storey, Veda C. editor.&#160;Trujillo, Juan C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335150.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41924-9">http://dx.doi.org/10.1007/978-3-642-41924-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Software Technologies 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings ent://SD_ILS/0/SD_ILS:335153 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Skersys, Tomas. editor.&#160;Butleris, Rimantas. editor.&#160;Butkiene, Rita. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335153.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41947-8">http://dx.doi.org/10.1007/978-3-642-41947-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Seminal Contributions to Information Systems Engineering 25 Years of CAiSE ent://SD_ILS/0/SD_ILS:334324 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Bubenko, Janis. editor.&#160;Krogstie, John. editor.&#160;Pastor, Oscar. editor.&#160;Pernici, Barbara. editor.&#160;Rolland, Colette. editor.<br/>Preferred Shelf Number&#160;ONLINE(334324.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36926-1">http://dx.doi.org/10.1007/978-3-642-36926-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Aliasing in Object-Oriented Programming. Types, Analysis and Verification ent://SD_ILS/0/SD_ILS:334327 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Clarke, Dave. editor.&#160;Noble, James. editor.&#160;Wrigstad, Tobias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334327.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36946-9">http://dx.doi.org/10.1007/978-3-642-36946-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334328 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Caragiannis, Ioannis. editor.&#160;Alexander, Michael. editor.&#160;Badia, Rosa Maria. editor.&#160;Cannataro, Mario. editor.&#160;Costan, Alexandru. editor.<br/>Preferred Shelf Number&#160;ONLINE(334328.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36949-0">http://dx.doi.org/10.1007/978-3-642-36949-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ada 2012 Rationale The Language, The Standard Libraries ent://SD_ILS/0/SD_ILS:335195 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Barnes, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335195.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45210-9">http://dx.doi.org/10.1007/978-3-642-45210-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335196 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;McMillan, Ken. editor.&#160;Middeldorp, Aart. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335196.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers ent://SD_ILS/0/SD_ILS:334344 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Piazolo, Felix. editor.&#160;Felderer, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334344.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37021-2">http://dx.doi.org/10.1007/978-3-642-37021-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334348 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Felleisen, Matthias. editor.&#160;Gardner, Philippa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334348.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334353 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Jhala, Ranjit. editor.&#160;Bosschere, Koen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334353.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37051-9">http://dx.doi.org/10.1007/978-3-642-37051-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335198 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Moschitti, Alessandro. editor.&#160;Plank, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335198.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45260-4">http://dx.doi.org/10.1007/978-3-642-45260-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Resource Discovery 5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335199 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Lacroix, Zo&eacute;. editor.&#160;Ruckhaus, Edna. editor.&#160;Vidal, Maria-Esther. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335199.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45263-5">http://dx.doi.org/10.1007/978-3-642-45263-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335204 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Sagonas, Kostis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335204.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45284-0">http://dx.doi.org/10.1007/978-3-642-45284-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335206 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Wu, Chenggang. editor.&#160;Cohen, Albert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335206.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45293-2">http://dx.doi.org/10.1007/978-3-642-45293-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335210 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Cossentino, Massimo. editor.&#160;Fallah Seghrouchni, Amal. editor.&#160;Winikoff, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335210.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45343-4">http://dx.doi.org/10.1007/978-3-642-45343-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2013, M&aacute;laga, Spain, September 11-13, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335212 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Canal, Carlos. editor.&#160;Villari, Massimo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335212.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45364-9">http://dx.doi.org/10.1007/978-3-642-45364-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> User-Level Workflow Design A Bioinformatics Perspective ent://SD_ILS/0/SD_ILS:335213 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Lamprecht, Anna-Lena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335213.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45389-2">http://dx.doi.org/10.1007/978-3-642-45389-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335215 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Cordeiro, Jos&eacute;. editor.&#160;Hammoudi, Slimane. editor.&#160;Sinderen, Marten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335215.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45404-2">http://dx.doi.org/10.1007/978-3-642-45404-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) ent://SD_ILS/0/SD_ILS:335216 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Taft, S. Tucker. editor.&#160;Duff, Robert A. editor.&#160;Brukardt, Randall L. editor.&#160;Ploedereder, Erhard. editor.&#160;Leroy, Pascal. editor.<br/>Preferred Shelf Number&#160;ONLINE(335216.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45419-6">http://dx.doi.org/10.1007/978-3-642-45419-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Early Software Reliability Prediction A Fuzzy Logic Approach ent://SD_ILS/0/SD_ILS:335512 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Pandey, Ajeet Kumar. author.&#160;Goyal, Neeraj Kumar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335512.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-81-322-1176-1">http://dx.doi.org/10.1007/978-81-322-1176-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project ent://SD_ILS/0/SD_ILS:335577 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Cotroneo, Domenico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335577.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-2772-5">http://dx.doi.org/10.1007/978-88-470-2772-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Netcentric system of systems engineering with DEVS unified process ent://SD_ILS/0/SD_ILS:287174 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Mittal, Saurabh.&#160;Risco-Martn&#789;, Jos &#780;Luis, 1975-&#160;Cetinkaya, Deniz.&#160;Verbraeck, Alexander.&#160;Seck, Mamadou D.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439827079">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Piezoelectric materials and devices applications in engineering and medical sciences ent://SD_ILS/0/SD_ILS:290832 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Vijaya, M. S.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439887882">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer security literacy staying safe in a digital world ent://SD_ILS/0/SD_ILS:290839 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Jacobson, Douglas.&#160;Idziorek, Joseph.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439856192">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Software Industry Economic Principles, Strategies, Perspectives ent://SD_ILS/0/SD_ILS:333443 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Buxmann, Peter. author.&#160;Diefenbach, Heiner. author.&#160;Hess, Thomas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333443.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31510-7">http://dx.doi.org/10.1007/978-3-642-31510-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Land Subsidence Analysis in Urban Areas The Bangkok Metropolitan Area Case Study ent://SD_ILS/0/SD_ILS:335992 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Zeitoun, David G. author.&#160;Wakshal, Eliyahu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335992.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5506-2">http://dx.doi.org/10.1007/978-94-007-5506-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Java kompakt Eine Einf&uuml;hrung in die Software-Entwicklung mit Java ent://SD_ILS/0/SD_ILS:336934 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;H&ouml;lzl, Matthias. author.&#160;Raed, Allaithy. author.&#160;Wirsing, Martin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336934.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28504-2">http://dx.doi.org/10.1007/978-3-642-28504-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering und Projektmanagement ent://SD_ILS/0/SD_ILS:336955 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Valentini, Uwe. author.&#160;Wei&szlig;bach, R&uuml;diger. author.&#160;Fahney, Ralf. author.&#160;Gartung, Thomas. author.&#160;Glunde, J&ouml;rg. author.<br/>Preferred Shelf Number&#160;ONLINE(336955.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29432-7">http://dx.doi.org/10.1007/978-3-642-29432-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agentensysteme in der Automatisierungstechnik ent://SD_ILS/0/SD_ILS:337038 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;G&ouml;hner, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337038.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31768-2">http://dx.doi.org/10.1007/978-3-642-31768-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Keine Angst vor Linux/Unix Ein Lehrbuch f&uuml;r Linux- und Unix-Anwender ent://SD_ILS/0/SD_ILS:337045 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Wolfinger, Christine. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337045.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32079-8">http://dx.doi.org/10.1007/978-3-642-32079-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systemanalyse kompakt ent://SD_ILS/0/SD_ILS:337184 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;SOPHIST GmbH. author.&#160;Rupp, Chris. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337184.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35446-5">http://dx.doi.org/10.1007/978-3-642-35446-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software-Qualit&auml;t ent://SD_ILS/0/SD_ILS:337190 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Hoffmann, Dirk W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337190.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35700-8">http://dx.doi.org/10.1007/978-3-642-35700-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Touch Interaktion durch Ber&uuml;hrung ent://SD_ILS/0/SD_ILS:337203 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Schlegel, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337203.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36113-5">http://dx.doi.org/10.1007/978-3-642-36113-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Industrie 4.0 Beherrschung der industriellen Komplexit&auml;t mit SysLM ent://SD_ILS/0/SD_ILS:337230 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Sendler, Ulrich. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337230.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36917-9">http://dx.doi.org/10.1007/978-3-642-36917-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sicherheitsgerichtete Echtzeitsysteme ent://SD_ILS/0/SD_ILS:337256 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Halang, Wolfgang A. author.&#160;Konakovsky, Rudolf M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337256.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37298-8">http://dx.doi.org/10.1007/978-3-642-37298-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Anwendungsentwicklung mit Datenbanken ent://SD_ILS/0/SD_ILS:337341 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Unterstein, Michael. author.&#160;Matthiessen, G&uuml;nter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337341.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39003-6">http://dx.doi.org/10.1007/978-3-642-39003-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Moderne C-Programmierung Kompendium und Referenz ent://SD_ILS/0/SD_ILS:337371 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Schellong, Helmut. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337371.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40058-2">http://dx.doi.org/10.1007/978-3-642-40058-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Risikomanagement kompakt Risiken und Unsicherheiten bewerten und beherrschen ent://SD_ILS/0/SD_ILS:337388 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Ebert, Christof. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337388.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41048-2">http://dx.doi.org/10.1007/978-3-642-41048-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Funktionale Sicherheit Echtzeit 2013 ent://SD_ILS/0/SD_ILS:337391 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Halang, Wolfgang A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337391.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41309-4">http://dx.doi.org/10.1007/978-3-642-41309-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen ent://SD_ILS/0/SD_ILS:337705 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Breckenfelder, Christof. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337705.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-01128-4">http://dx.doi.org/10.1007/978-3-658-01128-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grundkurs Datenbankentwicklung Von der Anforderungsanalyse zur komplexen Datenbankanfrage ent://SD_ILS/0/SD_ILS:337828 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Kleuker, Stephan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337828.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-01588-6">http://dx.doi.org/10.1007/978-3-658-01588-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programmieren spielend gelernt mit dem Java-Hamster-Modell ent://SD_ILS/0/SD_ILS:338304 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Boles, Dietrich. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(338304.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-2039-6">http://dx.doi.org/10.1007/978-3-8348-2039-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile IT-Projekte erfolgreich gestalten Risikomanagement als Erg&auml;nzung zu Scrum ent://SD_ILS/0/SD_ILS:338238 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Brandst&auml;ter, Jonathan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(338238.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-04430-5">http://dx.doi.org/10.1007/978-3-658-04430-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Network Programming with Java Java 7 Compatible ent://SD_ILS/0/SD_ILS:331180 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Graba, Jan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331180.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5254-5">http://dx.doi.org/10.1007/978-1-4471-5254-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Network Programming &ndash; Principles and Techniques Network Application Programming with Java ent://SD_ILS/0/SD_ILS:331186 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Ciubotaru, Bogdan. author.&#160;Muntean, Gabriel-Miro. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331186.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5292-7">http://dx.doi.org/10.1007/978-1-4471-5292-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Models for Adaptive Interactive Systems ent://SD_ILS/0/SD_ILS:331188 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Hussein, Tim. editor.&#160;Paulheim, Heiko. editor.&#160;Lukosch, Stephan. editor.&#160;Ziegler, J&uuml;rgen. editor.&#160;Calvary, Ga&euml;lle. editor.<br/>Preferred Shelf Number&#160;ONLINE(331188.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5301-6">http://dx.doi.org/10.1007/978-1-4471-5301-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomic Computing Principles, Design and Implementation ent://SD_ILS/0/SD_ILS:331115 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Lalanda, Philippe. author.&#160;McCann, Julie A. author.&#160;Diaconescu, Ada. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331115.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5007-7">http://dx.doi.org/10.1007/978-1-4471-5007-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Computing Methods and Practical Approaches ent://SD_ILS/0/SD_ILS:331146 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Mahmood, Zaigham. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331146.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5107-4">http://dx.doi.org/10.1007/978-1-4471-5107-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:333246 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Cordeiro, Jos&eacute;. editor.&#160;Virvou, Maria. editor.&#160;Shishkov, Boris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333246.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29578-2">http://dx.doi.org/10.1007/978-3-642-29578-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Architecture at Work Modelling, Communication and Analysis ent://SD_ILS/0/SD_ILS:333251 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Lankhorst, Marc. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333251.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29651-2">http://dx.doi.org/10.1007/978-3-642-29651-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Policies and Research in Identity Management Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334399 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Fischer-H&uuml;bner, Simone. editor.&#160;Leeuw, Elisabeth. editor.&#160;Mitchell, Chris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334399.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37282-7">http://dx.doi.org/10.1007/978-3-642-37282-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334401 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Mangard, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334401.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37288-9">http://dx.doi.org/10.1007/978-3-642-37288-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems and Software Variability Management Concepts, Tools and Experiences ent://SD_ILS/0/SD_ILS:334240 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Capilla, Rafael. editor.&#160;Bosch, Jan. editor.&#160;Kang, Kyo-Chul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334240.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36583-6">http://dx.doi.org/10.1007/978-3-642-36583-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Information Systems and Technologies 8th International Conference, WEBIST 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334245 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Cordeiro, Jos&eacute;. editor.&#160;Krempels, Karl-Heinz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334245.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36608-6">http://dx.doi.org/10.1007/978-3-642-36608-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334469 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Kasahara, Hironori. editor.&#160;Kimura, Keiji. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334469.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37658-0">http://dx.doi.org/10.1007/978-3-642-37658-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing - ICSOC 2012 Workshops ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334485 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Ghose, Aditya. editor.&#160;Zhu, Huibiao. editor.&#160;Yu, Qi. editor.&#160;Delis, Alex. editor.&#160;Sheng, Quang Z. editor.<br/>Preferred Shelf Number&#160;ONLINE(334485.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37804-1">http://dx.doi.org/10.1007/978-3-642-37804-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334494 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Baldoni, Matteo. editor.&#160;Dennis, Louise. editor.&#160;Mascardi, Viviana. editor.&#160;Vasconcelos, Wamberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334494.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37890-4">http://dx.doi.org/10.1007/978-3-642-37890-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Networks and Management 4th International Conference, MONAMI 2012, Hamburg, Germany, September 24-26, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334503 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Timm-Giel, Andreas. editor.&#160;Strassner, John. editor.&#160;Ag&uuml;ero, Ram&oacute;n. editor.&#160;Sargento, Susana. editor.&#160;Pentikousis, Kostas. editor.<br/>Preferred Shelf Number&#160;ONLINE(334503.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37935-2">http://dx.doi.org/10.1007/978-3-642-37935-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d&rsquo;Ascq, France, May 14-15, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334508 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Berbineau, Marion. editor.&#160;Jonsson, Magnus. editor.&#160;Bonnin, Jean-Marie. editor.&#160;Cherkaoui, Soumaya. editor.&#160;Aguado, Marina. editor.<br/>Preferred Shelf Number&#160;ONLINE(334508.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37974-1">http://dx.doi.org/10.1007/978-3-642-37974-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334533 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Brat, Guillaume. editor.&#160;Rungta, Neha. editor.&#160;Venet, Arnaud. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334533.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency VII ent://SD_ILS/0/SD_ILS:334545 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Jensen, Kurt. editor.&#160;Aalst, Wil M. P. editor.&#160;Balbo, Gianfranco. editor.&#160;Koutny, Maciej. editor.&#160;Wolf, Karsten. editor.<br/>Preferred Shelf Number&#160;ONLINE(334545.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38143-0">http://dx.doi.org/10.1007/978-3-642-38143-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:334547 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Coecke, Bob. editor.&#160;Ong, Luke. editor.&#160;Panangaden, Prakash. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334547.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334552 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Albert, Elvira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334552.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334556 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Machado, Ricardo J. editor.&#160;Maciel, Rita Suzana P. editor.&#160;Rubin, Julia. editor.&#160;Botterweck, Goetz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334556.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334662 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Kunkel, Julian Martin. editor.&#160;Ludwig, Thomas. editor.&#160;Meuer, Hans Werner. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334662.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38750-0">http://dx.doi.org/10.1007/978-3-642-38750-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334675 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Brocke, Jan. editor.&#160;Hekkala, Riitta. editor.&#160;Ram, Sudha. editor.&#160;Rossi, Matti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334675.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38827-9">http://dx.doi.org/10.1007/978-3-642-38827-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334677 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Woronowicz, Tanja. editor.&#160;Rout, Terry. editor.&#160;O&rsquo;Connor, Rory V. editor.&#160;Dorling, Alec. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334677.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38833-0">http://dx.doi.org/10.1007/978-3-642-38833-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334682 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Schirner, Gunar. editor.&#160;G&ouml;tz, Marcelo. editor.&#160;Rettberg, Achim. editor.&#160;Zanella, Mauro C. editor.&#160;Rammig, Franz J. editor.<br/>Preferred Shelf Number&#160;ONLINE(334682.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38853-8">http://dx.doi.org/10.1007/978-3-642-38853-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334683 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Logozzo, Francesco. editor.&#160;F&auml;hndrich, Manuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334683.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38856-9">http://dx.doi.org/10.1007/978-3-642-38856-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Networks 20th International Conference, CN 2013, Lw&oacute;wek &#346;l&#261;ski, Poland, June 17-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334686 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Kwiecie&#324;, Andrzej. editor.&#160;Gaj, Piotr. editor.&#160;Stera, Piotr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334686.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38865-1">http://dx.doi.org/10.1007/978-3-642-38865-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures ent://SD_ILS/0/SD_ILS:334688 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Bernardo, Marco. editor.&#160;Vink, Erik. editor.&#160;Pierro, Alessandra. editor.&#160;Wiklicky, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334688.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334691 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Duddy, Keith. editor.&#160;Kappel, Gerti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334691.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38883-5">http://dx.doi.org/10.1007/978-3-642-38883-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334697 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Khendek, Ferhat. editor.&#160;Toeroe, Maria. editor.&#160;Gherbi, Abdelouahed. editor.&#160;Reed, Rick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334697.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38911-5">http://dx.doi.org/10.1007/978-3-642-38911-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334698 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Veanes, Margus. editor.&#160;Vigan&ograve;, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334698.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Software: Quality Verification 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334700 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Petrinja, Etiel. editor.&#160;Succi, Giancarlo. editor.&#160;Ioini, Nabil. editor.&#160;Sillitti, Alberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334700.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38928-3">http://dx.doi.org/10.1007/978-3-642-38928-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings ent://SD_ILS/0/SD_ILS:334706 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Favaro, John. editor.&#160;Morisio, Maurizio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334706.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38977-1">http://dx.doi.org/10.1007/978-3-642-38977-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Detection of Intrusions and Malware, and Vulnerability Assessment 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334760 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Rieck, Konrad. editor.&#160;Stewin, Patrick. editor.&#160;Seifert, Jean-Pierre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334760.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39235-1">http://dx.doi.org/10.1007/978-3-642-39235-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334756 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Neto, Pedro. editor.&#160;Moreira, Ant&oacute;nio Paulo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334756.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39223-8">http://dx.doi.org/10.1007/978-3-642-39223-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334871 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Malyshkin, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334871.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Personal Web A Research Agenda ent://SD_ILS/0/SD_ILS:334876 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Chignell, Mark. editor.&#160;Cordy, James R. editor.&#160;Kealey, Ryan. editor.&#160;Ng, Joanna. editor.&#160;Yesha, Yelena. editor.<br/>Preferred Shelf Number&#160;ONLINE(334876.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39995-4">http://dx.doi.org/10.1007/978-3-642-39995-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334882 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Wolf, Felix. editor.&#160;Mohr, Bernd. editor.&#160;Mey, Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334882.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40047-6">http://dx.doi.org/10.1007/978-3-642-40047-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334904 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Daniel, Florian. editor.&#160;Wang, Jianmin. editor.&#160;Weber, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334904.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40176-3">http://dx.doi.org/10.1007/978-3-642-40176-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2013 &ndash; Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334905 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;D&rsquo;Argenio, Pedro R. editor.&#160;Melgratti, Hern&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334905.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40184-8">http://dx.doi.org/10.1007/978-3-642-40184-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334910 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Heckel, Reiko. editor.&#160;Milius, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334910.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40206-7">http://dx.doi.org/10.1007/978-3-642-40206-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334913 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Braberman, V&iacute;ctor. editor.&#160;Fribourg, Laurent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334913.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40229-6">http://dx.doi.org/10.1007/978-3-642-40229-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile and Ubiquitous Systems: Computing, Networking, and Services 9th International Conference, MobiQuitous 2012, Beijing, China, December 12-14, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334916 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Zheng, Kan. editor.&#160;Li, Mo. editor.&#160;Jiang, Hongbo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334916.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40238-8">http://dx.doi.org/10.1007/978-3-642-40238-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Web Information Systems 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334922 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Daniel, Florian. editor.&#160;Papadopoulos, George A. editor.&#160;Thiran, Philippe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334922.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40276-0">http://dx.doi.org/10.1007/978-3-642-40276-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enabling Things to Talk Designing IoT solutions with the IoT Architectural Reference Model ent://SD_ILS/0/SD_ILS:334941 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Bassi, Alessandro. editor.&#160;Bauer, Martin. editor.&#160;Fiedler, Martin. editor.&#160;Kramp, Thorsten. editor.&#160;Kranenburg, Rob. editor.<br/>Preferred Shelf Number&#160;ONLINE(334941.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40403-0">http://dx.doi.org/10.1007/978-3-642-40403-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency VIII ent://SD_ILS/0/SD_ILS:334949 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Koutny, Maciej. editor.&#160;Aalst, Wil M. P. editor.&#160;Yakovlev, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334949.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40465-8">http://dx.doi.org/10.1007/978-3-642-40465-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III ent://SD_ILS/0/SD_ILS:334950 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334950.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40477-1">http://dx.doi.org/10.1007/978-3-642-40477-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334951 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334951.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40480-1">http://dx.doi.org/10.1007/978-3-642-40480-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334952 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334952.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40483-2">http://dx.doi.org/10.1007/978-3-642-40483-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:334955 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334955.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40498-6">http://dx.doi.org/10.1007/978-3-642-40498-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335057 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Accorsi, Rafael. editor.&#160;Ranise, Silvio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335057.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41098-7">http://dx.doi.org/10.1007/978-3-642-41098-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Time and Petri Nets ent://SD_ILS/0/SD_ILS:335059 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Popova-Zeugmann, Louchka. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335059.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41115-1">http://dx.doi.org/10.1007/978-3-642-41115-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335064 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;H&#345;eb&iacute;&#269;ek, Ji&#345;&iacute;. editor.&#160;Schimak, Gerald. editor.&#160;Kub&aacute;sek, Miroslav. editor.&#160;Rizzoli, Andrea E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335064.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41151-9">http://dx.doi.org/10.1007/978-3-642-41151-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Information Systems Engineering &ndash; WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:335065 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Lin, Xuemin. editor.&#160;Manolopoulos, Yannis. editor.&#160;Srivastava, Divesh. editor.&#160;Huang, Guangyan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335065.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41154-0">http://dx.doi.org/10.1007/978-3-642-41154-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335066 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Palamidessi, Catuscia. editor.&#160;Ryan, Mark D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335066.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41157-1">http://dx.doi.org/10.1007/978-3-642-41157-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Information Systems Engineering &ndash; WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:335078 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Lin, Xuemin. editor.&#160;Manolopoulos, Yannis. editor.&#160;Srivastava, Divesh. editor.&#160;Huang, Guangyan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335078.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41230-1">http://dx.doi.org/10.1007/978-3-642-41230-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Sounds to Music and Emotions 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335080 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Aramaki, Mitsuko. editor.&#160;Barthet, Mathieu. editor.&#160;Kronland-Martinet, Richard. editor.&#160;Ystad, S&oslash;lvi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335080.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41248-6">http://dx.doi.org/10.1007/978-3-642-41248-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Measurement Methodology and Tools First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers ent://SD_ILS/0/SD_ILS:335086 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;F&agrave;brega, Llu&iacute;s. editor.&#160;Vil&agrave;, Pere. editor.&#160;Careglio, Davide. editor.&#160;Papadimitriou, Dimitri. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335086.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41296-7">http://dx.doi.org/10.1007/978-3-642-41296-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335097 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Cuzzocrea, Alfredo. editor.&#160;Maabout, Sofian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335097.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41366-7">http://dx.doi.org/10.1007/978-3-642-41366-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335105 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Pathan, Mukaddim. editor.&#160;Wei, Guiyi. editor.&#160;Fortino, Giancarlo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335105.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41428-2">http://dx.doi.org/10.1007/978-3-642-41428-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335114 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Bernard, Alain. editor.&#160;Rivest, Louis. editor.&#160;Dutta, Debasish. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335114.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41501-2">http://dx.doi.org/10.1007/978-3-642-41501-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 &ndash; October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335120 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Moreira, Ana. editor.&#160;Sch&auml;tz, Bernhard. editor.&#160;Gray, Jeff. editor.&#160;Vallecillo, Antonio. editor.&#160;Clarke, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE(335120.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolution of Telecommunication Services The Convergence of Telecom and Internet: Technologies and Ecosystems ent://SD_ILS/0/SD_ILS:335123 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Bertin, Emmanuel. editor.&#160;Crespi, Noel. editor.&#160;Magedanz, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335123.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41569-2">http://dx.doi.org/10.1007/978-3-642-41569-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orl&eacute;ans, France, September 13-14, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335125 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Duchier, Denys. editor.&#160;Parmentier, Yannick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335125.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41578-4">http://dx.doi.org/10.1007/978-3-642-41578-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335126 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Hinze, Ralf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335126.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41582-1">http://dx.doi.org/10.1007/978-3-642-41582-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335141 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Yenig&uuml;n, H&uuml;sn&uuml;. editor.&#160;Yilmaz, Cemal. editor.&#160;Ulrich, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335141.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:335148 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Bian, Fuling. editor.&#160;Xie, Yichun. editor.&#160;Cui, Xiaohui. editor.&#160;Zeng, Yixin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335148.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41908-9">http://dx.doi.org/10.1007/978-3-642-41908-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Kommunikation unter Echtzeitbedingungen Echtzeit 2012 ent://SD_ILS/0/SD_ILS:337075 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Halang, Wolfgang A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337075.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33707-9">http://dx.doi.org/10.1007/978-3-642-33707-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitatives Entwicklungsmanagement Modellbasierte Analyse von Produktentwicklungsprozessen ent://SD_ILS/0/SD_ILS:337101 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Hahn, Axel. author.&#160;H&auml;usler, Stefan. author.&#160;gro&szlig;e Austing, Stephan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337101.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34510-4">http://dx.doi.org/10.1007/978-3-642-34510-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Patterns kompakt Entwurfsmuster f&uuml;r effektive Software-Entwicklung ent://SD_ILS/0/SD_ILS:337114 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Eilebrecht, Karl. author.&#160;Starke, Gernot. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337114.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34718-4">http://dx.doi.org/10.1007/978-3-642-34718-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Usability Engineering kompakt Benutzbare Produkte gezielt entwickeln ent://SD_ILS/0/SD_ILS:337140 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Richter, Michael. author.&#160;Fl&uuml;ckiger, Markus D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337140.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34832-7">http://dx.doi.org/10.1007/978-3-642-34832-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Entwicklung fuzzybasierter Leitkomponenten f&uuml;r das Klimamanagement in der pr&auml;ventiven Konservierung ent://SD_ILS/0/SD_ILS:338149 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Arnold, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(338149.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-03155-8">http://dx.doi.org/10.1007/978-3-658-03155-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Raspberry Pi &ndash; Das Handbuch Konfiguration, Hardware, Applikationserstellung ent://SD_ILS/0/SD_ILS:338155 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Dembowski, Klaus. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(338155.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-03167-1">http://dx.doi.org/10.1007/978-3-658-03167-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grundkurs JAVA Von den Grundlagen bis zu Datenbank- und Netzanwendungen ent://SD_ILS/0/SD_ILS:338386 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Abts, Dietmar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(338386.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-2535-3">http://dx.doi.org/10.1007/978-3-8348-2535-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Manufacturing Distributed Computing Technologies for Global and Sustainable Manufacturing ent://SD_ILS/0/SD_ILS:331102 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Li, Weidong. editor.&#160;Mehnen, J&ouml;rn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331102.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4935-4">http://dx.doi.org/10.1007/978-1-4471-4935-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Middleware Solutions for the Internet of Things ent://SD_ILS/0/SD_ILS:331206 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Delicato, Fl&aacute;via C. author.&#160;Pires, Paulo F. author.&#160;Batista, Thais. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331206.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5481-5">http://dx.doi.org/10.1007/978-1-4471-5481-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Guide to Databases A Practical Introduction ent://SD_ILS/0/SD_ILS:331224 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Lake, Peter. author.&#160;Crowther, Paul. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331224.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5601-7">http://dx.doi.org/10.1007/978-1-4471-5601-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Finding Source Code on the Web for Remix and Reuse ent://SD_ILS/0/SD_ILS:332071 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Sim, Susan Elliott. editor.&#160;Gallardo-Valencia, Rosalva E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332071.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6596-6">http://dx.doi.org/10.1007/978-1-4614-6596-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scala Design Patterns Patterns for Practical Reuse and Design ent://SD_ILS/0/SD_ILS:332904 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Hunt, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332904.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02192-8">http://dx.doi.org/10.1007/978-3-319-02192-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332921 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Hung, Dang. editor.&#160;Ogawa, Mizuhito. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332921.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332981 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Shan, Chung-chieh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332981.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03542-0">http://dx.doi.org/10.1007/978-3-319-03542-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:333003 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Aversa, Rocco. editor.&#160;Ko&#322;odziej, Joanna. editor.&#160;Zhang, Jun. editor.&#160;Amato, Flora. editor.&#160;Fortino, Giancarlo. editor.<br/>Preferred Shelf Number&#160;ONLINE(333003.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03889-6">http://dx.doi.org/10.1007/978-3-319-03889-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ontology-Driven Software Development ent://SD_ILS/0/SD_ILS:333408 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Pan, Jeff Z. editor.&#160;Staab, Steffen. editor.&#160;A&szlig;mann, Uwe. editor.&#160;Ebert, J&uuml;rgen. editor.&#160;Zhao, Yuting. editor.<br/>Preferred Shelf Number&#160;ONLINE(333408.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31226-7">http://dx.doi.org/10.1007/978-3-642-31226-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334358 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Pfenning, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334358.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334365 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Garcia-Alfaro, Joaquin. editor.&#160;Cuppens, Fr&eacute;d&eacute;ric. editor.&#160;Cuppens-Boulahia, Nora. editor.&#160;Miri, Ali. editor.&#160;Tawbi, Nadia. editor.<br/>Preferred Shelf Number&#160;ONLINE(334365.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37119-6">http://dx.doi.org/10.1007/978-3-642-37119-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334425 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Chessa, Stefano. editor.&#160;Knauth, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334425.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37419-7">http://dx.doi.org/10.1007/978-3-642-37419-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334438 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Shishkov, Boris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334438.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37478-4">http://dx.doi.org/10.1007/978-3-642-37478-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Feature-Oriented Software Product Lines Concepts and Implementation ent://SD_ILS/0/SD_ILS:334447 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Apel, Sven. author.&#160;Batory, Don. author.&#160;K&auml;stner, Christian. author.&#160;Saake, Gunter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334447.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37521-7">http://dx.doi.org/10.1007/978-3-642-37521-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Architecture Patterns Practical Solutions for Recurring IT-Architecture Problems ent://SD_ILS/0/SD_ILS:334453 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Perroud, Thierry. author.&#160;Inversini, Reto. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334453.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37561-3">http://dx.doi.org/10.1007/978-3-642-37561-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334561 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Guyot, Vincent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334561.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38227-7">http://dx.doi.org/10.1007/978-3-642-38227-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334562 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Beek, Maurice H. editor.&#160;Lohmann, Niels. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334562.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38230-7">http://dx.doi.org/10.1007/978-3-642-38230-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Dynpro ABAP for Practitioners ent://SD_ILS/0/SD_ILS:334566 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Gellert, Ulrich. author.&#160;Cristea, Ana Daniela. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334566.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38247-5">http://dx.doi.org/10.1007/978-3-642-38247-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334580 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Cellier, Peggy. editor.&#160;Distel, Felix. editor.&#160;Ganter, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334580.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems: Methods, Models, and Applications 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334589 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Mayr, Heinrich C. editor.&#160;Kop, Christian. editor.&#160;Liddle, Stephen. editor.&#160;Ginige, Athula. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334589.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38370-0">http://dx.doi.org/10.1007/978-3-642-38370-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise, Business-Process and Information Systems Modeling 14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334607 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Nurcan, Selmin. editor.&#160;Proper, Henderik A. editor.&#160;Soffer, Pnina. editor.&#160;Krogstie, John. editor.&#160;Schmidt, Rainer. editor.<br/>Preferred Shelf Number&#160;ONLINE(334607.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38484-4">http://dx.doi.org/10.1007/978-3-642-38484-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering Workshops CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334609 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Franch, Xavier. editor.&#160;Soffer, Pnina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334609.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38490-5">http://dx.doi.org/10.1007/978-3-642-38490-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334610 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Nicola, Rocco. editor.&#160;Julien, Christine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334610.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38493-6">http://dx.doi.org/10.1007/978-3-642-38493-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334616 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Cavallaro, Lorenzo. editor.&#160;Gollmann, Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334616.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38530-8">http://dx.doi.org/10.1007/978-3-642-38530-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Product Quality Control ent://SD_ILS/0/SD_ILS:334625 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Wagner, Stefan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334625.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38571-1">http://dx.doi.org/10.1007/978-3-642-38571-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction &ndash; CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334626 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Bonacina, Maria Paola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334626.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334630 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Beyer, Dirk. editor.&#160;Boreale, Michele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334630.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38592-6">http://dx.doi.org/10.1007/978-3-642-38592-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334631 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Keller, Hubert B. editor.&#160;Pl&ouml;dereder, Erhard. editor.&#160;Dencker, Peter. editor.&#160;Klenk, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334631.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38601-5">http://dx.doi.org/10.1007/978-3-642-38601-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Process Models. Change Management ent://SD_ILS/0/SD_ILS:334632 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Gerth, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334632.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38604-6">http://dx.doi.org/10.1007/978-3-642-38604-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334634 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Johnsen, Einar Broch. editor.&#160;Petre, Luigia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334634.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38613-8">http://dx.doi.org/10.1007/978-3-642-38613-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Aspect-Oriented Requirements Engineering ent://SD_ILS/0/SD_ILS:334641 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Moreira, Ana. editor.&#160;Chitchyan, Ruzanna. editor.&#160;Ara&uacute;jo, Jo&atilde;o. editor.&#160;Rashid, Awais. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334641.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38640-4">http://dx.doi.org/10.1007/978-3-642-38640-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Benchmarking Peer-to-Peer Systems Understanding Quality of Service in Large-Scale Distributed Systems ent://SD_ILS/0/SD_ILS:334646 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Effelsberg, Wolfgang. editor.&#160;Steinmetz, Ralf. editor.&#160;Strufe, Thorsten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334646.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38673-2">http://dx.doi.org/10.1007/978-3-642-38673-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Pattern Languages of Programming III ent://SD_ILS/0/SD_ILS:334647 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Noble, James. editor.&#160;Johnson, Ralph. editor.&#160;Zdun, Uwe. editor.&#160;Wallingford, Eugene. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334647.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38676-3">http://dx.doi.org/10.1007/978-3-642-38676-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334651 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Colom, Jos&eacute;-Manuel. editor.&#160;Desel, J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334651.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334652 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Dastani, Mehdi. editor.&#160;H&uuml;bner, Jomi F. editor.&#160;Logan, Brian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334652.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38700-5">http://dx.doi.org/10.1007/978-3-642-38700-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> End-User Development 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334654 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Dittrich, Yvonne. editor.&#160;Burnett, Margaret. editor.&#160;M&oslash;rch, Anders. editor.&#160;Redmiles, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334654.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38706-7">http://dx.doi.org/10.1007/978-3-642-38706-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334655 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Salinesi, Camille. editor.&#160;Norrie, Moira C. editor.&#160;Pastor, &Oacute;scar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334655.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38709-8">http://dx.doi.org/10.1007/978-3-642-38709-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334708 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Dueck, Gerhard W. editor.&#160;Miller, D. Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334708.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38986-3">http://dx.doi.org/10.1007/978-3-642-38986-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334710 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Doyen, Guillaume. editor.&#160;Waldburger, Martin. editor.&#160;&#268;eleda, Pavel. editor.&#160;Sperotto, Anna. editor.&#160;Stiller, Burkhard. editor.<br/>Preferred Shelf Number&#160;ONLINE(334710.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38998-6">http://dx.doi.org/10.1007/978-3-642-38998-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334711 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Gorp, Pieter. editor.&#160;Ritter, Tom. editor.&#160;Rose, Louis M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334711.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334714 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Drira, Khalil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334714.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39031-9">http://dx.doi.org/10.1007/978-3-642-39031-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2013 &ndash; Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334715 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Castagna, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334715.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39038-8">http://dx.doi.org/10.1007/978-3-642-39038-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334727 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Weber, Jens. editor.&#160;Perseil, Isabelle. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334727.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39088-3">http://dx.doi.org/10.1007/978-3-642-39088-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334743 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Bartocci, Ezio. editor.&#160;Ramakrishnan, C. R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334743.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39176-7">http://dx.doi.org/10.1007/978-3-642-39176-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Voting and Identify 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334746 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Heather, James. editor.&#160;Schneider, Steve. editor.&#160;Teague, Vanessa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334746.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39185-9">http://dx.doi.org/10.1007/978-3-642-39185-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Engineering 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334750 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Daniel, Florian. editor.&#160;Dolog, Peter. editor.&#160;Li, Qing. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334750.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39200-9">http://dx.doi.org/10.1007/978-3-642-39200-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ad-hoc, Mobile, and Wireless Network 12th International Conference, ADHOC-NOW 2013, Wroc&#322;aw, Poland, July 8-10, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334764 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Cicho&#324;, Jacek. editor.&#160;G&#553;bala, Maciej. editor.&#160;Klonowski, Marek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334764.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39247-4">http://dx.doi.org/10.1007/978-3-642-39247-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> RoboCup 2012: Robot Soccer World Cup XVI ent://SD_ILS/0/SD_ILS:334765 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Chen, Xiaoping. editor.&#160;Stone, Peter. editor.&#160;Sucar, Luis Enrique. editor.&#160;Zant, Tijn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334765.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39250-4">http://dx.doi.org/10.1007/978-3-642-39250-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334768 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Heidrich, Jens. editor.&#160;Oivo, Markku. editor.&#160;Jedlitschka, Andreas. editor.&#160;Baldassarre, Maria Teresa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334768.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39259-7">http://dx.doi.org/10.1007/978-3-642-39259-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334772 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Liu, Shaoying. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334772.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business. From Physical Products to Software Services and Solutions 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334783 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Herzwurm, Georg. editor.&#160;Margaria, Tiziana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334783.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39336-5">http://dx.doi.org/10.1007/978-3-642-39336-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334797 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Dudin, Alexander. editor.&#160;Turck, Koen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334797.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39408-9">http://dx.doi.org/10.1007/978-3-642-39408-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334803 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Gottlob, Georg. editor.&#160;Grasso, Giovanni. editor.&#160;Olteanu, Dan. editor.&#160;Schallhart, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334803.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39467-6">http://dx.doi.org/10.1007/978-3-642-39467-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334804 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Biswas, Jit. editor.&#160;Kobayashi, Hisato. editor.&#160;Wong, Lawrence. editor.&#160;Abdulrazak, Bessam. editor.&#160;Mokhtari, Mounir. editor.<br/>Preferred Shelf Number&#160;ONLINE(334804.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39470-6">http://dx.doi.org/10.1007/978-3-642-39470-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Dependability Assessment of Software Systems ent://SD_ILS/0/SD_ILS:334812 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Bernardi, Simona. author.&#160;Merseguer, Jos&eacute;. author.&#160;Petriu, Dorina Corina. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334812.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39512-3">http://dx.doi.org/10.1007/978-3-642-39512-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 &ndash; August 3, 2013 Proceedings ent://SD_ILS/0/SD_ILS:334814 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;K&uuml;hnberger, Kai-Uwe. editor.&#160;Rudolph, Sebastian. editor.&#160;Wang, Pei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334814.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39521-5">http://dx.doi.org/10.1007/978-3-642-39521-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334820 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Biere, Armin. editor.&#160;Nahir, Amir. editor.&#160;Vos, Tanja. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334820.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334821 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Binder, Walter. editor.&#160;Bodden, Eric. editor.&#160;L&ouml;we, Welf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334821.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39614-4">http://dx.doi.org/10.1007/978-3-642-39614-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334822 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Morgenstern, Leora. editor.&#160;Stefaneas, Petros. editor.&#160;L&eacute;vy, Fran&ccedil;ois. editor.&#160;Wyner, Adam. editor.&#160;Paschke, Adrian. editor.<br/>Preferred Shelf Number&#160;ONLINE(334822.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39617-5">http://dx.doi.org/10.1007/978-3-642-39617-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334825 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Blazy, Sandrine. editor.&#160;Paulin-Mohring, Christine. editor.&#160;Pichardie, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334825.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334826 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334826.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39637-3">http://dx.doi.org/10.1007/978-3-642-39637-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V ent://SD_ILS/0/SD_ILS:334827 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334827.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39640-3">http://dx.doi.org/10.1007/978-3-642-39640-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334828 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334828.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39643-4">http://dx.doi.org/10.1007/978-3-642-39643-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III ent://SD_ILS/0/SD_ILS:334829 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334829.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39646-5">http://dx.doi.org/10.1007/978-3-642-39646-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:334830 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334830.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39649-6">http://dx.doi.org/10.1007/978-3-642-39649-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334832 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Faber, Wolfgang. editor.&#160;Lembo, Domenico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334832.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39666-3">http://dx.doi.org/10.1007/978-3-642-39666-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday ent://SD_ILS/0/SD_ILS:334837 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Liu, Zhiming. editor.&#160;Woodcock, Jim. editor.&#160;Zhu, Huibiao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334837.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39698-4">http://dx.doi.org/10.1007/978-3-642-39698-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing &ndash; ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334840 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Liu, Zhiming. editor.&#160;Woodcock, Jim. editor.&#160;Zhu, Huibiao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334840.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39718-9">http://dx.doi.org/10.1007/978-3-642-39718-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334849 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Wang, Mingzheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334849.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39787-5">http://dx.doi.org/10.1007/978-3-642-39787-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334851 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Sharygina, Natasha. editor.&#160;Veith, Helmut. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334851.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39799-8">http://dx.doi.org/10.1007/978-3-642-39799-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings ent://SD_ILS/0/SD_ILS:334962 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Galmiche, Didier. editor.&#160;Larchey-Wendling, Dominique. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334969 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Cabalar, Pedro. editor.&#160;Son, Tran Cao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334969.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings ent://SD_ILS/0/SD_ILS:334973 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Karhum&auml;ki, Juhani. editor.&#160;Lepist&ouml;, Arto. editor.&#160;Zamboni, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334973.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures ent://SD_ILS/0/SD_ILS:334978 2024-12-25T21:23:31Z 2024-12-25T21:23:31Z Author&#160;Giachino, Elena. editor.&#160;H&auml;hnle, Reiner. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334978.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40615-7">http://dx.doi.org/10.1007/978-3-642-40615-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>