Search Results for S. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dS.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?dt=list2026-04-14T11:37:44ZJavaScript Programmer’s Referenceent://SD_ILS/0/SD_ILS:3306212026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Windows Home Server User’s Guideent://SD_ILS/0/SD_ILS:1710312026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Dueck's Panopticon Gesammelte Kultkolumnenent://SD_ILS/0/SD_ILS:1863502026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>The Basics of S-PLUSent://SD_ILS/0/SD_ILS:1655122026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>SharePoint 2003 User’s Guideent://SD_ILS/0/SD_ILS:1707452026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Maths For Computing A Beginner's Guideent://SD_ILS/0/SD_ILS:6062962026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Diseaseent://SD_ILS/0/SD_ILS:6019342026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>A Beginner's Guide to Informatics and Artificial Intelligence A Short Course Towards Practical Problem Solvingent://SD_ILS/0/SD_ILS:6035902026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948ent://SD_ILS/0/SD_ILS:3994342026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Designing Immersive Video Games Using 3DUI Technologies Improving the Gamer's User Experienceent://SD_ILS/0/SD_ILS:3994712026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimationent://SD_ILS/0/SD_ILS:4883612026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>SharePoint 2013 User’s Guide Learning Microsoft’s Business Collaboration Platforment://SD_ILS/0/SD_ILS:3306452026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Introducing Java EE 7 A Look at What’s Newent://SD_ILS/0/SD_ILS:3307182026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Strength in Numbers: The Rising of Academic Statistics Departments in the U. S.ent://SD_ILS/0/SD_ILS:3313612026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterialsent://SD_ILS/0/SD_ILS:3337512026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010ent://SD_ILS/0/SD_ILS:3351042026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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 – Scientific Research 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1966222026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Shall We Play the Festschrift Game? Essays on the Occasion of Lauri Carlson's 60th Birthdayent://SD_ILS/0/SD_ILS:1969562026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>A Programmer’s Guide to C# 5.0ent://SD_ILS/0/SD_ILS:1717842026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Structural Fire Resistance Experimental Research Priority Needs of U.S. Industryent://SD_ILS/0/SD_ILS:1744432026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Beginning 3D Game Development with Unity The World’s Most Widely Used Multi-platform Game Engineent://SD_ILS/0/SD_ILS:1715242026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>The Mathematics of Medical Imaging A Beginner’s Guideent://SD_ILS/0/SD_ILS:1680102026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Exploring C++ The Programmer’s Introduction to C++ent://SD_ILS/0/SD_ILS:1709842026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>LEGO MINDSTORMS NXT 2.0 The King’s Treasureent://SD_ILS/0/SD_ILS:1713112026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Engineering Haptic Devices A Beginner's Guide for Engineersent://SD_ILS/0/SD_ILS:1890172026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Elements of Numerical Relativity and Relativistic Hydrodynamics From Einstein' s Equations to Astrophysical Simulationsent://SD_ILS/0/SD_ILS:1899062026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Office and SharePoint 2007 User’s Guide Integrating SharePoint with Excel, Outlook, Access, and Wordent://SD_ILS/0/SD_ILS:1710952026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>A Computer Scientist's Guide to Cell Biology A travelogue from a stranger in a strange landent://SD_ILS/0/SD_ILS:1663992026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>IPv6 in Practice A Unixer’s Guide to the Next Generation Internetent://SD_ILS/0/SD_ILS:1850492026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Imagination and Rigor Essays on Eduardo R. Caianiello’s Scientific Heritageent://SD_ILS/0/SD_ILS:2041642026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Hardware Verification with C++ A Practitioner’s Handbookent://SD_ILS/0/SD_ILS:1661412026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>WiMax Operator’s Manual Building 802.16 Wireless Networksent://SD_ILS/0/SD_ILS:1707982026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>A Software Process Model Handbook for Incorporating People’s Capabilitiesent://SD_ILS/0/SD_ILS:1651432026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Everyday Innovators Researching the Role of Users in Shaping ICT’sent://SD_ILS/0/SD_ILS:1690242026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>A Programmer’s Introduction to C# 2.0ent://SD_ILS/0/SD_ILS:1707402026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Digital Signal Processing Illustration Using Pythonent://SD_ILS/0/SD_ILS:6024192026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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 IIent://SD_ILS/0/SD_ILS:4854852026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Collaboration and Technology 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1954512026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Fuzzy Control, Estimation and Diagnosis Single and Interconnected Systemsent://SD_ILS/0/SD_ILS:4013522026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Speech and Language Processing for Human-Machine Communications Proceedings of CSI 2015ent://SD_ILS/0/SD_ILS:4014032026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4017552026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>The Incomputable Journeys Beyond the Turing Barrierent://SD_ILS/0/SD_ILS:6167062026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>The Era of Interactive Mediaent://SD_ILS/0/SD_ILS:3313452026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taibaent://SD_ILS/0/SD_ILS:3315822026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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 Computational Approaches to Counterterrorisment://SD_ILS/0/SD_ILS:3317392026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Handbook of Signal Processing Systemsent://SD_ILS/0/SD_ILS:3321392026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Indian Mujahideen Computational Analysis and Public Policyent://SD_ILS/0/SD_ILS:3329492026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)ent://SD_ILS/0/SD_ILS:3352162026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Human – Computer Systems Interaction: Backgrounds and Applications 2 Part 2ent://SD_ILS/0/SD_ILS:1952602026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Soft Computing Approach to Pattern Classification and Object Recognition A Unified Conceptent://SD_ILS/0/SD_ILS:1744272026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Combinatorial Algorithms 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1958192026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Problem Solving Handbook in Computational Biology and Bioinformaticsent://SD_ILS/0/SD_ILS:1647812026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technologyent://SD_ILS/0/SD_ILS:1917642026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Combinatorial Algorithms 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1939732026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Unconventional Computation 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946692026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Apartness and Uniformity A Constructive Developmentent://SD_ILS/0/SD_ILS:1950192026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Beginning Mac OS X Snow Leopard Server From Solo Install to Enterprise Integrationent://SD_ILS/0/SD_ILS:1713702026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Handbook of Signal Processing Systemsent://SD_ILS/0/SD_ILS:1725702026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Sensitivity Analysis for Neural Networksent://SD_ILS/0/SD_ILS:1903502026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantzent://SD_ILS/0/SD_ILS:1706172026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Machine Learning in Cyber Trust Security, Privacy, and Reliabilityent://SD_ILS/0/SD_ILS:1679002026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Advances in Web Semantics I Ontologies, Web Services and Applied Semantic Webent://SD_ILS/0/SD_ILS:1893362026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903882026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Human-Computer Systems Interaction Backgrounds and Applicationsent://SD_ILS/0/SD_ILS:1905522026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Unconventional Computation 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1907242026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>New Computational Paradigms Changing Conceptions of What is Computableent://SD_ILS/0/SD_ILS:1665942026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Practical Aspects of Embedded System Design using Microcontrollersent://SD_ILS/0/SD_ILS:1701492026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Design Computing and Cognition '08 Proceedings of the Third International Conference on Design Computing and Cognitionent://SD_ILS/0/SD_ILS:1702982026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Resources, Co-Evolution and Artifacts Theory in CSCWent://SD_ILS/0/SD_ILS:1756202026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Database and Expert Systems Applications 19th International Conference, DEXA 2008, Turin, Italy, September 1-5, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1887462026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Digital Imaging and Communications in Medicine (DICOM) A Practical Introduction and Survival Guideent://SD_ILS/0/SD_ILS:1871992026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Software Verification and Validation An Engineering and Scientific Approachent://SD_ILS/0/SD_ILS:1663912026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Exploring C for Microcontrollers A Hands on Approachent://SD_ILS/0/SD_ILS:1696802026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Algorithm Collections for Digital Signal Processing Applications Using Matlabent://SD_ILS/0/SD_ILS:1697952026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>An Introduction to Knowledge Engineeringent://SD_ILS/0/SD_ILS:1755032026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Human Identification Based on Gaitent://SD_ILS/0/SD_ILS:1656522026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>System Level Design of Reconfigurable Systems-on-Chipent://SD_ILS/0/SD_ILS:1652272026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Statistical and Inductive Inference by Minimum Message Lengthent://SD_ILS/0/SD_ILS:1654252026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedingsent://SD_ILS/0/SD_ILS:1823512026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3 – 7, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830892026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1831732026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1831752026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Human Interactive Proofs Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831782026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1831792026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>CyberForensics Understanding Information Security Investigationsent://SD_ILS/0/SD_ILS:1750482026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Managing Open Innovation Technologiesent://SD_ILS/0/SD_ILS:3334632026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Next Wave in Robotics 14th FIRA RoboWorld Congress, FIRA 2011, Kaohsiung, Taiwan, August 26-30, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1952512026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Computational Vision and Medical Image Processing Recent Trendsent://SD_ILS/0/SD_ILS:2057192026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Pattern Recognition, Machine Intelligence and Biometricsent://SD_ILS/0/SD_ILS:1950162026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Advances in Computational Vision and Medical Image Processing Methods and Applicationsent://SD_ILS/0/SD_ILS:1704332026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Digital Watermarking 8th International Workshop, IWDW 2009, Guildford, UK, August 24-26, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1907032026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Neural-Symbolic Cognitive Reasoningent://SD_ILS/0/SD_ILS:1867862026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Numerical Techniques for Chemical and Biological Engineers Using MATLAB® A Simple Bifurcation Approachent://SD_ILS/0/SD_ILS:1665502026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontologyent://SD_ILS/0/SD_ILS:1824982026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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 Ient://SD_ILS/0/SD_ILS:6071162026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Guide to Modeling and Simulation of Systems of Systemsent://SD_ILS/0/SD_ILS:3305862026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Unsupervised Information Extraction by Text Segmentationent://SD_ILS/0/SD_ILS:3329302026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Multimedia Processing, Communication and Computing Applications Proceedings of the First International Conference, ICMCCA, 13-15 December 2012ent://SD_ILS/0/SD_ILS:3355072026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Behavior Computing Modeling, Analysis, Mining and Decisionent://SD_ILS/0/SD_ILS:1735102026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Geospatial Abduction Principles and Practiceent://SD_ILS/0/SD_ILS:1740172026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Association Rule Hiding for Data Miningent://SD_ILS/0/SD_ILS:1726302026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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 4th International Conference, ICETE 2007, Barcelona, Spain, July 28-31, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1890982026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Advances in Biometrics Third International Conference, ICB 2009, Alghero, Italy, June 2-5, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1901232026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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 International Conference, ICETE 2008, Porto, Portugal, July 26-29, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1911902026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Privacy-Preserving Data Mining Models and Algorithmsent://SD_ILS/0/SD_ILS:1667942026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Deformable Models Biomedical and Clinical Applicationsent://SD_ILS/0/SD_ILS:1665802026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Graph Drawing 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1828152026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arraysent://SD_ILS/0/SD_ILS:1652282026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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 VIent://SD_ILS/0/SD_ILS:6092192026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6092442026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Information and Communications Technologies Second International Libyan Conference, ILCICT 2023, Tripoli, Libya, September 4-6, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6095232026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Geospatial Infrastructure, Applications and Technologies: India Case Studiesent://SD_ILS/0/SD_ILS:3991362026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999212026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Advances in Computer Science and its Applications CSA 2013ent://SD_ILS/0/SD_ILS:4826512026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Smart Health International Conference, ICSH 2013, Beijing, China, August 3-4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348562026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor Zeng, Daniel. editor. Yang, Christopher C. editor. Tseng, Vincent S. editor. Xing, Chunxiao. editor. Chen, Hsinchun. editor.<br/>Preferred Shelf Number ONLINE(334856.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39844-5">http://dx.doi.org/10.1007/978-3-642-39844-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2013 International Workshops: DMApps, DANTH, QIMIE, BDM, CDA, CloudSD, Gold Coast, QLD, Australia, April 14-17, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3349272026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor Li, Jiuyong. editor. Cao, Longbing. editor. Wang, Can. editor. Tan, Kay Chen. editor. Liu, Bo. editor.<br/>Preferred Shelf Number ONLINE(334927.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40319-4">http://dx.doi.org/10.1007/978-3-642-40319-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scalable Uncertainty Management 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349372026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor Liu, Weiru. editor. Subrahmanian, V. S. editor. Wijsen, Jef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334937.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40381-1">http://dx.doi.org/10.1007/978-3-642-40381-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The 3rd International Workshop on Intelligent Data Analysis and Managementent://SD_ILS/0/SD_ILS:3363582026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.<br/>Preferred Shelf Number ONLINE(336358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-7293-9">http://dx.doi.org/10.1007/978-94-007-7293-9</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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>Search Theory A Game Theoretic Perspectiveent://SD_ILS/0/SD_ILS:3321292026-04-14T11:37:44Z2026-04-14T11:37:44ZAuthor 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/>