Search Results for S. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dS.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?dt=list2026-04-18T03:18:04ZJavaScript Programmer’s Referenceent://SD_ILS/0/SD_ILS:3306212026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Reid, Jonathan. author. Valentine, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330621.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4630-5">http://dx.doi.org/10.1007/978-1-4302-4630-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Mac Administrator’s Guideent://SD_ILS/0/SD_ILS:1712972026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Edge, Charles S. author. Hunter, Beau. author. Smith, Zack. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2444-0">http://dx.doi.org/10.1007/978-1-4302-2444-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Objective-C Programmer’s Referenceent://SD_ILS/0/SD_ILS:3307262026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Oliveira, Carlos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330726.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5906-0">http://dx.doi.org/10.1007/978-1-4302-5906-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>iPhone 4S Made Simpleent://SD_ILS/0/SD_ILS:1715632026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Trautschold, Martin. author. Ritchie, Rene. author. Mazo, Gary. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3588-0">http://dx.doi.org/10.1007/978-1-4302-3588-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dueck's Panopticon Gesammelte Kultkolumnenent://SD_ILS/0/SD_ILS:1863502026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Dueck, Gunter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71705-8">http://dx.doi.org/10.1007/978-3-540-71705-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Windows Home Server User’s Guideent://SD_ILS/0/SD_ILS:1710312026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Edney, Andrew. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0452-7">http://dx.doi.org/10.1007/978-1-4302-0452-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SharePoint 2003 User’s Guideent://SD_ILS/0/SD_ILS:1707452026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Bates, Seth. author. Smith, Tony. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0040-6">http://dx.doi.org/10.1007/978-1-4302-0040-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Basics of S-PLUSent://SD_ILS/0/SD_ILS:1655122026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Krause, Andreas. author. Olson, Melvin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28390-0">http://dx.doi.org/10.1007/0-387-28390-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Maths For Computing A Beginner's Guideent://SD_ILS/0/SD_ILS:6062962026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-69234-5">https://doi.org/10.1007/978-3-031-69234-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro T-SQL 2012 Programmer’s Guideent://SD_ILS/0/SD_ILS:1717852026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Natarajan, Jay. author. Bruchez, Rudi. author. Shaw, Scott. author. Coles, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4597-1">http://dx.doi.org/10.1007/978-1-4302-4597-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Firing at Will A Manager’s Guideent://SD_ILS/0/SD_ILS:1716042026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Shepherd, Jay. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3739-6">http://dx.doi.org/10.1007/978-1-4302-3739-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise iPhone and iPad Administrator’s Guideent://SD_ILS/0/SD_ILS:1714272026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Edge, Charles. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3010-6">http://dx.doi.org/10.1007/978-1-4302-3010-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro T-SQL 2008 Programmer’s Guideent://SD_ILS/0/SD_ILS:1711262026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Coles, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1002-3">http://dx.doi.org/10.1007/978-1-4302-1002-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro T-SQL 2005 Programmer’s Guideent://SD_ILS/0/SD_ILS:1710052026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Coles, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0387-2">http://dx.doi.org/10.1007/978-1-4302-0387-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Tester’s Guide to .NET Programmingent://SD_ILS/0/SD_ILS:1708212026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Root, Randal. author. Sweeney, Mary Romero. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0116-8">http://dx.doi.org/10.1007/978-1-4302-0116-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>AutoCAD 2006 VBA A Programmer’s Referenceent://SD_ILS/0/SD_ILS:1707742026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Sutphin, Joe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0069-7">http://dx.doi.org/10.1007/978-1-4302-0069-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Understanding the Digital Revolution A Beginner's Guide to the Internet and the Webent://SD_ILS/0/SD_ILS:6081292026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Meinel, Christoph. author. Asjoma, Maxim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-70132-4">https://doi.org/10.1007/978-3-662-70132-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Beginner's Guide to Informatics and Artificial Intelligence A Short Course Towards Practical Problem Solvingent://SD_ILS/0/SD_ILS:6035902026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Weng, Wei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-1477-3">https://doi.org/10.1007/978-981-97-1477-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Diseaseent://SD_ILS/0/SD_ILS:6019342026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Channa, Asma. author. Popescu, Nirvana. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45003-7">https://doi.org/10.1007/978-3-031-45003-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6105232026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Nowaczyk, Sławomir. editor. Biecek, Przemysław. editor. Chung, Neo Christopher. editor. Vallati, Mauro. editor. (orcid)0000-0002-8429-3570 Skruch, Paweł. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50485-3">https://doi.org/10.1007/978-3-031-50485-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6106232026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Nowaczyk, Sławomir. editor. Biecek, Przemysław. editor. Chung, Neo Christopher. editor. Vallati, Mauro. editor. (orcid)0000-0002-8429-3570 Skruch, Paweł. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50396-2">https://doi.org/10.1007/978-3-031-50396-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing Immersive Video Games Using 3DUI Technologies Improving the Gamer's User Experienceent://SD_ILS/0/SD_ILS:3994712026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Kulshreshth, Arun K. author. LaViola Jr., Joseph J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77953-9">https://doi.org/10.1007/978-3-319-77953-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talksent://SD_ILS/0/SD_ILS:4001222026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Rozonoer, Lev. editor. Mirkin, Boris. editor. (orcid)0000-0001-5470-8635 Muchnik, Ilya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99492-5">https://doi.org/10.1007/978-3-319-99492-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Composing Fisher Kernels from Deep Neural Models A Practitioner's Approachent://SD_ILS/0/SD_ILS:4004742026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Azim, Tayyaba. author. Ahmed, Sarah. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98524-4">https://doi.org/10.1007/978-3-319-98524-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbabent://SD_ILS/0/SD_ILS:4012172026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:4014512026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75771-1">https://doi.org/10.1007/978-3-319-75771-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948ent://SD_ILS/0/SD_ILS:3994342026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Priestley, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91671-2">https://doi.org/10.1007/978-3-319-91671-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Intelligent Data Analysis XVII 17th International Symposium, IDA 2018, ’s-Hertogenbosch, The Netherlands, October 24–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3991122026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Duivesteijn, Wouter. editor. Siebes, Arno. editor. Ukkonen, Antti. editor. (orcid)0000-0001-6060-1746 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01768-2">https://doi.org/10.1007/978-3-030-01768-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tackling Society's Grand Challenges with Design Science 11th International Conference, DESRIST 2016, St. John's, NL, Canada, May 23-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6180022026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Parsons, Jeffrey. editor. Tuunanen, Tuure. editor. Venable, John. editor. Donnellan, Brian. editor. Helfert, Markus. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39294-3">https://doi.org/10.1007/978-3-319-39294-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>S-BPM ONE - Application Studies and Work in Progress 6th International Conference, S-BPM ONE 2014, Eichstätt, Germany, April 22-23, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4866732026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Zehbold, Cornelia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06191-7">https://doi.org/10.1007/978-3-319-06191-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimationent://SD_ILS/0/SD_ILS:4883612026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Mendes, Emilia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54157-5">https://doi.org/10.1007/978-3-642-54157-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introducing Java EE 7 A Look at What’s Newent://SD_ILS/0/SD_ILS:3307182026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Juneau, Josh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330718.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5849-0">http://dx.doi.org/10.1007/978-1-4302-5849-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Modeling and Simulation of Systems of Systems User’s Referenceent://SD_ILS/0/SD_ILS:3310132026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Zeigler, Bernard P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331013.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4570-7">http://dx.doi.org/10.1007/978-1-4471-4570-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3330152026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Zuniga, Marco. editor. Dini, Gianluca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333015.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010ent://SD_ILS/0/SD_ILS:3351042026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335104.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41422-0">http://dx.doi.org/10.1007/978-3-642-41422-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SharePoint 2013 User’s Guide Learning Microsoft’s Business Collaboration Platforment://SD_ILS/0/SD_ILS:3306452026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Smith, Tony. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330645.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4834-7">http://dx.doi.org/10.1007/978-1-4302-4834-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Strength in Numbers: The Rising of Academic Statistics Departments in the U. S.ent://SD_ILS/0/SD_ILS:3313612026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Agresti, Alan. editor. Meng, Xiao-Li. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331361.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3649-2">http://dx.doi.org/10.1007/978-1-4614-3649-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterialsent://SD_ILS/0/SD_ILS:3337512026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Li, Jichun. author. Huang, Yunqing. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333751.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33789-5">http://dx.doi.org/10.1007/978-3-642-33789-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342812026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Fischer, Herbert. editor. Schneeberger, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334281.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36754-0">http://dx.doi.org/10.1007/978-3-642-36754-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>S-BPM Illustrated A Storybook about Business Process Modeling and Executionent://SD_ILS/0/SD_ILS:3343202026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Fleischmann, Albert. author. Raß, Stefan. author. Singer, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334320.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36904-9">http://dx.doi.org/10.1007/978-3-642-36904-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1962622026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Dinneen, Michael J. editor. Khoussainov, Bakhadyr. editor. Nies, André. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27654-5">http://dx.doi.org/10.1007/978-3-642-27654-5</a><br/>Format: Electronic Resources<br/>Availability 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 Papersent://SD_ILS/0/SD_ILS:1962982026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Rautiainen, Mika. editor. Korhonen, Timo. editor. Mutafungwa, Edward. editor. Ovaska, Eila. editor. Katasonov, Artem. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>S-BPM ONE - Education and Industrial Developments 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1966642026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Oppl, Stefan. editor. Fleischmann, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29294-1">http://dx.doi.org/10.1007/978-3-642-29294-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:1972742026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>S-BPM ONE – Scientific Research 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1966222026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Stary, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Shall We Play the Festschrift Game? Essays on the Occasion of Lauri Carlson's 60th Birthdayent://SD_ILS/0/SD_ILS:1969562026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Santos, Diana. editor. Lindén, Krister. editor. Ng’ang’a, Wanjiku. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30773-7">http://dx.doi.org/10.1007/978-3-642-30773-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structural Fire Resistance Experimental Research Priority Needs of U.S. Industryent://SD_ILS/0/SD_ILS:1744432026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Almand, Kathleen H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-8112-6">http://dx.doi.org/10.1007/978-1-4614-8112-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Programmer’s Guide to C# 5.0ent://SD_ILS/0/SD_ILS:1717842026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Gunnerson, Eric. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4594-0">http://dx.doi.org/10.1007/978-1-4302-4594-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Artificial Intelligence 24th Canadian Conference on Artificial Intelligence, Canadian AI 2011, St. John’s, Canada, May 25-27, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1945722026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Butz, Cory. editor. Lingras, Pawan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21043-3">http://dx.doi.org/10.1007/978-3-642-21043-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning 3D Game Development with Unity The World’s Most Widely Used Multi-platform Game Engineent://SD_ILS/0/SD_ILS:1715242026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Blackman, Sue. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3423-4">http://dx.doi.org/10.1007/978-1-4302-3423-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Apple's iPad im Enterprise-Einsatz Einsatzmöglichkeiten, Programmierung, Betrieb und Sicherheit im Unternehmenent://SD_ILS/0/SD_ILS:1929692026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Oelmaier, Florian. author. Hörtreiter, Jochen. author. Seitz, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15437-9">http://dx.doi.org/10.1007/978-3-642-15437-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Developer’s Guide to the Semantic Webent://SD_ILS/0/SD_ILS:1931432026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Yu, Liyang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15970-1">http://dx.doi.org/10.1007/978-3-642-15970-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Subject-Oriented Business Process Management Second International Conference, S-BPM ONE 2010, Karlsruhe, Germany, October 14, 2010. Selected Papersent://SD_ILS/0/SD_ILS:1952472026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Fleischmann, Albert. editor. Schmidt, Werner. editor. Singer, Robert. editor. Seese, Detlef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23135-3">http://dx.doi.org/10.1007/978-3-642-23135-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>S-BPM ONE - Learning by Doing - Doing by Learning Third International Conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1953522026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Schmidt, Werner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23471-2">http://dx.doi.org/10.1007/978-3-642-23471-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1953852026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Par, Gerard. editor. Morrow, Philip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23583-2">http://dx.doi.org/10.1007/978-3-642-23583-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensor Systems and Software First International ICST Conference, S-CUBE 2009, Pisa, Italy, September 7-9, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1917132026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Hailes, Stephen. editor. Sicari, Sabrina. editor. Roussos, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11528-8">http://dx.doi.org/10.1007/978-3-642-11528-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1926222026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Münch, Jürgen. editor. Yang, Ye. editor. Schäfer, Wilhelm. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14347-2">http://dx.doi.org/10.1007/978-3-642-14347-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>S-BPM ONE – Setting the Stage for Subject-Oriented Business Process Management First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1931262026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Buchwald, Hagen. editor. Fleischmann, Albert. editor. Seese, Detlef. editor. Stary, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15915-2">http://dx.doi.org/10.1007/978-3-642-15915-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systemsent://SD_ILS/0/SD_ILS:1936502026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Papazoglou, Mike P. editor. Pohl, Klaus. editor. Parkin, Michael. editor. Metzger, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17599-2">http://dx.doi.org/10.1007/978-3-642-17599-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Mathematics of Medical Imaging A Beginner’s Guideent://SD_ILS/0/SD_ILS:1680102026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Feeman, Timothy G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-92712-1">http://dx.doi.org/10.1007/978-0-387-92712-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Office and SharePoint 2010 User’s Guide Integrating SharePoint with Excel, Outlook, Access and Wordent://SD_ILS/0/SD_ILS:1713682026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Antonovich, Michael P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2761-8">http://dx.doi.org/10.1007/978-1-4302-2761-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SharePoint 2010 User’s Guide Learning Microsoft’s Business Collaboration Platforment://SD_ILS/0/SD_ILS:1713692026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Bates, Seth. author. Smith, Tony. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2764-9">http://dx.doi.org/10.1007/978-1-4302-2764-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Game Maker’s Companion Game Development: The Journey Continuesent://SD_ILS/0/SD_ILS:1713812026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Habgood, Jacob. author. Nielsen, Nana. author. Rijks, Martin. author. Crossley, Kevin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2827-1">http://dx.doi.org/10.1007/978-1-4302-2827-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The P=NP Question and Gödel’s Lost Letterent://SD_ILS/0/SD_ILS:1727872026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Lipton, Richard J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7155-5">http://dx.doi.org/10.1007/978-1-4419-7155-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009ent://SD_ILS/0/SD_ILS:2054572026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Borrione, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9304-2">http://dx.doi.org/10.1007/978-90-481-9304-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1902692026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Mira, José. editor. Ferrández, José Manuel. editor. Álvarez, José R. editor. Paz, Félix. editor. Toledo, F. Javier. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02264-7">http://dx.doi.org/10.1007/978-3-642-02264-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Elements of Numerical Relativity and Relativistic Hydrodynamics From Einstein' s Equations to Astrophysical Simulationsent://SD_ILS/0/SD_ILS:1899062026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Bona, Carles. author. Palenzuela-Luque, Carlos. author. Bona-Casas, Carles. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01164-1">http://dx.doi.org/10.1007/978-3-642-01164-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Exploring C++ The Programmer’s Introduction to C++ent://SD_ILS/0/SD_ILS:1709842026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Lischner, Ray. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0352-0">http://dx.doi.org/10.1007/978-1-4302-0352-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning Smartphone Web Development Building JavaScript, CSS, HTML and Ajax-based Applications for iPhone, Android, Palm Pre, BlackBerry, Windows Mobile, and Nokia S60ent://SD_ILS/0/SD_ILS:1713392026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Frederick, Gail Rahn. author. Lal, Rajesh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2621-5">http://dx.doi.org/10.1007/978-1-4302-2621-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>LEGO MINDSTORMS NXT 2.0 The King’s Treasureent://SD_ILS/0/SD_ILS:1713112026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Kelly, James Floyd. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2492-1">http://dx.doi.org/10.1007/978-1-4302-2492-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Haptic Devices A Beginner's Guide for Engineersent://SD_ILS/0/SD_ILS:1890172026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Kern, Thorsten A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88248-0">http://dx.doi.org/10.1007/978-3-540-88248-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Office and SharePoint 2007 User’s Guide Integrating SharePoint with Excel, Outlook, Access, and Wordent://SD_ILS/0/SD_ILS:1710952026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Antonovich, Michael P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0631-6">http://dx.doi.org/10.1007/978-1-4302-0631-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mule 2: A Developer’s Guide to ESB and Integration Platforment://SD_ILS/0/SD_ILS:1711182026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Delia, Peter. author. Borg, Antoine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0982-9">http://dx.doi.org/10.1007/978-1-4302-0982-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Optimization and Applications Second International Conference, COCOA 2008, St. John’s, NL, Canada, August 21-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1885902026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Yang, Boting. editor. Du, Ding-Zhu. editor. Wang, Cao An. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85097-7">http://dx.doi.org/10.1007/978-3-540-85097-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papersent://SD_ILS/0/SD_ILS:1892362026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Hirschfeld, Robert. editor. Rose, Kim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89275-5">http://dx.doi.org/10.1007/978-3-540-89275-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Advances in Parallel Virtual Machine and Message Passing Interface 14th European PVM/MPI User’s Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1874122026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Cappello, Franck. editor. Herault, Thomas. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75416-9">http://dx.doi.org/10.1007/978-3-540-75416-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Computer Scientist's Guide to Cell Biology A travelogue from a stranger in a strange landent://SD_ILS/0/SD_ILS:1663992026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Cohen, William W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-48278-1">http://dx.doi.org/10.1007/978-0-387-48278-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>IPv6 in Practice A Unixer’s Guide to the Next Generation Internetent://SD_ILS/0/SD_ILS:1850492026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Stockebrand, Benedikt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-48001-3">http://dx.doi.org/10.1007/978-3-540-48001-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Information Society: Innovation, Legitimacy, Ethics and Democracy In honor of Professor Jacques Berleur s.j. Proceedings of the Conference “Information Society: Governance, Ethics and Social Consequences”, University of Namur, Belgium 22–23 May 2006ent://SD_ILS/0/SD_ILS:1669422026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Goujon, Philippe. editor. Lavelle, Sylvian. editor. Duquenoy, Penny. editor. Kimppa, Kai. editor. Laurent, Véronique. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-72381-5">http://dx.doi.org/10.1007/978-0-387-72381-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SharePoint 2007 User’s Guide Learning Microsoft’s Collaboration and Productivity Platforment://SD_ILS/0/SD_ILS:1709102026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Bates, Seth. author. Smith, Tony. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0207-3">http://dx.doi.org/10.1007/978-1-4302-0207-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart and Gets Things Done Joel Spolsky’s Concise Guide to Finding the Best Technical Talentent://SD_ILS/0/SD_ILS:1709292026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Spolsky, Joel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0254-7">http://dx.doi.org/10.1007/978-1-4302-0254-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1852792026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Min, Geyong. editor. Martino, Beniamino. editor. Yang, Laurence T. editor. Guo, Minyi. editor. Rünger, Gudula. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11942634">http://dx.doi.org/10.1007/11942634</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hardware Verification with C++ A Practitioner’s Handbookent://SD_ILS/0/SD_ILS:1661412026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36254-0">http://dx.doi.org/10.1007/978-0-387-36254-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User’s Group Meeting Bonn, Germany, September 17-20, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1847202026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Mohr, Bernd. editor. Träff, Jesper Larsson. editor. Worringen, Joachim. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11846802">http://dx.doi.org/10.1007/11846802</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>WiMax Operator’s Manual Building 802.16 Wireless Networksent://SD_ILS/0/SD_ILS:1707982026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Sweeney, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0093-2">http://dx.doi.org/10.1007/978-1-4302-0093-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Game Maker’s Apprentice Game Development for Beginnersent://SD_ILS/0/SD_ILS:1708642026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Habgood, Jacob. author. Overmars, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0159-5">http://dx.doi.org/10.1007/978-1-4302-0159-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Seventeen Provers of the World Foreword by Dana S. Scottent://SD_ILS/0/SD_ILS:1835462026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11542384">http://dx.doi.org/10.1007/11542384</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Imagination and Rigor Essays on Eduardo R. Caianiello’s Scientific Heritageent://SD_ILS/0/SD_ILS:2041642026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Termini, Settimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/88-470-0472-1">http://dx.doi.org/10.1007/88-470-0472-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Everyday Innovators Researching the Role of Users in Shaping ICT’sent://SD_ILS/0/SD_ILS:1690242026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Haddon, Leslie. editor. Mante, Enid. editor. Sapio, Bartolomeo. editor. Kommonen, Kari-Hans. editor. Fortunati, Leopoldina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3872-0">http://dx.doi.org/10.1007/1-4020-3872-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Programmer’s Introduction to C# 2.0ent://SD_ILS/0/SD_ILS:1707402026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Gunnerson, Eric. editor. Wienholt, Nick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0035-2">http://dx.doi.org/10.1007/978-1-4302-0035-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Software Process Model Handbook for Incorporating People’s Capabilitiesent://SD_ILS/0/SD_ILS:1651432026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Acuña, Silvia Teresita. author. Juristo, Natalia. author. Moreno, Ana María. author. Mon, Alicia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106969">http://dx.doi.org/10.1007/b106969</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Agility and Information Technology Diffusion IFIP TC8 WG 8.6 International Working Conference May 8–11, 2005, Atlanta, Georgia, U.S.A.ent://SD_ILS/0/SD_ILS:1651572026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Baskerville, Richard L. editor. Mathiassen, Lars. editor. Pries-Heje, Jan. editor. DeGross, Janice I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135658">http://dx.doi.org/10.1007/b135658</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Best of Verity Stob Highlights of Verity Stob’s Famous Columns From EXE, Dr. Dobb’s Journal, and The Registerent://SD_ILS/0/SD_ILS:1707082026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Stob, Verity. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0003-1">http://dx.doi.org/10.1007/978-1-4302-0003-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges IFIP TC8 WG 8.2 International Working Conference, August 1–3, 2005, Cleveland, Ohio, U.S.A.ent://SD_ILS/0/SD_ILS:1655792026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Sørensen, Carsten. editor. Yoo, Youngjin. editor. Lyytinen, Kalle. editor. DeGross, Janice I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28918-6">http://dx.doi.org/10.1007/0-387-28918-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Signal Processing Illustration Using Pythonent://SD_ILS/0/SD_ILS:6024192026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Esakkirajan, S. author. Veerakumar, T. author. (orcid)0000-0001-9084-1847 N Subudhi, Badri. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-6752-0">https://doi.org/10.1007/978-981-99-6752-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On computing the fourth great scientific domainent://SD_ILS/0/SD_ILS:2203002026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Rosenbloom, Paul S.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451064">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451064</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Algorithms 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:1976392026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Arumugam, S. editor. Smyth, W. F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35926-2">http://dx.doi.org/10.1007/978-3-642-35926-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Explorations in computing : an introduction to computer scienceent://SD_ILS/0/SD_ILS:3642262026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Conery, John S.<br/>Preferred Shelf Number QA76 C585 2011<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Telecommunications Modeling, Policy, and Technologyent://SD_ILS/0/SD_ILS:1675242026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Raghavan, S. editor. Golden, Bruce. editor. Wasil, Edward. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-77780-1">http://dx.doi.org/10.1007/978-0-387-77780-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilogent://SD_ILS/0/SD_ILS:1696092026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Ramachandran, S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5829-5">http://dx.doi.org/10.1007/978-1-4020-5829-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007ent://SD_ILS/0/SD_ILS:1697332026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6254-4">http://dx.doi.org/10.1007/978-1-4020-6254-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>IUTAM Symposium on Computational Approaches to Multiphase Flow Proceedings of an IUTAM Symposium held at Argonne National Laboratory, October 4–7, 2004ent://SD_ILS/0/SD_ILS:1693342026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Balachandar, S. editor. Prosperetti, A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4977-3">http://dx.doi.org/10.1007/1-4020-4977-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database Systems for Advanced Applications 19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part Ient://SD_ILS/0/SD_ILS:4855052026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Bhowmick, Sourav S. editor. Dyreson, Curtis. editor. Jensen, Christian S. editor. Lee, Mong Li. editor. Muliantara, Agus. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05810-8">https://doi.org/10.1007/978-3-319-05810-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database Systems for Advanced Applications 19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part IIent://SD_ILS/0/SD_ILS:4854852026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Bhowmick, Sourav S. editor. Dyreson, Curtis. editor. Jensen, Christian S. editor. Lee, Mong Li. editor. Muliantara, Agus. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05813-9">https://doi.org/10.1007/978-3-319-05813-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Collaboration and Technology 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1954512026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Vivacqua, Adriana S. editor. Gutwin, Carl. editor. Borges, Marcos R. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23801-7">http://dx.doi.org/10.1007/978-3-642-23801-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Vision in Human-Computer Interaction ECCV 2006 Workshop on HCI, Graz, Austria, May 13, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1839672026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Huang, Thomas S. editor. Sebe, Nicu. editor. Lew, Michael S. editor. Pavlović, Vladimir. editor. Kölsch, Mathias. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11754336">http://dx.doi.org/10.1007/11754336</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Shared Encountersent://SD_ILS/0/SD_ILS:1760512026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Willis, Katharine S. editor. Roussos, George. editor. Chorianopoulos, Konstantinos. editor. Struppek, Mirjam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-727-1">http://dx.doi.org/10.1007/978-1-84882-727-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Governanceent://SD_ILS/0/SD_ILS:1677092026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Solms, S.H. author. Solms, Rossouw. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-79984-1">http://dx.doi.org/10.1007/978-0-387-79984-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994982026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Panda, B.S. editor. Goswami, Partha P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74180-2">https://doi.org/10.1007/978-3-319-74180-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Speech and Language Processing for Human-Machine Communications Proceedings of CSI 2015ent://SD_ILS/0/SD_ILS:4014032026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Agrawal, S. S. editor. Devi, Amita. editor. Wason, Ritika. editor. Bansal, Poonam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6626-9">https://doi.org/10.1007/978-981-10-6626-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Physical Ergonomics and Human Factors Proceedings of the AHFE 2017 International Conference on Physical Ergonomics and Human Factors, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4018292026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Goonetilleke, Ravindra S. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60825-9">https://doi.org/10.1007/978-3-319-60825-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Systems Interaction Backgrounds and Applications 4ent://SD_ILS/0/SD_ILS:4025282026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62120-3">https://doi.org/10.1007/978-3-319-62120-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy Control, Estimation and Diagnosis Single and Interconnected Systemsent://SD_ILS/0/SD_ILS:4013522026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Mahmoud, Magdi S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54954-5">https://doi.org/10.1007/978-3-319-54954-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4017552026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Incomputable Journeys Beyond the Turing Barrierent://SD_ILS/0/SD_ILS:6167062026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Cooper, S. Barry. editor. Soskova, Mariya I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43669-2">https://doi.org/10.1007/978-3-319-43669-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6123102026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34171-2">https://doi.org/10.1007/978-3-319-34171-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Oracle Certified Professional Java SE 7 Programmer Exams 1Z0-804 and 1Z0-805 A Comprehensive OCPJP 7 Certification Guideent://SD_ILS/0/SD_ILS:3306362026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Ganesh, S G. author. Sharma, Tushar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330636.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4765-4">http://dx.doi.org/10.1007/978-1-4302-4765-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taibaent://SD_ILS/0/SD_ILS:3315822026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.<br/>Preferred Shelf Number ONLINE(331582.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4769-6">http://dx.doi.org/10.1007/978-1-4614-4769-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Signal Processing Systemsent://SD_ILS/0/SD_ILS:3321392026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Bhattacharyya, Shuvra S. editor. Deprettere, Ed F. editor. Leupers, Rainer. editor. Takala, Jarmo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332139.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6859-2">http://dx.doi.org/10.1007/978-1-4614-6859-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Era of Interactive Mediaent://SD_ILS/0/SD_ILS:3313452026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Jin, Jesse S. author. Xu, Changsheng. author. Xu, Min. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331345.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3501-3">http://dx.doi.org/10.1007/978-1-4614-3501-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Computational Approaches to Counterterrorisment://SD_ILS/0/SD_ILS:3317392026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Subrahmanian, V.S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331739.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5311-6">http://dx.doi.org/10.1007/978-1-4614-5311-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Indian Mujahideen Computational Analysis and Public Policyent://SD_ILS/0/SD_ILS:3329492026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Subrahmanian, V.S. author. Mannes, Aaron. author. Roul, Animesh. author. Raghavan, R.K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332949.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02818-7">http://dx.doi.org/10.1007/978-3-319-02818-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)ent://SD_ILS/0/SD_ILS:3352162026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.<br/>Preferred Shelf Number ONLINE(335216.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45419-6">http://dx.doi.org/10.1007/978-3-642-45419-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3340692026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334069.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Mobile Communication and Healthcare Second International ICST Conference, MobiHealth 2011, Kos Island, Greece, October 5-7, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:1967602026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Nikita, Konstantina S. editor. Lin, James C. editor. Fotiadis, Dimitrios I. editor. Arredondo Waldmeyer, Maria-Teresa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29734-2">http://dx.doi.org/10.1007/978-3-642-29734-2</a><br/>Format: Electronic Resources<br/>Availability 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. Proceedingsent://SD_ILS/0/SD_ILS:1969792026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Trends in Intelligent Robotics, Automation, and Manufacturing First International Conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975792026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Ponnambalam, S. G. editor. Parkkinen, Jussi. editor. Ramanathan, Kuppan Chetty. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Human – Computer Systems Interaction: Backgrounds and Applications 2 Part 2ent://SD_ILS/0/SD_ILS:1952602026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23172-8">http://dx.doi.org/10.1007/978-3-642-23172-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human – Computer Systems Interaction: Backgrounds and Applications 2 Part 1ent://SD_ILS/0/SD_ILS:1952652026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23187-2">http://dx.doi.org/10.1007/978-3-642-23187-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Soft Computing Approach to Pattern Classification and Object Recognition A Unified Conceptent://SD_ILS/0/SD_ILS:1744272026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Ray, Kumar S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5348-2">http://dx.doi.org/10.1007/978-1-4614-5348-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Imaging and Communications in Medicine (DICOM) A Practical Introduction and Survival Guideent://SD_ILS/0/SD_ILS:1914952026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Pianykh, Oleg S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10850-1">http://dx.doi.org/10.1007/978-3-642-10850-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>e-Business and Telecommunications 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1958762026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Obaidat, Mohammad S. editor. Tsihrintzis, George A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>E-Business and Telecommunications International Joint Conference, ICETE 2011, Seville, Spain, July 18-21, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1976362026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Obaidat, Mohammad S. editor. Sevillano, José L. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35755-8">http://dx.doi.org/10.1007/978-3-642-35755-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technologyent://SD_ILS/0/SD_ILS:1917642026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11682-7">http://dx.doi.org/10.1007/978-3-642-11682-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Algorithms 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1939732026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Iliopoulos, Costas S. editor. Smyth, William F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19222-7">http://dx.doi.org/10.1007/978-3-642-19222-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthdayent://SD_ILS/0/SD_ILS:1940282026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Calude, Cristian S. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19391-0">http://dx.doi.org/10.1007/978-3-642-19391-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>e-Business and Telecommunications 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1942542026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Obaidat, Mohammad S. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20077-9">http://dx.doi.org/10.1007/978-3-642-20077-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Algorithms 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1958192026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Iliopoulos, Costas S. editor. Smyth, William F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25011-8">http://dx.doi.org/10.1007/978-3-642-25011-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Spectral and High Order Methods for Partial Differential Equations Selected papers from the ICOSAHOM '09 conference, June 22-26, Trondheim, Norwayent://SD_ILS/0/SD_ILS:1929372026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Hesthaven, Jan S. editor. Rønquist, Einar M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15337-2">http://dx.doi.org/10.1007/978-3-642-15337-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unconventional Computation 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946692026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Calude, Cristian S. editor. Kari, Jarkko. editor. Petre, Ion. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21341-0">http://dx.doi.org/10.1007/978-3-642-21341-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Problem Solving Handbook in Computational Biology and Bioinformaticsent://SD_ILS/0/SD_ILS:1647812026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Heath, Lenwood S. editor. Ramakrishnan, Naren. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09760-2">http://dx.doi.org/10.1007/978-0-387-09760-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Specification of Software Systemsent://SD_ILS/0/SD_ILS:1684762026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-277-3">http://dx.doi.org/10.1007/978-0-85729-277-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Vision-Guided Virtual Craniofacial Surgery A Graph-Theoretic and Statistical Perspectiveent://SD_ILS/0/SD_ILS:1684822026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Chowdhury, Ananda S. author. Bhandarkar, Suchendra M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-296-4">http://dx.doi.org/10.1007/978-0-85729-296-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Apartness and Uniformity A Constructive Developmentent://SD_ILS/0/SD_ILS:1950192026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22415-7">http://dx.doi.org/10.1007/978-3-642-22415-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959002026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Baras, John S. editor. Katz, Jonathan. editor. Altman, Eitan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25280-8">http://dx.doi.org/10.1007/978-3-642-25280-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Investigation into the Detection and Mitigation of Denial of Service (DoS) Attacks Critical Information Infrastructure Protectionent://SD_ILS/0/SD_ILS:2040622026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Raghavan, S.V. editor. Dawson, E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-81-322-0277-6">http://dx.doi.org/10.1007/978-81-322-0277-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Thinkquest~2010 Proceedings of the First International Conference on Contours of Computing Technologyent://SD_ILS/0/SD_ILS:2040802026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Pise, S. J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-81-8489-989-4">http://dx.doi.org/10.1007/978-81-8489-989-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923062026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Tomar, G. S. editor. Chang, Ruay-Shiung. editor. Gervasi, Osvaldo. editor. Kim, Tai-hoon. editor. Bandyopadhyay, Samir Kumar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13346-6">http://dx.doi.org/10.1007/978-3-642-13346-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ubiquitous Computing and Multimedia Applications International Conference, UCMA 2010, Miyazaki, Japan, June 23-25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923432026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Tomar, G. S. editor. Grosky, William I. editor. Kim, Tai-hoon. editor. Mohammed, Sabah. editor. Saha, Sanjoy Kumar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13467-8">http://dx.doi.org/10.1007/978-3-642-13467-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923632026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Calude, Cristian S. editor. Hagiya, Masami. editor. Morita, Kenichi. editor. Rozenberg, Grzegorz. editor. Timmis, Jon. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13523-1">http://dx.doi.org/10.1007/978-3-642-13523-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools for High Performance Computing 2009 Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresdenent://SD_ILS/0/SD_ILS:1916312026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Müller, Matthias S. editor. Resch, Michael M. editor. Schulz, Alexander. editor. Nagel, Wolfgang E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11261-4">http://dx.doi.org/10.1007/978-3-642-11261-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1934962026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Boer, Frank S. editor. Bonsangue, Marcello M. editor. Hallerstede, Stefan. editor. Leuschel, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17071-3">http://dx.doi.org/10.1007/978-3-642-17071-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Signal Processing Systemsent://SD_ILS/0/SD_ILS:1725702026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Bhattacharyya, Shuvra S. editor. Deprettere, Ed F. editor. Leupers, Rainer. editor. Takala, Jarmo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-6345-1">http://dx.doi.org/10.1007/978-1-4419-6345-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Brain-Computer Interfaces Applying our Minds to Human-Computer Interactionent://SD_ILS/0/SD_ILS:1762062026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Tan, Desney S. editor. Nijholt, Anton. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-272-8">http://dx.doi.org/10.1007/978-1-84996-272-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918662026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12029-9">http://dx.doi.org/10.1007/978-3-642-12029-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929062026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15240-5">http://dx.doi.org/10.1007/978-3-642-15240-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning Mac OS X Snow Leopard Server From Solo Install to Enterprise Integrationent://SD_ILS/0/SD_ILS:1713702026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Edge, Charles S. author. Barker, Chris. author. Schwiebert, Ehren. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2773-1">http://dx.doi.org/10.1007/978-1-4302-2773-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensitivity Analysis for Neural Networksent://SD_ILS/0/SD_ILS:1903502026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Yeung, Daniel S. author. Cloete, Ian. author. Shi, Daming. author. Ng, Wing W. Y. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02532-7">http://dx.doi.org/10.1007/978-3-642-02532-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Bioinformatics and Computational Biology 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1905592026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Guimarães, Katia S. editor. Panchenko, Anna. editor. Przytycka, Teresa M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03223-3">http://dx.doi.org/10.1007/978-3-642-03223-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Immune Systems 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1905672026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Andrews, Paul S. editor. Timmis, Jon. editor. Owens, Nick D. L. editor. Aickelin, Uwe. editor. Hart, Emma. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03246-2">http://dx.doi.org/10.1007/978-3-642-03246-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903882026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02652-2">http://dx.doi.org/10.1007/978-3-642-02652-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database and Expert Systems Applications 20th International Conference, DEXA 2009, Linz, Austria, August 31 – September 4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1906672026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Bhowmick, Sourav S. editor. Küng, Josef. editor. Wagner, Roland. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03573-9">http://dx.doi.org/10.1007/978-3-642-03573-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lecturesent://SD_ILS/0/SD_ILS:1908582026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Boer, Frank S. editor. Bonsangue, Marcello M. editor. Madelaine, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04167-9">http://dx.doi.org/10.1007/978-3-642-04167-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Protecting Persons While Protecting the People Second Annual Workshop on Information Privacy and National Security, ISIPS 2008, New Brunswick, NJ, USA, May 12, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:1913082026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Gal, Cecilia S. editor. Kantor, Paul B. editor. Lesk, Michael E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10233-2">http://dx.doi.org/10.1007/978-3-642-10233-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unconventional Computation 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1907242026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Calude, Cristian S. editor. Costa, José Félix. editor. Dershowitz, Nachum. editor. Freire, Elisabete. editor. Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03745-0">http://dx.doi.org/10.1007/978-3-642-03745-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Systems Interaction Backgrounds and Applicationsent://SD_ILS/0/SD_ILS:1905522026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03202-8">http://dx.doi.org/10.1007/978-3-642-03202-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolving OpenMP in an Age of Extreme Parallelism 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1902812026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Müller, Matthias S. editor. Supinski, Bronis R. editor. Chapman, Barbara M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02303-3">http://dx.doi.org/10.1007/978-3-642-02303-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Machine Learning in Cyber Trust Security, Privacy, and Reliabilityent://SD_ILS/0/SD_ILS:1679002026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Yu, Philip S. editor. Tsai, Jeffrey J. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-88735-7">http://dx.doi.org/10.1007/978-0-387-88735-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Fortran 2003 Programmingent://SD_ILS/0/SD_ILS:1760022026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Brainerd, Walter S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-543-7">http://dx.doi.org/10.1007/978-1-84882-543-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantzent://SD_ILS/0/SD_ILS:1706172026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Ravi, S. S. editor. Shukla, Sandeep K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9688-4">http://dx.doi.org/10.1007/978-1-4020-9688-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Web Semantics I Ontologies, Web Services and Applied Semantic Webent://SD_ILS/0/SD_ILS:1893362026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Dillon, Tharam S. editor. Chang, Elizabeth. editor. Meersman, Robert. editor. Sycara, Katia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89784-2">http://dx.doi.org/10.1007/978-3-540-89784-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the First International Conference on Intelligent Human Computer Interaction (IHCI 2009) January 20–23, 2009 Organized by the Indian Institute of Information Technology, Allahabad, Indiaent://SD_ILS/0/SD_ILS:2040782026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Tiwary, U. S. editor. Siddiqui, Tanveer J. editor. Radhakrishna, M. editor. Tiwari, M. D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-81-8489-203-1">http://dx.doi.org/10.1007/978-81-8489-203-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1855072026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Mueller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor. Malony, Allen D. editor. Voss, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68555-5">http://dx.doi.org/10.1007/978-3-540-68555-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Embedded System Design using Microcontrollersent://SD_ILS/0/SD_ILS:1701492026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Parab, Jivan S. author. Shinde, Santosh A. author. Shelake, Vinod G. author. Kamat, Rajanish K. author. Naik, Gourish M. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8393-8">http://dx.doi.org/10.1007/978-1-4020-8393-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Imaging and Communications in Medicine (DICOM) A Practical Introduction and Survival Guideent://SD_ILS/0/SD_ILS:1871992026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Pianykh, Oleg S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74571-6">http://dx.doi.org/10.1007/978-3-540-74571-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database and Expert Systems Applications 19th International Conference, DEXA 2008, Turin, Italy, September 1-5, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1887462026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Bhowmick, Sourav S. editor. Küng, Josef. editor. Wagner, Roland. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85654-2">http://dx.doi.org/10.1007/978-3-540-85654-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1887692026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Fitzgerald, John S. editor. Haxthausen, Anne E. editor. Yenigun, Husnu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85762-4">http://dx.doi.org/10.1007/978-3-540-85762-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1887932026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Hornby, Gregory S. editor. Sekanina, Lukáš. editor. Haddow, Pauline C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85857-7">http://dx.doi.org/10.1007/978-3-540-85857-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Computational Paradigms Changing Conceptions of What is Computableent://SD_ILS/0/SD_ILS:1665942026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68546-5">http://dx.doi.org/10.1007/978-0-387-68546-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Resources, Co-Evolution and Artifacts Theory in CSCWent://SD_ILS/0/SD_ILS:1756202026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Ackerman, Mark S. author. Halverson, Christine A. author. Erickson, Thomas. author. Kellogg, Wendy A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-901-9">http://dx.doi.org/10.1007/978-1-84628-901-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Algorithm Design Manualent://SD_ILS/0/SD_ILS:1756962026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Skiena, Steven S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-070-4">http://dx.doi.org/10.1007/978-1-84800-070-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unconventional Computing 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1886322026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Calude, Cristian S. editor. Costa, José Félix. editor. Freund, Rudolf. editor. Oswald, Marion. editor. Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85194-3">http://dx.doi.org/10.1007/978-3-540-85194-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design Computing and Cognition '08 Proceedings of the Third International Conference on Design Computing and Cognitionent://SD_ILS/0/SD_ILS:1702982026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Gero, John S. editor. Goel, Ashok K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8728-8">http://dx.doi.org/10.1007/978-1-4020-8728-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lecturesent://SD_ILS/0/SD_ILS:1893982026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92188-2">http://dx.doi.org/10.1007/978-3-540-92188-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artifical Intelligence for Human Computing ICMI 2006 and IJCAI 2007 International Workshops, Banff, Canada, November 3, 2006, Hyderabad, India, January 6, 2007, Revised Seleced and Invited Papersent://SD_ILS/0/SD_ILS:1865112026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Huang, Thomas S. editor. Nijholt, Anton. editor. Pantic, Maja. editor. Pentland, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72348-6">http://dx.doi.org/10.1007/978-3-540-72348-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1878552026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Szczuka, Marcin S. editor. Howard, Daniel. editor. Ślȩzak, Dominik. editor. Kim, Haeng-kon. editor. Kim, Tai-hoon. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77368-9">http://dx.doi.org/10.1007/978-3-540-77368-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithm Collections for Digital Signal Processing Applications Using Matlabent://SD_ILS/0/SD_ILS:1697952026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Gopi, E.S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6410-4">http://dx.doi.org/10.1007/978-1-4020-6410-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedingsent://SD_ILS/0/SD_ILS:1874572026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75596-8">http://dx.doi.org/10.1007/978-3-540-75596-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analysis and Modeling of Faces and Gestures Third International Workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedingsent://SD_ILS/0/SD_ILS:1874762026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Zhou, S. Kevin. editor. Zhao, Wenyi. editor. Tang, Xiaoou. editor. Gong, Shaogang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75690-3">http://dx.doi.org/10.1007/978-3-540-75690-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Verification and Validation An Engineering and Scientific Approachent://SD_ILS/0/SD_ILS:1663912026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Fisher, Marcus S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-47939-2">http://dx.doi.org/10.1007/978-0-387-47939-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Introduction to Knowledge Engineeringent://SD_ILS/0/SD_ILS:1755032026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Kendal, S. L. author. Creen, M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-667-4">http://dx.doi.org/10.1007/978-1-84628-667-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lecturesent://SD_ILS/0/SD_ILS:1872652026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74792-5">http://dx.doi.org/10.1007/978-3-540-74792-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Exploring C for Microcontrollers A Hands on Approachent://SD_ILS/0/SD_ILS:1696802026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Parab, Jivan S. author. Shelake, Vinod G. author. Kamat, Rajanish K. author. Naik, Gourish M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6067-0">http://dx.doi.org/10.1007/978-1-4020-6067-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1867162026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73001-9">http://dx.doi.org/10.1007/978-3-540-73001-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1853102026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11944836">http://dx.doi.org/10.1007/11944836</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human Identification Based on Gaitent://SD_ILS/0/SD_ILS:1656522026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Nixon, Mark S. author. Tan, Tieniu. author. Chellappa, Rama. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-29488-9">http://dx.doi.org/10.1007/978-0-387-29488-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Digital Forensics II IFIP international Conference on Digital Forensics, National Center for Forensic Science, Orlando, Florida, January 29– February 1, 2006ent://SD_ILS/0/SD_ILS:1661802026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Olivier, Martin S. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-36891-4">http://dx.doi.org/10.1007/0-387-36891-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Machine Learning and Cybernetics 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1837782026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Yeung, Daniel S. editor. Liu, Zhi-Qiang. editor. Wang, Xi-Zhao. editor. Yan, Hong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11739685">http://dx.doi.org/10.1007/11739685</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent-Based Simulation VI International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papersent://SD_ILS/0/SD_ILS:1837202026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Sichman, Jaime S. editor. Antunes, Luis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734680">http://dx.doi.org/10.1007/11734680</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public Key Infrastructure Third European PKI Workshop: Theory and Practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842112026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Atzeni, Andrea S. editor. Lioy, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11774716">http://dx.doi.org/10.1007/11774716</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lecturesent://SD_ILS/0/SD_ILS:1844262026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unconventional Computation 5th International Conference, UC 2006, York, UK, September 4-8, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1846912026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Calude, Cristian S. editor. Dinneen, Michael J. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Stepney, Susan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11839132">http://dx.doi.org/10.1007/11839132</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1ent://SD_ILS/0/SD_ILS:1857902026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Taft, S. Tucker. author. Duff, Robert A. author. Brukardt, Randall L. author. Ploedereder, Erhard. author. Leroy, Pascal. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69336-9">http://dx.doi.org/10.1007/978-3-540-69336-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedingsent://SD_ILS/0/SD_ILS:1823512026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Calude, Cristian S. editor. Calude, Elena. editor. Dinneen, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103739">http://dx.doi.org/10.1007/b103739</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1831572026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Duncan, James S. editor. Gerig, Guido. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11566465">http://dx.doi.org/10.1007/11566465</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1831582026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Duncan, James S. editor. Gerig, Guido. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11566489">http://dx.doi.org/10.1007/11566489</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004ent://SD_ILS/0/SD_ILS:1688832026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Kowalik, Janusz S. editor. Gorski, Janusz. editor. Sachenko, Anatoly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3381-8">http://dx.doi.org/10.1007/1-4020-3381-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3 – 7, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830892026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Calude, Cristian S. editor. Dinneen, Michael J. editor. Păun, Gheorghe. editor. Pérez-Jímenez, Mario J. editor. Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11560319">http://dx.doi.org/10.1007/11560319</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1831752026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136571">http://dx.doi.org/10.1007/b136571</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1831792026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136575">http://dx.doi.org/10.1007/b136575</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Level Design of Reconfigurable Systems-on-Chipent://SD_ILS/0/SD_ILS:1652272026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136832">http://dx.doi.org/10.1007/b136832</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1831732026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136570">http://dx.doi.org/10.1007/b136570</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human Interactive Proofs Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831782026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Baird, Henry S. editor. Lopresti, Daniel P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136509">http://dx.doi.org/10.1007/b136509</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lecturesent://SD_ILS/0/SD_ILS:1830122026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pattern Recognition and Image Analysis Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1832252026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Marques, Jorge S. editor. Pérez de la Blanca, Nicolás. editor. Pina, Pedro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136831">http://dx.doi.org/10.1007/b136831</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832532026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Cooper, S. Barry. editor. Löwe, Benedikt. editor. Torenvliet, Leen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136981">http://dx.doi.org/10.1007/b136981</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Statistical and Inductive Inference by Minimum Message Lengthent://SD_ILS/0/SD_ILS:1654252026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Wallace, C.S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-27656-4">http://dx.doi.org/10.1007/0-387-27656-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Financial Cryptography and Data Security 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 – March 3, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1828272026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Patrick, Andrew S. editor. Yung, Moti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137875">http://dx.doi.org/10.1007/b137875</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Artificial Life 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1829032026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Capcarrère, Mathieu S. editor. Freitas, Alex A. editor. Bentley, Peter J. editor. Johnson, Colin G. editor. Timmis, Jon. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11553090">http://dx.doi.org/10.1007/11553090</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Web Intelligence Third International Atlantic Web Intelligence Conference, AWIC 2005, Lodz, Poland, June 6-9, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1829862026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Szczepaniak, Piotr S. editor. Kacprzyk, Janusz. editor. Niewiadomski, Adam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137066">http://dx.doi.org/10.1007/b137066</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pattern Recognition and Image Analysis Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1832242026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Marques, Jorge S. editor. Pérez de la Blanca, Nicolás. editor. Pina, Pedro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136825">http://dx.doi.org/10.1007/b136825</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>CyberForensics Understanding Information Security Investigationsent://SD_ILS/0/SD_ILS:1750482026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Bayuk, Jennifer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-60761-772-3">http://dx.doi.org/10.1007/978-1-60761-772-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>M-Health Emerging Mobile Health Systemsent://SD_ILS/0/SD_ILS:1652862026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Istepanian, Robert S. H. editor. Laxminarayan, Swamy. editor. Pattichis, Constantinos S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137697">http://dx.doi.org/10.1007/b137697</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017ent://SD_ILS/0/SD_ILS:3995222026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Tavares, João Manuel R.S. editor. Natal Jorge, R.M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68195-5">https://doi.org/10.1007/978-3-319-68195-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Provable Security 8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4889182026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Chow, Sherman S.M. editor. Liu, Joseph K. editor. Hui, Lucas C.K. editor. Yiu, Siu Ming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12475-9">https://doi.org/10.1007/978-3-319-12475-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Managing Open Innovation Technologiesent://SD_ILS/0/SD_ILS:3334632026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Eriksson Lundström, Jenny S. Z. editor. Wiberg, Mikael. editor. Hrastinski, Stefan. editor. Edenius, Mats. editor. Ågerfalk, Pär J. editor.<br/>Preferred Shelf Number ONLINE(333463.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31650-0">http://dx.doi.org/10.1007/978-3-642-31650-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Learning and Continuing Education 6th International Conference, ICHL 2013, Toronto, ON, Canada, August 12-14, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348452026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Cheung, Simon K. S. editor. Fong, Joseph. editor. Fong, Wilfred. editor. Wang, Fu Lee. editor. Kwok, Lam For. editor.<br/>Preferred Shelf Number ONLINE(334845.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39750-9">http://dx.doi.org/10.1007/978-3-642-39750-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1964272026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Choy, Oliver C. S. editor. Cheung, Ray C. C. editor. Athanas, Peter. editor. Sano, Kentaro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Learning 5th International Conference, ICHL 2012, Guangzhou, China, August 13-15, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1971692026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Cheung, Simon K. S. editor. Fong, Joseph. editor. Kwok, Lam-For. editor. Li, Kedong. editor. Kwan, Reggie. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32018-7">http://dx.doi.org/10.1007/978-3-642-32018-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Vision and Medical Image Processing Recent Trendsent://SD_ILS/0/SD_ILS:2057192026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Tavares, João Manuel R. S. editor. Jorge, R. M. Natal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0011-6">http://dx.doi.org/10.1007/978-94-007-0011-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Wireless, Mobile Networks and Applications International Conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946102026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Al-Majeed, Salah S. editor. Hu, Chih-Lin. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21153-9">http://dx.doi.org/10.1007/978-3-642-21153-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Next Wave in Robotics 14th FIRA RoboWorld Congress, FIRA 2011, Kaohsiung, Taiwan, August 26-30, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1952512026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Li, Tzuu-Hseng S. editor. Tu, Kuo-Yang. editor. Tsai, Ching-Chih. editor. Hsu, Chen-Chien. editor. Tseng, Chien-Cheng. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23147-6">http://dx.doi.org/10.1007/978-3-642-23147-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pattern Recognition, Machine Intelligence and Biometricsent://SD_ILS/0/SD_ILS:1950162026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Wang, Patrick S. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22407-2">http://dx.doi.org/10.1007/978-3-642-22407-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Watermarking 8th International Workshop, IWDW 2009, Guildford, UK, August 24-26, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1907032026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Ho, Anthony T. S. editor. Shi, Yun Q. editor. Kim, H. J. editor. Barni, Mauro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03688-0">http://dx.doi.org/10.1007/978-3-642-03688-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computational Vision and Medical Image Processing Methods and Applicationsent://SD_ILS/0/SD_ILS:1704332026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Tavares, João Manuel R. S. editor. Jorge, R. M. Natal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9086-8">http://dx.doi.org/10.1007/978-1-4020-9086-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Neural-Symbolic Cognitive Reasoningent://SD_ILS/0/SD_ILS:1867862026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73246-4">http://dx.doi.org/10.1007/978-3-540-73246-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High-Level Modeling and Synthesis of Analog Integrated Systemsent://SD_ILS/0/SD_ILS:1699472026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Martens, Ewout S. J. author. Gielen, Georges G. E. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6802-7">http://dx.doi.org/10.1007/978-1-4020-6802-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Precision Landmark Location for Machine Vision and Photogrammetry Finding and Achieving the Maximum Possible Accuracyent://SD_ILS/0/SD_ILS:1756262026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Armstrong, Brian S.R. author. Gutierrez, José A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-913-2">http://dx.doi.org/10.1007/978-1-84628-913-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Multimedia Information Processing – PCM 2007 8th Pacific Rim Conference on Multimedia, Hong Kong, China, December 11-14, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1878232026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Ip, Horace H.-S. editor. Au, Oscar C. editor. Leung, Howard. editor. Sun, Ming-Ting. editor. Ma, Wei-Ying. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77255-2">http://dx.doi.org/10.1007/978-3-540-77255-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numerical Techniques for Chemical and Biological Engineers Using MATLAB® A Simple Bifurcation Approachent://SD_ILS/0/SD_ILS:1665502026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Elnashaie, Said S. E. H. author. Uhlig, Frank. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68167-2">http://dx.doi.org/10.1007/978-0-387-68167-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontologyent://SD_ILS/0/SD_ILS:1824982026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Lee, Raymond S. T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-30984-5">http://dx.doi.org/10.1007/3-540-30984-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6072142026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6071162026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6078282026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Krejca, Martin S. editor. (orcid)0000-0002-1765-1219 Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-86849-8">https://doi.org/10.1007/978-3-031-86849-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet Science 5th International Conference, INSCI 2018, St. Petersburg, Russia, October 24–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4002542026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Bodrunova, Svetlana S. editor. (orcid)0000-0003-0740-561X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01437-7">https://doi.org/10.1007/978-3-030-01437-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6110872026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383 Rump, Siegfried M. editor. Yap, Chee K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32859-1">https://doi.org/10.1007/978-3-319-32859-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-in-the-Loop Simulations Methods and Practiceent://SD_ILS/0/SD_ILS:1686172026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Rothrock, Ling. editor. Narayanan, S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-883-6">http://dx.doi.org/10.1007/978-0-85729-883-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6167142026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unsupervised Information Extraction by Text Segmentationent://SD_ILS/0/SD_ILS:3329302026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Cortez, Eli. author. Silva, Altigran S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332930.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02597-1">http://dx.doi.org/10.1007/978-3-319-02597-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Modeling and Simulation of Systems of Systemsent://SD_ILS/0/SD_ILS:3305862026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330586.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-865-2">http://dx.doi.org/10.1007/978-0-85729-865-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multimedia Processing, Communication and Computing Applications Proceedings of the First International Conference, ICMCCA, 13-15 December 2012ent://SD_ILS/0/SD_ILS:3355072026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Swamy, Punitha P. editor. Guru, Devanur S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335507.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-81-322-1143-3">http://dx.doi.org/10.1007/978-81-322-1143-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Mobile Communication and Healthcare Third International Conference, MobiHealth 2012, Paris, France, November 21-23, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3344952026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Godara, Balwant. editor. Nikita, Konstantina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334495.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37893-5">http://dx.doi.org/10.1007/978-3-642-37893-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Behavior Computing Modeling, Analysis, Mining and Decisionent://SD_ILS/0/SD_ILS:1735102026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Cao, Longbing. editor. Yu, Philip S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2969-1">http://dx.doi.org/10.1007/978-1-4471-2969-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Mobile Communication and Healthcare Second International ICST Conference, MobiHealth 2010, Ayia Napa, Cyprus, October 18-20, 2010. Revised Selected Papersent://SD_ILS/0/SD_ILS:1945122026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Lin, James C. editor. Nikita, Konstantina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20865-2">http://dx.doi.org/10.1007/978-3-642-20865-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research in Computational Molecular Biology 15th Annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1942412026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Bafna, Vineet. editor. Sahinalp, S. Cenk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20036-6">http://dx.doi.org/10.1007/978-3-642-20036-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Geospatial Abduction Principles and Practiceent://SD_ILS/0/SD_ILS:1740172026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Shakarian, Paulo. author. Subrahmanian, V. S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1794-1">http://dx.doi.org/10.1007/978-1-4614-1794-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Association Rule Hiding for Data Miningent://SD_ILS/0/SD_ILS:1726302026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Gkoulalas-Divanis, Aris. author. Verykios, Vassilios S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-6569-1">http://dx.doi.org/10.1007/978-1-4419-6569-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>e-Business and Telecommunications International Conference, ICETE 2008, Porto, Portugal, July 26-29, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1911902026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Filipe, Joaquim. editor. Obaidat, Mohammad S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05197-5">http://dx.doi.org/10.1007/978-3-642-05197-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Biometrics Third International Conference, ICB 2009, Alghero, Italy, June 2-5, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1901232026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Tistarelli, Massimo. editor. Nixon, Mark S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01793-3">http://dx.doi.org/10.1007/978-3-642-01793-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1901892026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02017-9">http://dx.doi.org/10.1007/978-3-642-02017-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904402026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Hill, Patricia M. editor. Warren, David S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02846-5">http://dx.doi.org/10.1007/978-3-642-02846-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>E-business and Telecommunications 4th International Conference, ICETE 2007, Barcelona, Spain, July 28-31, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1890982026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Filipe, Joaquim. editor. Obaidat, Mohammad S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88653-2">http://dx.doi.org/10.1007/978-3-540-88653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1856202026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Barthe, Gilles. editor. Boer, Frank S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68863-1">http://dx.doi.org/10.1007/978-3-540-68863-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1858502026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Bourgeois, Anu G. editor. Zheng, S. Q. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69501-1">http://dx.doi.org/10.1007/978-3-540-69501-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>E-Business and Telecommunication Networks Third International Conference, ICETE 2006, Setúbal, Portugal, August 7-10, 2006. Selected Papersent://SD_ILS/0/SD_ILS:1860342026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Filipe, Joaquim. editor. Obaidat, Mohammad S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70760-8">http://dx.doi.org/10.1007/978-3-540-70760-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1878732026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Hudak, Paul. editor. Warren, David S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77442-6">http://dx.doi.org/10.1007/978-3-540-77442-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Privacy-Preserving Data Mining Models and Algorithmsent://SD_ILS/0/SD_ILS:1667942026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Aggarwal, Charu C. editor. Yu, Philip S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-70992-5">http://dx.doi.org/10.1007/978-0-387-70992-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Practice and Experience Third International Conference, ISPEC 2007, Hong Kong, China, May 7-9, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1864612026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Dawson, Ed. editor. Wong, Duncan S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72163-5">http://dx.doi.org/10.1007/978-3-540-72163-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1874092026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Prade, Henri. editor. Subrahmanian, V. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75410-7">http://dx.doi.org/10.1007/978-3-540-75410-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1874202026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75454-1">http://dx.doi.org/10.1007/978-3-540-75454-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Deformable Models Biomedical and Clinical Applicationsent://SD_ILS/0/SD_ILS:1665802026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Farag, Aly A. author. Suri, Jasjit S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68413-0">http://dx.doi.org/10.1007/978-0-387-68413-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1827892026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Emerson, E. Allen. editor. Namjoshi, Kedar S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11609773">http://dx.doi.org/10.1007/11609773</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ad-Hoc, Mobile, and Wireless Networks 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1845122026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Kunz, Thomas. editor. Ravi, S. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814764">http://dx.doi.org/10.1007/11814764</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Image Analysis and Recognition Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1848122026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Campilho, Aurélio. editor. Kamel, Mohamed S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11867586">http://dx.doi.org/10.1007/11867586</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graph Drawing 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1828152026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Healy, Patrick. editor. Nikolov, Nikola S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11618058">http://dx.doi.org/10.1007/11618058</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1841482026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11767589">http://dx.doi.org/10.1007/11767589</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arraysent://SD_ILS/0/SD_ILS:1652282026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Gokhale, Maya. author. Graham, Paul S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136834">http://dx.doi.org/10.1007/b136834</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6092442026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97554-7">https://doi.org/10.1007/978-3-031-97554-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6092452026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97557-8">https://doi.org/10.1007/978-3-031-97557-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6092462026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97564-6">https://doi.org/10.1007/978-3-031-97564-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6092192026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97573-8">https://doi.org/10.1007/978-3-031-97573-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6092262026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97567-7">https://doi.org/10.1007/978-3-031-97567-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6092292026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97570-7">https://doi.org/10.1007/978-3-031-97570-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communications Technologies Second International Libyan Conference, ILCICT 2023, Tripoli, Libya, September 4-6, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6095232026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Benmusa, Tammam A. T. editor. Elbuni, Mohamed Samir. editor. Saleh, Ibrahim M. editor. Ashur, Ahmed S. editor. Drawil, Nabil M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62624-1">https://doi.org/10.1007/978-3-031-62624-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999212026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234 Stefanuk, Vadim L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00617-4">https://doi.org/10.1007/978-3-030-00617-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligenceent://SD_ILS/0/SD_ILS:4003102026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Dey, Nilanjan. editor. Babo, Rosalina. editor. Ashour, Amira S. editor. Bhatnagar, Vishal. editor. Bouhlel, Med Salim. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90059-9">https://doi.org/10.1007/978-3-319-90059-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>CMOS Circuits for Biological Sensing and Processingent://SD_ILS/0/SD_ILS:4018772026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Mitra, Srinjoy. editor. Cumming, David R. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67723-1">https://doi.org/10.1007/978-3-319-67723-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Geospatial Infrastructure, Applications and Technologies: India Case Studiesent://SD_ILS/0/SD_ILS:3991362026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Sarda, N.L. editor. Acharya, P.S. editor. Sen, S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2330-0">https://doi.org/10.1007/978-981-13-2330-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:3993472026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Capkun, Srdjan. editor. Chow, Sherman S. M. editor. (orcid)0000-0001-7306-453X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02641-7">https://doi.org/10.1007/978-3-030-02641-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Vision, Imaging and Computer Graphics: Theory and Applications International Joint Conference, VISIGRAPP 2013, Barcelona, Spain, February 21-24, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4859812026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Battiato, Sebastiano. editor. (orcid)0000-0001-6127-2470 Coquillart, Sabine. editor. Laramee, Robert S. editor. Kerren, Andreas. editor. (orcid)0000-0002-0519-2537 Braz, José. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44911-0">https://doi.org/10.1007/978-3-662-44911-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Science and its Applications CSA 2013ent://SD_ILS/0/SD_ILS:4826512026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Jeong, Hwa Young. editor. S. Obaidat, Mohammad. editor. Yen, Neil Y. editor. Park, James J. (Jong Hyuk). editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-41674-3">https://doi.org/10.1007/978-3-642-41674-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compression Schemes for Mining Large Datasets A Machine Learning Perspectiveent://SD_ILS/0/SD_ILS:3312252026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Ravindra Babu, T. author. Narasimha Murty, M. author. Subrahmanya, S.V. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331225.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5607-9">http://dx.doi.org/10.1007/978-1-4471-5607-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Moving Target Defense II Application of Game Theory and Adversarial Modelingent://SD_ILS/0/SD_ILS:3317662026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Jajodia, Sushil. editor. Ghosh, Anup K. editor. Subrahmanian, V.S. editor. Swarup, Vipin. editor. Wang, Cliff. editor.<br/>Preferred Shelf Number ONLINE(331766.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5416-8">http://dx.doi.org/10.1007/978-1-4614-5416-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Routing for Wireless Multi-Hop Networksent://SD_ILS/0/SD_ILS:3320142026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Abdel Hamid, Sherin. author. Hassanein, Hossam S. author. Takahara, Glen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332014.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6357-3">http://dx.doi.org/10.1007/978-1-4614-6357-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A General Framework for Reasoning On Inconsistencyent://SD_ILS/0/SD_ILS:3321072026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332107.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6750-2">http://dx.doi.org/10.1007/978-1-4614-6750-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Behavior and Social Computing International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, QLD, Australia, April 14-17, 2013 and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3330122026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Cao, Longbing. editor. Motoda, Hiroshi. editor. Srivastava, Jaideep. editor. Lim, Ee-Peng. editor. King, Irwin. editor.<br/>Preferred Shelf Number ONLINE(333012.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-04048-6">http://dx.doi.org/10.1007/978-3-319-04048-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Search Theory A Game Theoretic Perspectiveent://SD_ILS/0/SD_ILS:3321292026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Alpern, Steve. editor. Fokkink, Robbert. editor. Gąsieniec, Leszek. editor. Lindelauf, Roy. editor. Subrahmanian, V.S. editor.<br/>Preferred Shelf Number ONLINE(332129.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6825-7">http://dx.doi.org/10.1007/978-1-4614-6825-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340772026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334077.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343802026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Vanneschi, Leonardo. editor. Bush, William S. editor. Giacobini, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334380.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37189-9">http://dx.doi.org/10.1007/978-3-642-37189-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Augmented Environments for Computer-Assisted Interventions 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3345322026-04-18T03:18:04Z2026-04-18T03:18:04ZAuthor Linte, Cristian A. editor. Chen, Elvis C. S. editor. Berger, Marie-Odile. editor. Moore, John T. editor. Holmes, David R. editor.<br/>Preferred Shelf Number ONLINE(334532.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38085-3">http://dx.doi.org/10.1007/978-3-642-38085-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>