Search Results for Software - Narrowed by: Algebra -- Data processing. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$0026qf$003dSUBJECT$002509Subject$002509Algebra$002b--$002bData$002bprocessing.$002509Algebra$002b--$002bData$002bprocessing.$0026ps$003d300? 2024-11-03T07:55:53Z Rigorous Software Development An Introduction to Program Verification ent://SD_ILS/0/SD_ILS:168395 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Almeida, Jos&eacute; Bacelar. author.&#160;Frade, Maria Jo&atilde;o. author.&#160;Pinto, Jorge Sousa. author.&#160;Melo de Sousa, Sim&atilde;o. 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-85729-018-2">http://dx.doi.org/10.1007/978-0-85729-018-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fast Software Encryption 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers ent://SD_ILS/0/SD_ILS:190589 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Dunkelman, Orr. 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-03317-9">http://dx.doi.org/10.1007/978-3-642-03317-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188548 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Meseguer, Jos&eacute;. editor.&#160;Ro&#351;u, Grigore. 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-79980-1">http://dx.doi.org/10.1007/978-3-540-79980-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184283 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Johnson, Michael. editor.&#160;Vene, Varmo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11784180">http://dx.doi.org/10.1007/11784180</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184660 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Iglesias, Andr&eacute;s. editor.&#160;Takayama, Nobuki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11832225">http://dx.doi.org/10.1007/11832225</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332910 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Mayr, Ernst W. editor.&#160;Vorozhtsov, Evgenii V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332910.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02297-0">http://dx.doi.org/10.1007/978-3-319-02297-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334112 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Ghosh, Subir Kumar. editor.&#160;Tokuyama, Takeshi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334112.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36065-7">http://dx.doi.org/10.1007/978-3-642-36065-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334985 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Muntean, Traian. editor.&#160;Poulakis, Dimitrios. editor.&#160;Rolland, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334985.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40663-8">http://dx.doi.org/10.1007/978-3-642-40663-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334987 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Ida, Tetsuo. editor.&#160;Fleuriot, Jacques. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334987.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40672-0">http://dx.doi.org/10.1007/978-3-642-40672-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334992 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Gupta, Ashutosh. editor.&#160;Henzinger, Thomas A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334992.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40708-6">http://dx.doi.org/10.1007/978-3-642-40708-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Attacks on Public-Key Cryptosystems ent://SD_ILS/0/SD_ILS:330828 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Yan, Song Y. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330828.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7722-9">http://dx.doi.org/10.1007/978-1-4419-7722-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334284 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Didimo, Walter. editor.&#160;Patrignani, Maurizio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334284.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36763-2">http://dx.doi.org/10.1007/978-3-642-36763-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334910 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Heckel, Reiko. editor.&#160;Milius, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334910.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40206-7">http://dx.doi.org/10.1007/978-3-642-40206-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335202 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Lecroq, Thierry. editor.&#160;Mouchard, Laurent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335202.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45278-9">http://dx.doi.org/10.1007/978-3-642-45278-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197305 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Mayr, Ernst W. editor.&#160;Vorozhtsov, Evgenii V. 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-32973-9">http://dx.doi.org/10.1007/978-3-642-32973-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197355 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Kahl, Wolfram. editor.&#160;Griffin, Timothy G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197412 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Gilbert, David. editor.&#160;Heiner, Monika. 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-33636-2">http://dx.doi.org/10.1007/978-3-642-33636-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197592 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Hawblitzel, Chris. editor.&#160;Miller, Dale. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35308-6">http://dx.doi.org/10.1007/978-3-642-35308-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197607 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Baldoni, Roberto. editor.&#160;Flocchini, Paola. editor.&#160;Binoy, Ravindran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35476-2">http://dx.doi.org/10.1007/978-3-642-35476-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196072 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Kreveld, Marc. editor.&#160;Speckmann, Bettina. 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-25878-7">http://dx.doi.org/10.1007/978-3-642-25878-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbr&uuml;cken, Germany, September 6-8, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196333 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Marx, D&aacute;niel. editor.&#160;Rossmanith, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28050-4">http://dx.doi.org/10.1007/978-3-642-28050-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196338 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Horimoto, Katsuhisa. editor.&#160;Nakatsui, Masahiko. editor.&#160;Popov, Nikolaj. 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-28067-2">http://dx.doi.org/10.1007/978-3-642-28067-2</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-03T07:55:53Z 2024-11-03T07:55:53Z 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/> Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197122 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;&Ouml;zbudak, Ferruh. editor.&#160;Rodr&iacute;guez-Henr&iacute;quez, Francisco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31662-3">http://dx.doi.org/10.1007/978-3-642-31662-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197246 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Ong, Luke. editor.&#160;Queiroz, Ruy. 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-32621-9">http://dx.doi.org/10.1007/978-3-642-32621-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197639 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Arumugam, S. editor.&#160;Smyth, W. F. 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-35926-2">http://dx.doi.org/10.1007/978-3-642-35926-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193907 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Brandes, Ulrik. editor.&#160;Cornelsen, Sabine. 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-18469-7">http://dx.doi.org/10.1007/978-3-642-18469-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> WALCOM: Algorithms and Computation 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193932 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Katoh, Naoki. editor.&#160;Kumar, Amit. 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-19094-0">http://dx.doi.org/10.1007/978-3-642-19094-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193973 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Iliopoulos, Costas S. editor.&#160;Smyth, William F. 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-19222-7">http://dx.doi.org/10.1007/978-3-642-19222-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194060 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Larrosa, Javier. editor.&#160;O&rsquo;Sullivan, Barry. 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-19486-3">http://dx.doi.org/10.1007/978-3-642-19486-3</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-03T07:55:53Z 2024-11-03T07:55:53Z 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/> Computer Algebra in Scientific Computing 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195380 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Mayr, Ernst W. editor.&#160;Vorozhtsov, Evgenii V. 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-23568-9">http://dx.doi.org/10.1007/978-3-642-23568-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement ent://SD_ILS/0/SD_ILS:195782 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Kuich, Werner. editor.&#160;Rahonis, George. 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-24897-9">http://dx.doi.org/10.1007/978-3-642-24897-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings ent://SD_ILS/0/SD_ILS:196070 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Fern&agrave;ndez Anta, Antonio. editor.&#160;Lipari, Giuseppe. editor.&#160;Roy, Matthieu. 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-25873-2">http://dx.doi.org/10.1007/978-3-642-25873-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Game Start! Strumenti per comprendere i videogiochi ent://SD_ILS/0/SD_ILS:204562 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Alinovi, Francesco. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-1956-0">http://dx.doi.org/10.1007/978-88-470-1956-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings ent://SD_ILS/0/SD_ILS:194531 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Beklemishev, Lev D. editor.&#160;Queiroz, Ruy. 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-20920-8">http://dx.doi.org/10.1007/978-3-642-20920-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Comparative Genomics International Workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193212 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Tannier, Eric. 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-16181-0">http://dx.doi.org/10.1007/978-3-642-16181-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 &ndash; June 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194581 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Swart, Harrie. 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-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194718 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Winkler, Franz. 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-21493-6">http://dx.doi.org/10.1007/978-3-642-21493-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195819 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Iliopoulos, Costas S. editor.&#160;Smyth, William F. 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-25011-8">http://dx.doi.org/10.1007/978-3-642-25011-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195834 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Schreck, Pascal. editor.&#160;Narboux, Julien. editor.&#160;Richter-Gebert, J&uuml;rgen. 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-25070-5">http://dx.doi.org/10.1007/978-3-642-25070-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195929 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Jouannaud, Jean-Pierre. editor.&#160;Shao, Zhong. 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-25379-9">http://dx.doi.org/10.1007/978-3-642-25379-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:193607 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Wu, Weili. editor.&#160;Daescu, Ovidiu. 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-17458-2">http://dx.doi.org/10.1007/978-3-642-17458-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:193608 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Wu, Weili. editor.&#160;Daescu, Ovidiu. 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-17461-2">http://dx.doi.org/10.1007/978-3-642-17461-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193617 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Raman, Venkatesh. editor.&#160;Saurabh, Saket. 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-17493-3">http://dx.doi.org/10.1007/978-3-642-17493-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193667 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Lu, Chenyang. editor.&#160;Masuzawa, Toshimitsu. editor.&#160;Mosbah, Mohamed. 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-17653-1">http://dx.doi.org/10.1007/978-3-642-17653-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192603 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Aloni, Maria. editor.&#160;Bastiaanse, Harald. editor.&#160;Jager, Tikitu. editor.&#160;Schulz, Katrin. 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-14287-1">http://dx.doi.org/10.1007/978-3-642-14287-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematica&reg;: A Problem-Centered Approach ent://SD_ILS/0/SD_ILS:176199 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Hazrat, Roozbeh. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84996-251-3">http://dx.doi.org/10.1007/978-1-84996-251-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:191678 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Paul, Christophe. editor.&#160;Habib, Michel. 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-11409-0">http://dx.doi.org/10.1007/978-3-642-11409-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> WALCOM: Algorithms and Computation 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191685 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Rahman, Md. Saidur. editor.&#160;Fujita, Satoshi. 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-11440-3">http://dx.doi.org/10.1007/978-3-642-11440-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:191803 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Eppstein, David. editor.&#160;Gansner, Emden R. 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-11805-0">http://dx.doi.org/10.1007/978-3-642-11805-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arithmetic of Finite Fields Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192452 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Hasan, M. Anwar. editor.&#160;Helleseth, Tor. 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-13797-6">http://dx.doi.org/10.1007/978-3-642-13797-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192461 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Dawar, Anuj. editor.&#160;Queiroz, Ruy. 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-13824-9">http://dx.doi.org/10.1007/978-3-642-13824-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Number Theory 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192681 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Hanrot, Guillaume. editor.&#160;Morain, Fran&ccedil;ois. editor.&#160;Thom&eacute;, Emmanuel. 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-14518-6">http://dx.doi.org/10.1007/978-3-642-14518-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192917 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Mayr, Ernst W. editor.&#160;Vorozhtsov, Evgenii V. 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-15274-0">http://dx.doi.org/10.1007/978-3-642-15274-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193048 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Janhunen, Tomi. editor.&#160;Niemel&auml;, Ilkka. 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-15675-5">http://dx.doi.org/10.1007/978-3-642-15675-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190414 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Diekert, Volker. editor.&#160;Nowotka, Dirk. 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-02737-6">http://dx.doi.org/10.1007/978-3-642-02737-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pairing-Based Cryptography &ndash; Pairing 2009 Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190581 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Shacham, Hovav. editor.&#160;Waters, Brent. 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-03298-1">http://dx.doi.org/10.1007/978-3-642-03298-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190636 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Leucker, Martin. editor.&#160;Morgan, Carroll. 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-03466-4">http://dx.doi.org/10.1007/978-3-642-03466-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings ent://SD_ILS/0/SD_ILS:190663 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Bozapalidis, Symeon. editor.&#160;Rahonis, George. 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-03564-7">http://dx.doi.org/10.1007/978-3-642-03564-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190837 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Gerdt, Vladimir P. editor.&#160;Mayr, Ernst W. editor.&#160;Vorozhtsov, Evgenii V. 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-04103-7">http://dx.doi.org/10.1007/978-3-642-04103-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptographic Hardware and Embedded Systems - CHES 2009 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190848 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Clavier, Christophe. editor.&#160;Gaj, Kris. 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-04138-9">http://dx.doi.org/10.1007/978-3-642-04138-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:190857 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Palsberg, Jens. 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-04164-8">http://dx.doi.org/10.1007/978-3-642-04164-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Decision Theory First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190945 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Rossi, Francesca. editor.&#160;Tsoukias, Alexis. 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-04428-1">http://dx.doi.org/10.1007/978-3-642-04428-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Comparative Genomics International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191044 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Ciccarelli, Francesca D. editor.&#160;Mikl&oacute;s, Istv&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04744-2">http://dx.doi.org/10.1007/978-3-642-04744-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 20th International Workshop, IWOCA 2009, Hradec nad Moravic&iacute;, Czech Republic, June 28&ndash;July 2, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191301 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Fiala, Ji&#345;&iacute;. editor.&#160;Kratochv&iacute;l, Jan. editor.&#160;Miller, Mirka. 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-10217-2">http://dx.doi.org/10.1007/978-3-642-10217-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Maple R&egrave;gles et fonctions essentielles ent://SD_ILS/0/SD_ILS:176404 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Puech, Nicolas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-2-287-48607-4">http://dx.doi.org/10.1007/978-2-287-48607-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190702 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Dinur, Irit. editor.&#160;Jansen, Klaus. editor.&#160;Naor, Joseph. editor.&#160;Rolim, Jos&eacute;. 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-03685-9">http://dx.doi.org/10.1007/978-3-642-03685-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures ent://SD_ILS/0/SD_ILS:190727 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Tessaris, Sergio. editor.&#160;Franconi, Enrico. editor.&#160;Eiter, Thomas. editor.&#160;Gutierrez, Claudio. editor.&#160;Handschuh, Siegfried. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03754-2">http://dx.doi.org/10.1007/978-3-642-03754-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Processing and Information Retrieval 16th International Symposium, SPIRE 2009 Saariselk&auml;, Finland, August 25-27, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190736 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Karlgren, Jussi. editor.&#160;Tarhio, Jorma. editor.&#160;Hyyr&ouml;, Heikki. 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-03784-9">http://dx.doi.org/10.1007/978-3-642-03784-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190925 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Ouaknine, Jo&euml;l. editor.&#160;Vaandrager, Frits W. 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-04368-0">http://dx.doi.org/10.1007/978-3-642-04368-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191634 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Chen, Jianer. editor.&#160;Fomin, Fedor V. 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-11269-0">http://dx.doi.org/10.1007/978-3-642-11269-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw&ouml;rth, Germany, April 7-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188275 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Berghammer, Rudolf. editor.&#160;M&ouml;ller, Bernhard. editor.&#160;Struth, Georg. 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-78913-0">http://dx.doi.org/10.1007/978-3-540-78913-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers ent://SD_ILS/0/SD_ILS:188713 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Hertling, Peter. editor.&#160;Hoffmann, Christoph M. editor.&#160;Luther, Wolfram. editor.&#160;Revol, Nathalie. 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-85521-7">http://dx.doi.org/10.1007/978-3-540-85521-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pairing-Based Cryptography &ndash; Pairing 2008 Second International Conference, Egham, UK, September 1-3, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188716 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Galbraith, Steven D. editor.&#160;Paterson, Kenneth G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85538-5">http://dx.doi.org/10.1007/978-3-540-85538-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188769 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Fitzgerald, John S. editor.&#160;Haxthausen, Anne E. editor.&#160;Yenigun, Husnu. 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-85762-4">http://dx.doi.org/10.1007/978-3-540-85762-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arithmetic of Finite Fields 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185849 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Gathen, Joachim. editor.&#160;Ima&ntilde;a, Jos&eacute; Luis. editor.&#160;Ko&ccedil;, &Ccedil;etin Kaya. 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-69499-1">http://dx.doi.org/10.1007/978-3-540-69499-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Number Theory 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188439 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Poorten, Alfred J. editor.&#160;Stein, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-79456-1">http://dx.doi.org/10.1007/978-3-540-79456-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188592 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Horimoto, Katsuhisa. editor.&#160;Regensburger, Georg. editor.&#160;Rosenkranz, Markus. editor.&#160;Yoshida, Hiroshi. 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-85101-1">http://dx.doi.org/10.1007/978-3-540-85101-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188773 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Ito, Masami. editor.&#160;Toyama, Masafumi. 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-85780-8">http://dx.doi.org/10.1007/978-3-540-85780-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sequences and Their Applications - SETA 2008 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188808 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Golomb, Solomon W. editor.&#160;Parker, Matthew G. editor.&#160;Pott, Alexander. editor.&#160;Winterhof, Arne. 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-85912-3">http://dx.doi.org/10.1007/978-3-540-85912-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Comparative Genomics International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188959 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Nelson, Craig E. editor.&#160;Vialette, St&eacute;phane. 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-87989-3">http://dx.doi.org/10.1007/978-3-540-87989-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:185554 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Degano, Pierpaolo. editor.&#160;Nicola, Rocco. editor.&#160;Meseguer, Jos&eacute;. 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-68679-8">http://dx.doi.org/10.1007/978-3-540-68679-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186991 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Mossakowski, Till. editor.&#160;Montanari, Ugo. editor.&#160;Haveraaen, Magne. 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-73859-6">http://dx.doi.org/10.1007/978-3-540-73859-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Distributed Systems ent://SD_ILS/0/SD_ILS:187012 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Fokkink, Wan. 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-540-73938-8">http://dx.doi.org/10.1007/978-3-540-73938-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra Recipes An Advanced Guide to Scientific Modeling ent://SD_ILS/0/SD_ILS:166466 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Enns, Richard H. author.&#160;McGuire, George C. 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-49333-6">http://dx.doi.org/10.1007/978-0-387-49333-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:186428 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Fiadeiro, Jos&eacute; Luiz. editor.&#160;Schobbens, Pierre-Yves. 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-71998-4">http://dx.doi.org/10.1007/978-3-540-71998-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arithmetic of Finite Fields First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186734 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Carlet, Claude. editor.&#160;Sunar, Berk. 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-73074-3">http://dx.doi.org/10.1007/978-3-540-73074-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pairing-Based Cryptography &ndash; Pairing 2007 First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186868 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Takagi, Tsuyoshi. editor.&#160;Okamoto, Tatsuaki. editor.&#160;Okamoto, Eiji. editor.&#160;Okamoto, Takeshi. 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-73489-5">http://dx.doi.org/10.1007/978-3-540-73489-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:187411 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Bozapalidis, Symeon. editor.&#160;Rahonis, George. 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-75414-5">http://dx.doi.org/10.1007/978-3-540-75414-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186850 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Anai, Hirokazu. editor.&#160;Horimoto, Katsuhisa. editor.&#160;Kutsia, Temur. 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-73433-8">http://dx.doi.org/10.1007/978-3-540-73433-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187355 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Ganzha, Victor G. editor.&#160;Mayr, Ernst W. editor.&#160;Vorozhtsov, Evgenii V. 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-75187-8">http://dx.doi.org/10.1007/978-3-540-75187-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187819 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Bozta&#351;, Serdar. editor.&#160;Lu, Hsiao-Feng (Francis). 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-77224-8">http://dx.doi.org/10.1007/978-3-540-77224-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006. Proceedings ent://SD_ILS/0/SD_ILS:182625 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Fossorier, Marc P. C. editor.&#160;Imai, Hideki. editor.&#160;Lin, Shu. editor.&#160;Poli, Alain. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11617983">http://dx.doi.org/10.1007/11617983</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers ent://SD_ILS/0/SD_ILS:183707 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;MacCaull, Wendy. editor.&#160;Winter, Michael. editor.&#160;D&uuml;ntsch, Ivo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Number Theory 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184348 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Hess, Florian. editor.&#160;Pauli, Sebastian. editor.&#160;Pohst, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11792086">http://dx.doi.org/10.1007/11792086</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Discovering Mathematics with Magma Reducing the Abstract to the Concrete ent://SD_ILS/0/SD_ILS:184568 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Bosma, Wieb. editor.&#160;Cannon, John. 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-37634-7">http://dx.doi.org/10.1007/978-3-540-37634-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29&ndash;September 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184643 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Schmidt, Renate A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11828563">http://dx.doi.org/10.1007/11828563</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science ent://SD_ILS/0/SD_ILS:165808 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Enns, Richard H. author.&#160;McGuire, George C. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-31262-5">http://dx.doi.org/10.1007/0-387-31262-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing in Algebraic Geometry A Quick Start using SINGULAR ent://SD_ILS/0/SD_ILS:181914 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Decker, Wolfram. author.&#160;Lossen, Christoph. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-28993-3">http://dx.doi.org/10.1007/3-540-28993-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computeralgebra Eine algorithmisch orientierte Einf&uuml;hrung ent://SD_ILS/0/SD_ILS:182169 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Koepf, Wolfram. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-29895-9">http://dx.doi.org/10.1007/3-540-29895-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sequences and Their Applications &ndash; SETA 2006 4th International Conference Beijing, China, September 24-28, 2006 Proceedings ent://SD_ILS/0/SD_ILS:184780 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Gong, Guang. editor.&#160;Helleseth, Tor. editor.&#160;Song, Hong-Yeop. editor.&#160;Yang, Kyeongcheol. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11863854">http://dx.doi.org/10.1007/11863854</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chi&#351;in&#259;u, Moldova, September 11-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184826 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Ganzha, Victor G. editor.&#160;Mayr, Ernst W. editor.&#160;Vorozhtsov, Evgenii V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11870814">http://dx.doi.org/10.1007/11870814</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Mathematica GuideBook for Symbolics ent://SD_ILS/0/SD_ILS:165565 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Trott, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28815-5">http://dx.doi.org/10.1007/0-387-28815-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Optimization From Theory to Implementation ent://SD_ILS/0/SD_ILS:165746 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Liberti, Leo. editor.&#160;Maculan, Nelson. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-30528-9">http://dx.doi.org/10.1007/0-387-30528-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computeralgebra ent://SD_ILS/0/SD_ILS:180908 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Kaplan, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137968">http://dx.doi.org/10.1007/b137968</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modular Algorithms in Symbolic Summation and Symbolic Integration ent://SD_ILS/0/SD_ILS:182263 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Gerhard, J&uuml;rgen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104035">http://dx.doi.org/10.1007/b104035</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sequences and Their Applications - SETA 2004 Third International Conference, Seoul, Korea, October 24-28, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:183113 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Helleseth, Tor. editor.&#160;Sarwate, Dilip. editor.&#160;Song, Hong-Yeop. editor.&#160;Yang, Kyeongcheol. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136167">http://dx.doi.org/10.1007/b136167</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:183031 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Fiadeiro, Jos&eacute; Luiz. editor.&#160;Mosses, Peter D. editor.&#160;Orejas, Fernando. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b107129">http://dx.doi.org/10.1007/b107129</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cognitive Engineering A Distributed Approach to Machine Intelligence ent://SD_ILS/0/SD_ILS:175332 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Konar, Amit. author.&#160;Jain, Lakhmi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-234-9">http://dx.doi.org/10.1007/1-84628-234-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182962 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Fiadeiro, Jos&eacute; Luiz. editor.&#160;Harman, Neil. editor.&#160;Roggenbach, Markus. editor.&#160;Rutten, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11548133">http://dx.doi.org/10.1007/11548133</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Getting Started with MuPAD ent://SD_ILS/0/SD_ILS:181827 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Majewski, Miroslaw. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-28675-6">http://dx.doi.org/10.1007/3-540-28675-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Encryption Standard &ndash; AES 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:182926 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Dobbertin, Hans. editor.&#160;Rijmen, Vincent. editor.&#160;Sowa, Aleksandra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137765">http://dx.doi.org/10.1007/b137765</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183134 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Ganzha, Victor G. editor.&#160;Mayr, Ernst W. editor.&#160;Vorozhtsov, Evgenii V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11555964">http://dx.doi.org/10.1007/11555964</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22&ndash;27, 2004, Toulouse, France ent://SD_ILS/0/SD_ILS:165006 2024-11-03T07:55:53Z 2024-11-03T07:55:53Z Author&#160;Ng, Michael K. editor.&#160;Doncescu, Andrei. editor.&#160;Yang, Laurence T. editor.&#160;Leng, Tau. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104300">http://dx.doi.org/10.1007/b104300</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>