Limit Search Results
Author
SpringerLink (Online service)
(1459)
Jansen, Klaus. editor.
(14)
Mayr, Ernst W. editor.
(9)
Wiley InterScience (Online service)
(9)
Adamatzky, Andrew. editor.
(8)
Language
Publication Date
-
Subject
Computer science.
(931)
Computational complexity.
(908)
Computer software.
(719)
Artificial intelligence.
(316)
Computer Communication Networks.
(295)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2224 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Algorithms and Models for the Web Graph 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings
Algorithms and Models for the Web Graph 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings
Author 
Bonato, Anthony. editor. Mitzenmacher, Michael. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332980.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03536-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
Author 
Cranefield, Stephen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332987.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03680-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Big Data Analytics Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings
Big Data Analytics Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings
Author 
Bhatnagar, Vasudha. editor. Srinivasa, Srinath. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332988.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03689-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I
Author 
Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332993.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03753-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II
Author 
Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332994.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03756-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings
Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings
Author 
Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332995.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03780-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
Author 
Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332997.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03841-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
Author 
Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332999.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03850-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I
Author 
Kołodziej, Joanna. editor. Martino, Beniamino. editor. Talia, Domenico. editor. Xiong, Kaiqi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333000.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03859-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Multiple Access Communcations 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings
Multiple Access Communcations 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings
Author 
Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Marina, Ninoslav. editor. Dimitrova, Desislava. editor.
Preferred Shelf Number 
ONLINE(333001.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03871-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Minimum Error Entropy Classification
Minimum Error Entropy Classification
Author 
Marques de Sá, Joaquim P. author. Silva, Luís M.A. author. Santos, Jorge M.F. author. Alexandre, Luís A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333219.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29029-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Chaos and Complex Systems Proceedings of the 4th International Interdisciplinary Chaos Symposium
Chaos and Complex Systems Proceedings of the 4th International Interdisciplinary Chaos Symposium
Author 
Stavrinides, Stavros G. editor. Banerjee, Santo. editor. Caglar, Suleyman Hikmet. editor. Ozer, Mehmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333772.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33914-1
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Author 
Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334014.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35632-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers
Author 
Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334022.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35656-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
Author 
Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.
Preferred Shelf Number 
ONLINE(334025.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35668-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers
Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers
Author 
Knudsen, Lars R. editor. Wu, Huapeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334097.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35999-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Complex and Adaptive Dynamical Systems A Primer
Complex and Adaptive Dynamical Systems A Primer
Author 
Gros, Claudius. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334241.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36586-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Theory of Cryptography 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings
Theory of Cryptography 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings
Author 
Sahai, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334242.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36594-2
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede
Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede
Author 
Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334319.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36899-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Author 
Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Preferred Shelf Number 
ONLINE(334328.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36949-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Machado, Penousal. editor. McDermott, James. editor. Carballal, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334330.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36955-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Ad Hoc Networks 4th International ICST Conference, ADHOCNETS 2012, Paris, France, October 16-17, 2012, Revised Selected Papers
Ad Hoc Networks 4th International ICST Conference, ADHOCNETS 2012, Paris, France, October 16-17, 2012, Revised Selected Papers
Author 
Zheng, Jun. editor. Mitton, Nathalie. editor. Li, Jun. editor. Lorenz, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334331.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36958-2
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers
Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers
Author 
Zu, Qiaohong. editor. Hu, Bo. editor. Elçi, Atilla. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334342.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37015-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334355.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37064-9
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings
Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings
Author 
Gonzalez-Diaz, Rocio. editor. Jimenez, Maria-Jose. editor. Medrano, Belen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334356.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37067-0
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Intelligent Computing for Sustainable Energy and Environment Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers
Intelligent Computing for Sustainable Energy and Environment Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers
Author 
Li, Kang. editor. Li, Shaoyuan. editor. Li, Dewei. editor. Niu, Qun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334362.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37105-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings
Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings
Author 
Demeester, Piet. editor. Moerman, Ingrid. editor. Terzis, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36672-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings
Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings
Author 
Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334268.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36694-9
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Fractional Fields and Applications
Fractional Fields and Applications
Author 
Cohen, Serge. author. Istas, Jacques. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334277.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36739-7
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334278.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
Author 
Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.
Preferred Shelf Number 
ONLINE(334280.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36751-9
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers
Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers
Author 
Didimo, Walter. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334284.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36763-2
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Quality, Reliability, Security and Robustness in Heterogeneous Networks 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013, Revised Selected Papers
Quality, Reliability, Security and Robustness in Heterogeneous Networks 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013, Revised Selected Papers
Author 
Singh, Karan. editor. Awasthi, Amit K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334505.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37949-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers
Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers
Author 
Erlebach, Thomas. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334516.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38016-7
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings
Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings
Author 
Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.
Preferred Shelf Number 
ONLINE(334517.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38027-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Bioinformatics Research and Applications 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013. Proceedings
Bioinformatics Research and Applications 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013. Proceedings
Author 
Cai, Zhipeng. editor. Eulenstein, Oliver. editor. Janies, Daniel. editor. Schwartz, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334520.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38036-5
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Advances in Intelligent Data Analysis XII 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings
Advances in Intelligent Data Analysis XII 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings
Author 
Tucker, Allan. editor. Höppner, Frank. editor. Siebes, Arno. editor. Swift, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335103.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41398-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings
Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings
Author 
Pathan, Mukaddim. editor. Wei, Guiyi. editor. Fortino, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335105.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41428-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
Author 
Palamidessi, Catuscia. editor. Ryan, Mark D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335066.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41157-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Combinatorial Search: From Algorithms to Systems
Combinatorial Search: From Algorithms to Systems
Author 
Hamadi, Youssef. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335109.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41482-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013. Proceedings, Part I
Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013. Proceedings, Part I
Author 
Petrosino, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335069.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Evolution of Telecommunication Services The Convergence of Telecom and Internet: Technologies and Ecosystems
Evolution of Telecommunication Services The Convergence of Telecom and Internet: Technologies and Ecosystems
Author 
Bertin, Emmanuel. editor. Crespi, Noel. editor. Magedanz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335123.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41569-2
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings
Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings
Author 
Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335124.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41575-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Intelligent Data Engineering and Automated Learning – IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings
Intelligent Data Engineering and Automated Learning – IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings
Author 
Yin, Hujun. editor. Tang, Ke. editor. Gao, Yang. editor. Klawonn, Frank. editor. Lee, Minho. editor.
Preferred Shelf Number 
ONLINE(335084.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41278-3
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Wireless Internet 7th International ICST Conference, WICON 2013, Shanghai, China, April 11-12, 2013, Revised Selected Papers
Wireless Internet 7th International ICST Conference, WICON 2013, Shanghai, China, April 11-12, 2013, Revised Selected Papers
Author 
Qian, Hua. editor. Kang, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335143.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41773-3
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part I
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part I
Author 
Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335145.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41822-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part II
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part II
Author 
Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335146.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41827-3
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Number Theory and Cryptography Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday
Number Theory and Cryptography Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday
Author 
Fischlin, Marc. editor. Katzenbeisser, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335154.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42001-6
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
Author 
Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335157.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42033-7
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II
Author 
Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335160.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42045-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers
Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers
Author 
Akiyama, Jin. editor. Kano, Mikio. editor. Sakai, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335203.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45281-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
Author 
Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335206.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45293-2
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings
Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335178.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45008-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings
Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings
Author 
Cai, Leizhen. editor. Cheng, Siu-Wing. editor. Lam, Tak-Wah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335180.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45030-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
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:
56. 
Cover image for Advances in Soft Computing and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II
Advances in Soft Computing and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II
Author 
Castro, Félix. editor. Gelbukh, Alexander. editor. González, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335189.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45111-9
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Advances in Artificial Intelligence and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I
Advances in Artificial Intelligence and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I
Author 
Castro, Félix. editor. Gelbukh, Alexander. editor. González, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335190.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45114-0
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings
Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings
Author 
Stam, Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335197.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45239-0
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
Author 
Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335202.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45278-9
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Graph Theory with Algorithms and its Applications In Applied Science and Technology
Graph Theory with Algorithms and its Applications In Applied Science and Technology
Author 
Saha Ray, Santanu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335456.1)
Electronic Access 
http://dx.doi.org/10.1007/978-81-322-0750-4
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Thermodynamics of Information Processing in Small Systems
Thermodynamics of Information Processing in Small Systems
Author 
Sagawa, Takahiro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335392.1)
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-54168-4
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Automatic trend estimation
Automatic trend estimation
Author 
Vamos¸, C˘alin. author. Cr˘aciun, Maria. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335830.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4825-5
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Agent-Based Modelling of Socio-Technical Systems
Agent-Based Modelling of Socio-Technical Systems
Author 
Dam, Koen H. editor. Nikolic, Igor. editor. Lukszo, Zofia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335852.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4933-7
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Non-Equilibrium Thermodynamics in Multiphase Flows
Non-Equilibrium Thermodynamics in Multiphase Flows
Author 
Mauri, Roberto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335982.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5461-4
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Managing and Engineering in Complex Situations
Managing and Engineering in Complex Situations
Author 
Kovacic, Samuel F. editor. Sousa-Poza, Andres. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335995.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5515-4
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Lineare Algebra für die Informatik Vektorräume, Gleichungssysteme, Codierung, Quantenalgorithmen
Lineare Algebra für die Informatik Vektorräume, Gleichungssysteme, Codierung, Quantenalgorithmen
Author 
Witt, Kurt-Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337446.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00189-6
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Quantum Computing verstehen Grundlagen - Anwendungen - Perspektiven
Quantum Computing verstehen Grundlagen - Anwendungen - Perspektiven
Author 
Homeister, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338347.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2278-9
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Sustainable urban metabolism
Sustainable urban metabolism
Author 
Ferrão, Paulo, 1962- Fernandez, John, 1963-
Preferred Shelf Number 
HT166 F378 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
69. 
Cover image for Introduction to the theory of computation
Introduction to the theory of computation
Author 
Sipser, Michael.
Preferred Shelf Number 
QA267 S56 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
70. 
Cover image for Nonlinear Structural Mechanics Theory, Dynamical Phenomena and Modeling
Nonlinear Structural Mechanics Theory, Dynamical Phenomena and Modeling
Author 
Lacarbonara, Walter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330802.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1276-3
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Quantum Attacks on Public-Key Cryptosystems
Quantum Attacks on Public-Key Cryptosystems
Author 
Yan, Song Y. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330828.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7722-9
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for A Course in Topological Combinatorics
A Course in Topological Combinatorics
Author 
Longueville, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330830.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7910-0
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Fundamental Aspects of Plasma Chemical Physics Transport
Fundamental Aspects of Plasma Chemical Physics Transport
Author 
Capitelli, Mario. author. Bruno, Domenico. author. Laricchiuta, Annarita. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330833.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8172-1
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
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:
75. 
Cover image for Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications
Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications
Author 
Tempo, Roberto. author. Calafiore, Giuseppe. author. Dabbene, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331024.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4610-0
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
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:
77. 
Cover image for Simulation-Based Algorithms for Markov Decision Processes
Simulation-Based Algorithms for Markov Decision Processes
Author 
Chang, Hyeong Soo. author. Hu, Jiaqiao. author. Fu, Michael C. author. Marcus, Steven I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331119.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5022-0
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Stream Ciphers
Stream Ciphers
Author 
Klein, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331137.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5079-4
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Mastering the Discrete Fourier Transform in One, Two or Several Dimensions Pitfalls and Artifacts
Mastering the Discrete Fourier Transform in One, Two or Several Dimensions Pitfalls and Artifacts
Author 
Amidror, Isaac. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331163.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5167-8
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Distributed Graph Algorithms for Computer Networks
Distributed Graph Algorithms for Computer Networks
Author 
Erciyes, K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331165.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5173-9
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Study of Movement Speeds Down Stairs
Study of Movement Speeds Down Stairs
Author 
Hoskins, Bryan L. author. Milke, James A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331402.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3973-8
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Connected Dominating Set: Theory and Applications
Connected Dominating Set: Theory and Applications
Author 
Du, Ding-Zhu. author. Wan, Peng-Jun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331720.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5242-3
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Intersections of Random Walks
Intersections of Random Walks
Author 
Lawler, Gregory F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331913.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5972-9
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Fundamental Tests of Physics with Optically Trapped Microspheres
Fundamental Tests of Physics with Optically Trapped Microspheres
Author 
Li, Tongcang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331930.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6031-2
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for The Sherrington-Kirkpatrick Model
The Sherrington-Kirkpatrick Model
Author 
Panchenko, Dmitry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331994.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6289-7
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for From Kinetic Models to Hydrodynamics Some Novel Results
From Kinetic Models to Hydrodynamics Some Novel Results
Author 
Colangeli, Matteo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331999.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6306-1
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Structure of Solutions of Variational Problems
Structure of Solutions of Variational Problems
Author 
Zaslavski, Alexander J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332024.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6387-0
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for An Introduction to Heavy-Tailed and Subexponential Distributions
An Introduction to Heavy-Tailed and Subexponential Distributions
Author 
Foss, Sergey. author. Korshunov, Dmitry. author. Zachary, Stan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332206.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7101-1
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Predicting the Future Completing Models of Observed Complex Systems
Predicting the Future Completing Models of Observed Complex Systems
Author 
Abarbanel, Henry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332234.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7218-6
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Energy Policy Modeling in the 21st Century
Energy Policy Modeling in the 21st Century
Author 
Qudrat-Ullah, Hassan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332433.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8606-0
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Handbook of Human Computation
Handbook of Human Computation
Author 
Michelucci, Pietro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332449.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8806-4
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Optimization Approaches for Solving String Selection Problems
Optimization Approaches for Solving String Selection Problems
Author 
Pappalardo, Elisa. author. Pardalos, Panos M. author. Stracquadanio, Giovanni. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332467.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-9053-1
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Compressed Sensing with Side Information on the Feasible Region
Compressed Sensing with Side Information on the Feasible Region
Author 
Rostami, Mohammad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332732.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00366-5
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for The Janus Fluid A Theoretical Perspective
The Janus Fluid A Theoretical Perspective
Author 
Fantoni, Riccardo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332744.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00407-5
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Nostradamus 2013: Prediction, Modeling and Analysis of Complex Systems
Nostradamus 2013: Prediction, Modeling and Analysis of Complex Systems
Author 
Zelinka, Ivan. editor. Chen, Guanrong. editor. Rössler, Otto E. editor. Snasel, Vaclav. editor. Abraham, Ajith. editor.
Preferred Shelf Number 
ONLINE(332763.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00542-3
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings
Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings
Author 
Blanc-Talon, Jacques. editor. Kasinski, Andrzej. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Preferred Shelf Number 
ONLINE(332953.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02895-8
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Advances in Visual Informatics Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings
Advances in Visual Informatics Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings
Author 
Zaman, Halimah Badioze. editor. Robinson, Peter. editor. Olivier, Patrick. editor. Shih, Timothy K. editor. Velastin, Sergio. editor.
Preferred Shelf Number 
ONLINE(332958.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02958-0
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Biometric Recognition 8th Chinese Conference, CCBR 2013, Jinan, China, November 16-17, 2013. Proceedings
Biometric Recognition 8th Chinese Conference, CCBR 2013, Jinan, China, November 16-17, 2013. Proceedings
Author 
Sun, Zhenan. editor. Shan, Shiguan. editor. Yang, Gongping. editor. Zhou, Jie. editor. Wang, Yunhong. editor.
Preferred Shelf Number 
ONLINE(332959.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02961-0
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Author 
Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Preferred Shelf Number 
ONLINE(332964.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03089-0
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings
Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings
Author 
Reidsma, Dennis. editor. Katayose, Haruhiro. editor. Nijholt, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332968.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03161-3
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
Author 
Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332975.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03473-7
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Complex Networks
Complex Networks
Author 
Menezes, Ronaldo. editor. Evsukoff, Alexandre. editor. González, Marta C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333311.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30287-9
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers
Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers
Author 
Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29752-6
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers
Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers
Author 
Filipe, Joaquim. editor. Fred, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333280.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Fuzziness and Foundations of Exact and Inexact Sciences
Fuzziness and Foundations of Exact and Inexact Sciences
Author 
Dompere, Kofi Kissi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333398.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31122-2
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Stability Analysis and Design for Nonlinear Singular Systems
Stability Analysis and Design for Nonlinear Singular Systems
Author 
Yang, Chunyu. author. Zhang, Qingling. author. Zhou, Linna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333529.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32144-3
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for The System Concept and Its Application to Engineering
The System Concept and Its Application to Engineering
Author 
Aslaksen, Erik W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333534.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32169-6
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Nonlinear Dynamics in Complex Systems Theory and Applications for the Life-, Neuro- and Natural Sciences
Nonlinear Dynamics in Complex Systems Theory and Applications for the Life-, Neuro- and Natural Sciences
Author 
Fuchs, Armin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333719.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33552-5
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papers
Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papers
Author 
Csurka, Gabriela. editor. Kraus, Martin. editor. Mestetskiy, Leonid. editor. Richard, Paul. editor. Braz, José. editor.
Preferred Shelf Number 
ONLINE(333559.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32350-8
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Traffic Flow Dynamics Data, Models and Simulation
Traffic Flow Dynamics Data, Models and Simulation
Author 
Treiber, Martin. author. Kesting, Arne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333578.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32460-4
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Advanced Statistical Methods for Astrophysical Probes of Cosmology
Advanced Statistical Methods for Astrophysical Probes of Cosmology
Author 
March, Marisa Cristina. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333929.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35060-3
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Advances in Self-Organizing Maps 9th International Workshop, WSOM 2012 Santiago, Chile, December 12-14, 2012 Proceedings
Advances in Self-Organizing Maps 9th International Workshop, WSOM 2012 Santiago, Chile, December 12-14, 2012 Proceedings
Author 
Estévez, Pablo A. editor. Príncipe, José C. editor. Zegers, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333953.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35230-0
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Attracted to Conflict: Dynamic Foundations of Destructive Social Relations Dynamic Foundations of Destructive Social Relations
Attracted to Conflict: Dynamic Foundations of Destructive Social Relations Dynamic Foundations of Destructive Social Relations
Author 
Vallacher, Robin R. author. Coleman, Peter T. author. Nowak, Andrzej. author. Bui-Wrzosinska, Lan. author. Liebovitch, Larry. author.
Preferred Shelf Number 
ONLINE(333958.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35280-5
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for The March of Time Evolving Conceptions of Time in the Light of Scientific Discoveries
The March of Time Evolving Conceptions of Time in the Light of Scientific Discoveries
Author 
Weinert, Friedel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333967.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35347-5
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings
Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings
Author 
Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334048.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35786-2
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
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:
117. 
Cover image for Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Author 
Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334071.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35867-8
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Temporal Networks
Temporal Networks
Author 
Holme, Petter. editor. Saramäki, Jari. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334210.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36461-7
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Equilibrium Thermodynamics
Equilibrium Thermodynamics
Author 
Oliveira, Mário J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334232.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36549-2
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Co-evolution of Intelligent Socio-technical Systems Modelling and Applications in Large Scale Emergency and Transport Domains
Co-evolution of Intelligent Socio-technical Systems Modelling and Applications in Large Scale Emergency and Transport Domains
Author 
Mitleton-Kelly, Evangelia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334247.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36614-7
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings
Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings
Author 
Purshouse, Robin C. editor. Fleming, Peter J. editor. Fonseca, Carlos M. editor. Greco, Salvatore. editor. Shaw, Jane. editor.
Preferred Shelf Number 
ONLINE(334370.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37140-0
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Vanneschi, Leonardo. editor. Bush, William S. editor. Giacobini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334380.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37189-9
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Esparcia-Alcázar, Anna I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334381.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37192-9
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Research in Computational Molecular Biology 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings
Research in Computational Molecular Biology 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings
Author 
Deng, Minghua. editor. Jiang, Rui. editor. Sun, Fengzhu. editor. Zhang, Xuegong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334382.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37195-0
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Middendorf, Martin. editor. Blum, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334383.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37198-1
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.
Preferred Shelf Number 
ONLINE(334384.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37207-0
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings
Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings
Author 
Tomassini, Marco. editor. Antonioni, Alberto. editor. Daolio, Fabio. editor. Buesser, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334386.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37213-1
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers
Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers
Author 
Manninen, Pekka. editor. Öster, Per. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334296.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36803-5
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
Author 
Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334549.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38171-3
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Facets of Combinatorial Optimization Festschrift for Martin Grötschel
Facets of Combinatorial Optimization Festschrift for Martin Grötschel
Author 
Jünger, Michael. editor. Reinelt, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334551.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38189-8
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Graph-Based Representations in Pattern Recognition 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings
Graph-Based Representations in Pattern Recognition 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings
Author 
Kropatsch, Walter G. editor. Artner, Nicole M. editor. Haxhimusa, Yll. editor. Jiang, Xiaoyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334559.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38221-5
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers
Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers
Author 
Guyot, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334561.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38227-7
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Author 
Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334564.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38236-9
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings
Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings
Author 
Blesa, María J. editor. Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Preferred Shelf Number 
ONLINE(334612.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38516-2
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
Author 
Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334615.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38527-8
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
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:
138. 
Cover image for Mathematical Morphology and Its Applications to Signal and Image Processing 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings
Mathematical Morphology and Its Applications to Signal and Image Processing 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings
Author 
Hendriks, Cris L. Luengo. editor. Borgefors, Gunilla. editor. Strand, Robin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334577.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38294-9
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers
Computational Intelligence Methods for Bioinformatics and Biostatistics 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers
Author 
Peterson, Leif E. editor. Masulli, Francesco. editor. Russo, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334585.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38342-7
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings
Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings
Author 
Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334587.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38348-9
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Post-Quantum Cryptography 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings
Post-Quantum Cryptography 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings
Author 
Gaborit, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334635.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38616-9
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II
Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II
Author 
Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334636.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38622-0
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings
Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings
Author 
Kłopotek, Mieczysław A. editor. Koronacki, Jacek. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. Wierzchoń, Sławomir T. editor.
Preferred Shelf Number 
ONLINE(334639.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38634-3
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I
Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I
Author 
Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334640.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38637-4
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334653.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38703-6
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334657.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38715-9
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
Author 
Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334658.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38718-0
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings
Author 
Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334663.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38756-2
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
Author 
Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334665.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38768-5
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings
Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings
Author 
Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334666.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38771-5
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings
Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings
Author 
Fischer, Johannes. editor. Sanders, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334695.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38905-4
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings
Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings
Author 
Huth, Michael. editor. Asokan, N. editor. Čapkun, Srdjan. editor. Flechais, Ivan. editor. Coles-Kemp, Lizzie. editor.
Preferred Shelf Number 
ONLINE(334696.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38908-5
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Author 
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335003.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40787-1
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
Author 
Bitsch, Friedemann. editor. Guiochet, Jérémie. editor. Kaâniche, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335005.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40793-2
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings
Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings
Author 
Hsu, Ching-Hsien. editor. Li, Xiaoming. editor. Shi, Xuanhua. editor. Zheng, Ran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335013.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40820-5
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
Author 
Liao, Hongen. editor. Linte, Cristian A. editor. Masamune, Ken. editor. Peters, Terry M. editor. Zheng, Guoyan. editor.
Preferred Shelf Number 
ONLINE(335016.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40843-4
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings
Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings
Author 
Pan, Jeng-Shyang. editor. Polycarpou, Marios M. editor. Woźniak, Michał. editor. Carvalho, André C. P. L. F. editor. Quintián, Héctor. editor.
Preferred Shelf Number 
ONLINE(335017.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40846-5
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Author 
Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335022.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40867-0
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Author 
Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335023.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40885-4
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Discovery Science 16th International Conference, DS 2013, Singapore, October 6-9, 2013. Proceedings
Discovery Science 16th International Conference, DS 2013, Singapore, October 6-9, 2013. Proceedings
Author 
Fürnkranz, Johannes. editor. Hüllermeier, Eyke. editor. Higuchi, Tomoyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335025.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40897-7
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
Author 
Saeed, Khalid. editor. Chaki, Rituparna. editor. Cortesi, Agostino. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335029.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40925-7
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
Author 
Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335030.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40935-6
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Author 
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335032.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40948-6
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I
Author 
Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335036.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40988-2
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II
Author 
Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335037.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40991-2
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III
Author 
Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335038.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40994-3
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings
Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings
Author 
Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335043.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41019-2
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Author 
Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335046.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41036-9
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers
Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers
Author 
Shaikh, Faisal Karim. editor. Chowdhry, Bhawani Shankar. editor. Ammari, Habib M. editor. Uqaili, Muhammad Aslam. editor. Shah, Assadullah. editor.
Preferred Shelf Number 
ONLINE(335048.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41054-3
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Similarity Search and Applications 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings
Similarity Search and Applications 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings
Author 
Brisaboa, Nieves. editor. Pedreira, Oscar. editor. Zezula, Pavel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335050.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41062-8
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings
Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings
Author 
Accorsi, Rafael. editor. Ranise, Silvio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335057.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41098-7
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Secure IT Systems 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings
Secure IT Systems 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings
Author 
Riis Nielson, Hanne. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335111.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41488-6
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
Author 
Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335116.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41515-9
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013, Proceedings, Part II
Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013, Proceedings, Part II
Author 
Petrosino, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335070.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41184-7
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Distributed Computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings
Distributed Computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings
Author 
Afek, Yehuda. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335119.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41527-2
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Author 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335072.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Statistical Physics of Nanoparticles in the Gas Phase
Statistical Physics of Nanoparticles in the Gas Phase
Author 
Hansen, Klavs. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336082.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5839-1
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Elementare Kombinatorik für die Informatik Abzählungen, Differenzengleichungen, diskretes Differenzieren und Integrieren
Elementare Kombinatorik für die Informatik Abzählungen, Differenzengleichungen, diskretes Differenzieren und Integrieren
Author 
Witt, Kurt-Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337657.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00994-6
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Primers in complex systems
Primers in complex systems
Author 
Stein, Daniel L. Newman, Charles M. (Charles Michael), 1946-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt12f4hf
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Human capitalism : how economic growth has made us smarter-and more unequal
Human capitalism : how economic growth has made us smarter-and more unequal
Author 
Lindsey, Brink.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.cttq94m9
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for The Cambridge handbook of second language acquisition
The Cambridge handbook of second language acquisition
Author 
Herschensohn, Julia Rogers, 1945- editor. Young-Scholten, Martha, editor.
Preferred Shelf Number 
P118.2 .C356 2013
Electronic Access 
https://doi.org/10.1017/CBO9781139051729
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Limits of computation : an introduction to the undecidable and the intractable
Limits of computation : an introduction to the undecidable and the intractable
Author 
Reiter, Edna E. (Edna Elizabeth), author. Johnson, Clayton Matthew.
Preferred Shelf Number 
QA267.7 .R445 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Physical modelling in geotechnics : proceedings of the 8th International Conference on Physical Modelling in Geotechnics 2014 (ICPMG 2014), Perth, Australia, 14-17 January 2014
Physical modelling in geotechnics : proceedings of the 8th International Conference on Physical Modelling in Geotechnics 2014 (ICPMG 2014), Perth, Australia, 14-17 January 2014
Author 
International Conference on Physical Modelling in Geotechnics (8th : 2014 : Perth, W.A.), author. Gaudin, Christophe (Engineering geologist), editor. White, David (David J.), editor.
Preferred Shelf Number 
TA703.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429271113
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Active shooter events and response
Active shooter events and response
Author 
Blair, John P., 1971, author.
Preferred Shelf Number 
HV6529 .B534 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Networks in society : links and language
Networks in society : links and language
Author 
Stocker, Robert, editor. Bossomaier, Terry R. J. (Terry Richard John), editor.
Preferred Shelf Number 
HM741 .N48 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Wetland landscape characterization : practical tools, methods, and approaches for landscape ecology
Wetland landscape characterization : practical tools, methods, and approaches for landscape ecology
Author 
Lopez, Ricardo D., author.
Preferred Shelf Number 
QH541.5 .M3 L67 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Advances in design for cross-cultural activities
Advances in design for cross-cultural activities
Author 
Schmorrow, Dylan D. Nicholson, Denise, 1967-
Preferred Shelf Number 
BF448 .A382 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Ad hoc mobile wireless networks : principles, protocols, and applications
Ad hoc mobile wireless networks : principles, protocols, and applications
Author 
Sarkar, Subir Kumar., author. Basavaraju, T. G. Puttamadappa, C.
Preferred Shelf Number 
TK5103.2 .S27 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Fundamentals in modeling and control of mobile manipulators
Fundamentals in modeling and control of mobile manipulators
Author 
Li, Zhijun, 1973, author. Ge, Shuzhi Sam.
Preferred Shelf Number 
TJ211.415 .L53 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Introduction to biological networks
Introduction to biological networks
Author 
Ray, Animesh, 1954- author. Raval, Alpan, 1968- author.
Preferred Shelf Number 
QH323.5 .R38 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Manual lifting : a guide to the study of simple and complex lifting tasks
Manual lifting : a guide to the study of simple and complex lifting tasks
Author 
Colombini, Daniela.
Preferred Shelf Number 
T55.3 .L5 M27 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for The terrorist-criminal nexus : an alliance of international drug cartels, organized crime, and terror groups
The terrorist-criminal nexus : an alliance of international drug cartels, organized crime, and terror groups
Author 
Hesterman, Jennifer L., author.
Preferred Shelf Number 
HV5825 .H443 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Nutrition in Intensive Care Medicine: Beyond Physiology
Nutrition in Intensive Care Medicine: Beyond Physiology
Author 
Singer, P., editor.
Preferred Shelf Number 
XX(549046.1)
Electronic Access 
https://karger.com/book/doi/10.1159/isbn.978-3-318-02228-5
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Ecological sustainability : understanding complex issues
Ecological sustainability : understanding complex issues
Author 
Northrop, Robert B., author. Connor, Anne N.
Preferred Shelf Number 
GF50 .N675 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Cellular potts models : multiscale extensions and biological applications
Cellular potts models : multiscale extensions and biological applications
Author 
Scianna, Marco., author. Preziosi, Luigi.
Preferred Shelf Number 
QH581.2 .S35 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for A level of Martin-Lof randomness
A level of Martin-Lof randomness
Author 
Tice, Bradley S., author.
Preferred Shelf Number 
QA267.7 .T53 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Essential algorithms : a practical approach to computer algorithms
Essential algorithms : a practical approach to computer algorithms
Author 
Stephens, Rod, 1961- author.
Preferred Shelf Number 
QA76.9 .S74 2013
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119575955
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Randomness in evolution
Randomness in evolution
Author 
Bonner, John Tyler.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt24hpxb
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Approximation Algorithms and Semidefinite Programming
Approximation Algorithms and Semidefinite Programming
Author 
Gärtner, Bernd. author. Matousek, Jiri. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22015-9
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Curves and Surfaces 7th International Conference, Avignon, France, June 24 - 30, 2010, Revised Selected Papers
Curves and Surfaces 7th International Conference, Avignon, France, June 24 - 30, 2010, Revised Selected Papers
Author 
Boissonnat, Jean-Daniel. editor. Chenin, Patrick. editor. Cohen, Albert. editor. Gout, Christian. editor. Lyche, Tom. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27413-8
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Public Key Cryptography – PKC 2012 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings
Public Key Cryptography – PKC 2012 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings
Author 
Fischlin, Marc. editor. Buchmann, Johannes. editor. Manulis, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30057-8
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Fun with Algorithms 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings
Fun with Algorithms 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings
Author 
Kranakis, Evangelos. editor. Krizanc, Danny. editor. Luccio, Flaminia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30347-0
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
Author 
Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29892-9
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Author 
Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31113-0
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings
Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings
Author 
Fomin, Fedor V. editor. Kaski, Petteri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31155-0
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
Author 
Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30870-3
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Author 
Derrick, John. editor. Fitzgerald, John. editor. Gnesi, Stefania. editor. Khurshid, Sarfraz. editor. Leuschel, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30885-7
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
Author 
Bodlaender, Hans L. editor. Downey, Rod. editor. Fomin, Fedor V. editor. Marx, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30891-8
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
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:
210. 
Cover image for Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
Author 
Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31585-5
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
Author 
Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31594-7
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Diagrammatic Representation and Inference 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings
Diagrammatic Representation and Inference 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings
Author 
Cox, Philip. editor. Plimmer, Beryl. editor. Rodgers, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31223-6
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Author 
Bordihn, Henning. editor. Kutrib, Martin. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings
Author 
Gupta, Anupam. editor. Jansen, Klaus. editor. Rolim, José. editor. Servedio, Rocco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32512-0
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Combinatorial Optimization and Applications 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings
Combinatorial Optimization and Applications 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings
Author 
Lin, Guohui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31770-5
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Author 
Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31485-8
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Information Security and Cryptology - ICISC 2011 14th International Conference, Seoul, Korea, November 30 - December 2, 2011. Revised Selected Papers
Information Security and Cryptology - ICISC 2011 14th International Conference, Seoul, Korea, November 30 - December 2, 2011. Revised Selected Papers
Author 
Kim, Howon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31912-9
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Algorithms – ESA 2012 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
Algorithms – ESA 2012 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
Author 
Epstein, Leah. editor. Ferragina, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33090-2
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Algorithms in Bioinformatics 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
Algorithms in Bioinformatics 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
Author 
Raphael, Ben. editor. Tang, Jijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33122-0
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Parameterized and Exact Computation 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings
Parameterized and Exact Computation 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings
Author 
Thilikos, Dimitrios M. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33293-7
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
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:
222. 
Cover image for Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part I
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part I
Author 
Flach, Peter A. editor. Bie, Tijl. editor. Cristianini, Nello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33460-3
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Computational Geometry XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcalá de Henares, Spain, June 27-30, 2011, Revised Selected Papers
Computational Geometry XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcalá de Henares, Spain, June 27-30, 2011, Revised Selected Papers
Author 
Márquez, Alberto. editor. Ramos, Pedro. editor. Urrutia, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34191-5
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Cryptology and Network Security 11th International Conference, CANS 2012, Darmstadt, Germany, December 12-14, 2012. Proceedings
Cryptology and Network Security 11th International Conference, CANS 2012, Darmstadt, Germany, December 12-14, 2012. Proceedings
Author 
Pieprzyk, Josef. editor. Sadeghi, Ahmad-Reza. editor. Manulis, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35404-5
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings
Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings
Author 
Baldoni, Roberto. editor. Flocchini, Paola. editor. Binoy, Ravindran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35476-2
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Combinatorial Algorithms 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers
Combinatorial Algorithms 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers
Author 
Arumugam, S. editor. Smyth, W. F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35926-2
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Diskrete Mathematik Grundlagen und Methoden
Diskrete Mathematik Grundlagen und Methoden
Author 
Taraz, Anusch. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8901-7
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Early new world monumentality
Early new world monumentality
Author 
Rosenswig, Robert M. Burger, Richard L. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Adolescent literacies in a multicultural context
Adolescent literacies in a multicultural context
Author 
Cumming, Alister H.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Health equity, social justice and human rights
Health equity, social justice and human rights
Author 
Taket, A. R. (Ann R.)
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Being an academic
Being an academic
Author 
Fanghanel, Joëlle.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Sets, Logic and Maths for Computing
Sets, Logic and Maths for Computing
Author 
Makinson, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2500-6
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Two spheres physical and strategic design in architecture
Two spheres physical and strategic design in architecture
Author 
Bachman, Leonard R.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Ecological public health reshaping the conditions for good health
Ecological public health reshaping the conditions for good health
Author 
Rayner, Geof. Lang, Tim.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for High-level leadership improving outcomes in educational settings
High-level leadership improving outcomes in educational settings
Author 
Mongon, Denis. Chapman, Christopher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Linking theory to practice case studies for working with college students
Linking theory to practice case studies for working with college students
Author 
Stage, Frances K. Hubbard, Steven M. Stage, Frances K. Linking theory to practice.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Relative clauses in languages of the Americas a typological overview
Relative clauses in languages of the Americas a typological overview
Author 
Comrie, Bernard, 1947- Estrada Fernández, Zarina.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=481005
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Teaching and learning in the digital age
Teaching and learning in the digital age
Author 
Starkey, Louise.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Attention, representation, and human performance integration of cognition, emotion, and motivation
Attention, representation, and human performance integration of cognition, emotion, and motivation
Author 
Masmoudi, Slim. Dai, David Yun. Naceur, Abdelmajid.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Jean Genet
Jean Genet
Author 
Bradby, David. Finburgh, Clare.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Cross-disciplinary perspectives on a contested Buddhist site Bodh Gaya Jataka
Cross-disciplinary perspectives on a contested Buddhist site Bodh Gaya Jataka
Author 
Geary, David, 1976- Sayers, Matthew R. Amar, Abhishek Singh.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Topics in Cryptology – CT-RSA 2012 The Cryptographers’ Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 – March 2, 2012. Proceedings
Topics in Cryptology – CT-RSA 2012 The Cryptographers’ Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 – March 2, 2012. Proceedings
Author 
Dunkelman, Orr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27954-6
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
Author 
Marx, Dániel. editor. Rossmanith, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28050-4
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
Author 
Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28212-6
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Approximation and Online Algorithms 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
Approximation and Online Algorithms 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
Author 
Solis-Oba, Roberto. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29116-6
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Evolutionary Computation in Combinatorial Optimization 12th European Conference, EvoCOP 2012, Málaga, Spain, April 11-13, 2012. Proceedings
Evolutionary Computation in Combinatorial Optimization 12th European Conference, EvoCOP 2012, Málaga, Spain, April 11-13, 2012. Proceedings
Author 
Hao, Jin-Kao. editor. Middendorf, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29124-1
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Advances in Cryptology – EUROCRYPT 2012 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings
Advances in Cryptology – EUROCRYPT 2012 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings
Author 
Pointcheval, David. editor. Johansson, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29011-4
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for LATIN 2012: Theoretical Informatics 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings
LATIN 2012: Theoretical Informatics 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings
Author 
Fernández-Baca, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29344-3
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Algorithms and Models for the Web Graph 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings
Algorithms and Models for the Web Graph 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings
Author 
Bonato, Anthony. editor. Janssen, Jeannette. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30541-2
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Sequences and Their Applications – SETA 2012 7th International Conference, Waterloo, ON, Canada, June 4-8, 2012. Proceedings
Sequences and Their Applications – SETA 2012 7th International Conference, Waterloo, ON, Canada, June 4-8, 2012. Proceedings
Author 
Helleseth, Tor. editor. Jedwab, Jonathan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30615-0
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Applications of Discrete Geometry and Mathematical Morphology First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers
Applications of Discrete Geometry and Mathematical Morphology First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers
Author 
Köthe, Ullrich. editor. Montanvert, Annick. editor. Soille, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32313-3
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings
Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings
Author 
Yen, Hsu-Chun. editor. Ibarra, Oscar H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31653-1
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings
Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings
Author 
Özbudak, Ferruh. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31662-3
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
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:
255. 
Cover image for Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers
Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers
Author 
Herik, H. Jaap. editor. Plaat, Aske. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31866-5
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings
Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32973-9
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Cryptographic Hardware and Embedded Systems – CHES 2012 14th International Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings
Cryptographic Hardware and Embedded Systems – CHES 2012 14th International Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings
Author 
Prouff, Emmanuel. editor. Schaumont, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33027-8
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Advances in Cryptology – CRYPTO 2012 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings
Advances in Cryptology – CRYPTO 2012 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings
Author 
Safavi-Naini, Reihaneh. editor. Canetti, Ran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32009-5
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Combinatorial Optimization Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers
Combinatorial Optimization Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers
Author 
Mahjoub, A. Ridha. editor. Markakis, Vangelis. editor. Milis, Ioannis. editor. Paschos, Vangelis Th. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32147-4
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings
DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings
Author 
Stefanovic, Darko. editor. Turberfield, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32208-2
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Author 
Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32211-2
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Computing and Combinatorics 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings
Computing and Combinatorics 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings
Author 
Gudmundsson, Joachim. editor. Mestre, Julián. editor. Viglas, Taso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32241-9
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
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:
264. 
Cover image for Progress in Cryptology – LATINCRYPT 2012 2nd International Conference on Cryptology and Information Security in Latin America, Santiago, Chile, October 7-10, 2012. Proceedings
Progress in Cryptology – LATINCRYPT 2012 2nd International Conference on Cryptology and Information Security in Latin America, Santiago, Chile, October 7-10, 2012. Proceedings
Author 
Hevia, Alejandro. editor. Neven, Gregory. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33481-8
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part II
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part II
Author 
Flach, Peter A. editor. Bie, Tijl. editor. Cristianini, Nello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33486-3
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for A Beginner's Guide to Discrete Mathematics
A Beginner's Guide to Discrete Mathematics
Author 
Wallis, W.D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8286-6
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Ordering Block Designs Gray Codes, Universal Cycles and Configuration Orderings
Ordering Block Designs Gray Codes, Universal Cycles and Configuration Orderings
Author 
Dewar, Megan. author. Stevens, Brett. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4325-4
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Graph Drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers
Graph Drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers
Author 
Kreveld, Marc. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25878-7
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
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:
270. 
Cover image for Sparsity Graphs, Structures, and Algorithms
Sparsity Graphs, Structures, and Algorithms
Author 
Nešetřil, Jaroslav. author. Ossona de Mendez, Patrice. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27875-4
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Cryptography and Security: From Theory to Applications Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday
Cryptography and Security: From Theory to Applications Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday
Author 
Naccache, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28368-0
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
Author 
Lukasiewicz, Thomas. editor. Sali, Attila. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28472-4
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings
Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings
Author 
Theis, Fabian. editor. Cichocki, Andrzej. editor. Yeredor, Arie. editor. Zibulevsky, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28551-6
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Mathematical Modelling and Scientific Computation International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings
Mathematical Modelling and Scientific Computation International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings
Author 
Balasubramaniam, P. editor. Uthayakumar, R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28926-2
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings
Author 
Snoeyink, Jack. editor. Lu, Pinyan. editor. Su, Kaile. editor. Wang, Lusheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29700-7
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
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:
277. 
Cover image for Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings
Author 
Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29828-8
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Combinatorial Pattern Matching 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings
Combinatorial Pattern Matching 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings
Author 
Kärkkäinen, Juha. editor. Stoye, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31265-6
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Author 
Ong, Luke. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32621-9
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Parallel Problem Solving from Nature - PPSN XII 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part I
Parallel Problem Solving from Nature - PPSN XII 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part I
Author 
Coello, Carlos A. Coello. editor. Cutello, Vincenzo. editor. Deb, Kalyanmoy. editor. Forrest, Stephanie. editor. Nicosia, Giuseppe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32937-1
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Parallel Problem Solving from Nature - PPSN XII 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part II
Parallel Problem Solving from Nature - PPSN XII 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part II
Author 
Coello, Carlos A. Coello. editor. Cutello, Vincenzo. editor. Deb, Kalyanmoy. editor. Forrest, Stephanie. editor. Nicosia, Giuseppe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32964-7
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
Author 
Milano, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33558-7
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
Author 
Ehrig, Hartmut. editor. Engels, Gregor. editor. Kreowski, Hans-Jörg. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33654-6
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Fast Software Encryption 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers
Fast Software Encryption 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers
Author 
Canteaut, Anne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34047-5
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Advances in Information and Computer Security 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings
Advances in Information and Computer Security 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings
Author 
Hanaoka, Goichiro. editor. Yamauchi, Toshihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34117-5
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Research in Cryptology 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers
Research in Cryptology 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers
Author 
Armknecht, Frederik. editor. Lucks, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34159-5
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Author 
Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34176-2
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Learning and Intelligent Optimization 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers
Learning and Intelligent Optimization 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers
Author 
Hamadi, Youssef. editor. Schoenauer, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34413-8
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
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:
290. 
Cover image for Combinatorial Image Analaysis 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings
Combinatorial Image Analaysis 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings
Author 
Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Aggarwal, Jake K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34732-0
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Simulated Evolution and Learning 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012. Proceedings
Simulated Evolution and Learning 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012. Proceedings
Author 
Bui, Lam Thu. editor. Ong, Yew Soon. editor. Hoai, Nguyen Xuan. editor. Ishibuchi, Hisao. editor. Suganthan, Ponnuthurai Nagaratnam. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34859-4
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings
Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings
Author 
Even, Guy. editor. Rawitz, Dror. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34862-4
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Progress in Cryptology - INDOCRYPT 2012 13th International Conference on Cryptology in India, Kolkata, India, December 9-12, 2012. Proceedings
Progress in Cryptology - INDOCRYPT 2012 13th International Conference on Cryptology in India, Kolkata, India, December 9-12, 2012. Proceedings
Author 
Galbraith, Steven. editor. Nandi, Mridul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34931-7
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings
Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings
Author 
Wang, Xiaoyun. editor. Sako, Kazue. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34961-4
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Algorithms and Computation 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings
Algorithms and Computation 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings
Author 
Chao, Kun-Mao. editor. Hsu, Tsan-sheng. editor. Lee, Der-Tsai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35261-4
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings
Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings
Author 
Goldberg, Paul W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35311-6
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for LTE Security Second Edition.
LTE Security Second Edition.
Author 
Forsberg, Dan. Horn, G?nther. Moeller, Wolf-Dietrich. Niemi, Valtteri.
Preferred Shelf Number 
ONLINE(318964.1)
Electronic Access 
123Library.org http://www.123library.org/book_details/?id=64592
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1120702
John Wiley http://dx.doi.org/10.1002/9780470973271
Cover image http://catalogimages.wiley.com/images/db/jimages/9780470661031.jpg
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for The historic urban landscape managing heritage in an urban century
The historic urban landscape managing heritage in an urban century
Author 
Bandarin, Francesco. Oers, Ron van, 1965-
Preferred Shelf Number 
ONLINE(318993.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=843404
ebrary http://site.ebrary.com/id/10528127
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=430909
Volltext http://onlinelibrary.wiley.com/book/10.1002/9781119968115
John Wiley http://dx.doi.org/10.1002/9781119968115
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Law, ideology, and collegiality : judicial behaviour in the Supreme Court of Canada
Law, ideology, and collegiality : judicial behaviour in the Supreme Court of Canada
Author 
Songer, Donald R.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt1283dg
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Simplexity : simplifying principles for a complex world
Simplexity : simplifying principles for a complex world
Author 
Berthoz, A.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt1nph7v
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action