Search Results for Algebra. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAlgebra.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026te$003dILS$0026ps$003d300?dt=list
2025-01-04T12:38:02Z
Foundations of Geometric Algebra Computing
ent://SD_ILS/0/SD_ILS:333490
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Hildenbrand, Dietmar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333490.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31794-1">http://dx.doi.org/10.1007/978-3-642-31794-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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Geometric Algebra with Applications in Engineering
ent://SD_ILS/0/SD_ILS:189193
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Perwass, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89068-3">http://dx.doi.org/10.1007/978-3-540-89068-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Modern Algebra of Information Retrieval
ent://SD_ILS/0/SD_ILS:187939
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Dominich, Sándor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77659-8">http://dx.doi.org/10.1007/978-3-540-77659-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geometric Algebra for Computer Graphics
ent://SD_ILS/0/SD_ILS:175663
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-997-2">http://dx.doi.org/10.1007/978-1-84628-997-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematik für Informatiker Algebra, Analysis, Diskrete Strukturen
ent://SD_ILS/0/SD_ILS:189206
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Kreußler, Bernd. 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-89107-9">http://dx.doi.org/10.1007/978-3-540-89107-9</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Diskrete Strukturen Band 1: Kombinatorik, Graphentheorie, Algebra
ent://SD_ILS/0/SD_ILS:184981
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Steger, Angelika. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-46664-2">http://dx.doi.org/10.1007/978-3-540-46664-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483738
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26831-2">https://doi.org/10.1007/978-3-030-26831-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399984
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99639-4">https://doi.org/10.1007/978-3-319-99639-4</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Mathematik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra
ent://SD_ILS/0/SD_ILS:337312
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337312.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37972-7">http://dx.doi.org/10.1007/978-3-642-37972-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lineare Algebra für die Informatik Vektorräume, Gleichungssysteme, Codierung, Quantenalgorithmen
ent://SD_ILS/0/SD_ILS:337446
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Witt, Kurt-Ulrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337446.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-00189-6">http://dx.doi.org/10.1007/978-3-658-00189-6</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Algebra und Diskrete Mathematik 1 Grundbegriffe der Mathematik, Algebraische Strukturen 1, Lineare Algebra und Analytische Geometrie, Numerische Algebra und Kombinatorik
ent://SD_ILS/0/SD_ILS:194046
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Lau, Dietlinde. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19443-6">http://dx.doi.org/10.1007/978-3-642-19443-6</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Übungsbuch zur Linearen Algebra und analytischen Geometrie Aufgaben mit Lösungen
ent://SD_ILS/0/SD_ILS:193991
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Lau, Dietlinde. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19278-4">http://dx.doi.org/10.1007/978-3-642-19278-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geometric Algebra Computing in Engineering and Computer Science
ent://SD_ILS/0/SD_ILS:176159
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Bayro-Corrochano, Eduardo. editor. Scheuermann, Gerik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-108-0">http://dx.doi.org/10.1007/978-1-84996-108-0</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Computer Algebra in Scientific Computing 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190837
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Geometric Algebra: An Algebraic System for Computer Games and Animation
ent://SD_ILS/0/SD_ILS:175965
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-379-2">http://dx.doi.org/10.1007/978-1-84882-379-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra
ent://SD_ILS/0/SD_ILS:187870
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77432-7">http://dx.doi.org/10.1007/978-3-540-77432-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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Matrix Algebra Theory, Computations, and Applications in Statistics
ent://SD_ILS/0/SD_ILS:166776
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Gentle, James E. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-70873-7">http://dx.doi.org/10.1007/978-0-387-70873-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra
ent://SD_ILS/0/SD_ILS:186062
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70825-4">http://dx.doi.org/10.1007/978-3-540-70825-4</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Algebra und Diskrete Mathematik 1 Grundbegriffe der Mathematik, Algebraische Strukturen 1, Lineare Algebra und Analytische Geometrie, Numerische Algebra
ent://SD_ILS/0/SD_ILS:186580
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Lau, Dietlinde. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72553-4">http://dx.doi.org/10.1007/978-3-540-72553-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Übungsbuch zur Linearen Algebra und analytischen Geometrie Aufgaben mit Lösungen
ent://SD_ILS/0/SD_ILS:186581
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Lau, Dietlinde. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72554-1">http://dx.doi.org/10.1007/978-3-540-72554-1</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Mathematik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra
ent://SD_ILS/0/SD_ILS:181632
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28067-7">http://dx.doi.org/10.1007/3-540-28067-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:184259
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11780274">http://dx.doi.org/10.1007/11780274</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
ent://SD_ILS/0/SD_ILS:184462
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-36874-8">http://dx.doi.org/10.1007/978-3-540-36874-8</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183180
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Li, Hongbo. editor. Olver, Peter J. editor. Sommer, Gerald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137294">http://dx.doi.org/10.1007/b137294</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183134
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Multiscale Forecasting Models
ent://SD_ILS/0/SD_ILS:400414
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Barba Maggi, Lida Mercedes. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94992-5">https://doi.org/10.1007/978-3-319-94992-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Attacks on Public-Key Cryptosystems
ent://SD_ILS/0/SD_ILS:330828
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334580
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334580.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335032
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Design, Analysis and Test of Logic Circuits Under Uncertainty
ent://SD_ILS/0/SD_ILS:335669
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Introduction to Cryptography with Maple
ent://SD_ILS/0/SD_ILS:333533
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Gómez Pardo, José Luis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333533.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32166-5">http://dx.doi.org/10.1007/978-3-642-32166-5</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334875
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Polyhedral and Algebraic Methods in Computational Geometry
ent://SD_ILS/0/SD_ILS:331067
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Cylindric-like Algebras and Algebraic Logic
ent://SD_ILS/0/SD_ILS:333922
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333922.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35025-2">http://dx.doi.org/10.1007/978-3-642-35025-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:331853
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331853.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5746-6">http://dx.doi.org/10.1007/978-1-4614-5746-6</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334112
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Mathematics and Computation in Music 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334789
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Yust, Jason. editor. Wild, Jonathan. editor. Burgoyne, John Ashley. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334789.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39357-0">http://dx.doi.org/10.1007/978-3-642-39357-0</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Graph Drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196072
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196792
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29892-9">http://dx.doi.org/10.1007/978-3-642-29892-9</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:197120
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197412
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Foundations of Algebraic Specification and Formal Software Development
ent://SD_ILS/0/SD_ILS:193572
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Loewy Decomposition of Linear Differential Equations
ent://SD_ILS/0/SD_ILS:197828
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Sets, Logic and Maths for Computing
ent://SD_ILS/0/SD_ILS:173460
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Game Start! Strumenti per comprendere i videogiochi
ent://SD_ILS/0/SD_ILS:204562
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Graph Drawing 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193907
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
ent://SD_ILS/0/SD_ILS:194531
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Mathematics and Computation in Music Third International Conference, MCM 2011, Paris, France, June 15-17, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194750
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Agon, Carlos. editor. Andreatta, Moreno. editor. Assayag, Gérard. editor. Amiot, Emmanuel. editor. Bresson, Jean. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21590-2">http://dx.doi.org/10.1007/978-3-642-21590-2</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Rigorous Software Development An Introduction to Program Verification
ent://SD_ILS/0/SD_ILS:168395
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
ent://SD_ILS/0/SD_ILS:195782
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Combinatorial Algorithms 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195819
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:196070
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Comparative Genomics International Workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193212
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Patterns in Permutations and Words
ent://SD_ILS/0/SD_ILS:193571
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Kitaev, Sergey. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17333-2">http://dx.doi.org/10.1007/978-3-642-17333-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Algorithms 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193973
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194398
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Valtchev, Petko. editor. Jäschke, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20514-9">http://dx.doi.org/10.1007/978-3-642-20514-9</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
ent://SD_ILS/0/SD_ILS:195055
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
ent://SD_ILS/0/SD_ILS:195145
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Identity-Based Encryption
ent://SD_ILS/0/SD_ILS:173195
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Chatterjee, Sanjit. author. Sarkar, Palash. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9383-0">http://dx.doi.org/10.1007/978-1-4419-9383-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles
ent://SD_ILS/0/SD_ILS:192389
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13606-1">http://dx.doi.org/10.1007/978-3-642-13606-1</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195273
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195554
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Optimization—Theory and Practice
ent://SD_ILS/0/SD_ILS:167641
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Algorithmic Number Theory 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192681
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193048
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Kryptografie in Theorie und Praxis Mathematische Grundlagen für Internetsicherheit, Mobilfunk und elektronisches Geld
ent://SD_ILS/0/SD_ILS:199740
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Beutelspacher, Albrecht. author. Neumann, Heike B. author. Schwarzpaul, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9631-5">http://dx.doi.org/10.1007/978-3-8348-9631-5</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Kryptologie Algebraische Methoden und Algorithmen
ent://SD_ILS/0/SD_ILS:199476
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Karpfinger, Christian. author. Kiechle, Hubert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9356-7">http://dx.doi.org/10.1007/978-3-8348-9356-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Diskrete Mathematik für Einsteiger Mit Anwendungen in Technik und Informatik
ent://SD_ILS/0/SD_ILS:199981
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Beutelspacher, Albrecht. author. Zschiegner, Marc-Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9941-5">http://dx.doi.org/10.1007/978-3-8348-9941-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematica®: A Problem-Centered Approach
ent://SD_ILS/0/SD_ILS:176199
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Graph Drawing 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:191803
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Formal Concept Analysis 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191840
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Kwuida, Léonard. editor. Sertkaya, Barış. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11928-6">http://dx.doi.org/10.1007/978-3-642-11928-6</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193617
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Cryptology and Network Security 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193656
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
A Course in Formal Languages, Automata and Groups
ent://SD_ILS/0/SD_ILS:175863
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Chiswell, Ian M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-940-0">http://dx.doi.org/10.1007/978-1-84800-940-0</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Maple Règles et fonctions essentielles
ent://SD_ILS/0/SD_ILS:176404
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Mathematical Methods in Counterterrorism
ent://SD_ILS/0/SD_ILS:176808
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
From Combinatorics to Philosophy
ent://SD_ILS/0/SD_ILS:167903
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Damiani, Ernesto. editor. D’Antona, Ottavio. editor. Marra, Vincenzo. editor. Palombi, Fabrizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-88753-1">http://dx.doi.org/10.1007/978-0-387-88753-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Gröbner Bases, Coding, and Cryptography
ent://SD_ILS/0/SD_ILS:189513
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Sala, Massimiliano. editor. Sakata, Shojiro. editor. Mora, Teo. editor. Traverso, Carlo. editor. Perret, Ludovic. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-93806-4">http://dx.doi.org/10.1007/978-3-540-93806-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Rubato Composer Music Software Component-Based Implementation of a Functorial Concept Architecture
ent://SD_ILS/0/SD_ILS:189593
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Milmeister, Gérard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00148-2">http://dx.doi.org/10.1007/978-3-642-00148-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190130
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Ferré, Sébastien. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01815-2">http://dx.doi.org/10.1007/978-3-642-01815-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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Developments in Language Theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190414
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Pairing-Based Cryptography – Pairing 2009 Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190581
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Fast Software Encryption 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190589
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Advances in Cryptology - CRYPTO 2009 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190600
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Halevi, Shai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03356-8">http://dx.doi.org/10.1007/978-3-642-03356-8</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
ent://SD_ILS/0/SD_ILS:170432
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9084-4">http://dx.doi.org/10.1007/978-1-4020-9084-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Flow, Gesture, and Spaces in Free Jazz Towards a Theory of Collaboration
ent://SD_ILS/0/SD_ILS:189401
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Mazzola, Guerino B. author. Cherlin, Paul B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92195-0">http://dx.doi.org/10.1007/978-3-540-92195-0</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Algorithmic Algebraic Combinatorics and Gröbner Bases
ent://SD_ILS/0/SD_ILS:190174
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Klin, Mikhail. editor. Jones, Gareth A. editor. Jurišić, Aleksandar. editor. Muzychuk, Mikhail. editor. Ponomarenko, Ilia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01960-9">http://dx.doi.org/10.1007/978-3-642-01960-9</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Mathematics and Computation in Music Second International Conference, MCM 2009, John Clough Memorial Conference New Haven, CT, USA, June 19-22, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190309
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Chew, Elaine. editor. Childs, Adrian. editor. Chuan, Ching-Hua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02394-1">http://dx.doi.org/10.1007/978-3-642-02394-1</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190636
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
String Processing and Information Retrieval 16th International Symposium, SPIRE 2009 Saariselkä, Finland, August 25-27, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190736
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Cryptographic Hardware and Embedded Systems - CHES 2009 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190848
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Mathematics and Computation in Music First International Conference, MCM 2007 Berlin, Germany, May 18–20, 2007 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190992
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Klouche, Timour. editor. Noll, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04579-0">http://dx.doi.org/10.1007/978-3-642-04579-0</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Provable Security Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191012
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Comparative Genomics International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191044
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191090
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
The q-theory of Finite Semigroups
ent://SD_ILS/0/SD_ILS:164790
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Rhodes, John. author. Steinberg, Benjamin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104443">http://dx.doi.org/10.1007/b104443</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computability of Julia Sets
ent://SD_ILS/0/SD_ILS:185503
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Braverman, Mark. author. Yampolsky, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68547-0">http://dx.doi.org/10.1007/978-3-540-68547-0</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Stochastic Coalgebraic Logic
ent://SD_ILS/0/SD_ILS:190484
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Doberkat, Ernst-Erich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02995-0">http://dx.doi.org/10.1007/978-3-642-02995-0</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Programming Languages An Active Learning Approach
ent://SD_ILS/0/SD_ILS:167677
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Sets, Logic and Maths for Computing
ent://SD_ILS/0/SD_ILS:175593
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Algorithms in Invariant Theory
ent://SD_ILS/0/SD_ILS:177066
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188042
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Medina, Raoul. editor. Obiedkov, Sergei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78137-0">http://dx.doi.org/10.1007/978-3-540-78137-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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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 Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188592
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188773
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:188917
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189113
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186001
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Arithmetic of Finite Fields 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185849
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:185554
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Multiaccess, Reservations & Queues
ent://SD_ILS/0/SD_ILS:185782
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Denteneer, Dee. author. Leeuwaarden, Johan S. H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69317-8">http://dx.doi.org/10.1007/978-3-540-69317-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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186092
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70901-5">http://dx.doi.org/10.1007/978-3-540-70901-5</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186850
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186985
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Modelling Distributed Systems
ent://SD_ILS/0/SD_ILS:187012
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Binary Quadratic Forms An Algorithmic Approach
ent://SD_ILS/0/SD_ILS:184937
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Buchmann, Johannes. author. Vollmer, Ulrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-46368-9">http://dx.doi.org/10.1007/978-3-540-46368-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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Quantum Computation and Quantum Communication Theory and Experiments
ent://SD_ILS/0/SD_ILS:165577
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Pavičić, Mladen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-28900-7">http://dx.doi.org/10.1007/978-0-387-28900-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematica GuideBook for Symbolics
ent://SD_ILS/0/SD_ILS:165565
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
M-Solid Varieties of Algebras
ent://SD_ILS/0/SD_ILS:165762
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Koppitz, J. author. Denecke, K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-30806-7">http://dx.doi.org/10.1007/0-387-30806-7</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Fundamentals of Algebraic Graph Transformation
ent://SD_ILS/0/SD_ILS:182540
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183210
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Missaoui, Rokia. editor. Schmidt, Jürg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11671404">http://dx.doi.org/10.1007/11671404</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184447
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184283
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
ent://SD_ILS/0/SD_ILS:184338
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Lau, Dietlinde. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-36023-9">http://dx.doi.org/10.1007/3-540-36023-9</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184750
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Sequences and Their Applications – SETA 2006 4th International Conference Beijing, China, September 24-28, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184780
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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 viruses: from theory to applications
ent://SD_ILS/0/SD_ILS:176342
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Filiol, Eric. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/2-287-28099-5">http://dx.doi.org/10.1007/2-287-28099-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Morphology: 40 Years On Proceedings of the 7th International Symposium on Mathematical Morphology, April 18–20, 2005
ent://SD_ILS/0/SD_ILS:168898
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
Author Ronse, Christian. editor. Najman, Laurent. editor. Decencière, Etienne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3443-1">http://dx.doi.org/10.1007/1-4020-3443-1</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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Mathematics of Surfaces XI 11th IMA International Conference, Loughborough, UK, September 5-7, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182921
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183098
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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 Graphics and Geometric Modeling Implementation and Algorithms
ent://SD_ILS/0/SD_ILS:175238
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
Cognitive Engineering A Distributed Approach to Machine Intelligence
ent://SD_ILS/0/SD_ILS:175332
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>
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
2025-01-04T12:38:02Z
2025-01-04T12:38:02Z
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/>