Search Results for Software. - Narrowed by: SpringerLink (Online service) - English - 2012 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-12T07:59:34Z Experimentation in Software Engineering ent://SD_ILS/0/SD_ILS:196596 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Wohlin, Claes. author.&#160;Runeson, Per. author.&#160;H&ouml;st, Martin. author.&#160;Ohlsson, Magnus C. author.&#160;Regnell, Bj&ouml;rn. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29044-2">http://dx.doi.org/10.1007/978-3-642-29044-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Similarity and Classification ent://SD_ILS/0/SD_ILS:173499 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Cesare, Silvio. author.&#160;Xiang, Yang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2909-7">http://dx.doi.org/10.1007/978-1-4471-2909-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software and Network Engineering ent://SD_ILS/0/SD_ILS:196505 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28670-4">http://dx.doi.org/10.1007/978-3-642-28670-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software and Systems Traceability ent://SD_ILS/0/SD_ILS:173397 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Cleland-Huang, Jane. editor.&#160;Gotel, Orlena. editor.&#160;Zisman, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2239-5">http://dx.doi.org/10.1007/978-1-4471-2239-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Definition and Management ent://SD_ILS/0/SD_ILS:195592 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;M&uuml;nch, J&uuml;rgen. author.&#160;Armbrust, Ove. author.&#160;Kowalczyk, Martin. author.&#160;Soto, Mart&iacute;n. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24291-5">http://dx.doi.org/10.1007/978-3-642-24291-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Research,Management and Applications 2011 ent://SD_ILS/0/SD_ILS:195270 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23202-2">http://dx.doi.org/10.1007/978-3-642-23202-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Games, Actions and Social Software Multidisciplinary Aspects ent://SD_ILS/0/SD_ILS:196670 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Eijck, Jan. editor.&#160;Verbrugge, Rineke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29326-9">http://dx.doi.org/10.1007/978-3-642-29326-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Improving Software Testing Technical and Organizational Developments ent://SD_ILS/0/SD_ILS:196203 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Majchrzak, Tim A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27464-0">http://dx.doi.org/10.1007/978-3-642-27464-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Research, Management and Applications 2012 ent://SD_ILS/0/SD_ILS:196893 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30460-6">http://dx.doi.org/10.1007/978-3-642-30460-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development IX ent://SD_ILS/0/SD_ILS:197616 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Leavens, Gary T. editor.&#160;Chiba, Shigeru. editor.&#160;Haupt, Michael. editor.&#160;Ostermann, Klaus. editor.&#160;Wohlstadter, Eric. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35551-6">http://dx.doi.org/10.1007/978-3-642-35551-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managing Humans Biting and Humorous Tales of a Software Engineering Manager ent://SD_ILS/0/SD_ILS:171741 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Lopp, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-4315-1">http://dx.doi.org/10.1007/978-1-4302-4315-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> How to Recruit and Hire Great Software Engineers Building a Crack Development Team ent://SD_ILS/0/SD_ILS:171814 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;McCuller, Patrick. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-4918-4">http://dx.doi.org/10.1007/978-1-4302-4918-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code ent://SD_ILS/0/SD_ILS:171818 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Blunden, Bill. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-5108-8">http://dx.doi.org/10.1007/978-1-4302-5108-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Cinderella.2 Manual Working with The Interactive Geometry Software ent://SD_ILS/0/SD_ILS:184188 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Richter-Gebert, J&uuml;rgen. author.&#160;Kortenkamp, Ulrich H. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-34926-6">http://dx.doi.org/10.1007/978-3-540-34926-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geospatial Free and Open Source Software in the 21st Century Proceedings of the first Open Source Geospatial Research Symposium, OGRS 2009 ent://SD_ILS/0/SD_ILS:191416 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Bocher, Erwan. editor.&#160;Neteler, Markus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10595-1">http://dx.doi.org/10.1007/978-3-642-10595-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Algebraic Specification and Formal Software Development ent://SD_ILS/0/SD_ILS:193572 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Sannella, Donald. author.&#160;Tarlecki, Andrzej. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Earth System Modelling - Volume 3 Coupling Software and Strategies ent://SD_ILS/0/SD_ILS:195321 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Valcke, Sophie. author.&#160;Redler, Ren&eacute;. author.&#160;Budich, Reinhard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23360-9">http://dx.doi.org/10.1007/978-3-642-23360-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Onboard Computers, Onboard Software and Satellite Operations An Introduction ent://SD_ILS/0/SD_ILS:195865 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Eickhoff, Jens. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25170-2">http://dx.doi.org/10.1007/978-3-642-25170-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 &ndash; April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196501 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;O&rsquo;Boyle, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28652-0">http://dx.doi.org/10.1007/978-3-642-28652-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 &ndash; April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196520 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Birkedal, Lars. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28729-9">http://dx.doi.org/10.1007/978-3-642-28729-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 &ndash; April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196526 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Flanagan, Cormac. editor.&#160;K&ouml;nig, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Intelligence - Software and Applications 3rd International Symposium on Ambient Intelligence (ISAmI 2012) ent://SD_ILS/0/SD_ILS:196533 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Novais, Paulo. editor.&#160;Hallenborg, Kasper. editor.&#160;Tapia, Dante I. editor.&#160;Rodr&iacute;guez, Juan M. Corchado. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28783-1">http://dx.doi.org/10.1007/978-3-642-28783-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196547 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Sloane, Anthony. editor.&#160;A&szlig;mann, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28830-2">http://dx.doi.org/10.1007/978-3-642-28830-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196553 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Seidl, Helmut. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28869-2">http://dx.doi.org/10.1007/978-3-642-28869-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196554 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Lara, Juan. editor.&#160;Zisman, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28872-2">http://dx.doi.org/10.1007/978-3-642-28872-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:196646 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Krishna, P. Venkata. editor.&#160;Babu, M. Rajasekhara. editor.&#160;Ariwa, Ezendu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29216-3">http://dx.doi.org/10.1007/978-3-642-29216-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196768 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Shishkov, Boris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29788-5">http://dx.doi.org/10.1007/978-3-642-29788-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Service and Application Engineering Essays Dedicated to Bernd Kr&auml;mer on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:196973 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Heisel, Maritta. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30835-2">http://dx.doi.org/10.1007/978-3-642-30835-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197038 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Winkler, Dietmar. editor.&#160;O&rsquo;Connor, Rory V. editor.&#160;Messnarz, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31199-4">http://dx.doi.org/10.1007/978-3-642-31199-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197039 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Pankratius, Victor. editor.&#160;Philippsen, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31202-1">http://dx.doi.org/10.1007/978-3-642-31202-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software for People Fundamentals, Trends and Best Practices ent://SD_ILS/0/SD_ILS:197065 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Maedche, Alexander. editor.&#160;Botzenhardt, Achim. editor.&#160;Neer, Ludwig. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31371-4">http://dx.doi.org/10.1007/978-3-642-31371-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197133 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Donaldson, Alastair. editor.&#160;Parker, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31759-0">http://dx.doi.org/10.1007/978-3-642-31759-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Testing in the Cloud Migration and Execution ent://SD_ILS/0/SD_ILS:197182 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Tilley, Scott. author.&#160;Parveen, Tauhida. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32122-1">http://dx.doi.org/10.1007/978-3-642-32122-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197489 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Eder, Kerstin. editor.&#160;Louren&ccedil;o, Jo&atilde;o. editor.&#160;Shehory, Onn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34188-5">http://dx.doi.org/10.1007/978-3-642-34188-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centered Software Engineering 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197508 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Winckler, Marco. editor.&#160;Forbrig, Peter. editor.&#160;Bernhaupt, Regina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34347-6">http://dx.doi.org/10.1007/978-3-642-34347-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inside a Secret Software Laboratory An Ethnographic Study of a Global Software Package Producer ent://SD_ILS/0/SD_ILS:201113 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Grimm, Christine. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8349-7176-0">http://dx.doi.org/10.1007/978-3-8349-7176-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Knowledge Engineering: Theory and Practice Volume 1 ent://SD_ILS/0/SD_ILS:190715 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Wu, Yanwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03718-4">http://dx.doi.org/10.1007/978-3-642-03718-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196370 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Barthe, Gilles. editor.&#160;Livshits, Benjamin. editor.&#160;Scandariato, Riccardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28166-2">http://dx.doi.org/10.1007/978-3-642-28166-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196668 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Arbab, Farhad. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29320-7">http://dx.doi.org/10.1007/978-3-642-29320-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fast Software Encryption 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197464 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Canteaut, Anne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34047-5">http://dx.doi.org/10.1007/978-3-642-34047-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Software Development Designing and Managing the Life Cycle ent://SD_ILS/0/SD_ILS:173413 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Langer, Arthur M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2300-2">http://dx.doi.org/10.1007/978-1-4471-2300-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio ent://SD_ILS/0/SD_ILS:173574 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Morgado, Alonso. author.&#160;del R&iacute;o, Roc&iacute;o. author.&#160;Rosa, Jos&eacute; M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0037-0">http://dx.doi.org/10.1007/978-1-4614-0037-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Radio Sampling Rate Selection, Design and Synchronization ent://SD_ILS/0/SD_ILS:173592 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Venosa, Elettra. author.&#160;harris, fredric j. author.&#160;Palmieri, Francesco A. N. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0113-1">http://dx.doi.org/10.1007/978-1-4614-0113-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:195885 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Meyer, Bertrand. editor.&#160;Nordio, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25231-0">http://dx.doi.org/10.1007/978-3-642-25231-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:195895 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Ober, Iulian. editor.&#160;Ober, Ileana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25264-8">http://dx.doi.org/10.1007/978-3-642-25264-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Knowledge Engineering: Theory and Practice Volume 2 ent://SD_ILS/0/SD_ILS:195920 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Wu, Yanwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25349-2">http://dx.doi.org/10.1007/978-3-642-25349-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Multimedia, Software Engineering and Computing Vol.2 Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26&ndash;27, Wuhan, China ent://SD_ILS/0/SD_ILS:196097 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Jin, David. editor.&#160;Lin, Sally. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25986-9">http://dx.doi.org/10.1007/978-3-642-25986-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Multimedia, Software Engineering and Computing Vol.1 Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26&ndash;27, Wuhan, China ent://SD_ILS/0/SD_ILS:196098 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Jin, David. editor.&#160;Lin, Sally. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25989-0">http://dx.doi.org/10.1007/978-3-642-25989-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Quality. Process Automation in Software Development 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196129 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Biffl, Stefan. editor.&#160;Winkler, Dietmar. editor.&#160;Bergsmann, Johannes. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27213-4">http://dx.doi.org/10.1007/978-3-642-27213-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Software Dilemma Balancing Creativity and Control on the Path to Sustainable Software ent://SD_ILS/0/SD_ILS:196137 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Gutbrod, Roger. author.&#160;Wiele, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27236-3">http://dx.doi.org/10.1007/978-3-642-27236-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimar&atilde;es, Portugal, October 14-16, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196145 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Barbosa, Lu&iacute;s Soares. editor.&#160;Lumpe, Markus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27269-1">http://dx.doi.org/10.1007/978-3-642-27269-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196275 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Joshi, Rajeev. editor.&#160;M&uuml;ller, Peter. editor.&#160;Podelski, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27705-4">http://dx.doi.org/10.1007/978-3-642-27705-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196329 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Szmuc, Tomasz. editor.&#160;Szpyrka, Marcin. editor.&#160;Zendulka, Jaroslav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28038-2">http://dx.doi.org/10.1007/978-3-642-28038-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings ent://SD_ILS/0/SD_ILS:196497 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Degano, Pierpaolo. editor.&#160;Guttman, Joshua D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28641-4">http://dx.doi.org/10.1007/978-3-642-28641-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196517 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Regnell, Bj&ouml;rn. editor.&#160;Damian, Daniela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28714-5">http://dx.doi.org/10.1007/978-3-642-28714-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Knowledge Engineering: Theory and Practice Selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012) ent://SD_ILS/0/SD_ILS:196704 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Zhang, Wei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29455-6">http://dx.doi.org/10.1007/978-3-642-29455-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:196745 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Kienzle, J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29645-1">http://dx.doi.org/10.1007/978-3-642-29645-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer- Aided Design in Power Engineering Application of Software Tools ent://SD_ILS/0/SD_ILS:196843 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Stojkovic, Zlatan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30206-0">http://dx.doi.org/10.1007/978-3-642-30206-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 13th International Conference, XP 2012, Malm&ouml;, Sweden, May 21-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196863 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Wohlin, Claes. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30350-0">http://dx.doi.org/10.1007/978-3-642-30350-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement and Capability Determination 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196887 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Mas, Antonia. editor.&#160;Mesquida, Antoni. editor.&#160;Rout, Terry. editor.&#160;O&rsquo;Connor, Rory V. editor.&#160;Dorling, Alec. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30439-2">http://dx.doi.org/10.1007/978-3-642-30439-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 &ndash; June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196918 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Gschwind, Thomas. editor.&#160;Paoli, Flavio. editor.&#160;Gruhn, Volker. editor.&#160;Book, Matthias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30564-1">http://dx.doi.org/10.1007/978-3-642-30564-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196925 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Brorsson, Mats. editor.&#160;Pinho, Lu&iacute;s Miguel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30598-6">http://dx.doi.org/10.1007/978-3-642-30598-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196951 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Cusumano, Michael A. editor.&#160;Iyer, Bala. editor.&#160;Venkatraman, N. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30746-1">http://dx.doi.org/10.1007/978-3-642-30746-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures ent://SD_ILS/0/SD_ILS:197000 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Bernardo, Marco. editor.&#160;Cortellessa, Vittorio. editor.&#160;Pierantonio, Alfonso. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30982-3">http://dx.doi.org/10.1007/978-3-642-30982-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings ent://SD_ILS/0/SD_ILS:197012 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Dieste, Oscar. editor.&#160;Jedlitschka, Andreas. editor.&#160;Juristo, Natalia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31063-8">http://dx.doi.org/10.1007/978-3-642-31063-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197134 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Beckert, Bernhard. editor.&#160;Damiani, Ferruccio. editor.&#160;Gurov, Dilian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31762-0">http://dx.doi.org/10.1007/978-3-642-31762-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197274 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Martins, Francisco. editor.&#160;Lopes, Lu&iacute;s. editor.&#160;Paulino, Herv&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32778-0">http://dx.doi.org/10.1007/978-3-642-32778-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197321 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Fraser, Gordon. editor.&#160;Teixeira de Souza, Jerffeson. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33119-0">http://dx.doi.org/10.1007/978-3-642-33119-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197330 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Avgeriou, Paris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33176-3">http://dx.doi.org/10.1007/978-3-642-33176-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Software Technologies 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197354 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Skersys, Tomas. editor.&#160;Butleris, Rimantas. editor.&#160;Butkiene, Rita. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33308-8">http://dx.doi.org/10.1007/978-3-642-33308-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197437 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Eleftherakis, George. editor.&#160;Hinchey, Mike. editor.&#160;Holcombe, Mike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33826-7">http://dx.doi.org/10.1007/978-3-642-33826-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197501 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Aoki, Toshiaki. editor.&#160;Taguchi, Kenji. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34281-3">http://dx.doi.org/10.1007/978-3-642-34281-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197587 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Kim, Tai-hoon. editor.&#160;Ramos, Carlos. editor.&#160;Kim, Haeng-kon. editor.&#160;Kiumi, Akingbehin. editor.&#160;Mohammed, Sabah. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35267-6">http://dx.doi.org/10.1007/978-3-642-35267-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197630 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Palmirani, Monica. editor.&#160;Pagallo, Ugo. editor.&#160;Casanovas, Pompeu. editor.&#160;Sartor, Giovanni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35731-2">http://dx.doi.org/10.1007/978-3-642-35731-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197633 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Arbab, Farhad. editor.&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35743-5">http://dx.doi.org/10.1007/978-3-642-35743-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:197634 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Meyer, Bertrand. editor.&#160;Nordio, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35746-6">http://dx.doi.org/10.1007/978-3-642-35746-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation ent://SD_ILS/0/SD_ILS:197668 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Molter, H. Gregor. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-00397-5">http://dx.doi.org/10.1007/978-3-658-00397-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197540 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Nielsen, Brian. editor.&#160;Weise, Carsten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34691-0">http://dx.doi.org/10.1007/978-3-642-34691-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Firms in Open Source Software Development Managing Innovation Beyond Firm Boundaries ent://SD_ILS/0/SD_ILS:200266 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Schaarschmidt, Mario. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8349-4143-5">http://dx.doi.org/10.1007/978-3-8349-4143-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain ent://SD_ILS/0/SD_ILS:206057 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Bertels, Koen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-1406-9">http://dx.doi.org/10.1007/978-94-007-1406-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arduino and Kinect Projects Design, Build, Blow Their Minds ent://SD_ILS/0/SD_ILS:171709 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Melgar, Enrique Ramos. author.&#160;D&iacute;ez, Ciriaco Castro. author.&#160;Jaworski, Przemek. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-4168-3">http://dx.doi.org/10.1007/978-1-4302-4168-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning Android ADK with Arduino ent://SD_ILS/0/SD_ILS:171717 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;B&ouml;hmer, Mario. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-4198-0">http://dx.doi.org/10.1007/978-1-4302-4198-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning R An Introduction to Statistical Programming ent://SD_ILS/0/SD_ILS:171780 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Pace, Larry. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-4555-1">http://dx.doi.org/10.1007/978-1-4302-4555-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Expert F# 3.0 ent://SD_ILS/0/SD_ILS:171791 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Syme, Don. author.&#160;Granicz, Adam. author.&#160;Cisternino, Antonio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-4651-0">http://dx.doi.org/10.1007/978-1-4302-4651-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service Virtualization Reality is Overrated ent://SD_ILS/0/SD_ILS:171793 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Michelsen, John. author.&#160;English, Jason. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-4672-5">http://dx.doi.org/10.1007/978-1-4302-4672-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed, Embedded and Real-time Java Systems ent://SD_ILS/0/SD_ILS:173076 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Higuera-Toledano, M. Teresa. editor.&#160;Wellings, Andy J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-8158-5">http://dx.doi.org/10.1007/978-1-4419-8158-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Remote Sensing of the Environment and Radiation Transfer An Introductory Survey ent://SD_ILS/0/SD_ILS:192806 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Kuznetsov, Anatoly. author.&#160;Melnikova, Irina. author.&#160;Pozdnyakov, Dmitry. author.&#160;Seroukhova, Olga. author.&#160;Vasilyev, Alexander. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14899-6">http://dx.doi.org/10.1007/978-3-642-14899-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book ent://SD_ILS/0/SD_ILS:195237 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Logg, Anders. editor.&#160;Mardal, Kent-Andre. editor.&#160;Wells, Garth. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23099-8">http://dx.doi.org/10.1007/978-3-642-23099-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From the Web to the Grid and Beyond Computing Paradigms Driven by High-Energy Physics ent://SD_ILS/0/SD_ILS:195255 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Brun, Ren&eacute;. editor.&#160;Carminati, Federico. editor.&#160;Galli Carminati, Giuliana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23157-5">http://dx.doi.org/10.1007/978-3-642-23157-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Modeling Systems Modeling and Solving Real World Optimization Problems ent://SD_ILS/0/SD_ILS:195386 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Kallrath, Josef. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23592-4">http://dx.doi.org/10.1007/978-3-642-23592-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196427 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Choy, Oliver C. S. editor.&#160;Cheung, Ray C. C. editor.&#160;Athanas, Peter. editor.&#160;Sano, Kentaro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28365-9">http://dx.doi.org/10.1007/978-3-642-28365-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196436 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Villatoro, Daniel. editor.&#160;Sabater-Mir, Jordi. editor.&#160;Sichman, Jaime Sim&atilde;o. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28400-7">http://dx.doi.org/10.1007/978-3-642-28400-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196371 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Picco, Gian Pietro. editor.&#160;Heinzelman, Wendi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28169-3">http://dx.doi.org/10.1007/978-3-642-28169-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Data Hiding and Multimedia Security VII ent://SD_ILS/0/SD_ILS:196512 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Shi, Yun Q. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28693-3">http://dx.doi.org/10.1007/978-3-642-28693-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:196456 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Pan, Jeng-Shyang. editor.&#160;Chen, Shyi-Ming. editor.&#160;Nguyen, Ngoc Thanh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28487-8">http://dx.doi.org/10.1007/978-3-642-28487-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, M&eacute;rida, Venezuela, March 11-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196518 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Bj&oslash;rner, Nikolaj. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28717-6">http://dx.doi.org/10.1007/978-3-642-28717-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Web Services Advancement through Evaluation ent://SD_ILS/0/SD_ILS:196521 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Blake, Brian. editor.&#160;Cabral, Liliana. editor.&#160;K&ouml;nig-Ries, Birgitta. editor.&#160;K&uuml;ster, Ulrich. editor.&#160;Martin, David. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28735-0">http://dx.doi.org/10.1007/978-3-642-28735-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196559 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Goodloe, Alwyn E. editor.&#160;Person, Suzette. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28891-3">http://dx.doi.org/10.1007/978-3-642-28891-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Management Leadership in an Agile Environment ent://SD_ILS/0/SD_ILS:196561 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Medinilla, &Aacute;ngel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28909-5">http://dx.doi.org/10.1007/978-3-642-28909-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196562 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Cramer, Ronald. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28914-9">http://dx.doi.org/10.1007/978-3-642-28914-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Infrastructure Protection Information Infrastructure Models, Analysis, and Defense ent://SD_ILS/0/SD_ILS:196564 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Lopez, Javier. editor.&#160;Setola, Roberto. editor.&#160;Wolthusen, Stephen D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28920-0">http://dx.doi.org/10.1007/978-3-642-28920-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:196567 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Corchado, Emilio. editor.&#160;Sn&aacute;&scaron;el, V&aacute;clav. editor.&#160;Abraham, Ajith. editor.&#160;Wo&#378;niak, Micha&#322;. editor.&#160;Gra&ntilde;a, Manuel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28931-6">http://dx.doi.org/10.1007/978-3-642-28931-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196569 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Collier, Rem. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Nov&aacute;k, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28939-2">http://dx.doi.org/10.1007/978-3-642-28939-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196570 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Corchado, Emilio. editor.&#160;Sn&aacute;&scaron;el, V&aacute;clav. editor.&#160;Abraham, Ajith. editor.&#160;Wo&#378;niak, Micha&#322;. editor.&#160;Gra&ntilde;a, Manuel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28942-2">http://dx.doi.org/10.1007/978-3-642-28942-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Trends and Applications in Information Communication Technologies Second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196576 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Chowdhry, Bhawani Shankar. editor.&#160;Shaikh, Faisal Karim. editor.&#160;Hussain, Dil Muhammad Akbar. editor.&#160;Uqaili, Muhammad Aslam. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28962-0">http://dx.doi.org/10.1007/978-3-642-28962-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; EUROCRYPT 2012 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196588 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Pointcheval, David. editor.&#160;Johansson, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29011-4">http://dx.doi.org/10.1007/978-3-642-29011-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Resilience Assessment and Evaluation of Computing Systems ent://SD_ILS/0/SD_ILS:196592 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Wolter, Katinka. editor.&#160;Avritzer, Alberto. editor.&#160;Vieira, Marco. editor.&#160;van Moorsel, Aad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29032-9">http://dx.doi.org/10.1007/978-3-642-29032-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 10th European Conference, EvoBIO 2012, M&aacute;laga, Spain, April 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196603 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Giacobini, Mario. editor.&#160;Vanneschi, Leonardo. editor.&#160;Bush, William S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29066-4">http://dx.doi.org/10.1007/978-3-642-29066-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency V ent://SD_ILS/0/SD_ILS:196605 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Jensen, Kurt. editor.&#160;Donatelli, Susanna. editor.&#160;Kleijn, Jetty. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29072-5">http://dx.doi.org/10.1007/978-3-642-29072-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Business Intelligence International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196607 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Qu, Xilong. editor.&#160;Yang, Yuhang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29084-8">http://dx.doi.org/10.1007/978-3-642-29084-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Business Intelligence International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:196608 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Qu, Xilong. editor.&#160;Yang, Yuhang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29087-9">http://dx.doi.org/10.1007/978-3-642-29087-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196611 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Simplot-Ryl, David. editor.&#160;Dias de Amorim, Marcelo. editor.&#160;Giordano, Silvia. editor.&#160;Helmy, Ahmed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29096-1">http://dx.doi.org/10.1007/978-3-642-29096-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:196616 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Sakama, Chiaki. editor.&#160;Sardina, Sebastian. editor.&#160;Vasconcelos, Wamberto. editor.&#160;Winikoff, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29113-5">http://dx.doi.org/10.1007/978-3-642-29113-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation and Online Algorithms 9th International Workshop, WAOA 2011, Saarbr&uuml;cken, Germany, September 8-9, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196617 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Solis-Oba, Roberto. editor.&#160;Persiano, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29116-6">http://dx.doi.org/10.1007/978-3-642-29116-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation in Combinatorial Optimization 12th European Conference, EvoCOP 2012, M&aacute;laga, Spain, April 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196620 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Hao, Jin-Kao. editor.&#160;Middendorf, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29124-1">http://dx.doi.org/10.1007/978-3-642-29124-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> S-BPM ONE &ndash; Scientific Research 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196622 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Stary, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29133-3">http://dx.doi.org/10.1007/978-3-642-29133-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 15th European Conference, EuroGP 2012, M&aacute;laga, Spain, April 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196623 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Moraglio, Alberto. editor.&#160;Silva, Sara. editor.&#160;Krawiec, Krzysztof. editor.&#160;Machado, Penousal. editor.&#160;Cotta, Carlos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29139-5">http://dx.doi.org/10.1007/978-3-642-29139-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Protocol Engineering ent://SD_ILS/0/SD_ILS:196625 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;K&ouml;nig, Hartmut. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29145-6">http://dx.doi.org/10.1007/978-3-642-29145-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile and Ubiquitous Systems: Computing, Networking, and Services 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196628 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;S&eacute;nac, Patrick. editor.&#160;Ott, Max. editor.&#160;Seneviratne, Aruna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29154-8">http://dx.doi.org/10.1007/978-3-642-29154-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Communications and Applications First International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196629 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;S&eacute;nac, Patrick. editor.&#160;Ott, Max. editor.&#160;Seneviratne, Aruna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29157-9">http://dx.doi.org/10.1007/978-3-642-29157-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems, Technology and Management 6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196632 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Dua, Sumeet. editor.&#160;Gangopadhyay, Aryya. editor.&#160;Thulasiraman, Parimala. editor.&#160;Straccia, Umberto. editor.&#160;Shepherd, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29166-1">http://dx.doi.org/10.1007/978-3-642-29166-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Trends in Computing and Communication Systems 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196647 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Krishna, P. Venkata. editor.&#160;Babu, M. Rajasekhara. editor.&#160;Ariwa, Ezendu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29219-4">http://dx.doi.org/10.1007/978-3-642-29219-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196648 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Zhang, Xi. editor.&#160;Qiao, Daji. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29222-4">http://dx.doi.org/10.1007/978-3-642-29222-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196661 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Korakis, Thanasis. editor.&#160;Li, Hongbin. editor.&#160;Tran-Gia, Phuoc. editor.&#160;Park, Hong-Shik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29273-6">http://dx.doi.org/10.1007/978-3-642-29273-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computing, Networking and Security International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196663 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Thilagam, P. Santhi. editor.&#160;Pais, Alwyn Roshan. editor.&#160;Chandrasekaran, K. editor.&#160;Balakrishnan, N. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29280-4">http://dx.doi.org/10.1007/978-3-642-29280-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196792 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Domenach, Florent. editor.&#160;Ignatov, Dmitry I. editor.&#160;Poelmans, Jonas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29892-9">http://dx.doi.org/10.1007/978-3-642-29892-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196751 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Snoeyink, Jack. editor.&#160;Lu, Pinyan. editor.&#160;Su, Kaile. editor.&#160;Wang, Lusheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29700-7">http://dx.doi.org/10.1007/978-3-642-29700-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196754 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Clarke, Edmund. editor.&#160;Virbitskaite, Irina. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29709-0">http://dx.doi.org/10.1007/978-3-642-29709-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 &ndash; September 2, 2011, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:196761 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Alexander, Michael. editor.&#160;D&rsquo;Ambra, Pasqua. editor.&#160;Belloum, Adam. editor.&#160;Bosilca, George. editor.&#160;Cannataro, Mario. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29737-3">http://dx.doi.org/10.1007/978-3-642-29737-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196796 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Schindler, Werner. editor.&#160;Huss, Sorin A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29912-4">http://dx.doi.org/10.1007/978-3-642-29912-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Reinforcement Learning 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196801 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Sanner, Scott. editor.&#160;Hutter, Marcus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29946-9">http://dx.doi.org/10.1007/978-3-642-29946-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196803 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Agrawal, Manindra. editor.&#160;Cooper, S. Barry. editor.&#160;Li, Angsheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29952-0">http://dx.doi.org/10.1007/978-3-642-29952-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experimental Algorithms 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196976 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Klasing, Ralf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30850-5">http://dx.doi.org/10.1007/978-3-642-30850-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196979 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Cooper, S. Barry. editor.&#160;Dawar, Anuj. editor.&#160;L&ouml;we, Benedikt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30870-3">http://dx.doi.org/10.1007/978-3-642-30870-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196982 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Derrick, John. editor.&#160;Fitzgerald, John. editor.&#160;Gnesi, Stefania. editor.&#160;Khurshid, Sarfraz. editor.&#160;Leuschel, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30885-7">http://dx.doi.org/10.1007/978-3-642-30885-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:196983 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Bodlaender, Hans L. editor.&#160;Downey, Rod. editor.&#160;Fomin, Fedor V. editor.&#160;Marx, D&aacute;niel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30891-8">http://dx.doi.org/10.1007/978-3-642-30891-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197042 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Kwiecie&#324;, Andrzej. editor.&#160;Gaj, Piotr. editor.&#160;Stera, Piotr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31217-5">http://dx.doi.org/10.1007/978-3-642-31217-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Image and Signal Processing 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197047 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Elmoataz, Abderrahim. editor.&#160;Mammass, Driss. editor.&#160;Lezoray, Olivier. editor.&#160;Nouboud, Fathallah. editor.&#160;Aboutajdine, Driss. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31254-0">http://dx.doi.org/10.1007/978-3-642-31254-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Pattern Matching 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197049 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;K&auml;rkk&auml;inen, Juha. editor.&#160;Stoye, Jens. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31265-6">http://dx.doi.org/10.1007/978-3-642-31265-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197055 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Campilho, Aur&eacute;lio. editor.&#160;Kamel, Mohamed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31295-3">http://dx.doi.org/10.1007/978-3-642-31295-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197056 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Campilho, Aur&eacute;lio. editor.&#160;Kamel, Mohamed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31298-4">http://dx.doi.org/10.1007/978-3-642-31298-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2012 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197061 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Wang, Jun. editor.&#160;Yen, Gary G. editor.&#160;Polycarpou, Marios M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31346-2">http://dx.doi.org/10.1007/978-3-642-31346-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2012 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197062 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Wang, Jun. editor.&#160;Yen, Gary G. editor.&#160;Polycarpou, Marios M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31362-2">http://dx.doi.org/10.1007/978-3-642-31362-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197063 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Gramlich, Bernhard. editor.&#160;Miller, Dale. editor.&#160;Sattler, Uli. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engaging Learners Through Emerging Technologies International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197069 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Li, Kam Cheong. editor.&#160;Wang, Fu Lee. editor.&#160;Yuen, Kin Sun. editor.&#160;Cheung, Simon K. S. editor.&#160;Kwan, Reggie. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31398-1">http://dx.doi.org/10.1007/978-3-642-31398-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197122 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;&Ouml;zbudak, Ferruh. editor.&#160;Rodr&iacute;guez-Henr&iacute;quez, Francisco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31662-3">http://dx.doi.org/10.1007/978-3-642-31662-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy and Identity Management for Life 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197123 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Camenisch, Jan. editor.&#160;Crispo, Bruno. editor.&#160;Fischer-H&uuml;bner, Simone. editor.&#160;Leenes, Ronald. editor.&#160;Russello, Giovanni. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31668-5">http://dx.doi.org/10.1007/978-3-642-31668-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy Enhancing Technologies 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197124 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Fischer-H&uuml;bner, Simone. editor.&#160;Wright, Matthew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31680-7">http://dx.doi.org/10.1007/978-3-642-31680-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197132 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Brambilla, Marco. editor.&#160;Tokuda, Takehiro. editor.&#160;Tolksdorf, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31753-8">http://dx.doi.org/10.1007/978-3-642-31753-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> RoboCup 2011: Robot Soccer World Cup XV ent://SD_ILS/0/SD_ILS:197173 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;R&ouml;fer, Thomas. editor.&#160;Mayer, N. Michael. editor.&#160;Savage, Jesus. editor.&#160;Saranl&#305;, Uluc&#808;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32060-6">http://dx.doi.org/10.1007/978-3-642-32060-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence VII ent://SD_ILS/0/SD_ILS:197174 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32066-8">http://dx.doi.org/10.1007/978-3-642-32066-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197176 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Zs&oacute;k, Vikt&oacute;ria. editor.&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;Plasmeijer, Rinus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32096-5">http://dx.doi.org/10.1007/978-3-642-32096-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Contemporary Computing 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197183 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Parashar, Manish. editor.&#160;Kaushik, Dinesh. editor.&#160;Rana, Omer F. editor.&#160;Samtaney, Ravi. editor.&#160;Yang, Yuanyuan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32129-0">http://dx.doi.org/10.1007/978-3-642-32129-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197184 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Mahjoub, A. Ridha. editor.&#160;Markakis, Vangelis. editor.&#160;Milis, Ioannis. editor.&#160;Paschos, Vangelis Th. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32147-4">http://dx.doi.org/10.1007/978-3-642-32147-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Similarity Search and Applications 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197186 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Navarro, Gonzalo. editor.&#160;Pestov, Vladimir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32153-5">http://dx.doi.org/10.1007/978-3-642-32153-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures ent://SD_ILS/0/SD_ILS:197188 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Gibbons, Jeremy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32202-0">http://dx.doi.org/10.1007/978-3-642-32202-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197190 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Stefanovic, Darko. editor.&#160;Turberfield, Andrew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32208-2">http://dx.doi.org/10.1007/978-3-642-32208-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197191 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Vidal, Germ&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32211-2">http://dx.doi.org/10.1007/978-3-642-32211-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197193 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Gudmundsson, Joachim. editor.&#160;Mestre, Juli&aacute;n. editor.&#160;Viglas, Taso. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32241-9">http://dx.doi.org/10.1007/978-3-642-32241-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Discrete Geometry and Mathematical Morphology First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197205 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;K&ouml;the, Ullrich. editor.&#160;Montanvert, Annick. editor.&#160;Soille, Pierre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32313-3">http://dx.doi.org/10.1007/978-3-642-32313-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Computing, Applications, and Services Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197206 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Zhang, Joy Ying. editor.&#160;Wilkiewicz, Jarek. editor.&#160;Nahapetian, Ani. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32320-1">http://dx.doi.org/10.1007/978-3-642-32320-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:197208 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Beer, Martin. editor.&#160;Brom, Cyril. editor.&#160;Dignum, Frank. editor.&#160;Soo, Von-Wun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32326-3">http://dx.doi.org/10.1007/978-3-642-32326-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197211 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Beringer, Lennart. editor.&#160;Felty, Amy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32347-8">http://dx.doi.org/10.1007/978-3-642-32347-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business System Management and Engineering From Open Issues to Applications ent://SD_ILS/0/SD_ILS:197218 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Ardagna, Claudio A. editor.&#160;Damiani, Ernesto. editor.&#160;Maciaszek, Leszek A. editor.&#160;Missikoff, Michele. editor.&#160;Parkin, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32439-0">http://dx.doi.org/10.1007/978-3-642-32439-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197223 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Stoelinga, Mari&euml;lle. editor.&#160;Pinger, Ralf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32469-7">http://dx.doi.org/10.1007/978-3-642-32469-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197226 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Pe&ntilde;a, Ricardo. editor.&#160;Eekelen, Marko. editor.&#160;Shkaravska, Olha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32495-6">http://dx.doi.org/10.1007/978-3-642-32495-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197228 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Gupta, Anupam. editor.&#160;Jansen, Klaus. editor.&#160;Rolim, Jos&eacute;. editor.&#160;Servedio, Rocco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32512-0">http://dx.doi.org/10.1007/978-3-642-32512-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197234 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Das, Vinu V. editor.&#160;Ariwa, Ezendu. editor.&#160;Rahayu, Syarifah Bahiyah. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32573-1">http://dx.doi.org/10.1007/978-3-642-32573-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197237 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Rovan, Branislav. editor.&#160;Sassone, Vladimiro. editor.&#160;Widmayer, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32589-2">http://dx.doi.org/10.1007/978-3-642-32589-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197242 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Auweter, Axel. editor.&#160;Kranzlm&uuml;ller, Dieter. editor.&#160;Tahamtan, Amirreza. editor.&#160;Tjoa, A Min. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32606-6">http://dx.doi.org/10.1007/978-3-642-32606-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bio-Inspired Models of Network, Information, and Computing Systems 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197245 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Suzuki, Junichi. editor.&#160;Nakano, Tadashi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32615-8">http://dx.doi.org/10.1007/978-3-642-32615-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197246 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Ong, Luke. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32621-9">http://dx.doi.org/10.1007/978-3-642-32621-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Topics in Performance Evaluation, Measurement and Characterization Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197247 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Nambiar, Raghunath. editor.&#160;Poess, Meikel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32627-1">http://dx.doi.org/10.1007/978-3-642-32627-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Data Engineering and Automated Learning - IDEAL 2012 13th International Conference, Natal, Brazil, August 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197249 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Yin, Hujun. editor.&#160;Costa, Jos&eacute; A. F. editor.&#160;Barreto, Guilherme. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32639-4">http://dx.doi.org/10.1007/978-3-642-32639-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197250 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Lee, Geuk. editor.&#160;Howard, Daniel. editor.&#160;Kang, Jeong Jin. editor.&#160;&#346;l&#281;zak, Dominik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32645-5">http://dx.doi.org/10.1007/978-3-642-32645-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm Intelligence 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197251 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Dorigo, Marco. editor.&#160;Birattari, Mauro. editor.&#160;Blum, Christian. editor.&#160;Christensen, Anders Lyhne. editor.&#160;Engelbrecht, Andries P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32650-9">http://dx.doi.org/10.1007/978-3-642-32650-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197255 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Dienstfrey, Andrew M. editor.&#160;Boisvert, Ronald F. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32677-6">http://dx.doi.org/10.1007/978-3-642-32677-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet of Things, Smart Spaces, and Next Generation Networking 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197257 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Andreev, Sergey. editor.&#160;Balandin, Sergey. editor.&#160;Koucheryavy, Yevgeni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32686-8">http://dx.doi.org/10.1007/978-3-642-32686-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rules on the Web: Research and Applications 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197258 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Bikakis, Antonis. editor.&#160;Giurca, Adrian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32689-9">http://dx.doi.org/10.1007/978-3-642-32689-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197259 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Lee, Geuk. editor.&#160;Howard, Daniel. editor.&#160;&#346;l&#281;zak, Dominik. editor.&#160;Hong, You Sik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32692-9">http://dx.doi.org/10.1007/978-3-642-32692-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bio-Inspired Models of Networks, Information, and Computing Systems 6th International ICST Conference, BIONETICS 2011, York, UK, December 5-6, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197263 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Hart, Emma. editor.&#160;Timmis, Jon. editor.&#160;Mitchell, Paul. editor.&#160;Nakamo, Takadash. editor.&#160;Dabiri, Foad. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32711-7">http://dx.doi.org/10.1007/978-3-642-32711-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRIMA 2012: Principles and Practice of Multi-Agent Systems 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197265 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Rahwan, Iyad. editor.&#160;Wobcke, Wayne. editor.&#160;Sen, Sandip. editor.&#160;Sugawara, Toshiharu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32729-2">http://dx.doi.org/10.1007/978-3-642-32729-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Voting and Identity Third International Conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197268 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Kiayias, Aggelos. editor.&#160;Lipmaa, Helger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32747-6">http://dx.doi.org/10.1007/978-3-642-32747-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197270 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Giannakopoulou, Dimitra. editor.&#160;M&eacute;ry, Dominique. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32759-9">http://dx.doi.org/10.1007/978-3-642-32759-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Concepts for Intelligent Vision Systems 14th International Conference, ACIVS 2012, Brno, Czech Republic, September 4-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197324 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Blanc-Talon, Jacques. editor.&#160;Philips, Wilfried. editor.&#160;Popescu, Dan. editor.&#160;Scheunders, Paul. editor.&#160;Zem&#269;&iacute;k, Pavel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33140-4">http://dx.doi.org/10.1007/978-3-642-33140-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mesh Processing in Medical Image Analysis 2012 MICCAI 2012 International Workshop, MeshMed 2012, Nice, France, October 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197379 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Levine, Joshua A. editor.&#160;Paulsen, Rasmus R. editor.&#160;Zhang, Yongjie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33463-4">http://dx.doi.org/10.1007/978-3-642-33463-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part III ent://SD_ILS/0/SD_ILS:197390 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Su, Chun-Yi. editor.&#160;Rakheja, Subhash. editor.&#160;Liu, Honghai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33503-7">http://dx.doi.org/10.1007/978-3-642-33503-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition Chinese Conference, CCPR 2012, Beijing, China, September 24-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197391 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Liu, Cheng-Lin. editor.&#160;Zhang, Changshui. editor.&#160;Wang, Liang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33506-8">http://dx.doi.org/10.1007/978-3-642-33506-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197342 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Cortesi, Agostino. editor.&#160;Chaki, Nabendu. editor.&#160;Saeed, Khalid. editor.&#160;Wierzcho&#324;, S&#322;awomir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33260-9">http://dx.doi.org/10.1007/978-3-642-33260-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197393 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Finkel, Alain. editor.&#160;Leroux, J&eacute;r&ocirc;me. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33512-9">http://dx.doi.org/10.1007/978-3-642-33512-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197394 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Su, Chun-Yi. editor.&#160;Rakheja, Subhash. editor.&#160;Liu, Honghai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33515-0">http://dx.doi.org/10.1007/978-3-642-33515-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in the Message Passing Interface 19th European MPI Users&rsquo; Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197395 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Tr&auml;ff, Jesper Larsson. editor.&#160;Benkner, Siegfried. editor.&#160;Dongarra, Jack J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33518-1">http://dx.doi.org/10.1007/978-3-642-33518-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197347 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Alvarez, Luis. editor.&#160;Mejail, Marta. editor.&#160;Gomez, Luis. editor.&#160;Jacobo, Julio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33275-3">http://dx.doi.org/10.1007/978-3-642-33275-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimodal Brain Image Analysis Second International Workshop, MBIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197397 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Yap, Pew-Thian. editor.&#160;Liu, Tianming. editor.&#160;Shen, Dinggang. editor.&#160;Westin, Carl-Fredrik. editor.&#160;Shen, Li. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33530-3">http://dx.doi.org/10.1007/978-3-642-33530-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197398 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Chessa, Stefano. editor.&#160;Knauth, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33533-4">http://dx.doi.org/10.1007/978-3-642-33533-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parameterized and Exact Computation 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197351 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Thilikos, Dimitrios M. editor.&#160;Woeginger, Gerhard J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33293-7">http://dx.doi.org/10.1007/978-3-642-33293-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197352 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Gheyi, Rohit. editor.&#160;Naumann, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33296-8">http://dx.doi.org/10.1007/978-3-642-33296-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data Second International Workshop, STIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197401 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Durrleman, Stanley. editor.&#160;Fletcher, Tom. editor.&#160;Gerig, Guido. editor.&#160;Niethammer, Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33555-6">http://dx.doi.org/10.1007/978-3-642-33555-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Qu&eacute;bec City, QC, Canada, October 8-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197402 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Milano, Michela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33558-7">http://dx.doi.org/10.1007/978-3-642-33558-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197355 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Kahl, Wolfram. editor.&#160;Griffin, Timothy G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197405 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Hu, Hao. editor.&#160;Shi, Xiaoning. editor.&#160;Stahlbock, Robert. editor.&#160;Vo&szlig;, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33587-7">http://dx.doi.org/10.1007/978-3-642-33587-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197407 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Abell&oacute;, Alberto. editor.&#160;Bellatreche, Ladjel. editor.&#160;Benatallah, Boualem. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33609-6">http://dx.doi.org/10.1007/978-3-642-33609-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197363 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Jurdzi&#324;ski, Marcin. editor.&#160;Ni&#269;kovi&#263;, Dejan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33365-1">http://dx.doi.org/10.1007/978-3-642-33365-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197365 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Gollmann, Dieter. editor.&#160;Freiling, Felix C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33383-5">http://dx.doi.org/10.1007/978-3-642-33383-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197366 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Chakraborty, Supratik. editor.&#160;Mukund, Madhavan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33386-6">http://dx.doi.org/10.1007/978-3-642-33386-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197455 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Atzeni, Paolo. editor.&#160;Cheung, David. editor.&#160;Ram, Sudha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34002-4">http://dx.doi.org/10.1007/978-3-642-34002-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197460 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Middleware 2012 ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197573 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Narasimhan, Priya. editor.&#160;Triantafillou, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35170-9">http://dx.doi.org/10.1007/978-3-642-35170-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web &ndash; ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197575 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Cudr&eacute;-Mauroux, Philippe. editor.&#160;Heflin, Jeff. editor.&#160;Sirin, Evren. editor.&#160;Tudorache, Tania. editor.&#160;Euzenat, J&eacute;r&ocirc;me. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35176-1">http://dx.doi.org/10.1007/978-3-642-35176-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency VI ent://SD_ILS/0/SD_ILS:197576 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Jensen, Kurt. editor.&#160;Aalst, Wil M. editor.&#160;Ajmone Marsan, Marco. editor.&#160;Franceschinis, Giuliana. editor.&#160;Kleijn, Jetty. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35179-2">http://dx.doi.org/10.1007/978-3-642-35179-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197577 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Jhala, Ranjit. editor.&#160;Igarashi, Atsushi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35182-2">http://dx.doi.org/10.1007/978-3-642-35182-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Entertainment 9th International Conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197503 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Nijholt, Anton. editor.&#160;Rom&atilde;o, Teresa. editor.&#160;Reidsma, Dennis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34292-9">http://dx.doi.org/10.1007/978-3-642-34292-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Intelligent Robotics, Automation, and Manufacturing First International Conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197579 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Ponnambalam, S. G. editor.&#160;Parkkinen, Jussi. editor.&#160;Ramanathan, Kuppan Chetty. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35197-6">http://dx.doi.org/10.1007/978-3-642-35197-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Machine Learning Technologies and Applications First International Conference, AMLTA 2012, Cairo, Egypt, December 8-10, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197594 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Hassanien, Aboul Ella. editor.&#160;Salem, Abdel-Badeeh M. editor.&#160;Ramadan, Rabie. editor.&#160;Kim, Tai-hoon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35326-0">http://dx.doi.org/10.1007/978-3-642-35326-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Retrieval Technology 8th Asia Information Retrieval Societies Conference, AIRS 2012, Tianjin, China, December 17-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197596 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Hou, Yuexian. editor.&#160;Nie, Jian-Yun. editor.&#160;Sun, Le. editor.&#160;Wang, Bo. editor.&#160;Zhang, Peng. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35341-3">http://dx.doi.org/10.1007/978-3-642-35341-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197510 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Xiao, Tianyuan. editor.&#160;Zhang, Lin. editor.&#160;Fei, Minrui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34384-1">http://dx.doi.org/10.1007/978-3-642-34384-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part III ent://SD_ILS/0/SD_ILS:197511 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Xiao, Tianyuan. editor.&#160;Zhang, Lin. editor.&#160;Fei, Minrui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34387-2">http://dx.doi.org/10.1007/978-3-642-34387-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197512 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Xiao, Tianyuan. editor.&#160;Zhang, Lin. editor.&#160;Fei, Minrui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34390-2">http://dx.doi.org/10.1007/978-3-642-34390-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197513 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Xiao, Tianyuan. editor.&#160;Zhang, Lin. editor.&#160;Ma, Shiwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34396-4">http://dx.doi.org/10.1007/978-3-642-34396-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security, Privacy, and Applied Cryptography Engineering Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197516 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Bogdanov, Andrey. editor.&#160;Sanadhya, Somitra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34416-9">http://dx.doi.org/10.1007/978-3-642-34416-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Applications 13th International Workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197604 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Lee, Dong Hoon. editor.&#160;Yung, Moti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35416-8">http://dx.doi.org/10.1007/978-3-642-35416-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-disciplinary Trends in Artificial Intelligence 6th International Workshop, MIWAI 2012, Ho Chi Minh City, Vietnam, December 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197606 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Sombattheera, Chattrakul. editor.&#160;Loi, Nguyen Kim. editor.&#160;Wankar, Rajeev. editor.&#160;Quan, Tho. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35455-7">http://dx.doi.org/10.1007/978-3-642-35455-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197607 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Baldoni, Roberto. editor.&#160;Flocchini, Paola. editor.&#160;Binoy, Ravindran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35476-2">http://dx.doi.org/10.1007/978-3-642-35476-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197608 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Bach, Joscha. editor.&#160;Goertzel, Ben. editor.&#160;Ikl&eacute;, Matthew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35506-6">http://dx.doi.org/10.1007/978-3-642-35506-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Applications for Bio-technology, Multimedia, and Ubiquitous City International Conferences MulGraB, BSBT and IUrC 2012 Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197610 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Kim, Tai-hoon. editor.&#160;Kang, Jeong-Jin. editor.&#160;Grosky, William I. editor.&#160;Arslan, Tughrul. editor.&#160;Pissinou, Niki. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35521-9">http://dx.doi.org/10.1007/978-3-642-35521-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data and Knowledge Engineering Third International Conference, ICDKE 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197539 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Xiang, Yang. editor.&#160;Pathan, Mukaddim. editor.&#160;Tao, Xiaohui. editor.&#160;Wang, Hua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34679-8">http://dx.doi.org/10.1007/978-3-642-34679-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security and Cryptology 7th International Conference, Inscrypt 2011, Beijing, China, November 30 &ndash; December 3, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197541 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Wu, Chuan-Kun. editor.&#160;Yung, Moti. editor.&#160;Lin, Dongdai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34704-7">http://dx.doi.org/10.1007/978-3-642-34704-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Image Analaysis 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197545 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Barneva, Reneta P. editor.&#160;Brimkov, Valentin E. editor.&#160;Aggarwal, Jake K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34732-0">http://dx.doi.org/10.1007/978-3-642-34732-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Multimedia Information Processing &ndash; PCM 2012 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197547 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Lin, Weisi. editor.&#160;Xu, Dong. editor.&#160;Ho, Anthony. editor.&#160;Wu, Jianxin. editor.&#160;He, Ying. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34778-8">http://dx.doi.org/10.1007/978-3-642-34778-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197552 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Even, Guy. editor.&#160;Rawitz, Dror. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34862-4">http://dx.doi.org/10.1007/978-3-642-34862-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet and Distributed Computing Systems 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197553 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Xiang, Yang. editor.&#160;Pathan, Mukaddim. editor.&#160;Tao, Xiaohui. editor.&#160;Wang, Hua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34883-9">http://dx.doi.org/10.1007/978-3-642-34883-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Intelligence Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197556 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Patern&ograve;, Fabio. editor.&#160;Ruyter, Boris. editor.&#160;Markopoulos, Panos. editor.&#160;Santoro, Carmen. editor.&#160;Loenen, Evert. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34898-3">http://dx.doi.org/10.1007/978-3-642-34898-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Cryptology - INDOCRYPT 2012 13th International Conference on Cryptology in India, Kolkata, India, December 9-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197557 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Galbraith, Steven. editor.&#160;Nandi, Mridul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34931-7">http://dx.doi.org/10.1007/978-3-642-34931-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197559 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Wang, Xiaoyun. editor.&#160;Sako, Kazue. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34961-4">http://dx.doi.org/10.1007/978-3-642-34961-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiple Access Communications 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197560 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Bellalta, Boris. editor.&#160;Vinel, Alexey. editor.&#160;Jonsson, Magnus. editor.&#160;Barcelo, Jaume. editor.&#160;Maslennikov, Roman. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34976-8">http://dx.doi.org/10.1007/978-3-642-34976-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Information Systems Engineering - WISE 2012 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197563 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Wang, X. Sean. editor.&#160;Cruz, Isabel. editor.&#160;Delis, Alex. editor.&#160;Huang, Guangyan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35063-4">http://dx.doi.org/10.1007/978-3-642-35063-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information Technology 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197564 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Papasratorn, Borworn. editor.&#160;Charoenkitkarn, Nipon. editor.&#160;Lavangnananda, Kittichai. editor.&#160;Chutimaskul, Wichian. editor.&#160;Vanijja, Vajirasak. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35076-4">http://dx.doi.org/10.1007/978-3-642-35076-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AI 2012: Advances in Artificial Intelligence 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197565 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Thielscher, Michael. editor.&#160;Zhang, Dongmo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35101-3">http://dx.doi.org/10.1007/978-3-642-35101-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biometric Recognition 7th Chinese Conference, CCBR 2012, Guangzhou, China, December 4-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197568 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Zheng, Wei-Shi. editor.&#160;Sun, Zhenan. editor.&#160;Wang, Yunhong. editor.&#160;Chen, Xilin. editor.&#160;Yuen, Pong C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35136-5">http://dx.doi.org/10.1007/978-3-642-35136-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Brain Informatics International Conference, BI 2012, Macau, China, December 4-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197569 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Zanzotto, Fabio Massimo. editor.&#160;Tsumoto, Shusaku. editor.&#160;Taatgen, Niels. editor.&#160;Yao, Yiyu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35139-6">http://dx.doi.org/10.1007/978-3-642-35139-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer, Informatics, Cybernetics and Applications Proceedings of the CICA 2011 ent://SD_ILS/0/SD_ILS:206187 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;He, Xingui. editor.&#160;Hua, Ertian. editor.&#160;Lin, Yun. editor.&#160;Liu, Xiaozhu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-1839-5">http://dx.doi.org/10.1007/978-94-007-1839-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 ent://SD_ILS/0/SD_ILS:168462 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Chivers, Ian. author.&#160;Sleightholme, Jane. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-233-9">http://dx.doi.org/10.1007/978-0-85729-233-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Patterns, Programming and Everything ent://SD_ILS/0/SD_ILS:173429 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Breitman, Karin K. editor.&#160;Horspool, R. Nigel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2350-7">http://dx.doi.org/10.1007/978-1-4471-2350-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 ent://SD_ILS/0/SD_ILS:173458 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Dale, Chris. editor.&#160;Anderson, Tom. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2494-8">http://dx.doi.org/10.1007/978-1-4471-2494-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Ontology Engineering in Cloud Services, Networks and Management Systems ent://SD_ILS/0/SD_ILS:174129 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Serrano Orozco, J. Mart&iacute;n. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-2236-5">http://dx.doi.org/10.1007/978-1-4614-2236-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network Inference in Molecular Biology A Hands-on Framework ent://SD_ILS/0/SD_ILS:174195 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Lingeman, Jesse M.&#160;Shasha, Dennis.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-3113-8">http://dx.doi.org/10.1007/978-1-4614-3113-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Creating New Medical Ontologies for Image Annotation A Case Study ent://SD_ILS/0/SD_ILS:174046 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Stanescu, Liana. author.&#160;Burdescu, Dumitru Dan. author.&#160;Brezovan, Marius. author.&#160;Mihai, Cristian Gabriel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1909-9">http://dx.doi.org/10.1007/978-1-4614-1909-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Design of Cloud Workflow Systems ent://SD_ILS/0/SD_ILS:174054 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Liu, Xiao. author.&#160;Yuan, Dong. author.&#160;Zhang, Gaofeng. author.&#160;Li, Wenhao. author.&#160;Cao, Dahai. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1933-4">http://dx.doi.org/10.1007/978-1-4614-1933-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pyomo &ndash; Optimization Modeling in Python ent://SD_ILS/0/SD_ILS:174214 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Hart, William E. author.&#160;Laird, Carl. author.&#160;Watson, Jean-Paul. author.&#160;Woodruff, David L. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-3226-5">http://dx.doi.org/10.1007/978-1-4614-3226-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Normal Forms, Melnikov Functions and Bifurcations of Limit Cycles ent://SD_ILS/0/SD_ILS:173501 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Han, Maoan. author.&#160;Yu, Pei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2918-9">http://dx.doi.org/10.1007/978-1-4471-2918-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Modern Mathematical Computing With Mathematica&reg; ent://SD_ILS/0/SD_ILS:174387 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Borwein, Jonathan M. author.&#160;Skerritt, Matthew P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4253-0">http://dx.doi.org/10.1007/978-1-4614-4253-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Configuration Problem Solving ent://SD_ILS/0/SD_ILS:174403 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Petrie, Charles J.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4532-6">http://dx.doi.org/10.1007/978-1-4614-4532-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Operational Semantics and Verification of Security Protocols ent://SD_ILS/0/SD_ILS:188195 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Cremers, Cas. author.&#160;Mauw, Sjouke. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78636-8">http://dx.doi.org/10.1007/978-3-540-78636-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III ent://SD_ILS/0/SD_ILS:196147 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Li, Daoliang. editor.&#160;Chen, Yingyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27275-2">http://dx.doi.org/10.1007/978-3-642-27275-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Resource Discovery Third International Workshop, RED 2010, Paris, France, November 5, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196183 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Lacroix, Zo&eacute;. editor.&#160;Vidal, Mar&iacute;a Esther. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27392-6">http://dx.doi.org/10.1007/978-3-642-27392-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:196149 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Li, Daoliang. editor.&#160;Chen, Yingyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27281-3">http://dx.doi.org/10.1007/978-3-642-27281-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:196158 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Meghanathan, Natarajan. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27308-7">http://dx.doi.org/10.1007/978-3-642-27308-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III ent://SD_ILS/0/SD_ILS:196161 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Meghanathan, Natarajan. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27317-9">http://dx.doi.org/10.1007/978-3-642-27317-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Monte Carlo and Quasi-Monte Carlo Methods 2010 ent://SD_ILS/0/SD_ILS:196197 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Plaskota, Leszek. editor.&#160;Wo&#378;niakowski, Henryk. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27440-4">http://dx.doi.org/10.1007/978-3-642-27440-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Service Development Combining Adaptive Methods and Flexible Solutions ent://SD_ILS/0/SD_ILS:196377 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Lankhorst, Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28188-4">http://dx.doi.org/10.1007/978-3-642-28188-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbr&uuml;cken, Germany, September 8-9, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196381 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Erlebach, Thomas. editor.&#160;Nikoletseas, Sotiris. editor.&#160;Orponen, Pekka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28209-6">http://dx.doi.org/10.1007/978-3-642-28209-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Modeling and Computational Science International Conference, MMCP 2011, Star&aacute; Lesn&aacute;, Slovakia, July 4-8, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196382 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Adam, Gheorghe. editor.&#160;Bu&scaron;a, J&aacute;n. editor.&#160;Hnati&#269;, Michal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28212-6">http://dx.doi.org/10.1007/978-3-642-28212-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Exploring Services Science Third International Conference, IESS 2012, Geneva, Switzerland, February 15-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196386 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Snene, Mehdi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28227-0">http://dx.doi.org/10.1007/978-3-642-28227-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technological Innovation for Value Creation Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196394 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Camarinha-Matos, Luis M. editor.&#160;Shahamatnia, Ehsan. editor.&#160;Nunes, Gon&ccedil;alo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28255-3">http://dx.doi.org/10.1007/978-3-642-28255-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Partially Supervised Learning First IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196395 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Schwenker, Friedhelm. editor.&#160;Trentin, Edmondo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28258-4">http://dx.doi.org/10.1007/978-3-642-28258-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Building a National Distributed e-Infrastructure&ndash;PL-Grid Scientific and Technical Achievements ent://SD_ILS/0/SD_ILS:196398 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Bubak, Marian. editor.&#160;Szepieniec, Tomasz. editor.&#160;Wiatr, Kazimierz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28267-6">http://dx.doi.org/10.1007/978-3-642-28267-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:196402 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;D&uuml;sterh&ouml;ft, Antje. editor.&#160;Klettke, Meike. editor.&#160;Schewe, Klaus-Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28279-9">http://dx.doi.org/10.1007/978-3-642-28279-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196407 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Herkersdorf, Andreas. editor.&#160;R&ouml;mer, Kay. editor.&#160;Brinkschulte, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28293-5">http://dx.doi.org/10.1007/978-3-642-28293-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coru&ntilde;a, Spain, March 5-9, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196418 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28332-1">http://dx.doi.org/10.1007/978-3-642-28332-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB &amp; DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196472 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Schmitt, Jens B. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28540-0">http://dx.doi.org/10.1007/978-3-642-28540-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjav&iacute;k, Iceland, June 6-9, 2010, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:196366 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;J&oacute;nasson, Kristj&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28151-8">http://dx.doi.org/10.1007/978-3-642-28151-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196774 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Schrijvers, Tom. editor.&#160;Thiemann, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29822-6">http://dx.doi.org/10.1007/978-3-642-29822-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196777 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Carbone, Marco. editor.&#160;Petit, Jean-Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29834-9">http://dx.doi.org/10.1007/978-3-642-29834-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196779 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29843-1">http://dx.doi.org/10.1007/978-3-642-29843-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research in Computational Molecular Biology 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196742 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Chor, Benny. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29627-7">http://dx.doi.org/10.1007/978-3-642-29627-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196784 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Khurshid, Sarfraz. editor.&#160;Sen, Koushik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29860-8">http://dx.doi.org/10.1007/978-3-642-29860-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication Technologies for Vehicles 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196747 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Vinel, Alexey. editor.&#160;Mehmood, Rashid. editor.&#160;Berbineau, Marion. editor.&#160;Garcia, Cristina Rico. editor.&#160;Huang, Chung-Ming. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29667-3">http://dx.doi.org/10.1007/978-3-642-29667-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Complex IT Systems. Development, Operation and Management 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197466 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Calinescu, Radu. editor.&#160;Garlan, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34059-8">http://dx.doi.org/10.1007/978-3-642-34059-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197467 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Liu, Baoxiang. editor.&#160;Ma, Maode. editor.&#160;Chang, Jincai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34062-8">http://dx.doi.org/10.1007/978-3-642-34062-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Using Microsoft Dynamics AX 2012 ent://SD_ILS/0/SD_ILS:198876 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Luszczak, Andreas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-2191-1">http://dx.doi.org/10.1007/978-3-8348-2191-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes ent://SD_ILS/0/SD_ILS:198917 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Storm, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-2381-6">http://dx.doi.org/10.1007/978-3-8348-2381-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Interoperability V Shaping Enterprise Interoperability in the Future Internet ent://SD_ILS/0/SD_ILS:173485 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Poler, Ra&uacute;l. editor.&#160;Doumeingts, Guy. editor.&#160;Katzy, Bernhard. editor.&#160;Chalmeta, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2819-9">http://dx.doi.org/10.1007/978-1-4471-2819-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundational Java Key Elements and Practical Programming ent://SD_ILS/0/SD_ILS:173453 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Parsons, David. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2479-5">http://dx.doi.org/10.1007/978-1-4471-2479-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Doing Design Ethnography ent://SD_ILS/0/SD_ILS:173465 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Crabtree, Andrew. author.&#160;Rouncefield, Mark. author.&#160;Tolmie, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2726-0">http://dx.doi.org/10.1007/978-1-4471-2726-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Scientific Computing in C++ ent://SD_ILS/0/SD_ILS:173468 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Pitt-Francis, Joe. author.&#160;Whiteley, Jonathan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2736-9">http://dx.doi.org/10.1007/978-1-4471-2736-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and Analysis of Approximation Algorithms ent://SD_ILS/0/SD_ILS:174003 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Du, Ding-Zhu. author.&#160;Ko, Ker-I. author.&#160;Hu, Xiaodong. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1701-9">http://dx.doi.org/10.1007/978-1-4614-1701-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Complexity Theory, Techniques, and Applications ent://SD_ILS/0/SD_ILS:174019 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Meyers, Robert A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1800-9">http://dx.doi.org/10.1007/978-1-4614-1800-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Correcting Approaches in Combinatorial Optimization ent://SD_ILS/0/SD_ILS:174424 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Goldengorin, Boris. author.&#160;Pardalos, Panos M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-5286-7">http://dx.doi.org/10.1007/978-1-4614-5286-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design Thinking Research Studying Co-Creation in Practice ent://SD_ILS/0/SD_ILS:194768 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Plattner, Hasso. editor.&#160;Meinel, Christoph. editor.&#160;Leifer, Larry. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21643-5">http://dx.doi.org/10.1007/978-3-642-21643-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> e-Business and Telecommunications 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195876 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Obaidat, Mohammad S. editor.&#160;Tsihrintzis, George A. editor.&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25206-8">http://dx.doi.org/10.1007/978-3-642-25206-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers ent://SD_ILS/0/SD_ILS:195898 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Aichernig, Bernhard K. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25271-6">http://dx.doi.org/10.1007/978-3-642-25271-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> RFID. Security and Privacy 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195902 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Juels, Ari. editor.&#160;Paar, Christof. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25286-0">http://dx.doi.org/10.1007/978-3-642-25286-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196072 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Kreveld, Marc. editor.&#160;Speckmann, Bettina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25878-7">http://dx.doi.org/10.1007/978-3-642-25878-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196083 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Desai, Nirmit. editor.&#160;Liu, Alan. editor.&#160;Winikoff, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25920-3">http://dx.doi.org/10.1007/978-3-642-25920-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196086 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Kot&aacute;sek, Zden&#283;k. editor.&#160;Bouda, Jan. editor.&#160;&#268;ern&aacute;, Ivana. editor.&#160;Sekanina, Luk&aacute;&scaron;. editor.&#160;Vojnar, Tom&aacute;&scaron;. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25929-6">http://dx.doi.org/10.1007/978-3-642-25929-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196091 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Bononi, Luciano. editor.&#160;Datta, Ajoy K. editor.&#160;Devismes, St&eacute;phane. editor.&#160;Misra, Archan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25959-3">http://dx.doi.org/10.1007/978-3-642-25959-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication and Networking International Conference, FGCN 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196122 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Kim, Tai-hoon. editor.&#160;Adeli, Hojjat. editor.&#160;Fang, Wai-chi. editor.&#160;Vasilakos, Thanos. editor.&#160;Stoica, Adrian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27192-2">http://dx.doi.org/10.1007/978-3-642-27192-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196126 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Kim, Tai-hoon. editor.&#160;Adeli, Hojjat. editor.&#160;Grosky, William I. editor.&#160;Pissinou, Niki. editor.&#160;Shih, Timothy K. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27204-2">http://dx.doi.org/10.1007/978-3-642-27204-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbr&uuml;cken, Germany, March 31 - April 1, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196178 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;M&ouml;dersheim, Sebastian. editor.&#160;Palamidessi, Catuscia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27375-9">http://dx.doi.org/10.1007/978-3-642-27375-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:196148 2024-09-12T07:59:34Z 2024-09-12T07:59:34Z Author&#160;Li, Daoliang. editor.&#160;Chen, Yingyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27278-3">http://dx.doi.org/10.1007/978-3-642-27278-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>