Limit Search Results
Author
SpringerLink (Online service)
(11576)
Kim, Tai-hoon. editor.
(61)
Filipe, Joaquim. editor.
(39)
Gervasi, Osvaldo. editor.
(39)
Gavrilova, Marina L. editor.
(36)
Language
Publication Date
-
2013
(1522)
2011
(1414)
2012
(1330)
2010
(1264)
2009
(1196)
Subject
Artificial intelligence.
(3256)
Software engineering.
(2979)
Computer Communication Networks.
(2720)
Information systems.
(2469)
Computer software.
(2011)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
11636 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Computer science illuminated
Computer science illuminated
Author 
Dale, Nell B. Lewis, John, 1963-
Preferred Shelf Number 
QA76 D285 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Computer science illuminated
Computer science illuminated
Author 
Dale, Nell B. Lewis, John, 1963-
Preferred Shelf Number 
QA76 .D285 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Foundations of computer science
Foundations of computer science
Author 
Aho, Alfred V. Ullman, Jeffrey D., 1942-, ort. yaz.
Preferred Shelf Number 
QA76 .A334 1992
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Computer science : an overview
Computer science : an overview
Author 
Brookshear, J. Glenn.
Preferred Shelf Number 
QA76 B743 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
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:
7. 
Cover image for Computer science : an overview
Computer science : an overview
Author 
Brookshear, J. Glenn.
Preferred Shelf Number 
QA76 B743 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
Cover image for Computer science : an overview
Computer science : an overview
Author 
Brookshear, J. Glenn.
Preferred Shelf Number 
QA 76 B743 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Computer science : an overview
Computer science : an overview
Author 
Brookshear, J. Glenn.
Preferred Shelf Number 
QA76 B743 2009
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
10. 
Cover image for Computer science : an overview
Computer science : an overview
Author 
Brookshear, J. Glenn.
Preferred Shelf Number 
QA 76 B743 2005
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
11. 
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:
12. 
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:
13. 
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:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
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:
20. 
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:
21. 
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:
22. 
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:
23. 
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:
24. 
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:
25. 
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:
26. 
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:
27. 
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:
28. 
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:
29. 
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:
30. 
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:
31. 
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:
32. 
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:
33. 
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:
34. 
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:
35. 
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:
36. 
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:
37. 
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:
38. 
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:
39. 
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:
40. 
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:
41. 
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:
42. 
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:
43. 
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:
44. 
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:
45. 
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:
46. 
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:
47. 
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:
48. 
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:
49. 
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:
50. 
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:
51. 
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:
52. 
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:
53. 
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:
54. 
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:
55. 
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:
56. 
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:
57. 
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:
58. 
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:
59. 
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:
60. 
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:
61. 
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:
62. 
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:
63. 
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:
64. 
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:
65. 
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:
66. 
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:
67. 
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:
68. 
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:
69. 
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:
70. 
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:
71. 
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:
72. 
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:
73. 
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:
74. 
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:
75. 
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:
76. 
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:
77. 
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:
78. 
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:
79. 
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:
80. 
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:
81. 
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:
82. 
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:
83. 
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:
84. 
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:
85. 
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:
86. 
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:
87. 
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:
88. 
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:
89. 
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:
90. 
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:
91. 
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:
92. 
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:
93. 
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:
94. 
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:
95. 
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:
96. 
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:
97. 
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:
98. 
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:
99. 
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:
100. 
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:
101. 
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:
102. 
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:
103. 
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:
104. 
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:
105. 
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:
106. 
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:
107. 
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:
108. 
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:
109. 
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:
110. 
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:
111. 
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:
112. 
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:
113. 
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:
114. 
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:
115. 
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:
116. 
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:
117. 
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:
118. 
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:
119. 
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:
120. 
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:
121. 
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:
122. 
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:
123. 
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:
124. 
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:
125. 
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:
126. 
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:
127. 
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:
128. 
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:
129. 
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:
130. 
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:
131. 
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:
132. 
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:
133. 
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:
134. 
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:
135. 
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:
136. 
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:
137. 
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:
138. 
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:
139. 
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:
140. 
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:
141. 
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:
142. 
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:
143. 
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:
144. 
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:
145. 
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:
146. 
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:
147. 
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:
148. 
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:
149. 
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:
150. 
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:
151. 
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:
152. 
Cover image for Explorations in computing : an introduction to computer science
Explorations in computing : an introduction to computer science
Author 
Conery, John S.
Preferred Shelf Number 
QA76 C585 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
153. 
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:
154. 
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:
155. 
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:
156. 
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:
157. 
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:
158. 
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:
159. 
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:
160. 
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:
161. 
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:
162. 
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:
163. 
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:
164. 
Cover image for Belief Revision in Non-Classical Logics
Belief Revision in Non-Classical Logics
Author 
Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330925.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
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:
166. 
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:
167. 
Cover image for Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture
Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture
Author 
Rockcastle, Siobhan. author. Andersen, Marilyne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331178.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5233-0
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
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:
169. 
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:
170. 
Cover image for Routing for Wireless Multi-Hop Networks
Routing for Wireless Multi-Hop Networks
Author 
Abdel Hamid, Sherin. author. Hassanein, Hossam S. author. Takahara, Glen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332014.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6357-3
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
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:
172. 
Cover image for Security for Wireless Implantable Medical Devices
Security for Wireless Implantable Medical Devices
Author 
Hei, Xiali. author. Du, Xiaojiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332220.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7153-0
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Sustainable Web Ecosystem Design
Sustainable Web Ecosystem Design
Author 
O'Toole, Greg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332331.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7714-3
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Concepts, Ontologies, and Knowledge Representation
Concepts, Ontologies, and Knowledge Representation
Author 
Jakus, Grega. author. Milutinović, Veljko. author. Omerović, Sanida. author. Tomažič, Sašo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332353.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7822-5
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Studies on Urban Vehicular Ad-hoc Networks
Studies on Urban Vehicular Ad-hoc Networks
Author 
Zhu, Hongzi. author. Li, Minglu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332386.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8048-8
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Resource Management in Utility and Cloud Computing
Resource Management in Utility and Cloud Computing
Author 
Zhao, Han. author. Li, Xiaolin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332457.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8970-2
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Intrusion Detection for IP-Based Multimedia Communications over Wireless Networks
Intrusion Detection for IP-Based Multimedia Communications over Wireless Networks
Author 
Tang, Jin. author. Cheng, Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332461.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8996-2
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Location Privacy Protection in Mobile Networks
Location Privacy Protection in Mobile Networks
Author 
Liu, Xinxin. author. Li, Xiaolin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332468.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-9074-6
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Security Assessment in Vehicular Networks
Security Assessment in Vehicular Networks
Author 
Du, Suguo. author. Zhu, Haojin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332479.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-9357-0
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Security and Privacy in Mobile Social Networks
Security and Privacy in Mobile Social Networks
Author 
Liang, Xiaohui. author. Lu, Rongxing. author. Lin, Xiaodong. author. Shen, Xuemin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332451.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8857-6
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for A Brief History of Cryptology and Cryptographic Algorithms
A Brief History of Cryptology and Cryptographic Algorithms
Author 
Dooley, John F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332881.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01628-3
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Concise Computer Mathematics Tutorials on Theory and Problems
Concise Computer Mathematics Tutorials on Theory and Problems
Author 
Bagdasar, Ovidiu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332887.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01751-8
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Unsupervised Information Extraction by Text Segmentation
Unsupervised Information Extraction by Text Segmentation
Author 
Cortez, Eli. author. Silva, Altigran S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332930.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02597-1
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
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:
185. 
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:
186. 
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:
187. 
Cover image for Data Mining in Large Sets of Complex Data
Data Mining in Large Sets of Complex Data
Author 
Cordeiro, Robson L. F. author. Faloutsos, Christos. author. Traina Júnior, Caetano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331088.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4890-6
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation
Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation
Author 
ElAarag, Hala. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331089.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4893-7
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems
Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems
Author 
Shukla, K. K. author. Tiwari, Arvind K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331104.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4941-5
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Omnidirectional Vision Systems Calibration, Feature Extraction and 3D Information
Omnidirectional Vision Systems Calibration, Feature Extraction and 3D Information
Author 
Puig, Luis. author. Guerrero, J.J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331106.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4947-7
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Introduction to Image Processing Using R Learning by Examples
Introduction to Image Processing Using R Learning by Examples
Author 
Frery, Alejandro C. author. Perciano, Talita. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331107.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4950-7
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Ethical and Social Issues in the Information Age
Ethical and Social Issues in the Information Age
Author 
Kizza, Joseph Migga. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331112.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4990-3
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Computational Intelligence A Methodological Introduction
Computational Intelligence A Methodological Introduction
Author 
Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Steinbrecher, Matthias. author.
Preferred Shelf Number 
ONLINE(331117.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5013-8
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Explaining Algorithms Using Metaphors
Explaining Algorithms Using Metaphors
Author 
Forišek, Michal. author. Steinová, Monika. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331118.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5019-0
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Modeling and Simulating Command and Control For Organizations Under Extreme Situations
Modeling and Simulating Command and Control For Organizations Under Extreme Situations
Author 
Moon, Il-Chul. author. Carley, Kathleen M. author. Kim, Tag Gon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331124.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5037-4
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for From Fault Classification to Fault Tolerance for Multi-Agent Systems
From Fault Classification to Fault Tolerance for Multi-Agent Systems
Author 
Potiron, Katia. author. El Fallah Seghrouchni, Amal. author. Taillibert, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331127.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5046-6
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Graph-Based Clustering and Data Visualization Algorithms
Graph-Based Clustering and Data Visualization Algorithms
Author 
Vathy-Fogarassy, Ágnes. author. Abonyi, János. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331160.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5158-6
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Rapid Serial Visual Presentation Design for Cognition
Rapid Serial Visual Presentation Design for Cognition
Author 
Spence, Robert. author. Witkowski, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331139.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5085-5
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Middleware Solutions for the Internet of Things
Middleware Solutions for the Internet of Things
Author 
Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331206.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5481-5
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Formal Languages and Compilation
Formal Languages and Compilation
Author 
Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331210.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5514-0
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Fundamentals of Parameterized Complexity
Fundamentals of Parameterized Complexity
Author 
Downey, Rodney G. author. Fellows, Michael R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331218.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5559-1
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Countering Brandjacking in the Digital Age … and Other Hidden Risks to Your Brand
Countering Brandjacking in the Digital Age … and Other Hidden Risks to Your Brand
Author 
Hofman, Christopher. author. Keates, Simeon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331219.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5580-5
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
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:
204. 
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:
205. 
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:
206. 
Cover image for Android Malware
Android Malware
Author 
Jiang, Xuxian. author. Zhou, Yajin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332276.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7394-7
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Semantic Web-based Intelligent Geospatial Web Services
Semantic Web-based Intelligent Geospatial Web Services
Author 
Yue, Peng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332124.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6809-7
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Secure IP Mobility Management for VANET
Secure IP Mobility Management for VANET
Author 
Taha, Sanaa. author. Shen, Xuemin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332861.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01351-0
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
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:
210. 
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:
211. 
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:
212. 
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:
213. 
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:
214. 
Cover image for Modeling Trust Context in Networks
Modeling Trust Context in Networks
Author 
Adali, Sibel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332190.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7031-1
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Transportation and Information Trends in Technology and Policy
Transportation and Information Trends in Technology and Policy
Author 
Thakuriah, Piyushimita (Vonu). author. Geers, D. Glenn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332214.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7129-5
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for A Survey of Core Research in Information Systems
A Survey of Core Research in Information Systems
Author 
Sidorova, Anna. author. Evangelopoulos, Nicholas. author. Torres, Russell. author. Johnson, Vess. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332222.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7158-5
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Distributed Hash Table Theory, Platforms and Applications
Distributed Hash Table Theory, Platforms and Applications
Author 
Zhang, Hao. author. Wen, Yonggang. author. Xie, Haiyong. author. Yu, Nenghai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332462.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-9008-1
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Wireless Virtualization
Wireless Virtualization
Author 
Wen, Heming. author. Tiwary, Prabhat Kumar. author. Le-Ngoc, Tho. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332854.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01291-9
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Data Center Networks Topologies, Architectures and Fault-Tolerance Characteristics
Data Center Networks Topologies, Architectures and Fault-Tolerance Characteristics
Author 
Liu, Yang. author. Muppala, Jogesh K. author. Veeraraghavan, Malathi. author. Lin, Dong. author. Hamdi, Mounir. author.
Preferred Shelf Number 
ONLINE(332894.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01949-9
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Cyber Security Deterrence and IT Protection for Critical Infrastructures
Cyber Security Deterrence and IT Protection for Critical Infrastructures
Author 
Martellini, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332909.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02279-6
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Spatio-Temporal Databases Complex Motion Pattern Queries
Spatio-Temporal Databases Complex Motion Pattern Queries
Author 
Vieira, Marcos R. author. Tsotras, Vassilis J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332918.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02408-0
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Sustainable Wireless Networks
Sustainable Wireless Networks
Author 
Zheng, Zhongming. author. Cai, Lin X. author. Shen, Xuemin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332922.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02469-1
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Bluetooth Security Attacks Comparative Analysis, Attacks, and Countermeasures
Bluetooth Security Attacks Comparative Analysis, Attacks, and Countermeasures
Author 
Haataja, Keijo. author. Hyppönen, Konstantin. author. Pasanen, Sanna. author. Toivanen, Pekka. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334982.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40646-1
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
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:
225. 
Cover image for Software Testing in the Cloud Migration and Execution
Software Testing in the Cloud Migration and Execution
Author 
Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32122-1
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Event-Driven Surveillance Possibilities and Challenges
Event-Driven Surveillance Possibilities and Challenges
Author 
Denecke, Kerstin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28135-8
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
Author 
Henderson-Sellers, Brian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29825-7
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Understanding High-Dimensional Spaces
Understanding High-Dimensional Spaces
Author 
Skillicorn, David B. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33398-9
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Entropy Guided Transformation Learning: Algorithms and Applications
Entropy Guided Transformation Learning: Algorithms and Applications
Author 
Santos, Cícero Nogueira. author. Milidiú, Ruy Luiz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2978-3
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for A Proof Theory for Description Logics
A Proof Theory for Description Logics
Author 
Rademaker, Alexandre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4002-3
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Decentralized Reasoning in Ambient Intelligence
Decentralized Reasoning in Ambient Intelligence
Author 
Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4168-6
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Robust Motion Detection in Real-Life Scenarios
Robust Motion Detection in Real-Life Scenarios
Author 
Martínez-Martín, Ester. author. Pobil, Ángel P. del. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4216-4
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Guide to Cisco Routers Configuration Becoming a Router Geek
Guide to Cisco Routers Configuration Becoming a Router Geek
Author 
Alani, Mohammed M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4246-1
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Two-Dimensional Change Detection Methods Remote Sensing Applications
Two-Dimensional Change Detection Methods Remote Sensing Applications
Author 
İlsever, Murat. author. Ünsalan, Cem. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4255-3
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Spatial AutoRegression (SAR) Model Parameter Estimation Techniques
Spatial AutoRegression (SAR) Model Parameter Estimation Techniques
Author 
Kazar, Baris M. author. Celik, Mete. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1842-9
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for A Primer of Multicast Routing
A Primer of Multicast Routing
Author 
Rosenberg, Eric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1873-3
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for The Design of Cloud Workflow Systems
The Design of Cloud Workflow Systems
Author 
Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1933-4
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Scalable Parallel Programming Applied to H.264/AVC Decoding
Scalable Parallel Programming Applied to H.264/AVC Decoding
Author 
Juurlink, Ben. author. Alvarez-Mesa, Mauricio. author. Chi, Chi Ching. author. Azevedo, Arnaldo. author. Meenderinck, Cor. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-2230-3
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Data Dissemination and Query in Mobile Social Networks
Data Dissemination and Query in Mobile Social Networks
Author 
Chen, Jiming. author. Fan, Jialu. author. Sun, Youxian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-2254-9
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for A Survey of Data Leakage Detection and Prevention Solutions
A Survey of Data Leakage Detection and Prevention Solutions
Author 
Shabtai, Asaf. author. Elovici, Yuval. author. Rokach, Lior. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-2053-8
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Service Placement in Ad Hoc Networks
Service Placement in Ad Hoc Networks
Author 
Wittenburg, Georg. author. Schiller, Jochen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2363-7
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services
Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services
Author 
Birman, Kenneth P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2416-0
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Software Similarity and Classification
Software Similarity and Classification
Author 
Cesare, Silvio. author. Xiang, Yang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2909-7
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Context Management for Distributed and Dynamic Context-Aware Computing
Context Management for Distributed and Dynamic Context-Aware Computing
Author 
Rocha, Ricardo Couto Antunes. author. Endler, Markus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4020-7
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Self-* and P2P for Network Management Design Principles and Case Studies
Self-* and P2P for Network Management Design Principles and Case Studies
Author 
Marquezan, Clarissa Cassales. author. Granville, Lisandro Zambenedetti. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4201-0
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Criminal Justice Forecasts of Risk A Machine Learning Approach
Criminal Justice Forecasts of Risk A Machine Learning Approach
Author 
Berk, Richard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3085-8
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Autonomic Cooperative Networking
Autonomic Cooperative Networking
Author 
Wódczak, Michał. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3100-8
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Power Distribution and Performance Analysis for Wireless Communication Networks
Power Distribution and Performance Analysis for Wireless Communication Networks
Author 
Zhao, Dongmei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3284-5
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Visual Indexing and Retrieval
Visual Indexing and Retrieval
Author 
Benois-Pineau, Jenny. author. Precioso, Frédéric. author. Cord, Matthieu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3588-4
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for ITIL® 2011 At a Glance
ITIL® 2011 At a Glance
Author 
Long, John O. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3897-7
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Automated Configuration Problem Solving
Automated Configuration Problem Solving
Author 
Petrie, Charles J. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4532-6
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Service-Oriented Crowdsourcing Architecture, Protocols and Algorithms
Service-Oriented Crowdsourcing Architecture, Protocols and Algorithms
Author 
Schall, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5956-9
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Computability and Complexity Theory
Computability and Complexity Theory
Author 
Homer, Steven. author. Selman, Alan L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0682-2
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Repairing and Querying Databases under Aggregate Constraints
Repairing and Querying Databases under Aggregate Constraints
Author 
Flesca, Sergio. author. Furfaro, Filippo. author. Parisi, Francesco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1641-8
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Quantitative Security Risk Assessment of Enterprise Networks
Quantitative Security Risk Assessment of Enterprise Networks
Author 
Ou, Xinming. author. Singhal, Anoop. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1860-3
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Interactive Co-segmentation of Objects in Image Collections
Interactive Co-segmentation of Objects in Image Collections
Author 
Batra, Dhruv. author. Kowdle, Adarsh. author. Parikh, Devi. author. Luo, Jiebo. author. Chen, Tsuhan. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1915-0
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Explorations in Quantum Computing
Explorations in Quantum Computing
Author 
Williams, Colin P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-887-6
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Computer Vision Algorithms and Applications
Computer Vision Algorithms and Applications
Author 
Szeliski, Richard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-935-0
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Voice over IP Security A Comprehensive Survey of Vulnerabilities and Academic Research
Voice over IP Security A Comprehensive Survey of Vulnerabilities and Academic Research
Author 
Keromytis, Angelos D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9866-8
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Evolutionary Game Design
Evolutionary Game Design
Author 
Browne, Cameron. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2179-4
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Markov Models for Handwriting Recognition
Markov Models for Handwriting Recognition
Author 
Plötz, Thomas. author. Fink, Gernot A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2188-6
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Guide to ILDJIT
Guide to ILDJIT
Author 
Campanoni, Simone. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2194-7
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Lossy Image Compression Domain Decomposition-Based Algorithms
Lossy Image Compression Domain Decomposition-Based Algorithms
Author 
Shukla, K.K. author. Prasad, M.V. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2218-0
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Intermittently Connected Mobile Ad Hoc Networks from Routing to Content Distribution
Intermittently Connected Mobile Ad Hoc Networks from Routing to Content Distribution
Author 
Jamalipour, Abbas. author. Ma, Yaozhou. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1572-5
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Specification of Software Systems
Specification of Software Systems
Author 
Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-277-3
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Demand-Driven Associative Classification
Demand-Driven Associative Classification
Author 
Veloso, Adriano. author. Meira Jr., Wagner. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-525-5
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Video Processing in the Cloud
Video Processing in the Cloud
Author 
Pereira, Rafael Silva. author. Breitman, Karin K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2137-4
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Traffic-Sign Recognition Systems
Traffic-Sign Recognition Systems
Author 
Escalera, Sergio. author. Baró, Xavier. author. Pujol, Oriol. author. Vitrià, Jordi. author. Radeva, Petia. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2245-6
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for The Computer Graphics Manual
The Computer Graphics Manual
Author 
Salomon, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-886-7
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Glazed Panel Construction with Human-Robot Cooperation
Glazed Panel Construction with Human-Robot Cooperation
Author 
Lee, Seungyeol. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1418-6
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Bootstrapping Trust in Modern Computers
Bootstrapping Trust in Modern Computers
Author 
Parno, Bryan. author. McCune, Jonathan M. author. Perrig, Adrian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1460-5
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents
Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents
Author 
Simari, Gerardo I. author. Parsons, Simon D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1472-8
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Understanding Concurrent Systems
Understanding Concurrent Systems
Author 
Roscoe, A.W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-258-0
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Guide to Intelligent Data Analysis How to Intelligently Make Sense of Real Data
Guide to Intelligent Data Analysis How to Intelligently Make Sense of Real Data
Author 
Berthold, Michael R. author. Borgelt, Christian. author. Höppner, Frank. author. Klawonn, Frank. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-260-3
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Ethical and Social Issues in the Information Age
Ethical and Social Issues in the Information Age
Author 
Kizza, Joseph Migga. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-038-0
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Introduction to Databases From Biological to Spatio-Temporal
Introduction to Databases From Biological to Spatio-Temporal
Author 
Revesz, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-095-3
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Fundamentals of Predictive Text Mining
Fundamentals of Predictive Text Mining
Author 
Weiss, Sholom M. author. Indurkhya, Nitin. author. Zhang, Tong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-226-1
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Image Processing for Computer Graphics and Vision
Image Processing for Computer Graphics and Vision
Author 
Velho, Luiz. author. Frery, Alejandro. author. Gomes, Jonas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-193-0
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Practical Introduction to Computer Architecture
Practical Introduction to Computer Architecture
Author 
Page, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-256-6
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Elements of Computation Theory
Elements of Computation Theory
Author 
Singh, Arindama. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-497-3
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Author 
Apt, Krzysztof R. author. Boer, Frank S. author. Olderog, Ernst-Rüdiger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-745-5
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Formal Languages and Compilation
Formal Languages and Compilation
Author 
Crespi Reghizzi, Stefano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-050-0
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Numerical Geometry of Non-Rigid Shapes
Numerical Geometry of Non-Rigid Shapes
Author 
Bronstein, Alexander M. author. Bronstein, Michael M. author. Kimmel, Ron. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-73301-2
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for An Introduction to Kolmogorov Complexity and Its Applications
An Introduction to Kolmogorov Complexity and Its Applications
Author 
Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49820-1
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Digital Image Processing An Algorithmic Introduction using Java
Digital Image Processing An Algorithmic Introduction using Java
Author 
Burger, Wilhelm. author. Burge, Mark James. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-968-2
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Fundamentals of the New Artificial Intelligence Neural, Evolutionary, Fuzzy and More
Fundamentals of the New Artificial Intelligence Neural, Evolutionary, Fuzzy and More
Author 
Munakata, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-839-5
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Ethical and Social Issues in the Information Age
Ethical and Social Issues in the Information Age
Author 
Kizza, Joseph Migga. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-659-9
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Theory of Computation
Theory of Computation
Author 
Kozen, Dexter C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-477-5
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Software Configuration Management Using Vesta
Software Configuration Management Using Vesta
Author 
Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-30852-4
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Introduction to Assembly Language Programming For Pentium and RISC Processors
Introduction to Assembly Language Programming For Pentium and RISC Processors
Author 
Dandamudi, Sivarama P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138691
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for An Integrated Approach to Software Engineering
An Integrated Approach to Software Engineering
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28132-0
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Soft Real-Time Systems Predictability vs. Efficiency
Soft Real-Time Systems Predictability vs. Efficiency
Author 
Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28147-9
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Adapting Proofs-as-Programs The Curry-Howard Protocol
Adapting Proofs-as-Programs The Curry-Howard Protocol
Author 
Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28183-5
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Evolutionary Synthesis of Pattern Recognition Systems
Evolutionary Synthesis of Pattern Recognition Systems
Author 
Bhanu, Bir. author. Lin, Yingqiang. author. Krawiec, Krzysztof. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105515
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Super-Recursive Algorithms
Super-Recursive Algorithms
Author 
Burgin, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138114
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Abstraction, Refinement and Proof for Probabilistic Systems
Abstraction, Refinement and Proof for Probabilistic Systems
Author 
McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138392
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Geometric Fundamentals of Robotics
Geometric Fundamentals of Robotics
Author 
Selig, J. M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138859
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Nearest Neighbor Search A Database Perspective
Nearest Neighbor Search A Database Perspective
Author 
Papadopoulos, Apostolos N. author. Manolopoulos, Yannis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27544-4
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Reverse Engineering of Object Oriented Code
Reverse Engineering of Object Oriented Code
Author 
Tonella, Paolo. author. Potrich, Alessandra. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b102522
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach
Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach
Author 
Azim, Tayyaba. author. Ahmed, Sarah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98524-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action