Search Results for Europe. - Narrowed by: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dEurope.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300? 2024-11-09T13:40:02Z Data Security Breaches and Privacy in Europe ent://SD_ILS/0/SD_ILS:331220 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Wong, Rebecca. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331220.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5586-7">http://dx.doi.org/10.1007/978-1-4471-5586-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 &ndash; August 3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399408 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Manea, Florin. editor.&#160;Miller, Russell G. editor.&#160;Nowotka, Dirk. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94418-0">https://doi.org/10.1007/978-3-319-94418-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design Science: Perspectives from Europe European Design Science Symposium, EDSS 2012, Leixlip, Ireland, December 6, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333013 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Helfert, Markus. editor.&#160;Donnellan, Brian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333013.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-04090-5">http://dx.doi.org/10.1007/978-3-319-04090-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> META-NET Strategic Research Agenda for Multilingual Europe 2020 ent://SD_ILS/0/SD_ILS:334182 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Rehm, Georg. editor.&#160;Uszkoreit, Hans. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334182.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36349-8">http://dx.doi.org/10.1007/978-3-642-36349-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334718 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Bonizzoni, Paola. editor.&#160;Brattka, Vasco. editor.&#160;L&ouml;we, Benedikt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334718.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ISSE 2013 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe 2013 Conference ent://SD_ILS/0/SD_ILS:335292 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Reimer, Helmut. editor.&#160;Pohlmann, Norbert. editor.&#160;Schneider, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335292.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-03371-2">http://dx.doi.org/10.1007/978-3-658-03371-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334631 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Keller, Hubert B. editor.&#160;Pl&ouml;dereder, Erhard. editor.&#160;Dencker, Peter. editor.&#160;Klenk, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334631.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38601-5">http://dx.doi.org/10.1007/978-3-642-38601-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196925 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Brorsson, Mats. editor.&#160;Pinho, Lu&iacute;s Miguel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30598-6">http://dx.doi.org/10.1007/978-3-642-30598-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196979 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Cooper, S. Barry. editor.&#160;Dawar, Anuj. editor.&#160;L&ouml;we, Benedikt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30870-3">http://dx.doi.org/10.1007/978-3-642-30870-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ISSE 2012 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe 2012 Conference ent://SD_ILS/0/SD_ILS:197662 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Reimer, Helmut. editor.&#160;Pohlmann, Norbert. editor.&#160;Schneider, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-00333-3">http://dx.doi.org/10.1007/978-3-658-00333-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Science between Europe and Asia Historical Studies on the Transmission, Adoption and Adaptation of Knowledge ent://SD_ILS/0/SD_ILS:205645 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;G&uuml;nergun, Feza. editor.&#160;Raina, Dhruv. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9968-6">http://dx.doi.org/10.1007/978-90-481-9968-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194848 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;L&ouml;we, Benedikt. editor.&#160;Normann, Dag. editor.&#160;Soskov, Ivan. editor.&#160;Soskova, Alexandra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21875-0">http://dx.doi.org/10.1007/978-3-642-21875-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 &ndash; Europe, Barcelona, Spain, July 19-21, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195060 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Bassiliades, Nick. editor.&#160;Governatori, Guido. editor.&#160;Paschke, Adrian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22546-8">http://dx.doi.org/10.1007/978-3-642-22546-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Privacy PRIME - Privacy and Identity Management for Europe ent://SD_ILS/0/SD_ILS:193918 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Camenisch, Jan. editor.&#160;Leenes, Ronald. editor.&#160;Sommer, Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-19050-6">http://dx.doi.org/10.1007/978-3-642-19050-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194668 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Romanovsky, Alexander. editor.&#160;Vardanega, Tullio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21338-0">http://dx.doi.org/10.1007/978-3-642-21338-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 &ndash; July 4, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192505 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Ferreira, Fernando. editor.&#160;L&ouml;we, Benedikt. editor.&#160;Mayordomo, Elvira. editor.&#160;Mendes Gomes, Lu&iacute;s. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13962-8">http://dx.doi.org/10.1007/978-3-642-13962-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ISSE 2009 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe 2009 Conference ent://SD_ILS/0/SD_ILS:199483 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Pohlmann, Norbert. editor.&#160;Reimer, Helmut. editor.&#160;Schneider, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9363-5">http://dx.doi.org/10.1007/978-3-8348-9363-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologiey &ndash; Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192372 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Real, Jorge. editor.&#160;Vardanega, Tullio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13550-7">http://dx.doi.org/10.1007/978-3-642-13550-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190510 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Ambos-Spies, Klaus. editor.&#160;L&ouml;we, Benedikt. editor.&#160;Merkle, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03073-4">http://dx.doi.org/10.1007/978-3-642-03073-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communications Infrastructure. Systems and Applications in Europe First International ICST Conference, EuropeComm 2009, London, UK, August 11-13, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191640 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Mehmood, Rashid. editor.&#160;Cerqueira, Eduardo. editor.&#160;Piesiewicz, Radoslaw. editor.&#160;Chlamtac, Imrich. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11284-3">http://dx.doi.org/10.1007/978-3-642-11284-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ISSE 2008 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe 2008 Conference ent://SD_ILS/0/SD_ILS:199411 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Pohlmann, Norbert. editor.&#160;Reimer, Helmut. editor.&#160;Schneider, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9283-6">http://dx.doi.org/10.1007/978-3-8348-9283-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190165 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Kordon, Fabrice. editor.&#160;Kermarrec, Yvon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01924-1">http://dx.doi.org/10.1007/978-3-642-01924-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Objects, Components, Models and Patterns 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190362 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Oriol, Manuel. editor.&#160;Meyer, Bertrand. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02571-6">http://dx.doi.org/10.1007/978-3-642-02571-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185532 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Kordon, Fabrice. editor.&#160;Vardanega, Tullio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68624-8">http://dx.doi.org/10.1007/978-3-540-68624-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185815 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Beckmann, Arnold. editor.&#160;Dimitracopoulos, Costas. editor.&#160;L&ouml;we, Benedikt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69407-6">http://dx.doi.org/10.1007/978-3-540-69407-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185897 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Paige, Richard F. editor.&#160;Meyer, Bertrand. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69824-1">http://dx.doi.org/10.1007/978-3-540-69824-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ISSE/SECURE 2007 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe/SECURE 2007 Conference ent://SD_ILS/0/SD_ILS:199537 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Pohlmann, Norbert. author.&#160;Reimer, Helmut. author.&#160;Schneider, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9418-2">http://dx.doi.org/10.1007/978-3-8348-9418-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:186716 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Cooper, S. Barry. editor.&#160;L&ouml;we, Benedikt. editor.&#160;Sorbi, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73001-9">http://dx.doi.org/10.1007/978-3-540-73001-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186783 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Abdennadher, Nabil. editor.&#160;Kordon, Fabrice. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73230-3">http://dx.doi.org/10.1007/978-3-540-73230-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184138 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Pinho, Lu&iacute;s Miguel. editor.&#160;Gonz&aacute;lez Harbour, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11767077">http://dx.doi.org/10.1007/11767077</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184260 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Beckmann, Arnold. editor.&#160;Berger, Ulrich. editor.&#160;L&ouml;we, Benedikt. editor.&#160;Tucker, John V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11780342">http://dx.doi.org/10.1007/11780342</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ISSE 2006 &mdash; Securing Electronic Busines Processes Highlights of the Information Security Solutions Europe 2006 Conference ent://SD_ILS/0/SD_ILS:199337 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Paulus, Sachar. author.&#160;Pohlmann, Norbert. author.&#160;Reimer, Helmut. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9195-2">http://dx.doi.org/10.1007/978-3-8348-9195-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technology &ndash; Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182814 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Vardanega, Tullio. editor.&#160;Wellings, Andy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137344">http://dx.doi.org/10.1007/b137344</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182846 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Fitzgerald, John. editor.&#160;Hayes, Ian J. editor.&#160;Tarlecki, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b27882">http://dx.doi.org/10.1007/b27882</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183253 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Cooper, S. Barry. editor.&#160;L&ouml;we, Benedikt. editor.&#160;Torenvliet, Leen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136981">http://dx.doi.org/10.1007/b136981</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Apartness and Uniformity A Constructive Development ent://SD_ILS/0/SD_ILS:195019 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Bridges, Douglas S. author.&#160;V&icirc;&#355;&#259;, Lumini&#355;a Simona. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22415-7">http://dx.doi.org/10.1007/978-3-642-22415-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Randomness and Complexity ent://SD_ILS/0/SD_ILS:166586 2024-11-09T13:40:02Z 2024-11-09T13:40:02Z Author&#160;Downey, Rodney G. author.&#160;Hirschfeldt, Denis R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-68441-3">http://dx.doi.org/10.1007/978-0-387-68441-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>