Search Results for Special Purpose and Application-Based Systems. - Narrowed by: English SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSpecial$002bPurpose$002band$002bApplication-Based$002bSystems.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026ps$003d300?dt=list 2024-11-23T17:50:35Z Pro Team Foundation Service ent://SD_ILS/0/SD_ILS:330735 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Olausson, Mathias. author.&#160;Rossberg, Joachim. author.&#160;Ehn, Jakob. author.&#160;Sk&ouml;ld, Mattias. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330735.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-5996-1">http://dx.doi.org/10.1007/978-1-4302-5996-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333015 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Zuniga, Marco. editor.&#160;Dini, Gianluca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333015.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-04166-7">http://dx.doi.org/10.1007/978-3-319-04166-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards Practical Brain-Computer Interfaces Bridging the Gap from Research to Real-World Applications ent://SD_ILS/0/SD_ILS:333262 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Allison, Brendan Z. editor.&#160;Dunne, Stephen. editor.&#160;Leeb, Robert. editor.&#160;Del R. Mill&aacute;n, Jos&eacute;. editor.&#160;Nijholt, Anton. editor.<br/>Preferred Shelf Number&#160;ONLINE(333262.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29746-5">http://dx.doi.org/10.1007/978-3-642-29746-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334870 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Louren&ccedil;o, Jo&atilde;o M. editor.&#160;Farchi, Eitan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334870.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39955-8">http://dx.doi.org/10.1007/978-3-642-39955-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334882 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Wolf, Felix. editor.&#160;Mohr, Bernd. editor.&#160;Mey, Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334882.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40047-6">http://dx.doi.org/10.1007/978-3-642-40047-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Sounds to Music and Emotions 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335080 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Aramaki, Mitsuko. editor.&#160;Barthet, Mathieu. editor.&#160;Kronland-Martinet, Richard. editor.&#160;Ystad, S&oslash;lvi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335080.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41248-6">http://dx.doi.org/10.1007/978-3-642-41248-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335005 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Bitsch, Friedemann. editor.&#160;Guiochet, J&eacute;r&eacute;mie. editor.&#160;Ka&acirc;niche, Mohamed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335005.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40793-2">http://dx.doi.org/10.1007/978-3-642-40793-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:335018 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Lee, Jangmyung. editor.&#160;Lee, Min Cheol. editor.&#160;Liu, Honghai. editor.&#160;Ryu, Jee-Hwan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335018.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40849-6">http://dx.doi.org/10.1007/978-3-642-40849-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:335019 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Lee, Jangmyung. editor.&#160;Lee, Min Cheol. editor.&#160;Liu, Honghai. editor.&#160;Ryu, Jee-Hwan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335019.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40852-6">http://dx.doi.org/10.1007/978-3-642-40852-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Payment ent://SD_ILS/0/SD_ILS:335291 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Lerner, Thomas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335291.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-03251-7">http://dx.doi.org/10.1007/978-3-658-03251-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Music and Human-Computer Interaction ent://SD_ILS/0/SD_ILS:330896 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Holland, Simon. editor.&#160;Wilkie, Katie. editor.&#160;Mulholland, Paul. editor.&#160;Seago, Allan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330896.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2990-5">http://dx.doi.org/10.1007/978-1-4471-2990-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Manufacturing Distributed Computing Technologies for Global and Sustainable Manufacturing ent://SD_ILS/0/SD_ILS:331102 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Li, Weidong. editor.&#160;Mehnen, J&ouml;rn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331102.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4935-4">http://dx.doi.org/10.1007/978-1-4471-4935-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Network Programming &ndash; Principles and Techniques Network Application Programming with Java ent://SD_ILS/0/SD_ILS:331186 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Ciubotaru, Bogdan. author.&#160;Muntean, Gabriel-Miro. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331186.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5292-7">http://dx.doi.org/10.1007/978-1-4471-5292-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomous Sensor Networks Collective Sensing Strategies for Analytical Purposes ent://SD_ILS/0/SD_ILS:333878 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Filippini, Daniel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333878.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34648-4">http://dx.doi.org/10.1007/978-3-642-34648-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming ent://SD_ILS/0/SD_ILS:333884 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Kormanyos, Christopher Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333884.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34688-0">http://dx.doi.org/10.1007/978-3-642-34688-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334263 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Demeester, Piet. editor.&#160;Moerman, Ingrid. editor.&#160;Terzis, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334263.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36672-7">http://dx.doi.org/10.1007/978-3-642-36672-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> TV-Anytime Paving the Way for Personalized TV ent://SD_ILS/0/SD_ILS:334285 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Gil Solla, Alberto. author.&#160;Sotelo Bovino, Rafael G. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334285.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36766-3">http://dx.doi.org/10.1007/978-3-642-36766-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334342 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Zu, Qiaohong. editor.&#160;Hu, Bo. editor.&#160;El&ccedil;i, Atilla. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334342.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37015-1">http://dx.doi.org/10.1007/978-3-642-37015-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334354 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Cortellessa, Vittorio. editor.&#160;Varr&oacute;, D&aacute;niel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334354.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37057-1">http://dx.doi.org/10.1007/978-3-642-37057-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Policies and Research in Identity Management Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334399 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Fischer-H&uuml;bner, Simone. editor.&#160;Leeuw, Elisabeth. editor.&#160;Mitchell, Chris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334399.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37282-7">http://dx.doi.org/10.1007/978-3-642-37282-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334425 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Chessa, Stefano. editor.&#160;Knauth, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334425.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37419-7">http://dx.doi.org/10.1007/978-3-642-37419-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d&rsquo;Ascq, France, May 14-15, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334508 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Berbineau, Marion. editor.&#160;Jonsson, Magnus. editor.&#160;Bonnin, Jean-Marie. editor.&#160;Cherkaoui, Soumaya. editor.&#160;Aguado, Marina. editor.<br/>Preferred Shelf Number&#160;ONLINE(334508.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37974-1">http://dx.doi.org/10.1007/978-3-642-37974-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334631 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Keller, Hubert B. editor.&#160;Pl&ouml;dereder, Erhard. editor.&#160;Dencker, Peter. editor.&#160;Klenk, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334631.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38601-5">http://dx.doi.org/10.1007/978-3-642-38601-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334662 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Kunkel, Julian Martin. editor.&#160;Ludwig, Thomas. editor.&#160;Meuer, Hans Werner. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334662.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38750-0">http://dx.doi.org/10.1007/978-3-642-38750-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334682 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Schirner, Gunar. editor.&#160;G&ouml;tz, Marcelo. editor.&#160;Rettberg, Achim. editor.&#160;Zanella, Mauro C. editor.&#160;Rammig, Franz J. editor.<br/>Preferred Shelf Number&#160;ONLINE(334682.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38853-8">http://dx.doi.org/10.1007/978-3-642-38853-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Networks 20th International Conference, CN 2013, Lw&oacute;wek &#346;l&#261;ski, Poland, June 17-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334686 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Kwiecie&#324;, Andrzej. editor.&#160;Gaj, Piotr. editor.&#160;Stera, Piotr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334686.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38865-1">http://dx.doi.org/10.1007/978-3-642-38865-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334756 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Neto, Pedro. editor.&#160;Moreira, Ant&oacute;nio Paulo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334756.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39223-8">http://dx.doi.org/10.1007/978-3-642-39223-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334804 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Biswas, Jit. editor.&#160;Kobayashi, Hisato. editor.&#160;Wong, Lawrence. editor.&#160;Abdulrazak, Bessam. editor.&#160;Mokhtari, Mounir. editor.<br/>Preferred Shelf Number&#160;ONLINE(334804.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39470-6">http://dx.doi.org/10.1007/978-3-642-39470-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile and Ubiquitous Systems: Computing, Networking, and Services 9th International Conference, MobiQuitous 2012, Beijing, China, December 12-14, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334916 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Zheng, Kan. editor.&#160;Li, Mo. editor.&#160;Jiang, Hongbo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334916.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40238-8">http://dx.doi.org/10.1007/978-3-642-40238-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enabling Things to Talk Designing IoT solutions with the IoT Architectural Reference Model ent://SD_ILS/0/SD_ILS:334941 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Bassi, Alessandro. editor.&#160;Bauer, Martin. editor.&#160;Fiedler, Martin. editor.&#160;Kramp, Thorsten. editor.&#160;Kranenburg, Rob. editor.<br/>Preferred Shelf Number&#160;ONLINE(334941.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40403-0">http://dx.doi.org/10.1007/978-3-642-40403-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Radio Frequency Identification. Security and Privacy Issues 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334132 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Hoepman, Jaap-Henk. editor.&#160;Verbauwhede, Ingrid. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334132.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36140-1">http://dx.doi.org/10.1007/978-3-642-36140-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334616 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Cavallaro, Lorenzo. editor.&#160;Gollmann, Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334616.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38530-8">http://dx.doi.org/10.1007/978-3-642-38530-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Voting and Identify 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334746 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Heather, James. editor.&#160;Schneider, Steve. editor.&#160;Teague, Vanessa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334746.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39185-9">http://dx.doi.org/10.1007/978-3-642-39185-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334851 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Sharygina, Natasha. editor.&#160;Veith, Helmut. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334851.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39799-8">http://dx.doi.org/10.1007/978-3-642-39799-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335040 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Pecheur, Charles. editor.&#160;Dierkes, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335040.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41010-9">http://dx.doi.org/10.1007/978-3-642-41010-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings ent://SD_ILS/0/SD_ILS:335047 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Bot&iacute;a, Juan A. editor.&#160;&Aacute;lvarez-Garc&iacute;a, Juan Antonio. editor.&#160;Fujinami, Kaori. editor.&#160;Barsocchi, Paolo. editor.&#160;Riedel, Till. editor.<br/>Preferred Shelf Number&#160;ONLINE(335047.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41043-7">http://dx.doi.org/10.1007/978-3-642-41043-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335141 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Yenig&uuml;n, H&uuml;sn&uuml;. editor.&#160;Yilmaz, Cemal. editor.&#160;Ulrich, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335141.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:335148 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Bian, Fuling. editor.&#160;Xie, Yichun. editor.&#160;Cui, Xiaohui. editor.&#160;Zeng, Yixin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335148.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41908-9">http://dx.doi.org/10.1007/978-3-642-41908-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:335179 2024-11-23T17:50:35Z 2024-11-23T17:50:35Z Author&#160;Bian, Fuling. editor.&#160;Xie, Yichun. editor.&#160;Cui, Xiaohui. editor.&#160;Zeng, Yixin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335179.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45025-9">http://dx.doi.org/10.1007/978-3-642-45025-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>