Search Results for Computer science. - Narrowed by: 2012 - Artificial intelligence. - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300?dt=list 2024-07-14T22:13:31Z 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196155 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z 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-27299-8">http://dx.doi.org/10.1007/978-3-642-27299-8</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages ent://SD_ILS/0/SD_ILS:196775 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Henderson-Sellers, Brian. 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-29825-7">http://dx.doi.org/10.1007/978-3-642-29825-7</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196271 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Russo, Claudio. editor.&#160;Zhou, Neng-Fa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27694-1">http://dx.doi.org/10.1007/978-3-642-27694-1</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Transactions on Computational Collective Intelligence VI ent://SD_ILS/0/SD_ILS:196678 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z 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-29356-6">http://dx.doi.org/10.1007/978-3-642-29356-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:196693 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Artikis, Alexander. editor.&#160;Craven, Robert. editor.&#160;Kesim &Ccedil;i&ccedil;ekli, Nihan. editor.&#160;Sadighi, Babak. editor.&#160;Stathis, Kostas. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29414-3">http://dx.doi.org/10.1007/978-3-642-29414-3</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196774 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196785 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Peffers, Ken. editor.&#160;Rothenberger, Marcus. editor.&#160;Kuechler, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29863-9">http://dx.doi.org/10.1007/978-3-642-29863-9</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196903 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Benlamri, Rachid. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30507-8">http://dx.doi.org/10.1007/978-3-642-30507-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:196919 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Benlamri, Rachid. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30567-2">http://dx.doi.org/10.1007/978-3-642-30567-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz ent://SD_ILS/0/SD_ILS:196950 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Erdem, Esra. editor.&#160;Lee, Joohyung. editor.&#160;Lierler, Yuliya. editor.&#160;Pearce, 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-30743-0">http://dx.doi.org/10.1007/978-3-642-30743-0</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Information and Software Technologies 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197354 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197507 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Noda, Itsuki. editor.&#160;Ando, Noriaki. editor.&#160;Brugali, Davide. editor.&#160;Kuffner, James 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-34327-8">http://dx.doi.org/10.1007/978-3-642-34327-8</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197548 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;H&auml;hnle, Reiner. editor.&#160;Knoop, Jens. editor.&#160;Margaria, Tiziana. editor.&#160;Schreiner, Dietmar. editor.&#160;Steffen, Bernhard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34781-8">http://dx.doi.org/10.1007/978-3-642-34781-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Systems 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197549 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Cossentino, Massimo. editor.&#160;Kaisers, Michael. editor.&#160;Tuyls, Karl. editor.&#160;Weiss, Gerhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34799-3">http://dx.doi.org/10.1007/978-3-642-34799-3</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Advances in Information Technology 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197564 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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 II ent://SD_ILS/0/SD_ILS:197574 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z 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-35173-0">http://dx.doi.org/10.1007/978-3-642-35173-0</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Green and Smart Technology with Sensor Applications International Conferences, GST and SIA 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197584 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Cho, Hyun-seob. editor.&#160;Kim, Tai-hoon. editor.&#160;Mohammed, Sabah. editor.&#160;Adeli, Hojjat. editor.&#160;Oh, Myoung-kwan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35251-5">http://dx.doi.org/10.1007/978-3-642-35251-5</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197592 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Hawblitzel, Chris. editor.&#160;Miller, Dale. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35308-6">http://dx.doi.org/10.1007/978-3-642-35308-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ubiquitous Computing and Ambient Intelligence 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197599 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Bravo, Jos&eacute;. editor.&#160;L&oacute;pez-de-Ipi&ntilde;a, Diego. editor.&#160;Moya, 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-35377-2">http://dx.doi.org/10.1007/978-3-642-35377-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197600 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Das, Swagatam. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Nanda, Pradipta Kumar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35380-2">http://dx.doi.org/10.1007/978-3-642-35380-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Assisted Living and Home Care 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197602 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Bravo, Jos&eacute;. editor.&#160;Herv&aacute;s, Ram&oacute;n. editor.&#160;Rodr&iacute;guez, Marcela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35395-6">http://dx.doi.org/10.1007/978-3-642-35395-6</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Coordination, Organizations, Institutions, and Norms in Agent System VII COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197615 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Cranefield, Stephen. editor.&#160;Riemsdijk, M. Birna. editor.&#160;V&aacute;zquez-Salceda, Javier. editor.&#160;Noriega, Pablo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35545-5">http://dx.doi.org/10.1007/978-3-642-35545-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Future Generation Information Technology 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197619 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Kim, Tai-hoon. editor.&#160;Lee, Young-hoon. editor.&#160;Fang, Wai-chi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35585-1">http://dx.doi.org/10.1007/978-3-642-35585-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Applications for Communication, Networking, and Digital Contents International Conferences, FGCN and DCA 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:197620 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Kim, Tai-hoon. editor.&#160;Ko, Dae-sik. editor.&#160;Vasilakos, Thanos. editor.&#160;Stoica, Adrian. editor.&#160;Abawajy, Jemal. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35594-3">http://dx.doi.org/10.1007/978-3-642-35594-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Applications for Graphics, Grid Computing, and Industrial Environment International Conferences, GDC, IESH and CGAG 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:197621 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Kim, Tai-hoon. editor.&#160;Cho, Hyun-seob. editor.&#160;Gervasi, Osvaldo. editor.&#160;Yau, Stephen 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-35600-1">http://dx.doi.org/10.1007/978-3-642-35600-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Applications for Database, Education, and Ubiquitous Computing International Conferences, EL, DTA and UNESST 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:197622 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Kim, Tai-hoon. editor.&#160;Ma, Jianhua. editor.&#160;Fang, Wai-chi. editor.&#160;Zhang, Yanchun. editor.&#160;Cuzzocrea, Alfredo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35603-2">http://dx.doi.org/10.1007/978-3-642-35603-2</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196286 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Kannan, Rajkumar. editor.&#160;Andres, Frederic. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27872-3">http://dx.doi.org/10.1007/978-3-642-27872-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid and Pervasive Computing Workshops International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196298 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Rautiainen, Mika. editor.&#160;Korhonen, Timo. editor.&#160;Mutafungwa, Edward. editor.&#160;Ovaska, Eila. editor.&#160;Katasonov, Artem. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27916-4">http://dx.doi.org/10.1007/978-3-642-27916-4</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems ent://SD_ILS/0/SD_ILS:196468 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;Phan, Cong-Vinh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28525-7">http://dx.doi.org/10.1007/978-3-642-28525-7</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Persuasive Technology. Design for Health and Safety 7th International Conference, PERSUASIVE 2012, Link&ouml;ping, Sweden, June 6-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197007 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Bang, Magnus. editor.&#160;Ragnemalm, Eva L. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31037-9">http://dx.doi.org/10.1007/978-3-642-31037-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Impact Analysis of Solutions for Chronic Disease Prevention and Management 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196958 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Donnelly, Mark. editor.&#160;Paggetti, Cristiano. editor.&#160;Nugent, Chris. editor.&#160;Mokhtari, Mounir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30779-9">http://dx.doi.org/10.1007/978-3-642-30779-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197017 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Ralyt&eacute;, Jolita. editor.&#160;Franch, Xavier. editor.&#160;Brinkkemper, Sjaak. editor.&#160;Wrycza, Stanislaw. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31095-9">http://dx.doi.org/10.1007/978-3-642-31095-9</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197063 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings ent://SD_ILS/0/SD_ILS:197076 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Madhusudan, P. editor.&#160;Seshia, Sanjit 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-31424-7">http://dx.doi.org/10.1007/978-3-642-31424-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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Virtual and Networked Organizations, Emergent Technologies and Tools First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197138 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Putnik, Goran D. editor.&#160;Cruz-Cunha, Maria Manuela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31800-9">http://dx.doi.org/10.1007/978-3-642-31800-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197154 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Dennis, Louise. editor.&#160;Boissier, Olivier. editor.&#160;Bordini, Rafael H. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31915-0">http://dx.doi.org/10.1007/978-3-642-31915-0</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197296 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Fisher, Michael. editor.&#160;Torre, Leon. editor.&#160;Dastani, Mehdi. editor.&#160;Governatori, Guido. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32897-8">http://dx.doi.org/10.1007/978-3-642-32897-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Datalog in Academia and Industry Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197298 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Barcel&oacute;, Pablo. editor.&#160;Pichler, Reinhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32925-8">http://dx.doi.org/10.1007/978-3-642-32925-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197313 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Xiang, Yang. editor.&#160;Stojmenovic, Ivan. editor.&#160;Apduhan, Bernady O. editor.&#160;Wang, Guojun. editor.&#160;Nakano, Koji. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33065-0">http://dx.doi.org/10.1007/978-3-642-33065-0</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197316 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Xiang, Yang. editor.&#160;Stojmenovic, Ivan. editor.&#160;Apduhan, Bernady O. editor.&#160;Wang, Guojun. editor.&#160;Nakano, Koji. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33078-0">http://dx.doi.org/10.1007/978-3-642-33078-0</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197392 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z 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-33509-9">http://dx.doi.org/10.1007/978-3-642-33509-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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197405 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197406 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Meersman, Robert. editor.&#160;Panetto, Herv&eacute;. editor.&#160;Dillon, Tharam. editor.&#160;Rinderle-Ma, Stefanie. editor.&#160;Dadam, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33606-5">http://dx.doi.org/10.1007/978-3-642-33606-5</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197409 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Meersman, Robert. editor.&#160;Panetto, Herv&eacute;. editor.&#160;Dillon, Tharam. editor.&#160;Rinderle-Ma, Stefanie. editor.&#160;Dadam, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33615-7">http://dx.doi.org/10.1007/978-3-642-33615-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197415 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Aguilera, Marcos 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-33651-5">http://dx.doi.org/10.1007/978-3-642-33651-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197419 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Ortmeier, Frank. editor.&#160;Daniel, 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-33675-1">http://dx.doi.org/10.1007/978-3-642-33675-1</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Theory and Practice of Natural Computing First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197439 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33860-1">http://dx.doi.org/10.1007/978-3-642-33860-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Engineering and Knowledge Management 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197442 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Teije, Annette. editor.&#160;V&ouml;lker, Johanna. editor.&#160;Handschuh, Siegfried. editor.&#160;Stuckenschmidt, Heiner. editor.&#160;d&rsquo;Acquin, Mathieu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33876-2">http://dx.doi.org/10.1007/978-3-642-33876-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197454 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Castano, Silvana. editor.&#160;Vassiliadis, Panos. editor.&#160;Lakshmanan, Laks V. editor.&#160;Lee, Mong Li. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33999-8">http://dx.doi.org/10.1007/978-3-642-33999-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in New Technologies, Interactive Interfaces and Communicability Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197457 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Cipolla-Ficarra, Francisco. editor.&#160;Veltman, Kim. editor.&#160;Verber, Domen. editor.&#160;Cipolla-Ficarra, Miguel. editor.&#160;Kamm&uuml;ller, Florian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34010-9">http://dx.doi.org/10.1007/978-3-642-34010-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197459 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z 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-34026-0">http://dx.doi.org/10.1007/978-3-642-34026-0</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Mobile Computing, Applications, and Services Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196672 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Gris, Martin. editor.&#160;Yang, Guang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29336-8">http://dx.doi.org/10.1007/978-3-642-29336-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Game Theory for Networks 2nd International ICST Conference, GAMENETS 2011, Shanghai, China, April 16-18, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196869 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Jain, Rahul. editor.&#160;Kannan, Rajgopal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30373-9">http://dx.doi.org/10.1007/978-3-642-30373-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Multimedia Communications 7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196881 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Atzori, Luigi. editor.&#160;Delgado, Jaime. editor.&#160;Giusto, Daniele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30419-4">http://dx.doi.org/10.1007/978-3-642-30419-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Networks and Management Third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196882 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Pentikousis, Kostas. editor.&#160;Aguiar, Rui. editor.&#160;Sargento, Susana. editor.&#160;Ag&uuml;ero, Ram&oacute;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-30422-4">http://dx.doi.org/10.1007/978-3-642-30422-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Wireless Middleware, Operating Systems, and Applications 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196927 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Venkatasubramanian, Nalini. editor.&#160;Getov, Vladimir. editor.&#160;Steglich, Stephan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30607-5">http://dx.doi.org/10.1007/978-3-642-30607-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scientific Workflows Programming, Optimization, and Synthesis with ASKALON and AWDL ent://SD_ILS/0/SD_ILS:196944 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Qin, Jun. author.&#160;Fahringer, Thomas. 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-30715-7">http://dx.doi.org/10.1007/978-3-642-30715-7</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Product Lifecycle Management. Towards Knowledge-Rich Enterprises IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197637 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Rivest, Louis. editor.&#160;Bouras, Abdelaziz. editor.&#160;Louhichi, Borhen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35758-9">http://dx.doi.org/10.1007/978-3-642-35758-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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Semantic Web Services Advancement through Evaluation ent://SD_ILS/0/SD_ILS:196521 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> 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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/> Mobile and Ubiquitous Systems: Computing, Networking, and Services 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196998 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Puiatti, Alessandro. editor.&#160;Gu, Tao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30973-1">http://dx.doi.org/10.1007/978-3-642-30973-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering Workshops CAiSE 2012 International Workshops, Gda&#324;sk, Poland, June 25-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197013 2024-07-14T22:13:31Z 2024-07-14T22:13:31Z Author&#160;Bajec, Marko. editor.&#160;Eder, Johann. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31069-0">http://dx.doi.org/10.1007/978-3-642-31069-0</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-07-14T22:13:31Z 2024-07-14T22:13:31Z 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/>