Limit Search Results
Author
SpringerLink (Online service)
(14254)
Kim, Tai-hoon. editor.
(61)
Filipe, Joaquim. editor.
(53)
Taniar, David. editor.
(46)
Apduhan, Bernady O. editor.
(44)
Language
Publication Date
-
2013
(1663)
2011
(1535)
2012
(1450)
2010
(1342)
2009
(1266)
Subject
Computer science.
(11616)
Artificial intelligence.
(3776)
Software engineering.
(3217)
Computer Communication Networks.
(2799)
Information systems.
(2505)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
14937 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Applied Computer Science
Applied Computer Science
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: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer science handbook
Computer science handbook
Author 
Tucker, Allen B.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Theoretical Computer Science
Theoretical Computer Science
Author 
Preparata, F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11120-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer and Information Science
Computer and Information Science
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60170-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Writing for Computer Science
Writing for Computer Science
Author 
Zobel, Justin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6639-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computer and Information Science
Computer and Information Science
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332801.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00804-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer and Information Science
Computer and Information Science
Author 
Lee, Roger. editor. Kim, Haeng-Kon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79187-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Linear Logic in Computer Science
Linear Logic in Computer Science
Author 
Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Imaginary Mathematics for Computer Science
Imaginary Mathematics for Computer Science
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94637-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Probability and Statistics for Computer Science
Probability and Statistics for Computer Science
Author 
Forsyth, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64410-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Advances in Computer Science and Education
Advances in Computer Science and Education
Author 
Xie, Anne. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27945-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in Computer Science and Engineering
Advances in Computer Science and Engineering
Author 
Zeng, Dehuai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27948-5
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Computer and Information Science 2012
Computer and Information Science 2012
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30454-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Instruction Sequences for Computer Science
Instruction Sequences for Computer Science
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: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Mathematical Logic for Computer Science
Mathematical Logic for Computer Science
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: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Computer and Information Science 2011
Computer and Information Science 2011
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21378-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Computer and Information Science 2010
Computer and Information Science 2010
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15405-8
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Fete of Combinatorics and Computer Science
Fete of Combinatorics and Computer Science
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: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Computer and Information Science 2009
Computer and Information Science 2009
Author 
Lee, Roger. editor. Hu, Gongzu. editor. Miao, Huaikou. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01209-9
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Probability and statistics for computer science
Probability and statistics for computer science
Author 
Johnson, James L. (James Lee), 1942-
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Click here to view book
Book review (E-STREAMS) http://www.e-streams.com/es0612/es0612_2914.html
Book review (E-STREAMS) http://www.e-streams.com/es0612/es0612%5F2914.html
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley045/2003041106.html
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computing handbook : computer science and software engineering
Computing handbook : computer science and software engineering
Author 
Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number 
ONLINE(356353.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Modelling Computing Systems Mathematics for Computer Science
Modelling Computing Systems Mathematics for Computer Science
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: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Extremal Combinatorics With Applications in Computer Science
Extremal Combinatorics With Applications in Computer Science
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: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Computer Science and Engineering—Theory and Applications
Computer Science and Engineering—Theory and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Horizons in computer science research. Vol. 8
Horizons in computer science research. Vol. 8
Author 
Clary, Thomas S.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=564186
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Analyzing Evolutionary Algorithms The Computer Science Perspective
Analyzing Evolutionary Algorithms The Computer Science Perspective
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: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Mathematics of Discrete Structures for Computer Science
Mathematics of Discrete Structures for Computer Science
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: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Computer Science and its Applications CSA 2012
Computer Science and its Applications CSA 2012
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: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Building Bridges Between Mathematics and Computer Science
Building Bridges Between Mathematics and Computer Science
Author 
Grötschel, Martin. editor. Katona, Gyula O. H. editor. Sági, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85221-6
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Digital signal processing a computer science perspective
Digital signal processing a computer science perspective
Author 
Stein, Jonathan Y. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/047120059X
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley045/00035905.html
Volltext http://proquest.tech.safaribooksonline.de/9780471295464
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Digital signal processing a computer science perspective
Digital signal processing a computer science perspective
Author 
Stein, Jonathan Y. John Wiley & Sons.
Preferred Shelf Number 
ONLINE(318790.1)
Electronic Access 
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/047120059X
MyiLibrary http://www.myilibrary.com?id=55617
Table of contents http://catdir.loc.gov/catdir/toc/onix05/00035905.html
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley045/00035905.html
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
Author 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520246.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2449-3
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Author 
Pesado, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520411.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34147-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I
Author 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520318.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2443-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II
Author 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520319.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2446-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Graph-Theoretic Concepts in Computer Science 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers
Graph-Theoretic Concepts in Computer Science 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers
Author 
Paulusma, Daniël. editor. Ries, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521173.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43380-1
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part II
Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part II
Author 
Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.
Preferred Shelf Number 
XX(520617.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5971-6
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I
Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I
Author 
Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.
Preferred Shelf Number 
XX(520688.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5968-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for SOFSEM 2023: Theory and Practice of Computer Science 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15-18, 2023, Proceedings
SOFSEM 2023: Theory and Practice of Computer Science 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15-18, 2023, Proceedings
Author 
Gąsieniec, Leszek. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520786.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-23101-8
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Author 
Glück, Roland. editor. Santocanale, Luigi. editor. Winter, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520890.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28083-2
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings
Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings
Author 
van Bevern, René. editor. (orcid)0000-0002-4805-218X Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19955-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers
Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers
Author 
Sau, Ignasi. editor. (orcid)0000-0002-8981-9287 Thilikos, Dimitrios M. editor. (orcid)0000-0003-0470-1800 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30786-8
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings
SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings
Author 
Catania, Barbara. editor. (orcid)0000-0002-6443-169X Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Nawrocki, Jerzy. editor. Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10801-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers
Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers
Author 
Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20787-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Data Science 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20–23, 2019, Proceedings, Part II
Data Science 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20–23, 2019, Proceedings, Part II
Author 
Mao, Rui. editor. Wang, Hongzhi. editor. Xie, Xiaolan. editor. Lu, Zeguang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-0121-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Data Science 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20–23, 2019, Proceedings, Part I
Data Science 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20–23, 2019, Proceedings, Part I
Author 
Cheng, Xiaohui. editor. Jing, Weipeng. editor. Song, Xianhua. editor. Lu, Zeguang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-0118-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers
Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers
Author 
Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-0105-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings
Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers
Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers
Author 
De Giusti, Armando Eduardo. editor. (orcid)0000-0002-6459-3592 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75214-3
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Data Science 4th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2018, Zhengzhou, China, September 21-23, 2018, Proceedings, Part II
Data Science 4th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2018, Zhengzhou, China, September 21-23, 2018, Proceedings, Part II
Author 
Zhou, Qinglei. editor. Miao, Qiguang. editor. Wang, Hongzhi. editor. Xie, Wei. editor. Wang, Yan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2206-8
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Author 
Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70151-6
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
Author 
Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90530-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings
Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings
Author 
Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145 Dagienė, Valentina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02750-6
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Data Science 4th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2018, Zhengzhou, China, September 21-23, 2018, Proceedings, Part I
Data Science 4th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2018, Zhengzhou, China, September 21-23, 2018, Proceedings, Part I
Author 
Zhou, Qinglei. editor. Gan, Yong. editor. Jing, Weipeng. editor. Song, Xianhua. editor. Wang, Yan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2203-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings
Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Author 
Kahl, Wolfram. editor. Winter, Michael. editor. Oliveira, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518883.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24704-5
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
Author 
Italiano, Giuseppe F. editor. Pighizzini, Giovanni. editor. Sannella, Donald T. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518893.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48057-1
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
Author 
Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.
Preferred Shelf Number 
XX(518910.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46078-8
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Author 
Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518797.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20297-6
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II
Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II
Author 
Italiano, Giuseppe F. editor. Pighizzini, Giovanni. editor. Sannella, Donald T. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519055.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48054-0
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Graph-Theoretic Concepts in Computer Science 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers
Graph-Theoretic Concepts in Computer Science 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers
Author 
Kratsch, Dieter. editor. Todinca, Ioan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12340-0
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for What Is Computer Science? An Information Security Perspective
What Is Computer Science? An Information Security Perspective
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: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
Author 
Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44465-8
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Author 
Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44602-7
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings
SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings
Author 
Geffert, Viliam. editor. Preneel, Bart. editor. Rovan, Branislav. editor. Štuller, Július. editor. Tjoa, A Min. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04298-5
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Author 
Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44124-4
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Author 
Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06686-8
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Author 
Höfner, Peter. editor. Jipsen, Peter. editor. Kahl, Wolfram. editor. Müller, Martin Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06251-8
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Author 
Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44522-8
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Transactions on Computational Science XIX Special Issue on Computer Graphics
Transactions on Computational Science XIX Special Issue on Computer Graphics
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: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers
Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
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: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers
Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers
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: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings
Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
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: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I
Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II
Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Advances in Computer Science and Education Applications International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II
Advances in Computer Science and Education Applications International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011, Proceedings, Part II
Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011, Proceedings, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011. Proceedings
Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part I
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part II
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part IV
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part IV
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: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011, Proceedings, Part III
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011, Proceedings, Part III
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: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part V
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part V
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: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Advanced Computer Science and Information Technology Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings
Advanced Computer Science and Information Technology Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
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: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Graph-Theoretic Concepts in Computer Science 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011. Revised Papers
Graph-Theoretic Concepts in Computer Science 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011. Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Advanced Computing First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III
Advanced Computing First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III
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: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings
Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings
Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Theoretical and Mathematical Foundations of Computer Science Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011. Selected Papers
Theoretical and Mathematical Foundations of Computer Science Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011. Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings
Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers
Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Advances in Computer Science and Information Technology AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings
Advances in Computer Science and Information Technology AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Graph Theoretic Concepts in Computer Science 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 Revised Papers
Graph Theoretic Concepts in Computer Science 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings
Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Applied Computing, Computer Science, and Advanced Communication First International Conference on Future Computer and Communication, FCC 2009, Wuhan, China, June 6-7, 2009. Proceedings
Applied Computing, Computer Science, and Advanced Communication First International Conference on Future Computer and Communication, FCC 2009, Wuhan, China, June 6-7, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Advances in Computer Science and Engineering 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected Papers
Advances in Computer Science and Engineering 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Graph-Theoretic Concepts in Computer Science 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers
Graph-Theoretic Concepts in Computer Science 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
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: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Mathematical Methods in Computer Science Essays in Memory of Thomas Beth
Mathematical Methods in Computer Science Essays in Memory of Thomas Beth
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: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings
Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings
Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers
Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings
Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings
Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Author 
Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11874683
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings
STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings
Author 
Durand, Bruno. editor. Thomas, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11672142
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Theoretical Computer Science Essays in Memory of Shimon Even
Theoretical Computer Science Essays in Memory of Shimon Even
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: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for 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
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
Author 
Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11828563
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Graph-Theoretic Concepts in Computer Science 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 Revised Papers
Graph-Theoretic Concepts in Computer Science 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 Revised Papers
Author 
Fomin, Fedor V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11917496
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for 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
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
Author 
Maher, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103476
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers
Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
Author 
Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11538363
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Advances in Computer Science – ASIAN 2005. Data Management on the Web 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings
Advances in Computer Science – ASIAN 2005. Data Management on the Web 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Graph-Theoretic Concepts in Computer Science 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers
Graph-Theoretic Concepts in Computer Science 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers
Author 
Kratsch, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11604686
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings
Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings
Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
Author 
Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11590156
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
Author 
Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104325
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings
STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings
Author 
Diekert, Volker. editor. Durand, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106485
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Schaum's outline of principles of computer science
Schaum's outline of principles of computer science
Author 
Reynolds, Carl, 1948- Tymann, Paul T.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Computer aided innovation of new materials proceedings of the First International Conference and Exhibition on Computer Applications to Materials Science and Engineering-CAMSE '90, Sunshine City, Ikebukuro, Tokyo, Japan, August 28-31, 1990
Computer aided innovation of new materials proceedings of the First International Conference and Exhibition on Computer Applications to Materials Science and Engineering-CAMSE '90, Sunshine City, Ikebukuro, Tokyo, Japan, August 28-31, 1990
Author 
International Conference and Exhibition on Computer Applications to Materials Science and Engineering (1st : 1990 : Tokyo, Japan) Dōyama, Masao, 1927- Nikkan Kōgyō Shinbunsha. International Conference and Exhibition on Computer Applications to Materials Science and Engineering (1st : 1990 : Tokyo, Japan). Organizing Committee.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444888648
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Advanced research on material science, environmental science and computer science selected, peer reviewed papers from the 2012 2nd International Conference on Material Science, Environmental Science and Computer Science (MSESCS2012) August 25-26, 2012, Wuhan, China
Advanced research on material science, environmental science and computer science selected, peer reviewed papers from the 2012 2nd International Conference on Material Science, Environmental Science and Computer Science (MSESCS2012) August 25-26, 2012, Wuhan, China
Author 
International Conference on Material Science, Environmental Science and Computer Science (2nd : 2012 : Wuhan, China) Zhang, Helen, editor of compilation. Jin, David, editor of compilation. Zhao, X. J., editor of compilation.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=517244
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Higher Education Computer Science A Manual of Practical Approaches
Higher Education Computer Science A Manual of Practical Approaches
Author 
Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520416.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29386-3
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Diversity in Computer Science Design Artefacts for Equity and Inclusion
Diversity in Computer Science Design Artefacts for Equity and Inclusion
Author 
Bjørn, Pernille. author. Menendez-Blanco, Maria. author. Borsotti, Valeria. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520152.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-13314-5
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Digital Transformation Core Technologies and Emerging Topics from a Computer Science Perspective
Digital Transformation Core Technologies and Emerging Topics from a Computer Science Perspective
Author 
Vogel-Heuser, Birgit. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520204.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-65004-2
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Computer science to the Point Computer Science for Life Sciences Students and Other Non-Computer Scientists
Computer science to the Point Computer Science for Life Sciences Students and Other Non-Computer Scientists
Author 
Tolg, Boris. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520214.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-38443-2
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Foundation Mathematics for Computer Science A Visual Approach
Foundation Mathematics for Computer Science A Visual Approach
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520271.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-17411-7
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings
Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings
Author 
Zlateva, Tanya. editor. Tuparov, Georgi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520698.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44668-9
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Logic Functions and Equations Binary Models for Computer Science
Logic Functions and Equations Binary Models for Computer Science
Author 
Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02420-8
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Innovations in Computer Science and Engineering Proceedings of the Sixth ICICSE 2018
Innovations in Computer Science and Engineering Proceedings of the Sixth ICICSE 2018
Author 
Saini, H. S. editor. Sayal, Rishi. editor. Govardhan, Aliseri. editor. Buyya, Rajkumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-7082-3
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Emerging Research in Electronics, Computer Science and Technology Proceedings of International Conference, ICERECT 2018
Emerging Research in Electronics, Computer Science and Technology Proceedings of International Conference, ICERECT 2018
Author 
Sridhar, V. editor. Padma, M.C. editor. Rao, K.A. Radhakrishna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-5802-9
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2017
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2017
Author 
Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2191-7
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Representation Theorems in Computer Science A Treatment in Logic Engineering
Representation Theorems in Computer Science A Treatment in Logic Engineering
Author 
Özçep, Özgür Lütfü. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25785-9
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Innovations in Computer Science and Engineering Proceedings of the Fifth ICICSE 2017
Innovations in Computer Science and Engineering Proceedings of the Fifth ICICSE 2017
Author 
Saini, H. S. editor. Sayal, Rishi. editor. Govardhan, A. editor. Buyya, Rajkumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8201-6
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Logics for Computer Science Classical and Non-Classical
Logics for Computer Science Classical and Non-Classical
Author 
Wasilewska, Anita. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92591-2
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Smart STEM-Driven Computer Science Education Theory, Methodology and Robot-based Practices
Smart STEM-Driven Computer Science Education Theory, Methodology and Robot-based Practices
Author 
Štuikys, Vytautas. author. Burbaitė, Renata. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78485-4
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Computational Artifacts Towards a Philosophy of Computer Science
Computational Artifacts Towards a Philosophy of Computer Science
Author 
Turner, Raymond. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55565-1
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Proceedings of the 11th International Symposium on Computer Science in Sport (IACSS 2017)
Proceedings of the 11th International Symposium on Computer Science in Sport (IACSS 2017)
Author 
Lames, Martin. editor. Saupe, Dietmar. editor. Wiemeyer, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67846-7
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Advances in Computer Science and Ubiquitous Computing CSA-CUTE 17
Advances in Computer Science and Ubiquitous Computing CSA-CUTE 17
Author 
Park, James J. editor. Loia, Vincenzo. editor. Yi, Gangman. editor. Sung, Yunsick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7605-3
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science
The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science
Author 
Ausiello, Giorgio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62680-2
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Advanced Computational Methods for Knowledge Engineering Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017
Advanced Computational Methods for Knowledge Engineering Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017
Author 
Le, Nguyen-Thinh. editor. van Do, Tien. editor. Nguyen, Ngoc Thanh. editor. Thi, Hoai An Le. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61911-8
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Higher Education Computer Science A Manual of Practical Approaches
Higher Education Computer Science A Manual of Practical Approaches
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: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Advances in Intelligent Systems and Computing II Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2017, September 5-8 Lviv, Ukraine
Advances in Intelligent Systems and Computing II Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2017, September 5-8 Lviv, Ukraine
Author 
Shakhovska, Natalia. editor. Stepashko, Volodymyr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70581-1
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Supply chain management and its applications in computer science
Supply chain management and its applications in computer science
Author 
Krichen, Saoussen, author. Ben Jouida, Sihem, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Systems Analysis and Synthesis : Bridging Computer Science and Information Technology
Systems Analysis and Synthesis : Bridging Computer Science and Information Technology
Author 
Dwyer, Barry, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128053041
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation
Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation
Author 
Štuikys, Vytautas. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518658.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16913-2
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Advances in Computer Science and Ubiquitous Computing CSA & CUTE
Advances in Computer Science and Ubiquitous Computing CSA & CUTE
Author 
Park, Doo-Soon. editor. Chao, Han-Chieh. editor. Jeong, Young-Sik. editor. Park, James J. (Jong Hyuk). editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518670.1)
Electronic Access 
https://doi.org/10.1007/978-981-10-0281-6
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Foundation Mathematics for Computer Science A Visual Approach
Foundation Mathematics for Computer Science A Visual Approach
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518439.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21437-5
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
Author 
Amine, Abdelmalek. editor. Bellatreche, Ladjel. editor. Elberrichi, Zakaria. editor. Neuhold, Erich J. editor. Wrembel, Robert. editor.
Preferred Shelf Number 
XX(518503.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19578-0
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for IAENG Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2012
IAENG Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2012
Author 
Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Amouzegar, Mahyar A. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-007-6818-5
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Guide to Teaching Computer Science An Activity-Based Approach
Guide to Teaching Computer Science An Activity-Based Approach
Author 
Hazzan, Orit. author. (orcid)0000-0002-8627-0997 Lapidot, Tami. author. Ragonis, Noa. author. (orcid)0000-0002-8163-0199 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6630-6
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Modern Trends and Techniques in Computer Science 3rd Computer Science On-line Conference 2014 (CSOC 2014)
Modern Trends and Techniques in Computer Science 3rd Computer Science On-line Conference 2014 (CSOC 2014)
Author 
Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06740-7
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2013
Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2013
Author 
Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9115-1
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Advanced Computational Methods for Knowledge Engineering Proceedings of the 2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014)
Advanced Computational Methods for Knowledge Engineering Proceedings of the 2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014)
Author 
Do, Tien. editor. Thi, Hoai An Le. editor. Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06569-4
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Emerging Research in Electronics, Computer Science and Technology Proceedings of International Conference, ICERECT 2012
Emerging Research in Electronics, Computer Science and Technology Proceedings of International Conference, ICERECT 2012
Author 
Sridhar, V. editor. Sheshadri, Holalu Seenappa. editor. Padma, M C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-1157-0
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China
Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China
Author 
Patnaik, Srikanta. editor. Li, Xiaolong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-1759-6
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Advances in Computer Science and its Applications CSA 2013
Advances in Computer Science and its Applications CSA 2013
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: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Human Language Technology Challenges for Computer Science and Linguistics 5th Language and Technology Conference, LTC 2011, Poznań, Poland, November 25--27, 2011, Revised Selected Papers
Human Language Technology Challenges for Computer Science and Linguistics 5th Language and Technology Conference, LTC 2011, Poznań, Poland, November 25--27, 2011, Revised Selected Papers
Author 
Vetulani, Zygmunt. editor. (orcid)0000-0003-4833-8601 Mariani, Joseph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08958-4
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for A practical guide to gender diversity for computer science faculty
A practical guide to gender diversity for computer science faculty
Author 
Franklin, Diana.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578516
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Author 
Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Advances in Intelligent Control Systems and Computer Science
Advances in Intelligent Control Systems and Computer Science
Author 
Dumitrache, Loan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333593.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32548-9
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Proceedings of the 2012 International Conference of Modern Computer Science and Applications
Proceedings of the 2012 International Conference of Modern Computer Science and Applications
Author 
Du, Zhenyu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333653.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33030-8
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011
IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011
Author 
Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335821.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
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: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Operator Calculus on Graphs Theory and Applications in Computer Science.
Operator Calculus on Graphs Theory and Applications in Computer Science.
Author 
Schott, Rene. Staples, G. Stacey.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457191
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Simulating nature a philosohpical study of computer-simulation uncertainties and their role in climate science and policy advice
Simulating nature a philosohpical study of computer-simulation uncertainties and their role in climate science and policy advice
Author 
Petersen, Arthur C. (Arthur Caesar), 1970-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Challenges at the Interface of Data Analysis, Computer Science, and Optimization Proceedings of the 34th Annual Conference of the Gesellschaft für Klassifikation e. V., Karlsruhe, July 21 - 23, 2010
Challenges at the Interface of Data Analysis, Computer Science, and Optimization Proceedings of the 34th Annual Conference of the Gesellschaft für Klassifikation e. V., Karlsruhe, July 21 - 23, 2010
Author 
Gaul, Wolfgang A. editor. Geyer-Schulz, Andreas. editor. Schmidt-Thieme, Lars. editor. Kunze, Jonas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24466-7
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Computing Statistics under Interval and Fuzzy Uncertainty Applications to Computer Science and Engineering
Computing Statistics under Interval and Fuzzy Uncertainty Applications to Computer Science and Engineering
Author 
Nguyen, Hung T. author. Kreinovich, Vladik. author. Wu, Berlin. author. Xiang, Gang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24905-1
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Recent Advances in Computer Science and Information Engineering Volume 3
Recent Advances in Computer Science and Information Engineering Volume 3
Author 
Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25766-7
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Recent Advances in Computer Science and Information Engineering Volume 4
Recent Advances in Computer Science and Information Engineering Volume 4
Author 
Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25769-8
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Recent Advances in Computer Science and Information Engineering Volume 6
Recent Advances in Computer Science and Information Engineering Volume 6
Author 
Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25778-0
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Recent Advances in Computer Science and Information Engineering Volume 1
Recent Advances in Computer Science and Information Engineering Volume 1
Author 
Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25781-0
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Recent Advances in Computer Science and Information Engineering Volume 2
Recent Advances in Computer Science and Information Engineering Volume 2
Author 
Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25789-6
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Recent Advances in Computer Science and Information Engineering Volume 5
Recent Advances in Computer Science and Information Engineering Volume 5
Author 
Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25792-6
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I
Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 2
Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 2
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: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 1
Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 1
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: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Advanced Technology in Teaching - Proceedings of the 2009 3rd International Conference on Teaching and Computational Science (WTCS 2009) Volume 2: Education, Psychology and Computer Science
Advanced Technology in Teaching - Proceedings of the 2009 3rd International Conference on Teaching and Computational Science (WTCS 2009) Volume 2: Education, Psychology and Computer Science
Author 
Wu, Yanwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25437-6
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 2
Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 2
Author 
Wyld, David C. editor. Zizka, Jan. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30111-7
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Advances in Computer Science and Information Engineering Volume 1
Advances in Computer Science and Information Engineering Volume 1
Author 
Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30126-1
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1
Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1
Author 
Wyld, David C. editor. Zizka, Jan. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30157-5
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Advances in Computer Science and Information Engineering Volume 2
Advances in Computer Science and Information Engineering Volume 2
Author 
Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30223-7
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Computer Science and Convergence CSA 2011 & WCC 2011 Proceedings
Computer Science and Convergence CSA 2011 & WCC 2011 Proceedings
Author 
J. (Jong Hyuk) Park, James. editor. Chao, Han-Chieh. editor. S. Obaidat, Mohammad. editor. Kim, Jongsung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2792-2
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Guide to Teaching Computer Science An Activity-Based Approach
Guide to Teaching Computer Science An Activity-Based Approach
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: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Computer Science The Hardware, Software and Heart of It
Computer Science The Hardware, Software and Heart of It
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: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Gaming matters art, science, magic, and the computer game medium
Gaming matters art, science, magic, and the computer game medium
Author 
Ruggill, Judd Ethan. McAllister, Ken S., 1966- Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Geometric Methods and Applications For Computer Science and Engineering
Geometric Methods and Applications For Computer Science and Engineering
Author 
Gallier, Jean. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9961-0
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning
Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning
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: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Advances in Computer Science, Intelligent System and Environment
Advances in Computer Science, Intelligent System and Environment
Author 
Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23753-9
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Advances in Computer Science, Intelligent System and Environment
Advances in Computer Science, Intelligent System and Environment
Author 
Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23756-0
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Advances in Computer Science, Intelligent System and Environment
Advances in Computer Science, Intelligent System and Environment
Author 
Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23777-5
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Artificial higher order neural networks for computer science and engineering trends for emerging applications
Artificial higher order neural networks for computer science and engineering trends for emerging applications
Author 
Zhang, Ming, 1949 July 29-
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=310450
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Hashing in computer science fifty years of slicing and dicing
Hashing in computer science fifty years of slicing and dicing
Author 
Konheim, Alan G., 1934-
Preferred Shelf Number 
ONLINE
Electronic Access 
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/9780470630617
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy1106/2009052123-b.html
Volltext http://proquest.tech.safaribooksonline.de/9781118031834
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Geometric Algebra Computing in Engineering and Computer Science
Geometric Algebra Computing in Engineering and Computer Science
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: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Dynamics On and Of Complex Networks Applications to Biology, Computer Science, and the Social Sciences
Dynamics On and Of Complex Networks Applications to Biology, Computer Science, and the Social Sciences
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: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Combinatorial optimization and theoretical computer science interfaces and perspectives : 30th anniversary of the LAMSADE
Combinatorial optimization and theoretical computer science interfaces and perspectives : 30th anniversary of the LAMSADE
Author 
Paschos, Vangelis Th. Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision (France)
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477695
John Wiley http://dx.doi.org/10.1002/9780470611098
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0810/2007024974-b.html
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Thesis Projects A Guide for Students in Computer Science and Information Systems
Thesis Projects A Guide for Students in Computer Science and Information Systems
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: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008
Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008
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: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Computer science reconsidered the invocation model of process expression / Karl M. Fant.
Computer science reconsidered the invocation model of process expression / Karl M. Fant.
Author 
Fant, Karl M. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006052821-b.html
John Wiley http://dx.doi.org/10.1002/9780470125779
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Geometric algebra for computer science an object-oriented approach to geometry
Geometric algebra for computer science an object-oriented approach to geometry
Author 
Dorst, Leo, 1958- Fontijne, Daniel. Mann, Stephen, 1963-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123749420
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Geometric algebra for computer science an object-oriented approach to geometry
Geometric algebra for computer science an object-oriented approach to geometry
Author 
Dorst, Leo, 1958- Fontijne, Daniel. Mann, Stephen, 1963-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123694652
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for The cognitive dynamics of computer science cost-effective large scale software development
The cognitive dynamics of computer science cost-effective large scale software development
Author 
De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Queueing networks and Markov chains modeling and performance evaluation with computer science applications
Queueing networks and Markov chains modeling and performance evaluation with computer science applications
Author 
Bolch, Gunter, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=257568
John Wiley http://dx.doi.org/10.1002/0471791571
John Wiley http://dx.doi.org/10.1002/9780471791577
http://www3.interscience.wiley.com/cgi-bin/bookhome/112100979
MyiLibrary, Table of contents http://www.myilibrary.com?id=44862&ref=toc
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Queueing networks and Markov chains modeling and performance evaluation with computer science applications
Queueing networks and Markov chains modeling and performance evaluation with computer science applications
Author 
Bolch, Gunter, author.
Preferred Shelf Number 
ONLINE(318899.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=257568
ebrary http://site.ebrary.com/id/10305613
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=158144
John Wiley http://dx.doi.org/10.1002/0471791571
John Wiley http://dx.doi.org/10.1002/9780471791577
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Modeling and simulation : the computer science of illusion
Modeling and simulation : the computer science of illusion
Author 
Raczynski, Stanislaw.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science
Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science
Author 
Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31262-5
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Validating pharmaceutical systems good computer practice in life science manufacturing
Validating pharmaceutical systems good computer practice in life science manufacturing
Author 
Andrews, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Grammars and automata for string processing from mathematics and computer science to biology, and back
Grammars and automata for string processing from mathematics and computer science to biology, and back
Author 
Martn̕ Vide, Carlos. Mitrana, Victor. P?un, Gheorghe, 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Verification of computer codes in computational science and engineering
Verification of computer codes in computational science and engineering
Author 
Knupp, Patrick M. Salari, Kambiz.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Satisficing Games and Decision Making With Applications to Engineering and Computer Science
Satisficing Games and Decision Making With Applications to Engineering and Computer Science
Author 
Stirling, Wynn C..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for A century of electrical engineering and computer science at MIT, 1882-1982
A century of electrical engineering and computer science at MIT, 1882-1982
Author 
Wildes, Karl L. Lindgren, Nilo A.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267505
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Guide to Programming for the Digital Humanities Lessons for Introductory Python
Guide to Programming for the Digital Humanities Lessons for Introductory Python
Author 
Kokensparger, Brian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99115-3
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Research and Development in Digital Media
Research and Development in Digital Media
Author 
Earnshaw, Rae. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73080-6
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Homomorphic Encryption and Applications
Homomorphic Encryption and Applications
Author 
Yi, Xun. author. Paulet, Russell. author. Bertino, Elisa. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12229-8
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Morphological Modeling of Terrains and Volume Data
Morphological Modeling of Terrains and Volume Data
Author 
Čomić, Lidija. author. De Floriani, Leila. author. Magillo, Paola. author. Iuricich, Federico. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-2149-2
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Real-Time Detection of Lines and Grids By PClines and Other Approaches
Real-Time Detection of Lines and Grids By PClines and Other Approaches
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: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Energy-Efficient High Performance Computing Measurement and Tuning
Energy-Efficient High Performance Computing Measurement and Tuning
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: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Guide to Modeling and Simulation of Systems of Systems User’s Reference
Guide to Modeling and Simulation of Systems of Systems User’s Reference
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: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Time-of-Flight Cameras Principles, Methods and Applications
Time-of-Flight Cameras Principles, Methods and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Motion History Images for Action Recognition and Understanding
Motion History Images for Action Recognition and Understanding
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: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Sentiment Analysis for PTSD Signals
Sentiment Analysis for PTSD Signals
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: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Traffic Measurement on the Internet
Traffic Measurement on the Internet
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: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Mobile Authentication Problems and Solutions
Mobile Authentication Problems and Solutions
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: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Spatio-temporal Networks Modeling and Algorithms
Spatio-temporal Networks Modeling and Algorithms
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: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Querying Moving Objects Detected by Sensor Networks
Querying Moving Objects Detected by Sensor Networks
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: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Dynamic Cloud Collaboration Platform A Market-Oriented Approach
Dynamic Cloud Collaboration Platform A Market-Oriented Approach
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: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Automatic Malware Analysis An Emulator Based Approach
Automatic Malware Analysis An Emulator Based Approach
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: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Health Informatics in the Cloud
Health Informatics in the Cloud
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: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Performance Evaluation Software Moving Object Detection and Tracking in Videos
Performance Evaluation Software Moving Object Detection and Tracking in Videos
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: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Distributed Medium Access Control in Wireless Networks
Distributed Medium Access Control in Wireless Networks
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: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for A General Framework for Reasoning On Inconsistency
A General Framework for Reasoning On Inconsistency
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: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Physical Layer Approaches for Securing Wireless Communication Systems
Physical Layer Approaches for Securing Wireless Communication Systems
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: 
Availability 
Online Library~1
Available:
Copies:
Select an Action