Search Results for Computer science. - Narrowed by: English - Electronic Library - Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-04T22:20:37Z
Applied Computer Science
ent://SD_ILS/0/SD_ILS:174039
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Torbert, Shane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1888-7">http://dx.doi.org/10.1007/978-1-4614-1888-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Writing for Computer Science
ent://SD_ILS/0/SD_ILS:487601
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Zobel, Justin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6639-9">https://doi.org/10.1007/978-1-4471-6639-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Probability and Statistics for Computer Science
ent://SD_ILS/0/SD_ILS:402185
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Forsyth, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64410-3">https://doi.org/10.1007/978-3-319-64410-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Imaginary Mathematics for Computer Science
ent://SD_ILS/0/SD_ILS:400402
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94637-5">https://doi.org/10.1007/978-3-319-94637-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Logic for Computer Science
ent://SD_ILS/0/SD_ILS:173540
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4129-7">http://dx.doi.org/10.1007/978-1-4471-4129-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Instruction Sequences for Computer Science
ent://SD_ILS/0/SD_ILS:207045
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Bergstra, Jan A. author. Middelburg, Cornelis A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-65-7">http://dx.doi.org/10.2991/978-94-91216-65-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fete of Combinatorics and Computer Science
ent://SD_ILS/0/SD_ILS:192381
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Katona, Gyula O. H. editor. Schrijver, Alexander. editor. Szőnyi, Tamás. editor. Sági, Gábor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13580-4">http://dx.doi.org/10.1007/978-3-642-13580-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Computing Systems Mathematics for Computer Science
ent://SD_ILS/0/SD_ILS:332574
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332574.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-322-4">http://dx.doi.org/10.1007/978-1-84800-322-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Extremal Combinatorics With Applications in Computer Science
ent://SD_ILS/0/SD_ILS:193580
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Jukna, Stasys. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17364-6">http://dx.doi.org/10.1007/978-3-642-17364-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science and Engineering—Theory and Applications
ent://SD_ILS/0/SD_ILS:402632
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Sanchez, Mauricio A. editor. Aguilar, Leocundo. editor. Castañón-Puga, Manuel. editor. Rodríguez-Díaz, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74060-7">https://doi.org/10.1007/978-3-319-74060-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analyzing Evolutionary Algorithms The Computer Science Perspective
ent://SD_ILS/0/SD_ILS:333075
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Jansen, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333075.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17339-4">http://dx.doi.org/10.1007/978-3-642-17339-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Discrete Structures for Computer Science
ent://SD_ILS/0/SD_ILS:196778
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Pace, Gordon J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29840-0">http://dx.doi.org/10.1007/978-3-642-29840-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science and its Applications CSA 2012
ent://SD_ILS/0/SD_ILS:206762
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Yeo, Sang-Soo. editor. Pan, Yi. editor. Lee, Yang Sun. editor. Chang, Hang Bae. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5699-1">http://dx.doi.org/10.1007/978-94-007-5699-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400065
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2712-4">https://doi.org/10.1007/978-981-13-2712-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399102
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00389-0">https://doi.org/10.1007/978-3-030-00389-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399615
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Brandstädt, Andreas. editor. Köhler, Ekkehard. editor. Meer, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00256-5">https://doi.org/10.1007/978-3-030-00256-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400552
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400711
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73117-9">https://doi.org/10.1007/978-3-319-73117-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399949
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72056-2">https://doi.org/10.1007/978-3-319-72056-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
What Is Computer Science? An Information Security Perspective
ent://SD_ILS/0/SD_ILS:488536
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Page, Daniel. author. Smart, Nigel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04042-4">https://doi.org/10.1007/978-3-319-04042-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334038
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334038.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334064
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.<br/>Preferred Shelf Number ONLINE(334064.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334106
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.<br/>Preferred Shelf Number ONLINE(334106.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36046-6">http://dx.doi.org/10.1007/978-3-642-36046-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
ent://SD_ILS/0/SD_ILS:330901
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330901.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4069-6">http://dx.doi.org/10.1007/978-1-4471-4069-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334910
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers
ent://SD_ILS/0/SD_ILS:335182
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Brandstädt, Andreas. editor. Jansen, Klaus. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335182.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45043-3">http://dx.doi.org/10.1007/978-3-642-45043-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334617
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334617.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38536-0">http://dx.doi.org/10.1007/978-3-642-38536-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XIX Special Issue on Computer Graphics
ent://SD_ILS/0/SD_ILS:334847
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Konushin, Anton. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334847.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39759-2">http://dx.doi.org/10.1007/978-3-642-39759-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334925
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334925.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40313-2">http://dx.doi.org/10.1007/978-3-642-40313-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196086
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25929-6">http://dx.doi.org/10.1007/978-3-642-25929-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:196262
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Dinneen, Michael J. editor. Khoussainov, Bakhadyr. editor. Nies, André. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27654-5">http://dx.doi.org/10.1007/978-3-642-27654-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196264
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Bieliková, Mária. editor. Friedrich, Gerhard. editor. Gottlob, Georg. editor. Katzenbeisser, Stefan. editor. Turán, György. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27660-6">http://dx.doi.org/10.1007/978-3-642-27660-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197106
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31570-1">http://dx.doi.org/10.1007/978-3-642-31570-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197355
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers
ent://SD_ILS/0/SD_ILS:197531
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Golumbic, Martin Charles. editor. Stern, Michal. editor. Levy, Avivit. editor. Morgenstern, Gila. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34611-8">http://dx.doi.org/10.1007/978-3-642-34611-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197276
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Pattinson, Dirk. editor. Schröder, Lutz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32784-1">http://dx.doi.org/10.1007/978-3-642-32784-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197382
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Baeten, Jos C. M. editor. Ball, Tom. editor. Boer, Frank S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33475-7">http://dx.doi.org/10.1007/978-3-642-33475-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196934
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Hirsch, Edward A. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. Prilutskii, Michail. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30642-6">http://dx.doi.org/10.1007/978-3-642-30642-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197237
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32589-2">http://dx.doi.org/10.1007/978-3-642-32589-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193875
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Černá, Ivana. editor. Gyimóthy, Tibor. editor. Hromkovič, Juraj. editor. Jefferey, Keith. editor. Králović, Rastislav. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18381-2">http://dx.doi.org/10.1007/978-3-642-18381-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Language Technology. Challenges for Computer Science and Linguistics 4th Language and Technology Conference, LTC 2009, Poznan, Poland, November 6-8, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194260
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Vetulani, Zygmunt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20095-3">http://dx.doi.org/10.1007/978-3-642-20095-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:194688
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21402-8">http://dx.doi.org/10.1007/978-3-642-21402-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Networks and Communications First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:193739
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17878-8">http://dx.doi.org/10.1007/978-3-642-17878-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computing First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:193740
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17881-8">http://dx.doi.org/10.1007/978-3-642-17881-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
ent://SD_ILS/0/SD_ILS:194028
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Calude, Cristian S. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19391-0">http://dx.doi.org/10.1007/978-3-642-19391-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194581
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:194691
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21411-0">http://dx.doi.org/10.1007/978-3-642-21411-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195206
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Murlak, Filip. editor. Sankowski, Piotr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22993-0">http://dx.doi.org/10.1007/978-3-642-22993-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Computer Science, Engineering and Information Technology First International Conference on Computer Science, Engineering and Information Technology, CCSEIT 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195528
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Nagamalai, Dhinaharan. editor. Renault, Eric. editor. Dhanuskodi, Murugan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24043-0">http://dx.doi.org/10.1007/978-3-642-24043-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science and Education Applications International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:195033
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Zhou, Mark. editor. Tan, Honghua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22456-0">http://dx.doi.org/10.1007/978-3-642-22456-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:195106
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Yu, Yuanxu. editor. Yu, Zhengtao. editor. Zhao, Jingying. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22691-5">http://dx.doi.org/10.1007/978-3-642-22691-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195107
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Yu, Yuanxu. editor. Yu, Zhengtao. editor. Zhao, Jingying. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22694-6">http://dx.doi.org/10.1007/978-3-642-22694-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195189
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:195308
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23321-0">http://dx.doi.org/10.1007/978-3-642-23321-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:195309
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23324-1">http://dx.doi.org/10.1007/978-3-642-23324-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:195314
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23339-5">http://dx.doi.org/10.1007/978-3-642-23339-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:195316
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23345-6">http://dx.doi.org/10.1007/978-3-642-23345-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part V
ent://SD_ILS/0/SD_ILS:195320
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23357-9">http://dx.doi.org/10.1007/978-3-642-23357-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computer Science and Information Technology Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195585
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Robles, Rosslin John. editor. Balitanas, Maricel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24267-0">http://dx.doi.org/10.1007/978-3-642-24267-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
ent://SD_ILS/0/SD_ILS:195782
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
Theoretical and Mathematical Foundations of Computer Science Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011. Selected Papers
ent://SD_ILS/0/SD_ILS:195815
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Zhou, Qihai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24999-0">http://dx.doi.org/10.1007/978-3-642-24999-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Theoretic Concepts in Computer Science 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011. Revised Papers
ent://SD_ILS/0/SD_ILS:196069
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kolman, Petr. editor. Kratochvíl, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25870-1">http://dx.doi.org/10.1007/978-3-642-25870-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science and Information Technology First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:193732
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17857-3">http://dx.doi.org/10.1007/978-3-642-17857-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194462
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kulikov, Alexander. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20712-9">http://dx.doi.org/10.1007/978-3-642-20712-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192306
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Tomar, G. S. editor. Chang, Ruay-Shiung. editor. Gervasi, Osvaldo. editor. Kim, Tai-hoon. editor. Bandyopadhyay, Samir Kumar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13346-6">http://dx.doi.org/10.1007/978-3-642-13346-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192878
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Hliněný, Petr. editor. Kučera, Antonín. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15155-2">http://dx.doi.org/10.1007/978-3-642-15155-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192894
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15205-4">http://dx.doi.org/10.1007/978-3-642-15205-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science and Information Technology AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings
ent://SD_ILS/0/SD_ILS:192380
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13577-4">http://dx.doi.org/10.1007/978-3-642-13577-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Theoretic Concepts in Computer Science 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 Revised Papers
ent://SD_ILS/0/SD_ILS:193463
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Thilikos, Dimitrios M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16926-7">http://dx.doi.org/10.1007/978-3-642-16926-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191633
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Leeuwen, Jan. editor. Muscholl, Anca. editor. Peleg, David. editor. Pokorný, Jaroslav. editor. Rumpe, Bernhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11266-9">http://dx.doi.org/10.1007/978-3-642-11266-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192253
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Ablayev, Farid. editor. Mayr, Ernst W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13182-0">http://dx.doi.org/10.1007/978-3-642-13182-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192571
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Governatori, Guido. editor. Sartor, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14183-6">http://dx.doi.org/10.1007/978-3-642-14183-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:191678
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189555
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190723
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190747
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Královič, Rastislav. editor. Niwiński, Damian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03816-7">http://dx.doi.org/10.1007/978-3-642-03816-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190814
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191011
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
Advances in Computer Science and Engineering 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189378
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Sarbazi-Azad, Hamid. editor. Parhami, Behrooz. editor. Miremadi, Seyed-Ghassem. editor. Hessabi, Shaahin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89985-3">http://dx.doi.org/10.1007/978-3-540-89985-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191425
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Datta, Anupam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10622-4">http://dx.doi.org/10.1007/978-3-642-10622-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computing, Computer Science, and Advanced Communication First International Conference on Future Computer and Communication, FCC 2009, Wuhan, China, June 6-7, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190294
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Qi, Luo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02342-2">http://dx.doi.org/10.1007/978-3-642-02342-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190598
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03351-3">http://dx.doi.org/10.1007/978-3-642-03351-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189435
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185974
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Meyden, Ron. editor. Torre, Leendert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70525-3">http://dx.doi.org/10.1007/978-3-540-70525-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
ent://SD_ILS/0/SD_ILS:188040
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Avron, Arnon. editor. Dershowitz, Nachum. editor. Rabinovich, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78127-1">http://dx.doi.org/10.1007/978-3-540-78127-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188497
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Hirsch, Edward A. editor. Razborov, Alexander A. editor. Semenov, Alexei. editor. Slissenko, Anatol. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79709-8">http://dx.doi.org/10.1007/978-3-540-79709-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188648
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Ochmański, Edward. editor. Tyszkiewicz, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85238-4">http://dx.doi.org/10.1007/978-3-540-85238-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188863
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87531-4">http://dx.doi.org/10.1007/978-3-540-87531-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Methods in Computer Science Essays in Memory of Thomas Beth
ent://SD_ILS/0/SD_ILS:189380
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Calmet, Jacques. editor. Geiselmann, Willi. editor. Müller-Quade, Jörn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89994-5">http://dx.doi.org/10.1007/978-3-540-89994-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:187916
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Geffert, Viliam. editor. Karhumäki, Juhani. editor. Bertoni, Alberto. editor. Preneel, Bart. editor. Návrat, Pavol. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77566-9">http://dx.doi.org/10.1007/978-3-540-77566-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188275
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
Graph-Theoretic Concepts in Computer Science 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers
ent://SD_ILS/0/SD_ILS:189417
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Broersma, Hajo. editor. Erlebach, Thomas. editor. Friedetzky, Tom. editor. Paulusma, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92248-3">http://dx.doi.org/10.1007/978-3-540-92248-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186099
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Thomas, Wolfgang. editor. Weil, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70918-3">http://dx.doi.org/10.1007/978-3-540-70918-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:185852
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69507-3">http://dx.doi.org/10.1007/978-3-540-69507-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187182
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Diekert, Volker. editor. Volkov, Mikhail V. editor. 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-74510-5">http://dx.doi.org/10.1007/978-3-540-74510-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:187285
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Brandstädt, Andreas. editor. Kratsch, Dieter. editor. Müller, Haiko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74839-7">http://dx.doi.org/10.1007/978-3-540-74839-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187306
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74915-8">http://dx.doi.org/10.1007/978-3-540-74915-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187774
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77050-3">http://dx.doi.org/10.1007/978-3-540-77050-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187727
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Cervesato, Iliano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76929-3">http://dx.doi.org/10.1007/978-3-540-76929-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186638
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Artemov, Sergei N. 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-72734-7">http://dx.doi.org/10.1007/978-3-540-72734-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186991
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187162
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74456-6">http://dx.doi.org/10.1007/978-3-540-74456-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187896
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77505-8">http://dx.doi.org/10.1007/978-3-540-77505-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
ent://SD_ILS/0/SD_ILS:183707
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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 Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183957
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Grigoriev, Dima. editor. Harrison, John. editor. Hirsch, Edward A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11753728">http://dx.doi.org/10.1007/11753728</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184312
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11786849">http://dx.doi.org/10.1007/11786849</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184636
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11821069">http://dx.doi.org/10.1007/11821069</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184643
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184845
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11874683">http://dx.doi.org/10.1007/11874683</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185310
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11944836">http://dx.doi.org/10.1007/11944836</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science Essays in Memory of Shimon Even
ent://SD_ILS/0/SD_ILS:183542
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Goldreich, Oded. editor. Rosenberg, Arnold L. editor. Selman, Alan L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11685654">http://dx.doi.org/10.1007/11685654</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Theoretic Concepts in Computer Science 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 Revised Papers
ent://SD_ILS/0/SD_ILS:185075
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Fomin, Fedor V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11917496">http://dx.doi.org/10.1007/11917496</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183274
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Durand, Bruno. editor. Thomas, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11672142">http://dx.doi.org/10.1007/11672142</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2006: Theory and Practice of Computer Science 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183215
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Wiedermann, Jiří. editor. Tel, Gerard. editor. Pokorný, Jaroslav. editor. Bieliková, Mária. editor. Štuller, Július. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11611257">http://dx.doi.org/10.1007/11611257</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182374
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105088">http://dx.doi.org/10.1007/b105088</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182942
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Diekert, Volker. editor. Durand, Bruno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106485">http://dx.doi.org/10.1007/b106485</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182953
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11549345">http://dx.doi.org/10.1007/11549345</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182962
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183361
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11590156">http://dx.doi.org/10.1007/11590156</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers
ent://SD_ILS/0/SD_ILS:182358
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Hromkovič, Juraj. editor. Nagl, Manfred. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104584">http://dx.doi.org/10.1007/b104584</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science – ASIAN 2005. Data Management on the Web 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183236
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Grumbach, Stéphane. editor. Sui, Liying. editor. Vianu, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11596370">http://dx.doi.org/10.1007/11596370</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182332
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Maher, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103476">http://dx.doi.org/10.1007/b103476</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182343
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104325">http://dx.doi.org/10.1007/b104325</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Theoretic Concepts in Computer Science 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182655
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kratsch, Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11604686">http://dx.doi.org/10.1007/11604686</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182983
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11538363">http://dx.doi.org/10.1007/11538363</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183091
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Coppo, Mario. editor. Lodi, Elena. editor. Pinna, G. Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11560586">http://dx.doi.org/10.1007/11560586</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Open Knowlege Society. A Computer Science and Information Systems Manifesto First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188912
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Lytras, Miltiadis D. editor. Carroll, John M. editor. Damiani, Ernesto. editor. Tennyson, Robert D. editor. Avison, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87783-7">http://dx.doi.org/10.1007/978-3-540-87783-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced research on material science, environmental science and computer science selected, peer reviewed papers from the 2012 2nd International Conference on Material Science, Environmental Science and Computer Science (MSESCS2012) August 25-26, 2012, Wuhan, China
ent://SD_ILS/0/SD_ILS:279619
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author International Conference on Material Science, Environmental Science and Computer Science (2nd : 2012 : Wuhan, China) Zhang, Helen, editor of compilation. Jin, David, editor of compilation. Zhao, X. J., editor of compilation.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=517244">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=517244</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Language Technology. Challenges for Computer Science and Linguistics 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401547
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Vetulani, Zygmunt. editor. Mariani, Joseph. editor. Kubis, Marek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93782-3">https://doi.org/10.1007/978-3-319-93782-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science
ent://SD_ILS/0/SD_ILS:399360
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Ausiello, Giorgio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62680-2">https://doi.org/10.1007/978-3-319-62680-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Higher Education Computer Science A Manual of Practical Approaches
ent://SD_ILS/0/SD_ILS:399820
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Carter, Jenny. editor. O'Grady, Michael. editor. (orcid)0000-0002-6250-4736 Rosen, Clive. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98590-9">https://doi.org/10.1007/978-3-319-98590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science and its Applications CSA 2013
ent://SD_ILS/0/SD_ILS:482651
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Jeong, Hwa Young. editor. S. Obaidat, Mohammad. editor. Yen, Neil Y. editor. Park, James J. (Jong Hyuk). editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-41674-3">https://doi.org/10.1007/978-3-642-41674-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486681
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14896-0">https://doi.org/10.1007/978-3-319-14896-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
ent://SD_ILS/0/SD_ILS:336496
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Mogavero, Fabio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336496.1)<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-95-4">http://dx.doi.org/10.2991/978-94-91216-95-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Operator Calculus on Graphs Theory and Applications in Computer Science.
ent://SD_ILS/0/SD_ILS:279465
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Schott, Rene. Staples, G. Stacey.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457191">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457191</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:196155
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27299-8">http://dx.doi.org/10.1007/978-3-642-27299-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:196158
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27308-7">http://dx.doi.org/10.1007/978-3-642-27308-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:196161
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27317-9">http://dx.doi.org/10.1007/978-3-642-27317-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 2
ent://SD_ILS/0/SD_ILS:196412
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Gaol, Ford Lumban. editor. Nguyen, Quang Vinh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28308-6">http://dx.doi.org/10.1007/978-3-642-28308-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 1
ent://SD_ILS/0/SD_ILS:196414
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Gaol, Ford Lumban. editor. Nguyen, Quang Vinh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28314-7">http://dx.doi.org/10.1007/978-3-642-28314-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Teaching Computer Science An Activity-Based Approach
ent://SD_ILS/0/SD_ILS:168503
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Hazzan, Orit. author. Lapidot, Tami. author. Ragonis, Noa. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-443-2">http://dx.doi.org/10.1007/978-0-85729-443-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science The Hardware, Software and Heart of It
ent://SD_ILS/0/SD_ILS:173871
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1168-0">http://dx.doi.org/10.1007/978-1-4614-1168-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning
ent://SD_ILS/0/SD_ILS:194228
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Tchounikine, Pierre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20003-8">http://dx.doi.org/10.1007/978-3-642-20003-8</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
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192906
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15240-5">http://dx.doi.org/10.1007/978-3-642-15240-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamics On and Of Complex Networks Applications to Biology, Computer Science, and the Social Sciences
ent://SD_ILS/0/SD_ILS:168280
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Ganguly, Niloy. editor. Deutsch, Andreas. editor. Mukherjee, Animesh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4751-3">http://dx.doi.org/10.1007/978-0-8176-4751-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Thesis Projects A Guide for Students in Computer Science and Information Systems
ent://SD_ILS/0/SD_ILS:175669
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Berndtsson, Mikael. author. Hansson, Jörgen. author. Olsson, Björn. author. Lundell, Björn. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-009-4">http://dx.doi.org/10.1007/978-1-84800-009-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008
ent://SD_ILS/0/SD_ILS:164747
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Ausiello, Giorgio. editor. Karhumäki, Juhani. editor. Mauri, Giancarlo. editor. Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09680-3">http://dx.doi.org/10.1007/978-0-387-09680-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer science reconsidered the invocation model of process expression / Karl M. Fant.
ent://SD_ILS/0/SD_ILS:296953
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Fant, Karl M. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0741/2006052821-b.html">http://catdir.loc.gov/catdir/enhancements/fy0741/2006052821-b.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470125779">http://dx.doi.org/10.1002/9780470125779</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile
ent://SD_ILS/0/SD_ILS:166068
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Navarro, Gonzalo. editor. Bertossi, Leopoldo. editor. Kohayakawa, Yoshiharu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-34735-6">http://dx.doi.org/10.1007/978-0-387-34735-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France
ent://SD_ILS/0/SD_ILS:165006
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>
Grammars and automata for string processing from mathematics and computer science to biology, and back
ent://SD_ILS/0/SD_ILS:287284
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Martn̕ Vide, Carlos. Mitrana, Victor. P?un, Gheorghe, 1950-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203009642">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Programming for the Digital Humanities Lessons for Introductory Python
ent://SD_ILS/0/SD_ILS:400251
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kokensparger, Brian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99115-3">https://doi.org/10.1007/978-3-319-99115-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research and Development in Digital Media
ent://SD_ILS/0/SD_ILS:402468
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Earnshaw, Rae. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73080-6">https://doi.org/10.1007/978-3-319-73080-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Mining in Large Sets of Complex Data
ent://SD_ILS/0/SD_ILS:331088
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Cordeiro, Robson L. F. author. Faloutsos, Christos. author. Traina Júnior, Caetano. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331088.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4890-6">http://dx.doi.org/10.1007/978-1-4471-4890-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation
ent://SD_ILS/0/SD_ILS:331089
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author ElAarag, Hala. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331089.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4893-7">http://dx.doi.org/10.1007/978-1-4471-4893-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems
ent://SD_ILS/0/SD_ILS:331104
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Shukla, K. K. author. Tiwari, Arvind K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331104.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4941-5">http://dx.doi.org/10.1007/978-1-4471-4941-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Omnidirectional Vision Systems Calibration, Feature Extraction and 3D Information
ent://SD_ILS/0/SD_ILS:331106
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Puig, Luis. author. Guerrero, J.J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331106.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4947-7">http://dx.doi.org/10.1007/978-1-4471-4947-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Image Processing Using R Learning by Examples
ent://SD_ILS/0/SD_ILS:331107
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Frery, Alejandro C. author. Perciano, Talita. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331107.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4950-7">http://dx.doi.org/10.1007/978-1-4471-4950-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ethical and Social Issues in the Information Age
ent://SD_ILS/0/SD_ILS:331112
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kizza, Joseph Migga. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331112.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4990-3">http://dx.doi.org/10.1007/978-1-4471-4990-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence A Methodological Introduction
ent://SD_ILS/0/SD_ILS:331117
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Steinbrecher, Matthias. author.<br/>Preferred Shelf Number ONLINE(331117.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5013-8">http://dx.doi.org/10.1007/978-1-4471-5013-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Explaining Algorithms Using Metaphors
ent://SD_ILS/0/SD_ILS:331118
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Forišek, Michal. author. Steinová, Monika. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331118.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5019-0">http://dx.doi.org/10.1007/978-1-4471-5019-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling and Simulating Command and Control For Organizations Under Extreme Situations
ent://SD_ILS/0/SD_ILS:331124
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Moon, Il-Chul. author. Carley, Kathleen M. author. Kim, Tag Gon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331124.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5037-4">http://dx.doi.org/10.1007/978-1-4471-5037-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Fault Classification to Fault Tolerance for Multi-Agent Systems
ent://SD_ILS/0/SD_ILS:331127
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Potiron, Katia. author. El Fallah Seghrouchni, Amal. author. Taillibert, Patrick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331127.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5046-6">http://dx.doi.org/10.1007/978-1-4471-5046-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rapid Serial Visual Presentation Design for Cognition
ent://SD_ILS/0/SD_ILS:331139
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Spence, Robert. author. Witkowski, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331139.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5085-5">http://dx.doi.org/10.1007/978-1-4471-5085-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Based Clustering and Data Visualization Algorithms
ent://SD_ILS/0/SD_ILS:331160
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Vathy-Fogarassy, Ágnes. author. Abonyi, János. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331160.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5158-6">http://dx.doi.org/10.1007/978-1-4471-5158-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture
ent://SD_ILS/0/SD_ILS:331178
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Rockcastle, Siobhan. author. Andersen, Marilyne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331178.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5233-0">http://dx.doi.org/10.1007/978-1-4471-5233-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Middleware Solutions for the Internet of Things
ent://SD_ILS/0/SD_ILS:331206
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331206.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5481-5">http://dx.doi.org/10.1007/978-1-4471-5481-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Languages and Compilation
ent://SD_ILS/0/SD_ILS:331210
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331210.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5514-0">http://dx.doi.org/10.1007/978-1-4471-5514-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Parameterized Complexity
ent://SD_ILS/0/SD_ILS:331218
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Downey, Rodney G. author. Fellows, Michael R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331218.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5559-1">http://dx.doi.org/10.1007/978-1-4471-5559-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Countering Brandjacking in the Digital Age … and Other Hidden Risks to Your Brand
ent://SD_ILS/0/SD_ILS:331219
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Hofman, Christopher. author. Keates, Simeon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331219.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5580-5">http://dx.doi.org/10.1007/978-1-4471-5580-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Traffic Measurement on the Internet
ent://SD_ILS/0/SD_ILS:331602
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Li, Tao. author. Chen, Shigang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331602.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4851-8">http://dx.doi.org/10.1007/978-1-4614-4851-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spatio-temporal Networks Modeling and Algorithms
ent://SD_ILS/0/SD_ILS:331620
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author George, Betsy. author. Kim, Sangho. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331620.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4918-8">http://dx.doi.org/10.1007/978-1-4614-4918-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Querying Moving Objects Detected by Sensor Networks
ent://SD_ILS/0/SD_ILS:331623
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Bestehorn, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331623.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4927-0">http://dx.doi.org/10.1007/978-1-4614-4927-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamic Cloud Collaboration Platform A Market-Oriented Approach
ent://SD_ILS/0/SD_ILS:331690
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Hassan, Mohammad Mehedi. author. Huh, Eui-Nam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331690.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5146-4">http://dx.doi.org/10.1007/978-1-4614-5146-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Health Informatics in the Cloud
ent://SD_ILS/0/SD_ILS:331823
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Braunstein, Mark L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331823.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5629-2">http://dx.doi.org/10.1007/978-1-4614-5629-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performance Evaluation Software Moving Object Detection and Tracking in Videos
ent://SD_ILS/0/SD_ILS:332057
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Karasulu, Bahadir. author. Korukoglu, Serdar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332057.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6534-8">http://dx.doi.org/10.1007/978-1-4614-6534-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Medium Access Control in Wireless Networks
ent://SD_ILS/0/SD_ILS:332073
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Wang, Ping. author. Zhuang, Weihua. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332073.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6602-4">http://dx.doi.org/10.1007/978-1-4614-6602-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A General Framework for Reasoning On Inconsistency
ent://SD_ILS/0/SD_ILS:332107
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332107.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6750-2">http://dx.doi.org/10.1007/978-1-4614-6750-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Web-based Intelligent Geospatial Web Services
ent://SD_ILS/0/SD_ILS:332124
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Yue, Peng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332124.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6809-7">http://dx.doi.org/10.1007/978-1-4614-6809-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Resource Management in Utility and Cloud Computing
ent://SD_ILS/0/SD_ILS:332457
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Zhao, Han. author. Li, Xiaolin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332457.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-8970-2">http://dx.doi.org/10.1007/978-1-4614-8970-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intrusion Detection for IP-Based Multimedia Communications over Wireless Networks
ent://SD_ILS/0/SD_ILS:332461
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Tang, Jin. author. Cheng, Yu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332461.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-8996-2">http://dx.doi.org/10.1007/978-1-4614-8996-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Hash Table Theory, Platforms and Applications
ent://SD_ILS/0/SD_ILS:332462
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Zhang, Hao. author. Wen, Yonggang. author. Xie, Haiyong. author. Yu, Nenghai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332462.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-9008-1">http://dx.doi.org/10.1007/978-1-4614-9008-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Location Privacy Protection in Mobile Networks
ent://SD_ILS/0/SD_ILS:332468
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Liu, Xinxin. author. Li, Xiaolin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332468.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-9074-6">http://dx.doi.org/10.1007/978-1-4614-9074-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security Assessment in Vehicular Networks
ent://SD_ILS/0/SD_ILS:332479
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Du, Suguo. author. Zhu, Haojin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332479.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-9357-0">http://dx.doi.org/10.1007/978-1-4614-9357-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time Detection of Lines and Grids By PClines and Other Approaches
ent://SD_ILS/0/SD_ILS:330974
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Herout, Adam. author. Dubská, Markéta. author. Havel, Jiří. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330974.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4414-4">http://dx.doi.org/10.1007/978-1-4471-4414-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Belief Revision in Non-Classical Logics
ent://SD_ILS/0/SD_ILS:330925
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Ribeiro, Márcio Moretto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330925.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4186-0">http://dx.doi.org/10.1007/978-1-4471-4186-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Time-of-Flight Cameras Principles, Methods and Applications
ent://SD_ILS/0/SD_ILS:331036
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Hansard, Miles. author. Lee, Seungkyu. author. Choi, Ouk. author. Horaud, Radu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331036.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4658-2">http://dx.doi.org/10.1007/978-1-4471-4658-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Motion History Images for Action Recognition and Understanding
ent://SD_ILS/0/SD_ILS:331046
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Ahad, Md. Atiqur Rahman. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331046.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4730-5">http://dx.doi.org/10.1007/978-1-4471-4730-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sentiment Analysis for PTSD Signals
ent://SD_ILS/0/SD_ILS:331316
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kagan, Vadim. author. Rossini, Edward. author. Sapounas, Demetrios. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331316.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3097-1">http://dx.doi.org/10.1007/978-1-4614-3097-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Authentication Problems and Solutions
ent://SD_ILS/0/SD_ILS:331610
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Jakobsson, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331610.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4878-5">http://dx.doi.org/10.1007/978-1-4614-4878-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automatic Malware Analysis An Emulator Based Approach
ent://SD_ILS/0/SD_ILS:331796
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Yin, Heng. author. Song, Dawn. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331796.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5523-3">http://dx.doi.org/10.1007/978-1-4614-5523-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling Trust Context in Networks
ent://SD_ILS/0/SD_ILS:332190
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Adali, Sibel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332190.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7031-1">http://dx.doi.org/10.1007/978-1-4614-7031-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transportation and Information Trends in Technology and Policy
ent://SD_ILS/0/SD_ILS:332214
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Thakuriah, Piyushimita (Vonu). author. Geers, D. Glenn. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332214.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7129-5">http://dx.doi.org/10.1007/978-1-4614-7129-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security for Wireless Implantable Medical Devices
ent://SD_ILS/0/SD_ILS:332220
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Hei, Xiali. author. Du, Xiaojiang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332220.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7153-0">http://dx.doi.org/10.1007/978-1-4614-7153-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Survey of Core Research in Information Systems
ent://SD_ILS/0/SD_ILS:332222
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Sidorova, Anna. author. Evangelopoulos, Nicholas. author. Torres, Russell. author. Johnson, Vess. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332222.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7158-5">http://dx.doi.org/10.1007/978-1-4614-7158-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Studies on Urban Vehicular Ad-hoc Networks
ent://SD_ILS/0/SD_ILS:332386
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Zhu, Hongzi. author. Li, Minglu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332386.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-8048-8">http://dx.doi.org/10.1007/978-1-4614-8048-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Energy-Efficient High Performance Computing Measurement and Tuning
ent://SD_ILS/0/SD_ILS:330991
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Laros III, James H. author. Pedretti, Kevin. author. Kelly, Suzanne M. author. Shu, Wei. author. Ferreira, Kurt. author.<br/>Preferred Shelf Number ONLINE(330991.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4492-2">http://dx.doi.org/10.1007/978-1-4471-4492-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Modeling and Simulation of Systems of Systems User’s Reference
ent://SD_ILS/0/SD_ILS:331013
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Zeigler, Bernard P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331013.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4570-7">http://dx.doi.org/10.1007/978-1-4471-4570-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Routing for Wireless Multi-Hop Networks
ent://SD_ILS/0/SD_ILS:332014
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Abdel Hamid, Sherin. author. Hassanein, Hossam S. author. Takahara, Glen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332014.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6357-3">http://dx.doi.org/10.1007/978-1-4614-6357-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Physical Layer Approaches for Securing Wireless Communication Systems
ent://SD_ILS/0/SD_ILS:332050
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Wen, Hong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332050.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6510-2">http://dx.doi.org/10.1007/978-1-4614-6510-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Android Malware
ent://SD_ILS/0/SD_ILS:332276
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Jiang, Xuxian. author. Zhou, Yajin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332276.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7394-7">http://dx.doi.org/10.1007/978-1-4614-7394-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sustainable Web Ecosystem Design
ent://SD_ILS/0/SD_ILS:332331
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author O'Toole, Greg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332331.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7714-3">http://dx.doi.org/10.1007/978-1-4614-7714-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security and Privacy in Mobile Social Networks
ent://SD_ILS/0/SD_ILS:332451
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Liang, Xiaohui. author. Lu, Rongxing. author. Lin, Xiaodong. author. Shen, Xuemin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332451.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-8857-6">http://dx.doi.org/10.1007/978-1-4614-8857-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Secure IP Mobility Management for VANET
ent://SD_ILS/0/SD_ILS:332861
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Taha, Sanaa. author. Shen, Xuemin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332861.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01351-0">http://dx.doi.org/10.1007/978-3-319-01351-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Brief History of Cryptology and Cryptographic Algorithms
ent://SD_ILS/0/SD_ILS:332881
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Dooley, John F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332881.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01628-3">http://dx.doi.org/10.1007/978-3-319-01628-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Computer Mathematics Tutorials on Theory and Problems
ent://SD_ILS/0/SD_ILS:332887
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Bagdasar, Ovidiu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332887.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01751-8">http://dx.doi.org/10.1007/978-3-319-01751-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Center Networks Topologies, Architectures and Fault-Tolerance Characteristics
ent://SD_ILS/0/SD_ILS:332894
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Liu, Yang. author. Muppala, Jogesh K. author. Veeraraghavan, Malathi. author. Lin, Dong. author. Hamdi, Mounir. author.<br/>Preferred Shelf Number ONLINE(332894.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01949-9">http://dx.doi.org/10.1007/978-3-319-01949-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cyber Security Deterrence and IT Protection for Critical Infrastructures
ent://SD_ILS/0/SD_ILS:332909
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Martellini, Maurizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332909.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02279-6">http://dx.doi.org/10.1007/978-3-319-02279-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spatio-Temporal Databases Complex Motion Pattern Queries
ent://SD_ILS/0/SD_ILS:332918
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Vieira, Marcos R. author. Tsotras, Vassilis J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332918.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02408-0">http://dx.doi.org/10.1007/978-3-319-02408-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sustainable Wireless Networks
ent://SD_ILS/0/SD_ILS:332922
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Zheng, Zhongming. author. Cai, Lin X. author. Shen, Xuemin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332922.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02469-1">http://dx.doi.org/10.1007/978-3-319-02469-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unsupervised Information Extraction by Text Segmentation
ent://SD_ILS/0/SD_ILS:332930
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Cortez, Eli. author. Silva, Altigran S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332930.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02597-1">http://dx.doi.org/10.1007/978-3-319-02597-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bluetooth Security Attacks Comparative Analysis, Attacks, and Countermeasures
ent://SD_ILS/0/SD_ILS:334982
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Haataja, Keijo. author. Hyppönen, Konstantin. author. Pasanen, Sanna. author. Toivanen, Pekka. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334982.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40646-1">http://dx.doi.org/10.1007/978-3-642-40646-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concepts, Ontologies, and Knowledge Representation
ent://SD_ILS/0/SD_ILS:332353
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Jakus, Grega. author. Milutinović, Veljko. author. Omerović, Sanida. author. Tomažič, Sašo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332353.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7822-5">http://dx.doi.org/10.1007/978-1-4614-7822-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Virtualization
ent://SD_ILS/0/SD_ILS:332854
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Wen, Heming. author. Tiwary, Prabhat Kumar. author. Le-Ngoc, Tho. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332854.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01291-9">http://dx.doi.org/10.1007/978-3-319-01291-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service Placement in Ad Hoc Networks
ent://SD_ILS/0/SD_ILS:173433
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Wittenburg, Georg. author. Schiller, Jochen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2363-7">http://dx.doi.org/10.1007/978-1-4471-2363-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services
ent://SD_ILS/0/SD_ILS:173442
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Birman, Kenneth P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2416-0">http://dx.doi.org/10.1007/978-1-4471-2416-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decentralized Reasoning in Ambient Intelligence
ent://SD_ILS/0/SD_ILS:173543
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4168-6">http://dx.doi.org/10.1007/978-1-4471-4168-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-* and P2P for Network Management Design Principles and Case Studies
ent://SD_ILS/0/SD_ILS:173546
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Marquezan, Clarissa Cassales. author. Granville, Lisandro Zambenedetti. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4201-0">http://dx.doi.org/10.1007/978-1-4471-4201-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robust Motion Detection in Real-Life Scenarios
ent://SD_ILS/0/SD_ILS:173547
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Martínez-Martín, Ester. author. Pobil, Ángel P. del. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4216-4">http://dx.doi.org/10.1007/978-1-4471-4216-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Cisco Routers Configuration Becoming a Router Geek
ent://SD_ILS/0/SD_ILS:173550
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Alani, Mohammed M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4246-1">http://dx.doi.org/10.1007/978-1-4471-4246-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Two-Dimensional Change Detection Methods Remote Sensing Applications
ent://SD_ILS/0/SD_ILS:173551
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author İlsever, Murat. author. Ünsalan, Cem. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4255-3">http://dx.doi.org/10.1007/978-1-4471-4255-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spatial AutoRegression (SAR) Model Parameter Estimation Techniques
ent://SD_ILS/0/SD_ILS:174029
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kazar, Baris M. author. Celik, Mete. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1842-9">http://dx.doi.org/10.1007/978-1-4614-1842-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Primer of Multicast Routing
ent://SD_ILS/0/SD_ILS:174036
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Rosenberg, Eric. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1873-3">http://dx.doi.org/10.1007/978-1-4614-1873-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Dissemination and Query in Mobile Social Networks
ent://SD_ILS/0/SD_ILS:174135
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Chen, Jiming. author. Fan, Jialu. author. Sun, Youxian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-2254-9">http://dx.doi.org/10.1007/978-1-4614-2254-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Design of Cloud Workflow Systems
ent://SD_ILS/0/SD_ILS:174054
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1933-4">http://dx.doi.org/10.1007/978-1-4614-1933-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Criminal Justice Forecasts of Risk A Machine Learning Approach
ent://SD_ILS/0/SD_ILS:174189
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Berk, Richard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3085-8">http://dx.doi.org/10.1007/978-1-4614-3085-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomic Cooperative Networking
ent://SD_ILS/0/SD_ILS:174192
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Wódczak, Michał. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3100-8">http://dx.doi.org/10.1007/978-1-4614-3100-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Power Distribution and Performance Analysis for Wireless Communication Networks
ent://SD_ILS/0/SD_ILS:174227
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Zhao, Dongmei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3284-5">http://dx.doi.org/10.1007/978-1-4614-3284-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Crowdsourcing Architecture, Protocols and Algorithms
ent://SD_ILS/0/SD_ILS:174438
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Schall, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5956-9">http://dx.doi.org/10.1007/978-1-4614-5956-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Similarity and Classification
ent://SD_ILS/0/SD_ILS:173499
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Cesare, Silvio. author. Xiang, Yang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2909-7">http://dx.doi.org/10.1007/978-1-4471-2909-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Entropy Guided Transformation Learning: Algorithms and Applications
ent://SD_ILS/0/SD_ILS:173513
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Santos, Cícero Nogueira. author. Milidiú, Ruy Luiz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2978-3">http://dx.doi.org/10.1007/978-1-4471-2978-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Proof Theory for Description Logics
ent://SD_ILS/0/SD_ILS:173517
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Rademaker, Alexandre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4002-3">http://dx.doi.org/10.1007/978-1-4471-4002-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Context Management for Distributed and Dynamic Context-Aware Computing
ent://SD_ILS/0/SD_ILS:173522
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Rocha, Ricardo Couto Antunes. author. Endler, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4020-7">http://dx.doi.org/10.1007/978-1-4471-4020-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Survey of Data Leakage Detection and Prevention Solutions
ent://SD_ILS/0/SD_ILS:174080
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Shabtai, Asaf. author. Elovici, Yuval. author. Rokach, Lior. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-2053-8">http://dx.doi.org/10.1007/978-1-4614-2053-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scalable Parallel Programming Applied to H.264/AVC Decoding
ent://SD_ILS/0/SD_ILS:174127
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Juurlink, Ben. author. Alvarez-Mesa, Mauricio. author. Chi, Chi Ching. author. Azevedo, Arnaldo. author. Meenderinck, Cor. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-2230-3">http://dx.doi.org/10.1007/978-1-4614-2230-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Visual Indexing and Retrieval
ent://SD_ILS/0/SD_ILS:174294
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Benois-Pineau, Jenny. author. Precioso, Frédéric. author. Cord, Matthieu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3588-4">http://dx.doi.org/10.1007/978-1-4614-3588-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Configuration Problem Solving
ent://SD_ILS/0/SD_ILS:174403
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Petrie, Charles J. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4532-6">http://dx.doi.org/10.1007/978-1-4614-4532-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ITIL® 2011 At a Glance
ent://SD_ILS/0/SD_ILS:174354
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Long, John O. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3897-7">http://dx.doi.org/10.1007/978-1-4614-3897-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Event-Driven Surveillance Possibilities and Challenges
ent://SD_ILS/0/SD_ILS:196360
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Denecke, Kerstin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28135-8">http://dx.doi.org/10.1007/978-3-642-28135-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
ent://SD_ILS/0/SD_ILS:196775
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Henderson-Sellers, Brian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29825-7">http://dx.doi.org/10.1007/978-3-642-29825-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding High-Dimensional Spaces
ent://SD_ILS/0/SD_ILS:197368
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Skillicorn, David B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33398-9">http://dx.doi.org/10.1007/978-3-642-33398-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Testing in the Cloud Migration and Execution
ent://SD_ILS/0/SD_ILS:197182
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32122-1">http://dx.doi.org/10.1007/978-3-642-32122-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Specification of Software Systems
ent://SD_ILS/0/SD_ILS:168476
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-277-3">http://dx.doi.org/10.1007/978-0-85729-277-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Voice over IP Security A Comprehensive Survey of Vulnerabilities and Academic Research
ent://SD_ILS/0/SD_ILS:173331
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Keromytis, Angelos D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9866-8">http://dx.doi.org/10.1007/978-1-4419-9866-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Game Design
ent://SD_ILS/0/SD_ILS:173381
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Browne, Cameron. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2179-4">http://dx.doi.org/10.1007/978-1-4471-2179-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Markov Models for Handwriting Recognition
ent://SD_ILS/0/SD_ILS:173384
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Plötz, Thomas. author. Fink, Gernot A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2188-6">http://dx.doi.org/10.1007/978-1-4471-2188-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to ILDJIT
ent://SD_ILS/0/SD_ILS:173386
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Campanoni, Simone. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2194-7">http://dx.doi.org/10.1007/978-1-4471-2194-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lossy Image Compression Domain Decomposition-Based Algorithms
ent://SD_ILS/0/SD_ILS:173391
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Shukla, K.K. author. Prasad, M.V. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2218-0">http://dx.doi.org/10.1007/978-1-4471-2218-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Traffic-Sign Recognition Systems
ent://SD_ILS/0/SD_ILS:173398
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Escalera, Sergio. author. Baró, Xavier. author. Pujol, Oriol. author. Vitrià, Jordi. author. Radeva, Petia. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2245-6">http://dx.doi.org/10.1007/978-1-4471-2245-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Security Risk Assessment of Enterprise Networks
ent://SD_ILS/0/SD_ILS:174032
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Ou, Xinming. author. Singhal, Anoop. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1860-3">http://dx.doi.org/10.1007/978-1-4614-1860-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Co-segmentation of Objects in Image Collections
ent://SD_ILS/0/SD_ILS:174048
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Batra, Dhruv. author. Kowdle, Adarsh. author. Parikh, Devi. author. Luo, Jiebo. author. Chen, Tsuhan. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1915-0">http://dx.doi.org/10.1007/978-1-4614-1915-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Demand-Driven Associative Classification
ent://SD_ILS/0/SD_ILS:168525
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Veloso, Adriano. author. Meira Jr., Wagner. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-525-5">http://dx.doi.org/10.1007/978-0-85729-525-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Computer Graphics Manual
ent://SD_ILS/0/SD_ILS:168618
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Salomon, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-886-7">http://dx.doi.org/10.1007/978-0-85729-886-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Video Processing in the Cloud
ent://SD_ILS/0/SD_ILS:173368
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Pereira, Rafael Silva. author. Breitman, Karin K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2137-4">http://dx.doi.org/10.1007/978-1-4471-2137-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computability and Complexity Theory
ent://SD_ILS/0/SD_ILS:173753
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Homer, Steven. author. Selman, Alan L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0682-2">http://dx.doi.org/10.1007/978-1-4614-0682-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Glazed Panel Construction with Human-Robot Cooperation
ent://SD_ILS/0/SD_ILS:173935
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Lee, Seungyeol. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1418-6">http://dx.doi.org/10.1007/978-1-4614-1418-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bootstrapping Trust in Modern Computers
ent://SD_ILS/0/SD_ILS:173945
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Parno, Bryan. author. McCune, Jonathan M. author. Perrig, Adrian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1460-5">http://dx.doi.org/10.1007/978-1-4614-1460-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents
ent://SD_ILS/0/SD_ILS:173949
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Simari, Gerardo I. author. Parsons, Simon D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1472-8">http://dx.doi.org/10.1007/978-1-4614-1472-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intermittently Connected Mobile Ad Hoc Networks from Routing to Content Distribution
ent://SD_ILS/0/SD_ILS:173975
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Jamalipour, Abbas. author. Ma, Yaozhou. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1572-5">http://dx.doi.org/10.1007/978-1-4614-1572-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Repairing and Querying Databases under Aggregate Constraints
ent://SD_ILS/0/SD_ILS:173987
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Flesca, Sergio. author. Furfaro, Filippo. author. Parisi, Francesco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1641-8">http://dx.doi.org/10.1007/978-1-4614-1641-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision Algorithms and Applications
ent://SD_ILS/0/SD_ILS:176105
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Szeliski, Richard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-935-0">http://dx.doi.org/10.1007/978-1-84882-935-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Explorations in Quantum Computing
ent://SD_ILS/0/SD_ILS:175614
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Williams, Colin P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-887-6">http://dx.doi.org/10.1007/978-1-84628-887-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Concurrent Systems
ent://SD_ILS/0/SD_ILS:175934
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Roscoe, A.W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-258-0">http://dx.doi.org/10.1007/978-1-84882-258-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Intelligent Data Analysis How to Intelligently Make Sense of Real Data
ent://SD_ILS/0/SD_ILS:175935
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Berthold, Michael R. author. Borgelt, Christian. author. Höppner, Frank. author. Klawonn, Frank. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-260-3">http://dx.doi.org/10.1007/978-1-84882-260-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Databases From Biological to Spatio-Temporal
ent://SD_ILS/0/SD_ILS:176154
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Revesz, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-095-3">http://dx.doi.org/10.1007/978-1-84996-095-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ethical and Social Issues in the Information Age
ent://SD_ILS/0/SD_ILS:176135
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kizza, Joseph Migga. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-038-0">http://dx.doi.org/10.1007/978-1-84996-038-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Predictive Text Mining
ent://SD_ILS/0/SD_ILS:176191
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Weiss, Sholom M. author. Indurkhya, Nitin. author. Zhang, Tong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-226-1">http://dx.doi.org/10.1007/978-1-84996-226-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Geometry of Non-Rigid Shapes
ent://SD_ILS/0/SD_ILS:167041
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Bronstein, Alexander M. author. Bronstein, Michael M. author. Kimmel, Ron. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-73301-2">http://dx.doi.org/10.1007/978-0-387-73301-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Introduction to Computer Architecture
ent://SD_ILS/0/SD_ILS:175933
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Page, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-256-6">http://dx.doi.org/10.1007/978-1-84882-256-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Languages and Compilation
ent://SD_ILS/0/SD_ILS:175884
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Crespi Reghizzi, Stefano. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-050-0">http://dx.doi.org/10.1007/978-1-84882-050-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Image Processing for Computer Graphics and Vision
ent://SD_ILS/0/SD_ILS:175754
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Velho, Luiz. author. Frery, Alejandro. author. Gomes, Jonas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-193-0">http://dx.doi.org/10.1007/978-1-84800-193-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Elements of Computation Theory
ent://SD_ILS/0/SD_ILS:175987
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Singh, Arindama. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-497-3">http://dx.doi.org/10.1007/978-1-84882-497-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification of Sequential and Concurrent Programs
ent://SD_ILS/0/SD_ILS:176056
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Apt, Krzysztof R. author. Boer, Frank S. author. Olderog, Ernst-Rüdiger. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-745-5">http://dx.doi.org/10.1007/978-1-84882-745-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Kolmogorov Complexity and Its Applications
ent://SD_ILS/0/SD_ILS:166508
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-49820-1">http://dx.doi.org/10.1007/978-0-387-49820-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Image Processing An Algorithmic Introduction using Java
ent://SD_ILS/0/SD_ILS:175650
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Burger, Wilhelm. author. Burge, Mark James. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-968-2">http://dx.doi.org/10.1007/978-1-84628-968-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ethical and Social Issues in the Information Age
ent://SD_ILS/0/SD_ILS:175498
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kizza, Joseph Migga. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-659-9">http://dx.doi.org/10.1007/978-1-84628-659-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of the New Artificial Intelligence Neural, Evolutionary, Fuzzy and More
ent://SD_ILS/0/SD_ILS:175590
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Munakata, Toshinori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-839-5">http://dx.doi.org/10.1007/978-1-84628-839-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Configuration Management Using Vesta
ent://SD_ILS/0/SD_ILS:165766
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-30852-4">http://dx.doi.org/10.1007/978-0-387-30852-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Computation
ent://SD_ILS/0/SD_ILS:175434
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Kozen, Dexter C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-477-5">http://dx.doi.org/10.1007/1-84628-477-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nearest Neighbor Search A Database Perspective
ent://SD_ILS/0/SD_ILS:165386
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Papadopoulos, Apostolos N. author. Manolopoulos, Yannis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-27544-4">http://dx.doi.org/10.1007/0-387-27544-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Integrated Approach to Software Engineering
ent://SD_ILS/0/SD_ILS:165473
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Jalote, Pankaj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28132-0">http://dx.doi.org/10.1007/0-387-28132-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Real-Time Systems Predictability vs. Efficiency
ent://SD_ILS/0/SD_ILS:165478
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28147-9">http://dx.doi.org/10.1007/0-387-28147-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adapting Proofs-as-Programs The Curry-Howard Protocol
ent://SD_ILS/0/SD_ILS:165486
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28183-5">http://dx.doi.org/10.1007/0-387-28183-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Super-Recursive Algorithms
ent://SD_ILS/0/SD_ILS:165297
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Burgin, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138114">http://dx.doi.org/10.1007/b138114</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstraction, Refinement and Proof for Probabilistic Systems
ent://SD_ILS/0/SD_ILS:165310
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138392">http://dx.doi.org/10.1007/b138392</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Assembly Language Programming For Pentium and RISC Processors
ent://SD_ILS/0/SD_ILS:165340
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Dandamudi, Sivarama P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138691">http://dx.doi.org/10.1007/b138691</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geometric Fundamentals of Robotics
ent://SD_ILS/0/SD_ILS:165353
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Selig, J. M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138859">http://dx.doi.org/10.1007/b138859</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reverse Engineering of Object Oriented Code
ent://SD_ILS/0/SD_ILS:164976
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Tonella, Paolo. author. Potrich, Alessandra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b102522">http://dx.doi.org/10.1007/b102522</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Synthesis of Pattern Recognition Systems
ent://SD_ILS/0/SD_ILS:165053
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Bhanu, Bir. author. Lin, Yingqiang. author. Krawiec, Krzysztof. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105515">http://dx.doi.org/10.1007/b105515</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Scientific Computing With Python
ent://SD_ILS/0/SD_ILS:400205
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89575-8">https://doi.org/10.1007/978-3-319-89575-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interrupt Handling Schemes in Operating Systems
ent://SD_ILS/0/SD_ILS:400213
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94493-7">https://doi.org/10.1007/978-3-319-94493-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach
ent://SD_ILS/0/SD_ILS:400474
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Azim, Tayyaba. author. Ahmed, Sarah. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98524-4">https://doi.org/10.1007/978-3-319-98524-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Risk Management
ent://SD_ILS/0/SD_ILS:488430
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Moran, Alan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05008-9">https://doi.org/10.1007/978-3-319-05008-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service Systems Concepts, Modeling, and Programming
ent://SD_ILS/0/SD_ILS:488908
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Cardoso, Jorge. author. Lopes, Ricardo. author. Poels, Geert. author. (orcid)0000-0001-9247-6150 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10813-1">https://doi.org/10.1007/978-3-319-10813-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
ent://SD_ILS/0/SD_ILS:489273
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Majkić, Zoran. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04156-8">https://doi.org/10.1007/978-3-319-04156-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Energy-aware Scheduling on Multiprocessor Platforms
ent://SD_ILS/0/SD_ILS:331714
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Li, Dawei. author. Wu, Jie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331714.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5224-9">http://dx.doi.org/10.1007/978-1-4614-5224-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fast Compact Algorithms and Software for Spline Smoothing
ent://SD_ILS/0/SD_ILS:331788
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Weinert, Howard L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331788.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5496-0">http://dx.doi.org/10.1007/978-1-4614-5496-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Next Generation Computing Technologies on Computational Intelligence 4th International Conference, NGCT 2018, Dehradun, India, November 21–22, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483567
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
Author Prateek, Manish. editor. Sharma, Durgansh. editor. Tiwari, Rajeev. editor. Sharma, Rashmi. editor. Kumar, Kamal. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-1718-1">https://doi.org/10.1007/978-981-15-1718-1</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
2024-09-04T22:20:37Z
2024-09-04T22:20:37Z
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/>