Search Results for Algebra--Data processing. - Narrowed by: Electronic Library
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAlgebra--Data$002bprocessing.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026ps$003d300?
2024-10-31T11:17:12Z
Data Science and Predictive Analytics Biomedical and Health Applications using R
ent://SD_ILS/0/SD_ILS:520211
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Dinov, Ivo D. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520211.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-17483-4">https://doi.org/10.1007/978-3-031-17483-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic of Finite Fields 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400306
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Budaghyan, Lilya. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05153-2">https://doi.org/10.1007/978-3-030-05153-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519004
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Sano, Kentaro. editor. Soudris, Dimitrios. editor. Hübner, Michael. editor. Diniz, Pedro C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519004.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16214-0">https://doi.org/10.1007/978-3-319-16214-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning for Audio, Image and Video Analysis Theory and Applications
ent://SD_ILS/0/SD_ILS:518369
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Camastra, Francesco. author. Vinciarelli, Alessandro. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518369.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6735-8">https://doi.org/10.1007/978-1-4471-6735-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Probabilistic Group Theory, Combinatorics, and Computing Lectures from the Fifth de Brún Workshop
ent://SD_ILS/0/SD_ILS:331066
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Detinko, Alla. editor. Flannery, Dane. editor. O'Brien, Eamonn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331066.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4814-2">http://dx.doi.org/10.1007/978-1-4471-4814-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Polyhedral and Algebraic Methods in Computational Geometry
ent://SD_ILS/0/SD_ILS:331067
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Joswig, Michael. author. Theobald, Thorsten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331067.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4817-3">http://dx.doi.org/10.1007/978-1-4471-4817-3</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334112.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Didimo, Walter. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334284.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective
ent://SD_ILS/0/SD_ILS:334558
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Chan, Chi-kong. author. Leung, Ho-fung. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334558.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38215-4">http://dx.doi.org/10.1007/978-3-642-38215-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334702
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Hasegawa, Masahito. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334702.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334781
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE(334781.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39320-4">http://dx.doi.org/10.1007/978-3-642-39320-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334875
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334875.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39992-3">http://dx.doi.org/10.1007/978-3-642-39992-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334877
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334877.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39998-5">http://dx.doi.org/10.1007/978-3-642-39998-5</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334910.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334985.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334987.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334992.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335032
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335032.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335202.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Symmetry and Pattern in Projective Geometry
ent://SD_ILS/0/SD_ILS:331029
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Lord, Eric. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331029.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4631-5">http://dx.doi.org/10.1007/978-1-4471-4631-5</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332910.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Attacks on Public-Key Cryptosystems
ent://SD_ILS/0/SD_ILS:330828
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Yan, Song Y. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330828.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332982
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332982.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03545-1">http://dx.doi.org/10.1007/978-3-319-03545-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Quantum Field Theory Integration, Summation and Special Functions
ent://SD_ILS/0/SD_ILS:335343
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Schneider, Carsten. editor. Blümlein, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335343.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7091-1616-6">http://dx.doi.org/10.1007/978-3-7091-1616-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, Analysis and Test of Logic Circuits Under Uncertainty
ent://SD_ILS/0/SD_ILS:335669
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335669.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196333
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Marx, Dániel. editor. Rossmanith, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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. Proceedings
ent://SD_ILS/0/SD_ILS:196979
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author 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/>
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197066
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31374-5">http://dx.doi.org/10.1007/978-3-642-31374-5</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Gilbert, David. editor. Heiner, Monika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Kreveld, Marc. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:197120
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Bordihn, Henning. editor. Kutrib, Martin. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31644-9">http://dx.doi.org/10.1007/978-3-642-31644-9</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Özbudak, Ferruh. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Grammar 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197170
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Groote, Philippe. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32024-8">http://dx.doi.org/10.1007/978-3-642-32024-8</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Research in Cryptology 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197481
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Armknecht, Frederik. editor. Lucks, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34159-5">http://dx.doi.org/10.1007/978-3-642-34159-5</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Hawblitzel, Chris. editor. Miller, Dale. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Baldoni, Roberto. editor. Flocchini, Paola. editor. Binoy, Ravindran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author 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/>
Low Rank Approximation Algorithms, Implementation, Applications
ent://SD_ILS/0/SD_ILS:173394
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Markovsky, Ivan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2227-2">http://dx.doi.org/10.1007/978-1-4471-2227-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sets, Logic and Maths for Computing
ent://SD_ILS/0/SD_ILS:173460
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Makinson, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2500-6">http://dx.doi.org/10.1007/978-1-4471-2500-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Computational Geometry Processing Foundations, Algorithms, and Methods
ent://SD_ILS/0/SD_ILS:173534
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Bærentzen, Jakob Andreas. author. Gravesen, Jens. author. Anton, François. author. Aanæs, Henrik. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4075-7">http://dx.doi.org/10.1007/978-1-4471-4075-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Computational Ontologies in Contexts Formal Models of Knowledge Representation with Membership Degree and Typicality of Objects, and Their Applications
ent://SD_ILS/0/SD_ILS:195948
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Cai, Yi. author. Au Yeung, Ching-man. author. Leung, Ho-fung. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25456-7">http://dx.doi.org/10.1007/978-3-642-25456-7</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Horimoto, Katsuhisa. editor. Nakatsui, Masahiko. editor. Popov, Nikolaj. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Ong, Luke. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Loewy Decomposition of Linear Differential Equations
ent://SD_ILS/0/SD_ILS:197828
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Schwarz, Fritz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7091-1286-1">http://dx.doi.org/10.1007/978-3-7091-1286-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigorous Software Development An Introduction to Program Verification
ent://SD_ILS/0/SD_ILS:168395
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Brandes, Ulrik. editor. Cornelsen, Sabine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Katoh, Naoki. editor. Kumar, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author 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/>
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194483
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Mariño, Julio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20775-4">http://dx.doi.org/10.1007/978-3-642-20775-4</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Beklemishev, Lev D. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
ent://SD_ILS/0/SD_ILS:195055
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Kuchen, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22531-4">http://dx.doi.org/10.1007/978-3-642-22531-4</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author 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/>
Comparative Genomics International Workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193212
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Tannier, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194281
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Groote, Philippe. editor. Egg, Markus. editor. Kallmeyer, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20169-1">http://dx.doi.org/10.1007/978-3-642-20169-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Geometric Algebra in Practice
ent://SD_ILS/0/SD_ILS:168602
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Dorst, Leo. editor. Lasenby, Joan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-811-9">http://dx.doi.org/10.1007/978-0-85729-811-9</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194581
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Swart, Harrie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194785
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21691-6">http://dx.doi.org/10.1007/978-3-642-21691-6</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195189
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Corradini, Andrea. editor. Klin, Bartek. editor. Cîrstea, Corina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22944-2">http://dx.doi.org/10.1007/978-3-642-22944-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195273
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23211-4">http://dx.doi.org/10.1007/978-3-642-23211-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
ent://SD_ILS/0/SD_ILS:195145
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Kaiser, Łukasz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22807-0">http://dx.doi.org/10.1007/978-3-642-22807-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Game Start! Strumenti per comprendere i videogiochi
ent://SD_ILS/0/SD_ILS:204562
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Alinovi, Francesco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Winkler, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195554
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24130-7">http://dx.doi.org/10.1007/978-3-642-24130-7</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Schreck, Pascal. editor. Narboux, Julien. editor. Richter-Gebert, Jürgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Jouannaud, Jean-Pierre. editor. Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Fernàndez Anta, Antonio. editor. Lipari, Giuseppe. editor. Roy, Matthieu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization—Theory and Practice
ent://SD_ILS/0/SD_ILS:167641
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Forst, Wilhelm. author. Hoffmann, Dieter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-78977-4">http://dx.doi.org/10.1007/978-0-387-78977-4</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Eppstein, David. editor. Gansner, Emden R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Janhunen, Tomi. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Raman, Venkatesh. editor. Saurabh, Saket. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Involution The Formal Theory of Differential Equations and its Applications in Computer Algebra
ent://SD_ILS/0/SD_ILS:189943
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Seiler, Werner M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01287-7">http://dx.doi.org/10.1007/978-3-642-01287-7</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Hasan, M. Anwar. editor. Helleseth, Tor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Dawar, Anuj. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192614
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14322-9">http://dx.doi.org/10.1007/978-3-642-14322-9</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Hanrot, Guillaume. editor. Morain, François. editor. Thomé, Emmanuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Wu, Weili. editor. Daescu, Ovidiu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Wu, Weili. editor. Daescu, Ovidiu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptology and Network Security 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193656
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Heng, Swee-Huay. editor. Wright, Rebecca N. editor. Goi, Bok-Min. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17619-7">http://dx.doi.org/10.1007/978-3-642-17619-7</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Lu, Chenyang. editor. Masuzawa, Toshimitsu. editor. Mosbah, Mohamed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematica®: A Problem-Centered Approach
ent://SD_ILS/0/SD_ILS:176199
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Hazrat, Roozbeh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Approximate Commutative Algebra
ent://SD_ILS/0/SD_ILS:177143
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Robbiano, Lorenzo. editor. Abbott, John S C (John Stevens Cabot), 1805-1877 editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-211-99314-9">http://dx.doi.org/10.1007/978-3-211-99314-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Combinatorial Mathematics Proceedings of the Waterloo Workshop in Computer Algebra 2008
ent://SD_ILS/0/SD_ILS:190662
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Kotsireas, Ilias S. editor. Zima, Eugene V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03562-3">http://dx.doi.org/10.1007/978-3-642-03562-3</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Paul, Christophe. editor. Habib, Michel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Rahman, Md. Saidur. editor. Fujita, Satoshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Maple Règles et fonctions essentielles
ent://SD_ILS/0/SD_ILS:176404
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Puech, Nicolas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189555
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Nielsen, Mogens. editor. Kučera, Antonín. editor. Miltersen, Peter Bro. editor. Palamidessi, Catuscia. editor. Tůma, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-95891-8">http://dx.doi.org/10.1007/978-3-540-95891-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190323
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Berardi, Stefano. editor. Damiani, Ferruccio. editor. de’Liguoro, Ugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02444-3">http://dx.doi.org/10.1007/978-3-642-02444-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190473
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Wen, Peng. editor. Li, Yuefeng. editor. Polkowski, Lech. editor. Yao, Yiyu. editor. Tsumoto, Shusaku. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02962-2">http://dx.doi.org/10.1007/978-3-642-02962-2</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Diekert, Volker. editor. Nowotka, Dirk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptography and Coding 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191500
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Parker, Matthew G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10868-6">http://dx.doi.org/10.1007/978-3-642-10868-6</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Chen, Jianer. editor. Fomin, Fedor V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Dinur, Irit. editor. Jansen, Klaus. editor. Naor, Joseph. editor. Rolim, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190723
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Kurz, Alexander. editor. Lenisa, Marina. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03741-2">http://dx.doi.org/10.1007/978-3-642-03741-2</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks Third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009, Proceedings
ent://SD_ILS/0/SD_ILS:190785
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Markowitch, Olivier. editor. Bilas, Angelos. editor. Hoepman, Jaap-Henk. editor. Mitchell, Chris J. editor. Quisquater, Jean-Jacques. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03944-7">http://dx.doi.org/10.1007/978-3-642-03944-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190814
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04027-6">http://dx.doi.org/10.1007/978-3-642-04027-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
String Processing and Information Retrieval 16th International Symposium, SPIRE 2009 Saariselkä, Finland, August 25-27, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190736
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Karlgren, Jussi. editor. Tarhio, Jorma. editor. Hyyrö, Heikki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Bilinear Control Systems Matrices in Action
ent://SD_ILS/0/SD_ILS:170590
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Elliott, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1023/b101451">http://dx.doi.org/10.1023/b101451</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Methods in Counterterrorism
ent://SD_ILS/0/SD_ILS:176808
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Memon, Nasrullah. editor. David Farley, Jonathan. editor. Hicks, David L. editor. Rosenorn, Torben. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-211-09442-6">http://dx.doi.org/10.1007/978-3-211-09442-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189435
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92687-0">http://dx.doi.org/10.1007/978-3-540-92687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190272
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Curien, Pierre-Louis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02273-9">http://dx.doi.org/10.1007/978-3-642-02273-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190296
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Treinen, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02348-4">http://dx.doi.org/10.1007/978-3-642-02348-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 18th International Symposium, AAECC-18 2009, Tarragona, Spain, June 8-12, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190242
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Bras-Amorós, Maria. editor. Høholdt, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02181-7">http://dx.doi.org/10.1007/978-3-642-02181-7</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Dunkelman, Orr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Leucker, Martin. editor. Morgan, Carroll. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Rossi, Francesca. editor. Tsoukias, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Ciccarelli, Francesca D. editor. Miklós, István. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms
ent://SD_ILS/0/SD_ILS:175968
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Gomes, Abel J. P. editor. Voiculescu, Irina. editor. Jorge, Joaquim. editor. Wyvill, Brian. editor. Galbraith, Callum. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-406-5">http://dx.doi.org/10.1007/978-1-84882-406-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189848
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Dediu, Adrian Horia. editor. Ionescu, Armand Mihai. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00982-2">http://dx.doi.org/10.1007/978-3-642-00982-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190376
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Carette, Jacques. editor. Dixon, Lucas. editor. Coen, Claudio Sacerdoti. editor. Watt, Stephen M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02614-0">http://dx.doi.org/10.1007/978-3-642-02614-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pairing-Based Cryptography – Pairing 2009 Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190581
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Shacham, Hovav. editor. Waters, Brent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Gerdt, Vladimir P. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Clavier, Christophe. editor. Gaj, Kris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Selected Areas in Cryptography 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190855
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Avanzi, Roberto Maria. editor. Keliher, Liam. editor. Sica, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04159-4">http://dx.doi.org/10.1007/978-3-642-04159-4</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191011
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Berghammer, Rudolf. editor. Jaoua, Ali Mohamed. editor. Möller, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04639-1">http://dx.doi.org/10.1007/978-3-642-04639-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Provable Security Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191012
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Pieprzyk, Josef. editor. Zhang, Fangguo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04642-1">http://dx.doi.org/10.1007/978-3-642-04642-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191090
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04893-7">http://dx.doi.org/10.1007/978-3-642-04893-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Selected Areas in Cryptography 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191273
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Jacobson, Michael J. editor. Rijmen, Vincent. editor. Safavi-Naini, Reihaneh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05445-7">http://dx.doi.org/10.1007/978-3-642-05445-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Algorithms 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191301
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Fiala, Jiří. editor. Kratochvíl, Jan. editor. Miller, Mirka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages An Active Learning Approach
ent://SD_ILS/0/SD_ILS:167677
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Lee, Kent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-79421-1">http://dx.doi.org/10.1007/978-0-387-79421-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185352
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Miculan, Marino. editor. Scagnetto, Ivan. editor. Honsell, Furio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68103-8">http://dx.doi.org/10.1007/978-3-540-68103-8</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186001
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70590-1">http://dx.doi.org/10.1007/978-3-540-70590-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rational Algebraic Curves A Computer Algebra Approach
ent://SD_ILS/0/SD_ILS:186943
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Sendra, J. Rafael. author. Winkler, Franz. author. Pérez-Díaz, Sonia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73725-4">http://dx.doi.org/10.1007/978-3-540-73725-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms in Invariant Theory
ent://SD_ILS/0/SD_ILS:177066
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Sturmfels, Bernd. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-211-77417-5">http://dx.doi.org/10.1007/978-3-211-77417-5</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Gathen, Joachim. editor. Imaña, José Luis. editor. Koç, Çetin Kaya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Singular Introduction to Commutative Algebra
ent://SD_ILS/0/SD_ILS:186888
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Greuel, Gert-Martin. author. Pfister, Gerhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73542-7">http://dx.doi.org/10.1007/978-3-540-73542-7</a><br/>Format: Electronic Resources<br/>Availability 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örth, Germany, April 7-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188275
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Poorten, Alfred J. editor. Stein, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Ito, Masami. editor. Toyama, Masafumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Golomb, Solomon W. editor. Parker, Matthew G. editor. Pott, Alexander. editor. Winterhof, Arne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188822
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Teixeira, António. editor. Lima, Vera Lúcia Strube. editor. Oliveira, Luís Caldas. editor. Quaresma, Paulo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85980-2">http://dx.doi.org/10.1007/978-3-540-85980-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coding Theory and Applications Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188850
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Barbero, Ángela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87448-5">http://dx.doi.org/10.1007/978-3-540-87448-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamic Brain - from Neural Spikes to Behaviors 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures
ent://SD_ILS/0/SD_ILS:189148
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Marinaro, Maria. editor. Scarpetta, Silvia. editor. Yamaguchi, Yoko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88853-6">http://dx.doi.org/10.1007/978-3-540-88853-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sets, Logic and Maths for Computing
ent://SD_ILS/0/SD_ILS:175593
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Makinson, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-845-6">http://dx.doi.org/10.1007/978-1-84628-845-6</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Horimoto, Katsuhisa. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. Yoshida, Hiroshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188596
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Autexier, Serge. editor. Campbell, John. editor. Rubio, Julio. editor. Sorge, Volker. editor. Suzuki, Masakazu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85110-3">http://dx.doi.org/10.1007/978-3-540-85110-3</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Hertling, Peter. editor. Hoffmann, Christoph M. editor. Luther, Wolfram. editor. Revol, Nathalie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Pairing-Based Cryptography – Pairing 2008 Second International Conference, Egham, UK, September 1-3, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188716
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Galbraith, Steven D. editor. Paterson, Kenneth G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author 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/>
Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:188917
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Kapur, Deepak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87827-8">http://dx.doi.org/10.1007/978-3-540-87827-8</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Nelson, Craig E. editor. Vialette, Stéphane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
ent://SD_ILS/0/SD_ILS:189027
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Martín-Vide, Carlos. editor. Otto, Friedrich. editor. Fernau, Henning. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88282-4">http://dx.doi.org/10.1007/978-3-540-88282-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research in Cryptology Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189035
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Lucks, Stefan. editor. Sadeghi, Ahmad-Reza. editor. Wolf, Christopher. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88353-1">http://dx.doi.org/10.1007/978-3-540-88353-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189113
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Baek, Joonsang. editor. Bao, Feng. editor. Chen, Kefei. editor. Lai, Xuejia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88733-1">http://dx.doi.org/10.1007/978-3-540-88733-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cours d’optique Simulations et exercices résolus avec Maple®, Matlab®, Mathematica®, Mathcad®
ent://SD_ILS/0/SD_ILS:176409
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Möller, Karl D. author. Bélorgoet, Claude. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-2-287-48620-3">http://dx.doi.org/10.1007/978-2-287-48620-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Topology and Classification of 3-Manifolds
ent://SD_ILS/0/SD_ILS:184868
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Matveev, Sergei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-45899-9">http://dx.doi.org/10.1007/978-3-540-45899-9</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Carlet, Claude. editor. Sunar, Berk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186775
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Harju, Tero. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73208-2">http://dx.doi.org/10.1007/978-3-540-73208-2</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Anai, Hirokazu. editor. Horimoto, Katsuhisa. editor. Kutsia, Temur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186856
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Baader, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73449-9">http://dx.doi.org/10.1007/978-3-540-73449-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pairing-Based Cryptography – Pairing 2007 First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186868
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Takagi, Tsuyoshi. editor. Okamoto, Tatsuaki. editor. Okamoto, Eiji. editor. Okamoto, Takeshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186985
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Martin, Ralph. editor. Sabin, Malcolm. editor. Winkler, Joab. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73843-5">http://dx.doi.org/10.1007/978-3-540-73843-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187166
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Altenkirch, Thorsten. editor. McBride, Conor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74464-1">http://dx.doi.org/10.1007/978-3-540-74464-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra Recipes An Advanced Guide to Scientific Modeling
ent://SD_ILS/0/SD_ILS:166466
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Max-Plus Linear Stochastic Systems and Perturbation Analysis
ent://SD_ILS/0/SD_ILS:166256
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Heidergott, Bernd. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-38995-0">http://dx.doi.org/10.1007/978-0-387-38995-0</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Distributed Systems
ent://SD_ILS/0/SD_ILS:187012
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Fokkink, Wan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Boztaş, Serdar. editor. Lu, Hsiao-Feng (Francis). editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Robots
ent://SD_ILS/0/SD_ILS:169089
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Merlet, J. -P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4133-0">http://dx.doi.org/10.1007/1-4020-4133-0</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184249
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Ibarra, Oscar H. editor. Dang, Zhe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11779148">http://dx.doi.org/10.1007/11779148</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Hess, Florian. editor. Pauli, Sebastian. editor. Pohst, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11792086">http://dx.doi.org/10.1007/11792086</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discovering Mathematics with Magma Reducing the Abstract to the Concrete
ent://SD_ILS/0/SD_ILS:184568
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Bosma, Wieb. editor. Cannon, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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–September 2, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184643
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11828563">http://dx.doi.org/10.1007/11828563</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy
ent://SD_ILS/0/SD_ILS:184649
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Kohlhase, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11826095">http://dx.doi.org/10.1007/11826095</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11832225">http://dx.doi.org/10.1007/11832225</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184750
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Calmet, Jacques. editor. Ida, Tetsuo. editor. Wang, Dongming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11856290">http://dx.doi.org/10.1007/11856290</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184826
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11870814">http://dx.doi.org/10.1007/11870814</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
ent://SD_ILS/0/SD_ILS:185743
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Swart, Harrie. editor. Orłowska, Ewa. editor. Schmidt, Gunther. editor. Roubens, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11964810">http://dx.doi.org/10.1007/11964810</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematica GuideBook for Symbolics
ent://SD_ILS/0/SD_ILS:165565
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Trott, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Continuous System Simulation
ent://SD_ILS/0/SD_ILS:165710
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Cellier, François E. author. Kofman, Ernesto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-30260-3">http://dx.doi.org/10.1007/0-387-30260-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Optimization From Theory to Implementation
ent://SD_ILS/0/SD_ILS:165746
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Liberti, Leo. editor. Maculan, Nelson. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science
ent://SD_ILS/0/SD_ILS:165808
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computeralgebra Eine algorithmisch orientierte Einführung
ent://SD_ILS/0/SD_ILS:182169
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Koepf, Wolfram. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Algebraic Graph Transformation
ent://SD_ILS/0/SD_ILS:182540
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Ehrig, Hartmut. author. Ehrig, Karsten. author. Prange, Ulrike. author. Taentzer, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-31188-2">http://dx.doi.org/10.1007/3-540-31188-2</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Fossorier, Marc P. C. editor. Imai, Hideki. editor. Lin, Shu. editor. Poli, Alain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11617983">http://dx.doi.org/10.1007/11617983</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182627
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Filliâtre, Jean-Christophe. editor. Paulin-Mohring, Christine. editor. Werner, Benjamin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11617990">http://dx.doi.org/10.1007/11617990</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms in Real Algebraic Geometry
ent://SD_ILS/0/SD_ILS:183619
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Basu, Saugata. author. Pollack, Richard. author. Roy, Marie-Françoise. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-33099-2">http://dx.doi.org/10.1007/3-540-33099-2</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Johnson, Michael. editor. Vene, Varmo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11784180">http://dx.doi.org/10.1007/11784180</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing in Algebraic Geometry A Quick Start using SINGULAR
ent://SD_ILS/0/SD_ILS:181914
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Decker, Wolfram. author. Lossen, Christoph. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184447
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11805618">http://dx.doi.org/10.1007/11805618</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sequences and Their Applications – SETA 2006 4th International Conference Beijing, China, September 24-28, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184780
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Gong, Guang. editor. Helleseth, Tor. editor. Song, Hong-Yeop. editor. Yang, Kyeongcheol. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11863854">http://dx.doi.org/10.1007/11863854</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Graphics and Geometric Modeling Implementation and Algorithms
ent://SD_ILS/0/SD_ILS:175238
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Agoston, Max K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138805">http://dx.doi.org/10.1007/b138805</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Graphics and Geometric Modeling Mathematics
ent://SD_ILS/0/SD_ILS:175250
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Agoston, Max K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138899">http://dx.doi.org/10.1007/b138899</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modular Algorithms in Symbolic Summation and Symbolic Integration
ent://SD_ILS/0/SD_ILS:182263
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Gerhard, Jürgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104035">http://dx.doi.org/10.1007/b104035</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Fiadeiro, José Luiz. editor. Mosses, Peter D. editor. Orejas, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107129">http://dx.doi.org/10.1007/b107129</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitive Engineering A Distributed Approach to Machine Intelligence
ent://SD_ILS/0/SD_ILS:175332
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Konar, Amit. author. Jain, Lakhmi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Using Algebraic Geometry
ent://SD_ILS/0/SD_ILS:165331
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Cox, David A. author. Little, John. author. O’shea, Donal. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138611">http://dx.doi.org/10.1007/b138611</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computeralgebra
ent://SD_ILS/0/SD_ILS:180908
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Kaplan, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137968">http://dx.doi.org/10.1007/b137968</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Commutative Algebra 2
ent://SD_ILS/0/SD_ILS:181702
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Kreuzer, Martin. author. Robbiano, Lorenzo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28296-3">http://dx.doi.org/10.1007/3-540-28296-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Surfaces XI 11th IMA International Conference, Loughborough, UK, September 5-7, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182921
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Martin, Ralph. editor. Bez, Helmut. editor. Sabin, Malcolm. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11537908">http://dx.doi.org/10.1007/11537908</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Encryption Standard – 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Dobbertin, Hans. editor. Rijmen, Vincent. editor. Sowa, Aleksandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137765">http://dx.doi.org/10.1007/b137765</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11548133">http://dx.doi.org/10.1007/11548133</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183098
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Giesl, Jürgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135673">http://dx.doi.org/10.1007/b135673</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183106
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Jermann, Christophe. editor. Neumaier, Arnold. editor. Sam, Djamila. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136292">http://dx.doi.org/10.1007/b136292</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Helleseth, Tor. editor. Sarwate, Dilip. editor. Song, Hong-Yeop. editor. Yang, Kyeongcheol. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136167">http://dx.doi.org/10.1007/b136167</a><br/>Format: Electronic Resources<br/>Availability 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-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11555964">http://dx.doi.org/10.1007/11555964</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Getting Started with MuPAD
ent://SD_ILS/0/SD_ILS:181827
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Majewski, Miroslaw. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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–27, 2004, Toulouse, France
ent://SD_ILS/0/SD_ILS:165006
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Ng, Michael K. editor. Doncescu, Andrei. editor. Yang, Laurence T. editor. Leng, Tau. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104300">http://dx.doi.org/10.1007/b104300</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic Integration I Transcendental Functions
ent://SD_ILS/0/SD_ILS:181026
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Bronstein, Manuel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138171">http://dx.doi.org/10.1007/b138171</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Solving Polynomial Equations Foundations, Algorithms, and Applications
ent://SD_ILS/0/SD_ILS:181358
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Bronstein, Manuel. editor. Cohen, Arjeh M. editor. Cohen, Henri. editor. Eisenbud, David. editor. Sturmfels, Bernd. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138957">http://dx.doi.org/10.1007/b138957</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Maple animation
ent://SD_ILS/0/SD_ILS:289206
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Putz, John F.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203503133">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Maple book
ent://SD_ILS/0/SD_ILS:287563
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Garvan, Frank (Frank G.), 1955- Garvan, Frank (Frank G.), 1955-. Maple V primer.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420035605">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Statistical pattern recognition
ent://SD_ILS/0/SD_ILS:318818
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Webb, A. R. (Andrew R.)<br/>Preferred Shelf Number ONLINE(318818.1)<br/>Electronic Access <a href="http://www.contentreserve.com/TitleInfo.asp?ID={11C27669-C0A9-4AEF-AD05-78630FC70D87}&Format=50">Click for information</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=158121">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=158121</a>
ebrary <a href="http://site.ebrary.com/id/10307938">http://site.ebrary.com/id/10307938</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=83749">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=83749</a>
Google <a href="http://books.google.com/books?id=Gok-AQAAIAAJ">http://books.google.com/books?id=Gok-AQAAIAAJ</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of abstract algebra with Maple
ent://SD_ILS/0/SD_ILS:289612
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Klima, Richard E. Sigmon, Neil. Stitzinger, Ernest.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420049930">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic Methods in Control System Analysis and Design
ent://SD_ILS/0/SD_ILS:247709
2024-10-31T11:17:12Z
2024-10-31T11:17:12Z
Author Munro, Neil, ed.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1049/PBCE056E">http://dx.doi.org/10.1049/PBCE056E</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>