Search Results for Computer science. - Narrowed by: SpringerLink (Online service) - Computer science.

Applied Computer Science

2024-08-11T22:56:48Z

Author Torbert, Shane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1888-7
Format: Electronic Resources
Availability Online Library~1

Writing for Computer Science

2024-08-11T22:56:48Z

Author Zobel, Justin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6639-9
Format: Electronic Resources
Availability Online Library~1

Probability and Statistics for Computer Science

2024-08-11T22:56:48Z

Author Forsyth, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64410-3
Format: Electronic Resources
Availability Online Library~1

Imaginary Mathematics for Computer Science

2024-08-11T22:56:48Z

Author Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94637-5
Format: Electronic Resources
Availability Online Library~1

Instruction Sequences for Computer Science

2024-08-11T22:56:48Z

Author Bergstra, Jan A. author. Middelburg, Cornelis A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-65-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Logic for Computer Science

2024-08-11T22:56:48Z

Author Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4129-7
Format: Electronic Resources
Availability Online Library~1

Fete of Combinatorics and Computer Science

2024-08-11T22:56:48Z

Author Katona, Gyula O. H. editor. Schrijver, Alexander. editor. Szőnyi, Tamás. editor. Sági, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13580-4
Format: Electronic Resources
Availability Online Library~1

Modelling Computing Systems Mathematics for Computer Science

2024-08-11T22:56:48Z

Author Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332574.1)
Electronic Access http://dx.doi.org/10.1007/978-1-84800-322-4
Format: Electronic Resources
Availability Online Library~1

Extremal Combinatorics With Applications in Computer Science

2024-08-11T22:56:48Z

Author Jukna, Stasys. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17364-6
Format: Electronic Resources
Availability Online Library~1

Computer Science and Engineering—Theory and Applications

2024-08-11T22:56:48Z

Author Sanchez, Mauricio A. editor. Aguilar, Leocundo. editor. Castañón-Puga, Manuel. editor. Rodríguez-Díaz, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74060-7
Format: Electronic Resources
Availability Online Library~1

Analyzing Evolutionary Algorithms The Computer Science Perspective

2024-08-11T22:56:48Z

Author Jansen, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333075.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-17339-4
Format: Electronic Resources
Availability Online Library~1

Mathematics of Discrete Structures for Computer Science

2024-08-11T22:56:48Z

Author Pace, Gordon J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29840-0
Format: Electronic Resources
Availability Online Library~1

Computer Science and its Applications CSA 2012

2024-08-11T22:56:48Z

Author Yeo, Sang-Soo. editor. Pan, Yi. editor. Lee, Yang Sun. editor. Chang, Hang Bae. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-5699-1
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00389-0
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

2024-08-11T22:56:48Z

Author Brandstädt, Andreas. editor. Köhler, Ekkehard. editor. Meer, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00256-5
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

2024-08-11T22:56:48Z

Author Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2712-4
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

2024-08-11T22:56:48Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02149-8
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

2024-08-11T22:56:48Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72056-2
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73117-9
Format: Electronic Resources
Availability Online Library~1

What Is Computer Science? An Information Security Perspective

2024-08-11T22:56:48Z

Author Page, Daniel. author. Smart, Nigel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04042-4
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer

2024-08-11T22:56:48Z

Author Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330901.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4069-6
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

2024-08-11T22:56:48Z

Author Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334617.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38536-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XIX Special Issue on Computer Graphics

2024-08-11T22:56:48Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Konushin, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334847.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39759-2
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers

2024-08-11T22:56:48Z

Author Brandstädt, Andreas. editor. Jansen, Klaus. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335182.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45043-3
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2024-08-11T22:56:48Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334038.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35722-0
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Preferred Shelf Number ONLINE(334064.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35843-2
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

2024-08-11T22:56:48Z

Author Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Preferred Shelf Number ONLINE(334106.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36046-6
Format: Electronic Resources
Availability Online Library~1

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

2024-08-11T22:56:48Z

Author Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334910.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40206-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

2024-08-11T22:56:48Z

Author Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334925.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40313-2
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Dinneen, Michael J. editor. Khoussainov, Bakhadyr. editor. Nies, André. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27654-5
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Bieliková, Mária. editor. Friedrich, Gerhard. editor. Gottlob, Georg. editor. Katzenbeisser, Stefan. editor. Turán, György. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27660-6
Format: Electronic Resources
Availability Online Library~1

Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

2024-08-11T22:56:48Z

Author Pattinson, Dirk. editor. Schröder, Lutz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32784-1
Format: Electronic Resources
Availability Online Library~1

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

2024-08-11T22:56:48Z

Author Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31570-1
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

2024-08-11T22:56:48Z

Author Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32589-2
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings

2024-08-11T22:56:48Z

Author Baeten, Jos C. M. editor. Ball, Tom. editor. Boer, Frank S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33475-7
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers

2024-08-11T22:56:48Z

Author Golumbic, Martin Charles. editor. Stern, Michal. editor. Levy, Avivit. editor. Morgenstern, Gila. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34611-8
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

2024-08-11T22:56:48Z

Author Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25929-6
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings

2024-08-11T22:56:48Z

Author Hirsch, Edward A. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. Prilutskii, Michail. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30642-6
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

2024-08-11T22:56:48Z

Author Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33314-9
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Černá, Ivana. editor. Gyimóthy, Tibor. editor. Hromkovič, Juraj. editor. Jefferey, Keith. editor. Králović, Rastislav. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18381-2
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Education Applications International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II

2024-08-11T22:56:48Z

Author Zhou, Mark. editor. Tan, Honghua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22456-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part I

2024-08-11T22:56:48Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23321-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part II

2024-08-11T22:56:48Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23324-1
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part IV

2024-08-11T22:56:48Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23339-5
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011, Proceedings, Part III

2024-08-11T22:56:48Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23345-6
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part V

2024-08-11T22:56:48Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23357-9
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Science and Information Technology Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings

2024-08-11T22:56:48Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Robles, Rosslin John. editor. Balitanas, Maricel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24267-0
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Nagamalai, Dhinaharan. editor. Renault, Eric. editor. Dhanuskodi, Murugan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24043-0
Format: Electronic Resources
Availability Online Library~1

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

2024-08-11T22:56:48Z

Author Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24897-9
Format: Electronic Resources
Availability Online Library~1

Theoretical and Mathematical Foundations of Computer Science Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011. Selected Papers

2024-08-11T22:56:48Z

Author Zhou, Qihai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24999-0
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17878-8
Format: Electronic Resources
Availability Online Library~1

Advanced Computing First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III

2024-08-11T22:56:48Z

Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17881-8
Format: Electronic Resources
Availability Online Library~1

Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday

2024-08-11T22:56:48Z

Author Calude, Cristian S. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19391-0
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Vetulani, Zygmunt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20095-3
Format: Electronic Resources
Availability Online Library~1

Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I

2024-08-11T22:56:48Z

Author Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21402-8
Format: Electronic Resources
Availability Online Library~1

Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II

2024-08-11T22:56:48Z

Author Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21411-0
Format: Electronic Resources
Availability Online Library~1

Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011, Proceedings, Part II

2024-08-11T22:56:48Z

Author Yu, Yuanxu. editor. Yu, Zhengtao. editor. Zhao, Jingying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22691-5
Format: Electronic Resources
Availability Online Library~1

Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011. Proceedings

2024-08-11T22:56:48Z

Author Yu, Yuanxu. editor. Yu, Zhengtao. editor. Zhao, Jingying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22694-6
Format: Electronic Resources
Availability Online Library~1

Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings

2024-08-11T22:56:48Z

Author Corradini, Andrea. editor. Klin, Bartek. editor. Cîrstea, Corina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22944-2
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

2024-08-11T22:56:48Z

Author Murlak, Filip. editor. Sankowski, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22993-0
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17857-3
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings

2024-08-11T22:56:48Z

Author Kulikov, Alexander. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20712-9
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

2024-08-11T22:56:48Z

Author Swart, Harrie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21070-9
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011. Revised Papers

2024-08-11T22:56:48Z

Author Kolman, Petr. editor. Kratochvíl, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25870-1
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings

2024-08-11T22:56:48Z

Author Ablayev, Farid. editor. Mayr, Ernst W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13182-0
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings

2024-08-11T22:56:48Z

Author Hliněný, Petr. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15155-2
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

2024-08-11T22:56:48Z

Author Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15205-4
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Leeuwen, Jan. editor. Muscholl, Anca. editor. Peleg, David. editor. Pokorný, Jaroslav. editor. Rumpe, Bernhard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11266-9
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Information Technology AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings

2024-08-11T22:56:48Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13577-4
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers

2024-08-11T22:56:48Z

Author Paul, Christophe. editor. Habib, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11409-0
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings

2024-08-11T22:56:48Z

Author Tomar, G. S. editor. Chang, Ruay-Shiung. editor. Gervasi, Osvaldo. editor. Kim, Tai-hoon. editor. Bandyopadhyay, Samir Kumar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13346-6
Format: Electronic Resources
Availability Online Library~1

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

2024-08-11T22:56:48Z

Author Governatori, Guido. editor. Sartor, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14183-6
Format: Electronic Resources
Availability Online Library~1

Graph Theoretic Concepts in Computer Science 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 Revised Papers

2024-08-11T22:56:48Z

Author Thilikos, Dimitrios M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16926-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings

2024-08-11T22:56:48Z

Author Královič, Rastislav. editor. Niwiński, Damian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03816-7
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

2024-08-11T22:56:48Z

Author Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04027-6
Format: Electronic Resources
Availability Online Library~1

Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

2024-08-11T22:56:48Z

Author Kurz, Alexander. editor. Lenisa, Marina. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03741-2
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Berghammer, Rudolf. editor. Jaoua, Ali Mohamed. editor. Möller, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04639-1
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Engineering 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected Papers

2024-08-11T22:56:48Z

Author Sarbazi-Azad, Hamid. editor. Parhami, Behrooz. editor. Miremadi, Seyed-Ghassem. editor. Hessabi, Shaahin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89985-3
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

2024-08-11T22:56:48Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92687-0
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Nielsen, Mogens. editor. Kučera, Antonín. editor. Miltersen, Peter Bro. editor. Palamidessi, Catuscia. editor. Tůma, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-95891-8
Format: Electronic Resources
Availability Online Library~1

Applied Computing, Computer Science, and Advanced Communication First International Conference on Future Computer and Communication, FCC 2009, Wuhan, China, June 6-7, 2009. Proceedings

2024-08-11T22:56:48Z

Author Qi, Luo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02342-2
Format: Electronic Resources
Availability Online Library~1

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings

2024-08-11T22:56:48Z

Author Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03351-3
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings

2024-08-11T22:56:48Z

Author Datta, Anupam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10622-4
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Geffert, Viliam. editor. Karhumäki, Juhani. editor. Bertoni, Alberto. editor. Preneel, Bart. editor. Návrat, Pavol. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77566-9
Format: Electronic Resources
Availability Online Library~1

Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

2024-08-11T22:56:48Z

Author Avron, Arnon. editor. Dershowitz, Nachum. editor. Rabinovich, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78127-1
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78913-0
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

2024-08-11T22:56:48Z

Author Ochmański, Edward. editor. Tyszkiewicz, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85238-4
Format: Electronic Resources
Availability Online Library~1

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

2024-08-11T22:56:48Z

Author Meyden, Ron. editor. Torre, Leendert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70525-3
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings

2024-08-11T22:56:48Z

Author Hirsch, Edward A. editor. Razborov, Alexander A. editor. Semenov, Alexei. editor. Slissenko, Anatol. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79709-8
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

2024-08-11T22:56:48Z

Author Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87531-4
Format: Electronic Resources
Availability Online Library~1

Mathematical Methods in Computer Science Essays in Memory of Thomas Beth

2024-08-11T22:56:48Z

Author Calmet, Jacques. editor. Geiselmann, Willi. editor. Müller-Quade, Jörn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89994-5
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers

2024-08-11T22:56:48Z

Author Broersma, Hajo. editor. Erlebach, Thomas. editor. Friedetzky, Tom. editor. Paulusma, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92248-3
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings

2024-08-11T22:56:48Z

Author Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74456-6
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers

2024-08-11T22:56:48Z

Author Brandstädt, Andreas. editor. Kratsch, Dieter. editor. Müller, Haiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74839-7
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

2024-08-11T22:56:48Z

Author Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74915-8
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings

2024-08-11T22:56:48Z

Author Cervesato, Iliano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76929-3
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

2024-08-11T22:56:48Z

Author Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77050-3
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77505-8
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69507-3
Format: Electronic Resources
Availability Online Library~1

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

2024-08-11T22:56:48Z

Author Thomas, Wolfgang. editor. Weil, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70918-3
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

2024-08-11T22:56:48Z

Author Diekert, Volker. editor. Volkov, Mikhail V. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74510-5
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

2024-08-11T22:56:48Z

Author Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72734-7
Format: Electronic Resources
Availability Online Library~1

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

2024-08-11T22:56:48Z

Author Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73859-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

2024-08-11T22:56:48Z

Author Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11821069
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11828563
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

2024-08-11T22:56:48Z

Author Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11874683
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Wiedermann, Jiří. editor. Tel, Gerard. editor. Pokorný, Jaroslav. editor. Bieliková, Mária. editor. Štuller, Július. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11611257
Format: Electronic Resources
Availability Online Library~1

STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings

2024-08-11T22:56:48Z

Author Durand, Bruno. editor. Thomas, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11672142
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science Essays in Memory of Shimon Even

2024-08-11T22:56:48Z

Author Goldreich, Oded. editor. Rosenberg, Arnold L. editor. Selman, Alan L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11685654
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11786849
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 Revised Papers

2024-08-11T22:56:48Z

Author Fomin, Fedor V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11917496
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

2024-08-11T22:56:48Z

Author Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11944836
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11734673
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings

2024-08-11T22:56:48Z

Author Grigoriev, Dima. editor. Harrison, John. editor. Hirsch, Edward A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11753728
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Maher, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b103476
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

2024-08-11T22:56:48Z

Author Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104325
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

2024-08-11T22:56:48Z

Author Coppo, Mario. editor. Lodi, Elena. editor. Pinna, G. Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560586
Format: Electronic Resources
Availability Online Library~1

STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings

2024-08-11T22:56:48Z

Author Diekert, Volker. editor. Durand, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106485
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

2024-08-11T22:56:48Z

Author Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11538363
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

2024-08-11T22:56:48Z

Author Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11549345
Format: Electronic Resources
Availability Online Library~1

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

2024-08-11T22:56:48Z

Author Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11548133
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

2024-08-11T22:56:48Z

Author Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590156
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers

2024-08-11T22:56:48Z

Author Hromkovič, Juraj. editor. Nagl, Manfred. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104584
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science – ASIAN 2005. Data Management on the Web 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings

2024-08-11T22:56:48Z

Author Grumbach, Stéphane. editor. Sui, Liying. editor. Vianu, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11596370
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105088
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers

2024-08-11T22:56:48Z

Author Kratsch, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11604686
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Lytras, Miltiadis D. editor. Carroll, John M. editor. Damiani, Ernesto. editor. Tennyson, Robert D. editor. Avison, David. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87783-7
Format: Electronic Resources
Availability Online Library~1

Higher Education Computer Science A Manual of Practical Approaches

2024-08-11T22:56:48Z

Author Carter, Jenny. editor. O'Grady, Michael. editor. (orcid)0000-0002-6250-4736 Rosen, Clive. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98590-9
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Vetulani, Zygmunt. editor. Mariani, Joseph. editor. Kubis, Marek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93782-3
Format: Electronic Resources
Availability Online Library~1

The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science

2024-08-11T22:56:48Z

Author Ausiello, Giorgio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62680-2
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

2024-08-11T22:56:48Z

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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14896-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and its Applications CSA 2013

2024-08-11T22:56:48Z

Author Jeong, Hwa Young. editor. S. Obaidat, Mohammad. editor. Yen, Neil Y. editor. Park, James J. (Jong Hyuk). editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-41674-3
Format: Electronic Resources
Availability Online Library~1

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics

2024-08-11T22:56:48Z

Author Mogavero, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336496.1)
Electronic Access http://dx.doi.org/10.2991/978-94-91216-95-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 2

2024-08-11T22:56:48Z

Author Gaol, Ford Lumban. editor. Nguyen, Quang Vinh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28308-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 1

2024-08-11T22:56:48Z

Author Gaol, Ford Lumban. editor. Nguyen, Quang Vinh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28314-7
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I

2024-08-11T22:56:48Z

Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27299-8
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27308-7
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27317-9
Format: Electronic Resources
Availability Online Library~1

Guide to Teaching Computer Science An Activity-Based Approach

2024-08-11T22:56:48Z

Author Hazzan, Orit. author. Lapidot, Tami. author. Ragonis, Noa. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-443-2
Format: Electronic Resources
Availability Online Library~1

Computer Science The Hardware, Software and Heart of It

2024-08-11T22:56:48Z

Author Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1168-0
Format: Electronic Resources
Availability Online Library~1

Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning

2024-08-11T22:56:48Z

Author Tchounikine, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20003-8
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15240-5
Format: Electronic Resources
Availability Online Library~1

Geometric Algebra Computing in Engineering and Computer Science

2024-08-11T22:56:48Z

Author Bayro-Corrochano, Eduardo. editor. Scheuermann, Gerik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-108-0
Format: Electronic Resources
Availability Online Library~1

Dynamics On and Of Complex Networks Applications to Biology, Computer Science, and the Social Sciences

2024-08-11T22:56:48Z

Author Ganguly, Niloy. editor. Deutsch, Andreas. editor. Mukherjee, Animesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4751-3
Format: Electronic Resources
Availability Online Library~1

Thesis Projects A Guide for Students in Computer Science and Information Systems

2024-08-11T22:56:48Z

Author Berndtsson, Mikael. author. Hansson, Jörgen. author. Olsson, Björn. author. Lundell, Björn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-009-4
Format: Electronic Resources
Availability Online Library~1

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008

2024-08-11T22:56:48Z

Author Ausiello, Giorgio. editor. Karhumäki, Juhani. editor. Mauri, Giancarlo. editor. Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09680-3
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Navarro, Gonzalo. editor. Bertossi, Leopoldo. editor. Kohayakawa, Yoshiharu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-34735-6
Format: Electronic Resources
Availability Online Library~1

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

2024-08-11T22:56:48Z

Author Ng, Michael K. editor. Doncescu, Andrei. editor. Yang, Laurence T. editor. Leng, Tau. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104300
Format: Electronic Resources
Availability Online Library~1

Research and Development in Digital Media

2024-08-11T22:56:48Z

Author Earnshaw, Rae. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73080-6
Format: Electronic Resources
Availability Online Library~1

Guide to Programming for the Digital Humanities Lessons for Introductory Python

2024-08-11T22:56:48Z

Author Kokensparger, Brian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99115-3
Format: Electronic Resources
Availability Online Library~1

Time-of-Flight Cameras Principles, Methods and Applications

2024-08-11T22:56:48Z

Author Hansard, Miles. author. Lee, Seungkyu. author. Choi, Ouk. author. Horaud, Radu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331036.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4658-2
Format: Electronic Resources
Availability Online Library~1

Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems

2024-08-11T22:56:48Z

Author Shukla, K. K. author. Tiwari, Arvind K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331104.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4941-5
Format: Electronic Resources
Availability Online Library~1

Omnidirectional Vision Systems Calibration, Feature Extraction and 3D Information

2024-08-11T22:56:48Z

Author Puig, Luis. author. Guerrero, J.J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331106.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4947-7
Format: Electronic Resources
Availability Online Library~1

Motion History Images for Action Recognition and Understanding

2024-08-11T22:56:48Z

Author Ahad, Md. Atiqur Rahman. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331046.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4730-5
Format: Electronic Resources
Availability Online Library~1

Ethical and Social Issues in the Information Age

2024-08-11T22:56:48Z

Author Kizza, Joseph Migga. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331112.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4990-3
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence A Methodological Introduction

2024-08-11T22:56:48Z

Author Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Steinbrecher, Matthias. author.
Preferred Shelf Number ONLINE(331117.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5013-8
Format: Electronic Resources
Availability Online Library~1

Explaining Algorithms Using Metaphors

2024-08-11T22:56:48Z

Author Forišek, Michal. author. Steinová, Monika. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331118.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5019-0
Format: Electronic Resources
Availability Online Library~1

Modeling and Simulating Command and Control For Organizations Under Extreme Situations

2024-08-11T22:56:48Z

Author Moon, Il-Chul. author. Carley, Kathleen M. author. Kim, Tag Gon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331124.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5037-4
Format: Electronic Resources
Availability Online Library~1

From Fault Classification to Fault Tolerance for Multi-Agent Systems

2024-08-11T22:56:48Z

Author Potiron, Katia. author. El Fallah Seghrouchni, Amal. author. Taillibert, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331127.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5046-6
Format: Electronic Resources
Availability Online Library~1

Rapid Serial Visual Presentation Design for Cognition

2024-08-11T22:56:48Z

Author Spence, Robert. author. Witkowski, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331139.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5085-5
Format: Electronic Resources
Availability Online Library~1

Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture

2024-08-11T22:56:48Z

Author Rockcastle, Siobhan. author. Andersen, Marilyne. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331178.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5233-0
Format: Electronic Resources
Availability Online Library~1

Bluetooth Security Attacks Comparative Analysis, Attacks, and Countermeasures

2024-08-11T22:56:48Z

Author Haataja, Keijo. author. Hyppönen, Konstantin. author. Pasanen, Sanna. author. Toivanen, Pekka. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334982.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40646-1
Format: Electronic Resources
Availability Online Library~1

Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation

2024-08-11T22:56:48Z

Author ElAarag, Hala. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331089.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4893-7
Format: Electronic Resources
Availability Online Library~1

Guide to Modeling and Simulation of Systems of Systems User’s Reference

2024-08-11T22:56:48Z

Author Zeigler, Bernard P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331013.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4570-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Image Processing Using R Learning by Examples

2024-08-11T22:56:48Z

Author Frery, Alejandro C. author. Perciano, Talita. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331107.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4950-7
Format: Electronic Resources
Availability Online Library~1

Traffic Measurement on the Internet

2024-08-11T22:56:48Z

Author Li, Tao. author. Chen, Shigang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331602.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4851-8
Format: Electronic Resources
Availability Online Library~1

Mobile Authentication Problems and Solutions

2024-08-11T22:56:48Z

Author Jakobsson, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331610.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4878-5
Format: Electronic Resources
Availability Online Library~1

Dynamic Cloud Collaboration Platform A Market-Oriented Approach

2024-08-11T22:56:48Z

Author Hassan, Mohammad Mehedi. author. Huh, Eui-Nam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331690.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5146-4
Format: Electronic Resources
Availability Online Library~1

Performance Evaluation Software Moving Object Detection and Tracking in Videos

2024-08-11T22:56:48Z

Author Karasulu, Bahadir. author. Korukoglu, Serdar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332057.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6534-8
Format: Electronic Resources
Availability Online Library~1

Distributed Medium Access Control in Wireless Networks

2024-08-11T22:56:48Z

Author Wang, Ping. author. Zhuang, Weihua. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332073.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6602-4
Format: Electronic Resources
Availability Online Library~1

Physical Layer Approaches for Securing Wireless Communication Systems

2024-08-11T22:56:48Z

Author Wen, Hong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332050.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6510-2
Format: Electronic Resources
Availability Online Library~1

A General Framework for Reasoning On Inconsistency

2024-08-11T22:56:48Z

Author Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332107.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: Electronic Resources
Availability Online Library~1

Modeling Trust Context in Networks

2024-08-11T22:56:48Z

Author Adali, Sibel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332190.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7031-1
Format: Electronic Resources
Availability Online Library~1

Semantic Web-based Intelligent Geospatial Web Services

2024-08-11T22:56:48Z

Author Yue, Peng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332124.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6809-7
Format: Electronic Resources
Availability Online Library~1

Transportation and Information Trends in Technology and Policy

2024-08-11T22:56:48Z

Author Thakuriah, Piyushimita (Vonu). author. Geers, D. Glenn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332214.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7129-5
Format: Electronic Resources
Availability Online Library~1

Security for Wireless Implantable Medical Devices

2024-08-11T22:56:48Z

Author Hei, Xiali. author. Du, Xiaojiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332220.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7153-0
Format: Electronic Resources
Availability Online Library~1

Resource Management in Utility and Cloud Computing

2024-08-11T22:56:48Z

Author Zhao, Han. author. Li, Xiaolin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332457.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8970-2
Format: Electronic Resources
Availability Online Library~1

Location Privacy Protection in Mobile Networks

2024-08-11T22:56:48Z

Author Liu, Xinxin. author. Li, Xiaolin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332468.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9074-6
Format: Electronic Resources
Availability Online Library~1

Wireless Virtualization

2024-08-11T22:56:48Z

Author Wen, Heming. author. Tiwary, Prabhat Kumar. author. Le-Ngoc, Tho. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332854.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01291-9
Format: Electronic Resources
Availability Online Library~1

Secure IP Mobility Management for VANET

2024-08-11T22:56:48Z

Author Taha, Sanaa. author. Shen, Xuemin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332861.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01351-0
Format: Electronic Resources
Availability Online Library~1

A Brief History of Cryptology and Cryptographic Algorithms

2024-08-11T22:56:48Z

Author Dooley, John F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332881.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01628-3
Format: Electronic Resources
Availability Online Library~1

Concise Computer Mathematics Tutorials on Theory and Problems

2024-08-11T22:56:48Z

Author Bagdasar, Ovidiu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332887.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01751-8
Format: Electronic Resources
Availability Online Library~1

Data Center Networks Topologies, Architectures and Fault-Tolerance Characteristics

2024-08-11T22:56:48Z

Author Liu, Yang. author. Muppala, Jogesh K. author. Veeraraghavan, Malathi. author. Lin, Dong. author. Hamdi, Mounir. author.
Preferred Shelf Number ONLINE(332894.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01949-9
Format: Electronic Resources
Availability Online Library~1

Cyber Security Deterrence and IT Protection for Critical Infrastructures

2024-08-11T22:56:48Z

Author Martellini, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332909.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02279-6
Format: Electronic Resources
Availability Online Library~1

Spatio-Temporal Databases Complex Motion Pattern Queries

2024-08-11T22:56:48Z

Author Vieira, Marcos R. author. Tsotras, Vassilis J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332918.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02408-0
Format: Electronic Resources
Availability Online Library~1

Sustainable Wireless Networks

2024-08-11T22:56:48Z

Author Zheng, Zhongming. author. Cai, Lin X. author. Shen, Xuemin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332922.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02469-1
Format: Electronic Resources
Availability Online Library~1

Unsupervised Information Extraction by Text Segmentation

2024-08-11T22:56:48Z

Author Cortez, Eli. author. Silva, Altigran S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332930.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02597-1
Format: Electronic Resources
Availability Online Library~1

Real-Time Detection of Lines and Grids By PClines and Other Approaches

2024-08-11T22:56:48Z

Author Herout, Adam. author. Dubská, Markéta. author. Havel, Jiří. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330974.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4414-4
Format: Electronic Resources
Availability Online Library~1

Energy-Efficient High Performance Computing Measurement and Tuning

2024-08-11T22:56:48Z

Author Laros III, James H. author. Pedretti, Kevin. author. Kelly, Suzanne M. author. Shu, Wei. author. Ferreira, Kurt. author.
Preferred Shelf Number ONLINE(330991.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4492-2
Format: Electronic Resources
Availability Online Library~1

Data Mining in Large Sets of Complex Data

2024-08-11T22:56:48Z

Author Cordeiro, Robson L. F. author. Faloutsos, Christos. author. Traina Júnior, Caetano. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331088.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4890-6
Format: Electronic Resources
Availability Online Library~1

Belief Revision in Non-Classical Logics

2024-08-11T22:56:48Z

Author Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330925.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Electronic Resources
Availability Online Library~1

Graph-Based Clustering and Data Visualization Algorithms

2024-08-11T22:56:48Z

Author Vathy-Fogarassy, Ágnes. author. Abonyi, János. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331160.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5158-6
Format: Electronic Resources
Availability Online Library~1

Middleware Solutions for the Internet of Things

2024-08-11T22:56:48Z

Author Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331206.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5481-5
Format: Electronic Resources
Availability Online Library~1

Formal Languages and Compilation

2024-08-11T22:56:48Z

Author Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331210.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5514-0
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Parameterized Complexity

2024-08-11T22:56:48Z

Author Downey, Rodney G. author. Fellows, Michael R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331218.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5559-1
Format: Electronic Resources
Availability Online Library~1

Countering Brandjacking in the Digital Age … and Other Hidden Risks to Your Brand

2024-08-11T22:56:48Z

Author Hofman, Christopher. author. Keates, Simeon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331219.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5580-5
Format: Electronic Resources
Availability Online Library~1

Sentiment Analysis for PTSD Signals

2024-08-11T22:56:48Z

Author Kagan, Vadim. author. Rossini, Edward. author. Sapounas, Demetrios. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331316.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3097-1
Format: Electronic Resources
Availability Online Library~1

Spatio-temporal Networks Modeling and Algorithms

2024-08-11T22:56:48Z

Author George, Betsy. author. Kim, Sangho. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331620.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4918-8
Format: Electronic Resources
Availability Online Library~1

Querying Moving Objects Detected by Sensor Networks

2024-08-11T22:56:48Z

Author Bestehorn, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331623.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4927-0
Format: Electronic Resources
Availability Online Library~1

Automatic Malware Analysis An Emulator Based Approach

2024-08-11T22:56:48Z

Author Yin, Heng. author. Song, Dawn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331796.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5523-3
Format: Electronic Resources
Availability Online Library~1

Health Informatics in the Cloud

2024-08-11T22:56:48Z

Author Braunstein, Mark L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331823.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5629-2
Format: Electronic Resources
Availability Online Library~1

Routing for Wireless Multi-Hop Networks

2024-08-11T22:56:48Z

Author Abdel Hamid, Sherin. author. Hassanein, Hossam S. author. Takahara, Glen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332014.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6357-3
Format: Electronic Resources
Availability Online Library~1

A Survey of Core Research in Information Systems

2024-08-11T22:56:48Z

Author Sidorova, Anna. author. Evangelopoulos, Nicholas. author. Torres, Russell. author. Johnson, Vess. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332222.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7158-5
Format: Electronic Resources
Availability Online Library~1

Android Malware

2024-08-11T22:56:48Z

Author Jiang, Xuxian. author. Zhou, Yajin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332276.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7394-7
Format: Electronic Resources
Availability Online Library~1

Sustainable Web Ecosystem Design

2024-08-11T22:56:48Z

Author O'Toole, Greg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332331.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7714-3
Format: Electronic Resources
Availability Online Library~1

Concepts, Ontologies, and Knowledge Representation

2024-08-11T22:56:48Z

Author Jakus, Grega. author. Milutinović, Veljko. author. Omerović, Sanida. author. Tomažič, Sašo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332353.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7822-5
Format: Electronic Resources
Availability Online Library~1

Studies on Urban Vehicular Ad-hoc Networks

2024-08-11T22:56:48Z

Author Zhu, Hongzi. author. Li, Minglu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332386.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8048-8
Format: Electronic Resources
Availability Online Library~1

Intrusion Detection for IP-Based Multimedia Communications over Wireless Networks

2024-08-11T22:56:48Z

Author Tang, Jin. author. Cheng, Yu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332461.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8996-2
Format: Electronic Resources
Availability Online Library~1

Distributed Hash Table Theory, Platforms and Applications

2024-08-11T22:56:48Z

Author Zhang, Hao. author. Wen, Yonggang. author. Xie, Haiyong. author. Yu, Nenghai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332462.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9008-1
Format: Electronic Resources
Availability Online Library~1

Security and Privacy in Mobile Social Networks

2024-08-11T22:56:48Z

Author Liang, Xiaohui. author. Lu, Rongxing. author. Lin, Xiaodong. author. Shen, Xuemin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332451.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8857-6
Format: Electronic Resources
Availability Online Library~1

Security Assessment in Vehicular Networks

2024-08-11T22:56:48Z

Author Du, Suguo. author. Zhu, Haojin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332479.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9357-0
Format: Electronic Resources
Availability Online Library~1

Software Similarity and Classification

2024-08-11T22:56:48Z

Author Cesare, Silvio. author. Xiang, Yang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2909-7
Format: Electronic Resources
Availability Online Library~1

Entropy Guided Transformation Learning: Algorithms and Applications

2024-08-11T22:56:48Z

Author Santos, Cícero Nogueira. author. Milidiú, Ruy Luiz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2978-3
Format: Electronic Resources
Availability Online Library~1

Context Management for Distributed and Dynamic Context-Aware Computing

2024-08-11T22:56:48Z

Author Rocha, Ricardo Couto Antunes. author. Endler, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4020-7
Format: Electronic Resources
Availability Online Library~1

Service Placement in Ad Hoc Networks

2024-08-11T22:56:48Z

Author Wittenburg, Georg. author. Schiller, Jochen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2363-7
Format: Electronic Resources
Availability Online Library~1

Robust Motion Detection in Real-Life Scenarios

2024-08-11T22:56:48Z

Author Martínez-Martín, Ester. author. Pobil, Ángel P. del. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4216-4
Format: Electronic Resources
Availability Online Library~1

Guide to Cisco Routers Configuration Becoming a Router Geek

2024-08-11T22:56:48Z

Author Alani, Mohammed M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4246-1
Format: Electronic Resources
Availability Online Library~1

Two-Dimensional Change Detection Methods Remote Sensing Applications

2024-08-11T22:56:48Z

Author İlsever, Murat. author. Ünsalan, Cem. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4255-3
Format: Electronic Resources
Availability Online Library~1

A Survey of Data Leakage Detection and Prevention Solutions

2024-08-11T22:56:48Z

Author Shabtai, Asaf. author. Elovici, Yuval. author. Rokach, Lior. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2053-8
Format: Electronic Resources
Availability Online Library~1

Criminal Justice Forecasts of Risk A Machine Learning Approach

2024-08-11T22:56:48Z

Author Berk, Richard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3085-8
Format: Electronic Resources
Availability Online Library~1

Autonomic Cooperative Networking

2024-08-11T22:56:48Z

Author Wódczak, Michał. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3100-8
Format: Electronic Resources
Availability Online Library~1

Power Distribution and Performance Analysis for Wireless Communication Networks

2024-08-11T22:56:48Z

Author Zhao, Dongmei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3284-5
Format: Electronic Resources
Availability Online Library~1

Data Dissemination and Query in Mobile Social Networks

2024-08-11T22:56:48Z

Author Chen, Jiming. author. Fan, Jialu. author. Sun, Youxian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2254-9
Format: Electronic Resources
Availability Online Library~1

Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services

2024-08-11T22:56:48Z

Author Birman, Kenneth P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2416-0
Format: Electronic Resources
Availability Online Library~1

Spatial AutoRegression (SAR) Model Parameter Estimation Techniques

2024-08-11T22:56:48Z

Author Kazar, Baris M. author. Celik, Mete. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1842-9
Format: Electronic Resources
Availability Online Library~1

A Primer of Multicast Routing

2024-08-11T22:56:48Z

Author Rosenberg, Eric. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1873-3
Format: Electronic Resources
Availability Online Library~1

The Design of Cloud Workflow Systems

2024-08-11T22:56:48Z

Author Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1933-4
Format: Electronic Resources
Availability Online Library~1

Scalable Parallel Programming Applied to H.264/AVC Decoding

2024-08-11T22:56:48Z

Author Juurlink, Ben. author. Alvarez-Mesa, Mauricio. author. Chi, Chi Ching. author. Azevedo, Arnaldo. author. Meenderinck, Cor. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2230-3
Format: Electronic Resources
Availability Online Library~1

Automated Configuration Problem Solving

2024-08-11T22:56:48Z

Author Petrie, Charles J. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4532-6
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Crowdsourcing Architecture, Protocols and Algorithms

2024-08-11T22:56:48Z

Author Schall, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5956-9
Format: Electronic Resources
Availability Online Library~1

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

2024-08-11T22:56:48Z

Author Henderson-Sellers, Brian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29825-7
Format: Electronic Resources
Availability Online Library~1

A Proof Theory for Description Logics

2024-08-11T22:56:48Z

Author Rademaker, Alexandre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4002-3
Format: Electronic Resources
Availability Online Library~1

Decentralized Reasoning in Ambient Intelligence

2024-08-11T22:56:48Z

Author Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4168-6
Format: Electronic Resources
Availability Online Library~1

Self-* and P2P for Network Management Design Principles and Case Studies

2024-08-11T22:56:48Z

Author Marquezan, Clarissa Cassales. author. Granville, Lisandro Zambenedetti. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4201-0
Format: Electronic Resources
Availability Online Library~1

Visual Indexing and Retrieval

2024-08-11T22:56:48Z

Author Benois-Pineau, Jenny. author. Precioso, Frédéric. author. Cord, Matthieu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3588-4
Format: Electronic Resources
Availability Online Library~1

ITIL® 2011 At a Glance

2024-08-11T22:56:48Z

Author Long, John O. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3897-7
Format: Electronic Resources
Availability Online Library~1

Event-Driven Surveillance Possibilities and Challenges

2024-08-11T22:56:48Z

Author Denecke, Kerstin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28135-8
Format: Electronic Resources
Availability Online Library~1

Software Testing in the Cloud Migration and Execution

2024-08-11T22:56:48Z

Author Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32122-1
Format: Electronic Resources
Availability Online Library~1

Understanding High-Dimensional Spaces

2024-08-11T22:56:48Z

Author Skillicorn, David B. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33398-9
Format: Electronic Resources
Availability Online Library~1

Evolutionary Game Design

2024-08-11T22:56:48Z

Author Browne, Cameron. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2179-4
Format: Electronic Resources
Availability Online Library~1

Glazed Panel Construction with Human-Robot Cooperation

2024-08-11T22:56:48Z

Author Lee, Seungyeol. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1418-6
Format: Electronic Resources
Availability Online Library~1

Bootstrapping Trust in Modern Computers

2024-08-11T22:56:48Z

Author Parno, Bryan. author. McCune, Jonathan M. author. Perrig, Adrian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1460-5
Format: Electronic Resources
Availability Online Library~1

Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents

2024-08-11T22:56:48Z

Author Simari, Gerardo I. author. Parsons, Simon D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1472-8
Format: Electronic Resources
Availability Online Library~1

Explorations in Quantum Computing

2024-08-11T22:56:48Z

Author Williams, Colin P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-887-6
Format: Electronic Resources
Availability Online Library~1

Specification of Software Systems

2024-08-11T22:56:48Z

Author Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-277-3
Format: Electronic Resources
Availability Online Library~1

Voice over IP Security A Comprehensive Survey of Vulnerabilities and Academic Research

2024-08-11T22:56:48Z

Author Keromytis, Angelos D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9866-8
Format: Electronic Resources
Availability Online Library~1

Markov Models for Handwriting Recognition

2024-08-11T22:56:48Z

Author Plötz, Thomas. author. Fink, Gernot A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2188-6
Format: Electronic Resources
Availability Online Library~1

Guide to ILDJIT

2024-08-11T22:56:48Z

Author Campanoni, Simone. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2194-7
Format: Electronic Resources
Availability Online Library~1

Lossy Image Compression Domain Decomposition-Based Algorithms

2024-08-11T22:56:48Z

Author Shukla, K.K. author. Prasad, M.V. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2218-0
Format: Electronic Resources
Availability Online Library~1

Video Processing in the Cloud

2024-08-11T22:56:48Z

Author Pereira, Rafael Silva. author. Breitman, Karin K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2137-4
Format: Electronic Resources
Availability Online Library~1

Traffic-Sign Recognition Systems

2024-08-11T22:56:48Z

Author Escalera, Sergio. author. Baró, Xavier. author. Pujol, Oriol. author. Vitrià, Jordi. author. Radeva, Petia. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2245-6
Format: Electronic Resources
Availability Online Library~1

Intermittently Connected Mobile Ad Hoc Networks from Routing to Content Distribution

2024-08-11T22:56:48Z

Author Jamalipour, Abbas. author. Ma, Yaozhou. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1572-5
Format: Electronic Resources
Availability Online Library~1

Repairing and Querying Databases under Aggregate Constraints

2024-08-11T22:56:48Z

Author Flesca, Sergio. author. Furfaro, Filippo. author. Parisi, Francesco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1641-8
Format: Electronic Resources
Availability Online Library~1

Quantitative Security Risk Assessment of Enterprise Networks

2024-08-11T22:56:48Z

Author Ou, Xinming. author. Singhal, Anoop. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1860-3
Format: Electronic Resources
Availability Online Library~1

Interactive Co-segmentation of Objects in Image Collections

2024-08-11T22:56:48Z

Author Batra, Dhruv. author. Kowdle, Adarsh. author. Parikh, Devi. author. Luo, Jiebo. author. Chen, Tsuhan. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1915-0
Format: Electronic Resources
Availability Online Library~1

Computer Vision Algorithms and Applications

2024-08-11T22:56:48Z

Author Szeliski, Richard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-935-0
Format: Electronic Resources
Availability Online Library~1

Demand-Driven Associative Classification

2024-08-11T22:56:48Z

Author Veloso, Adriano. author. Meira Jr., Wagner. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-525-5
Format: Electronic Resources
Availability Online Library~1

The Computer Graphics Manual

2024-08-11T22:56:48Z

Author Salomon, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-886-7
Format: Electronic Resources
Availability Online Library~1

Computability and Complexity Theory

2024-08-11T22:56:48Z

Author Homer, Steven. author. Selman, Alan L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0682-2
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Predictive Text Mining

2024-08-11T22:56:48Z

Author Weiss, Sholom M. author. Indurkhya, Nitin. author. Zhang, Tong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-226-1
Format: Electronic Resources
Availability Online Library~1

Understanding Concurrent Systems

2024-08-11T22:56:48Z

Author Roscoe, A.W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-258-0
Format: Electronic Resources
Availability Online Library~1

Guide to Intelligent Data Analysis How to Intelligently Make Sense of Real Data

2024-08-11T22:56:48Z

Author Berthold, Michael R. author. Borgelt, Christian. author. Höppner, Frank. author. Klawonn, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-260-3
Format: Electronic Resources
Availability Online Library~1

Ethical and Social Issues in the Information Age

2024-08-11T22:56:48Z

Author Kizza, Joseph Migga. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-038-0
Format: Electronic Resources
Availability Online Library~1

Introduction to Databases From Biological to Spatio-Temporal

2024-08-11T22:56:48Z

Author Revesz, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-095-3
Format: Electronic Resources
Availability Online Library~1

Numerical Geometry of Non-Rigid Shapes

2024-08-11T22:56:48Z

Author Bronstein, Alexander M. author. Bronstein, Michael M. author. Kimmel, Ron. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-73301-2
Format: Electronic Resources
Availability Online Library~1

Elements of Computation Theory

2024-08-11T22:56:48Z

Author Singh, Arindama. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-497-3
Format: Electronic Resources
Availability Online Library~1

Image Processing for Computer Graphics and Vision

2024-08-11T22:56:48Z

Author Velho, Luiz. author. Frery, Alejandro. author. Gomes, Jonas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-193-0
Format: Electronic Resources
Availability Online Library~1

Formal Languages and Compilation

2024-08-11T22:56:48Z

Author Crespi Reghizzi, Stefano. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-050-0
Format: Electronic Resources
Availability Online Library~1

Practical Introduction to Computer Architecture

2024-08-11T22:56:48Z

Author Page, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-256-6
Format: Electronic Resources
Availability Online Library~1

Verification of Sequential and Concurrent Programs

2024-08-11T22:56:48Z

Author Apt, Krzysztof R. author. Boer, Frank S. author. Olderog, Ernst-Rüdiger. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-745-5
Format: Electronic Resources
Availability Online Library~1

Digital Image Processing An Algorithmic Introduction using Java

2024-08-11T22:56:48Z

Author Burger, Wilhelm. author. Burge, Mark James. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-968-2
Format: Electronic Resources
Availability Online Library~1

An Introduction to Kolmogorov Complexity and Its Applications

2024-08-11T22:56:48Z

Author Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-49820-1
Format: Electronic Resources
Availability Online Library~1

Fundamentals of the New Artificial Intelligence Neural, Evolutionary, Fuzzy and More

2024-08-11T22:56:48Z

Author Munakata, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-839-5
Format: Electronic Resources
Availability Online Library~1

Ethical and Social Issues in the Information Age

2024-08-11T22:56:48Z

Author Kizza, Joseph Migga. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-659-9
Format: Electronic Resources
Availability Online Library~1

Software Configuration Management Using Vesta

2024-08-11T22:56:48Z

Author Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-30852-4
Format: Electronic Resources
Availability Online Library~1

Theory of Computation

2024-08-11T22:56:48Z

Author Kozen, Dexter C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-477-5
Format: Electronic Resources
Availability Online Library~1

Reverse Engineering of Object Oriented Code

2024-08-11T22:56:48Z

Author Tonella, Paolo. author. Potrich, Alessandra. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b102522
Format: Electronic Resources
Availability Online Library~1

Evolutionary Synthesis of Pattern Recognition Systems

2024-08-11T22:56:48Z

Author Bhanu, Bir. author. Lin, Yingqiang. author. Krawiec, Krzysztof. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105515
Format: Electronic Resources
Availability Online Library~1

Super-Recursive Algorithms

2024-08-11T22:56:48Z

Author Burgin, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138114
Format: Electronic Resources
Availability Online Library~1

Abstraction, Refinement and Proof for Probabilistic Systems

2024-08-11T22:56:48Z

Author McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138392
Format: Electronic Resources
Availability Online Library~1

Introduction to Assembly Language Programming For Pentium and RISC Processors

2024-08-11T22:56:48Z

Author Dandamudi, Sivarama P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138691
Format: Electronic Resources
Availability Online Library~1

Nearest Neighbor Search A Database Perspective

2024-08-11T22:56:48Z

Author Papadopoulos, Apostolos N. author. Manolopoulos, Yannis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-27544-4
Format: Electronic Resources
Availability Online Library~1

An Integrated Approach to Software Engineering

2024-08-11T22:56:48Z

Author Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28132-0
Format: Electronic Resources
Availability Online Library~1

Soft Real-Time Systems Predictability vs. Efficiency

2024-08-11T22:56:48Z

Author Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28147-9
Format: Electronic Resources
Availability Online Library~1

Adapting Proofs-as-Programs The Curry-Howard Protocol

2024-08-11T22:56:48Z

Author Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28183-5
Format: Electronic Resources
Availability Online Library~1

Geometric Fundamentals of Robotics

2024-08-11T22:56:48Z

Author Selig, J. M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138859
Format: Electronic Resources
Availability Online Library~1

Applied Scientific Computing With Python

2024-08-11T22:56:48Z

Author Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89575-8
Format: Electronic Resources
Availability Online Library~1

Interrupt Handling Schemes in Operating Systems

2024-08-11T22:56:48Z

Author Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94493-7
Format: Electronic Resources
Availability Online Library~1

Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach

2024-08-11T22:56:48Z

Author Azim, Tayyaba. author. Ahmed, Sarah. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98524-4
Format: Electronic Resources
Availability Online Library~1

Agile Risk Management

2024-08-11T22:56:48Z

Author Moran, Alan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05008-9
Format: Electronic Resources
Availability Online Library~1

Service Systems Concepts, Modeling, and Programming

2024-08-11T22:56:48Z

Author Cardoso, Jorge. author. Lopes, Ricardo. author. Poels, Geert. author. (orcid)0000-0001-9247-6150 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10813-1
Format: Electronic Resources
Availability Online Library~1

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

2024-08-11T22:56:48Z

Author Majkić, Zoran. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04156-8
Format: Electronic Resources
Availability Online Library~1

Energy-aware Scheduling on Multiprocessor Platforms

2024-08-11T22:56:48Z

Author Li, Dawei. author. Wu, Jie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331714.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5224-9
Format: Electronic Resources
Availability Online Library~1

Fast Compact Algorithms and Software for Spline Smoothing

2024-08-11T22:56:48Z

Author Weinert, Howard L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331788.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: Electronic Resources
Availability Online Library~1

Computing and Software Science State of the Art and Perspectives

2024-08-11T22:56:48Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources
Availability Online Library~1

Next Generation Computing Technologies on Computational Intelligence 4th International Conference, NGCT 2018, Dehradun, India, November 21–22, 2018, Revised Selected Papers

2024-08-11T22:56:48Z

Author Prateek, Manish. editor. Sharma, Durgansh. editor. Tiwari, Rajeev. editor. Sharma, Rashmi. editor. Kumar, Kamal. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1718-1
Format: Electronic Resources
Availability Online Library~1

New Trends in Computer Technologies and Applications 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20–22, 2018, Revised Selected Papers

2024-08-11T22:56:48Z

Author Chang, Chuan-Yu. editor. Lin, Chien-Chou. editor. Lin, Horng-Horng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-9190-3
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

2024-08-11T22:56:48Z

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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26831-2
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2024-08-11T22:56:48Z

Author Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources
Availability Online Library~1

User Science and Engineering 5th International Conference, i-USEr 2018, Puchong, Malaysia, August 28–30, 2018, Proceedings

2024-08-11T22:56:48Z

Author Abdullah, Natrah. editor. Wan Adnan, Wan Adilah. editor. Foth, Marcus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1628-9
Format: Electronic Resources
Availability Online Library~1