Limit Search Results
Author
SpringerLink (Online service)
(11590)
Kim, Tai-hoon. editor.
(61)
Filipe, Joaquim. editor.
(39)
Gervasi, Osvaldo. editor.
(39)
Gavrilova, Marina L. editor.
(36)
Language
Publication Date
-
2013
(1522)
2011
(1414)
2012
(1330)
2010
(1264)
2009
(1196)
Subject
Artificial intelligence.
(3262)
Software engineering.
(2980)
Computer Communication Networks.
(2721)
Information systems.
(2469)
Computer software.
(2011)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
11662 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for An Integrated Approach to Software Engineering
An Integrated Approach to Software Engineering
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28132-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Soft Real-Time Systems Predictability vs. Efficiency
Soft Real-Time Systems Predictability vs. Efficiency
Author 
Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28147-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Adapting Proofs-as-Programs The Curry-Howard Protocol
Adapting Proofs-as-Programs The Curry-Howard Protocol
Author 
Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28183-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Interrupt Handling Schemes in Operating Systems
Interrupt Handling Schemes in Operating Systems
Author 
Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94493-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach
Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach
Author 
Azim, Tayyaba. author. Ahmed, Sarah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98524-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Applied Scientific Computing With Python
Applied Scientific Computing With Python
Author 
Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
Author 
Majkić, Zoran. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04156-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Agile Risk Management
Agile Risk Management
Author 
Moran, Alan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05008-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Service Systems Concepts, Modeling, and Programming
Service Systems Concepts, Modeling, and Programming
Author 
Cardoso, Jorge. author. Lopes, Ricardo. author. Poels, Geert. author. (orcid)0000-0001-9247-6150 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10813-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Energy-aware Scheduling on Multiprocessor Platforms
Energy-aware Scheduling on Multiprocessor Platforms
Author 
Li, Dawei. author. Wu, Jie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331714.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5224-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Fast Compact Algorithms and Software for Spline Smoothing
Fast Compact Algorithms and Software for Spline Smoothing
Author 
Weinert, Howard L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331788.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computing and Software Science State of the Art and Perspectives
Computing and Software Science State of the Art and Perspectives
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91908-9
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for New Trends in Computer Technologies and Applications 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20–22, 2018, Revised Selected Papers
New Trends in Computer Technologies and Applications 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20–22, 2018, Revised Selected Papers
Author 
Chang, Chuan-Yu. editor. Lin, Chien-Chou. editor. Lin, Horng-Horng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-9190-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Next Generation Computing Technologies on Computational Intelligence 4th International Conference, NGCT 2018, Dehradun, India, November 21–22, 2018, Revised Selected Papers
Next Generation Computing Technologies on Computational Intelligence 4th International Conference, NGCT 2018, Dehradun, India, November 21–22, 2018, Revised Selected Papers
Author 
Prateek, Manish. editor. Sharma, Durgansh. editor. Tiwari, Rajeev. editor. Sharma, Rashmi. editor. Kumar, Kamal. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-1718-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
Author 
England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26831-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Author 
Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00265-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers
Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers
Author 
Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243 Poli, Irene. editor. (orcid)0000-0001-7828-2480 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Serra, Roberto. editor. (orcid)0000-0002-1417-5106 Slanzi, Debora. editor. (orcid)0000-0002-4204-1009
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78658-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers
New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers
Author 
Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91632-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for User Science and Engineering 5th International Conference, i-USEr 2018, Puchong, Malaysia, August 28–30, 2018, Proceedings
User Science and Engineering 5th International Conference, i-USEr 2018, Puchong, Malaysia, August 28–30, 2018, Proceedings
Author 
Abdullah, Natrah. editor. Wan Adnan, Wan Adilah. editor. Foth, Marcus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1628-9
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
Author 
Foret, Annie. editor. Muskens, Reinhard. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-56343-4
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Digital Research and Education in Architectural Heritage 5th Conference, DECH 2017, and First Workshop, UHDL 2017, Dresden, Germany, March 30-31, 2017, Revised Selected Papers
Digital Research and Education in Architectural Heritage 5th Conference, DECH 2017, and First Workshop, UHDL 2017, Dresden, Germany, March 30-31, 2017, Revised Selected Papers
Author 
Münster, Sander. editor. (orcid)0000-0001-9344-912X Friedrichs, Kristina. editor. Niebling, Florian. editor. Seidel-Grzesińska, Agnieszka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76992-9
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Author 
Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89719-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
Author 
Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91641-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Optimization Problems and Their Applications 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers
Optimization Problems and Their Applications 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers
Author 
Eremeev, Anton. editor. (orcid)0000-0001-5289-7874 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Pardalos, Panos. editor. (orcid)0000-0001-9623-8053 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93800-4
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers
Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers
Author 
Parlier, Greg H. editor. Liberatore, Federico. editor. Demange, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94767-9
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Author 
Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-57669-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Author 
Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94821-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II
HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92279-9
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part III
HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part III
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92285-0
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings
Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings
Author 
Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93736-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers
High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers
Author 
Kozubek, Tomáš. editor. Čermák, Martin. editor. (orcid)0000-0002-0171-625X Tichý, Petr. editor. (orcid)0000-0001-6008-4056 Blaheta, Radim. editor. Šístek, Jakub. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97136-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings
Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings
Author 
Foret, Annie. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-57784-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
Author 
Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers
Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers
Author 
Baum, Marcus. editor. Brenner, Gunther. editor. Grabowski, Jens. editor. Hanschke, Thomas. editor. Hartmann, Stefan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96271-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings
Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings
Author 
Manea, Florin. editor. Miller, Russell G. editor. Nowotka, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94418-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Well-Being in the Information Society. Fighting Inequalities 7th International Conference, WIS 2018, Turku, Finland, August 27-29, 2018, Proceedings
Well-Being in the Information Society. Fighting Inequalities 7th International Conference, WIS 2018, Turku, Finland, August 27-29, 2018, Proceedings
Author 
Li, Hongxiu. editor. Pálsdóttir, Ágústa. editor. Trill, Roland. editor. Suomi, Reima. editor. Amelina, Yevgeniya. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97931-1
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings
Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings
Author 
Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96983-1
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Author 
Rusu, Vlad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99840-4
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Author 
Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91271-4
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers
Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers
Author 
Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97595-5
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms
Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms
Author 
Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98833-7
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Immersive Learning Research Network 4th International Conference, iLRN 2018, Missoula, MT, USA, June 24-29, 2018, Proceedings
Immersive Learning Research Network 4th International Conference, iLRN 2018, Missoula, MT, USA, June 24-29, 2018, Proceedings
Author 
Beck, Dennis. editor. Allison, Colin. editor. Morgado, Leonel. editor. Pirker, Johanna. editor. Peña-Rios, Anasol. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93596-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Analysis for Computer Scientists Foundations, Methods, and Algorithms
Analysis for Computer Scientists Foundations, Methods, and Algorithms
Author 
Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651 Ostermann, Alexander. author. (orcid)0000-0003-0194-2481 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91155-7
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Distributed Computer and Communication Networks 21st International Conference, DCCN 2018, Moscow, Russia, September 17–21, 2018, Proceedings
Distributed Computer and Communication Networks 21st International Conference, DCCN 2018, Moscow, Russia, September 17–21, 2018, Proceedings
Author 
Vishnevskiy, Vladimir M. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99447-5
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers
Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers
Author 
Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7844-6
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part I
Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part I
Author 
Bhattacharyya, Pushpak. editor. Sastry, Hanumat G. editor. Marriboyina, Venkatadri. editor. Sharma, Rashmi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8657-1
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings
Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings
Author 
Baetens, Jan M. editor. Kutrib, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92675-9
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
Author 
Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73359-3
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Altmetrics for Research Outputs Measurement and Scholarly Information Management International Altmetrics Workshop, AROSIM 2018, Singapore, Singapore, January 26, 2018, Revised Selected Papers
Altmetrics for Research Outputs Measurement and Scholarly Information Management International Altmetrics Workshop, AROSIM 2018, Singapore, Singapore, January 26, 2018, Revised Selected Papers
Author 
Erdt, Mojisola. editor. (orcid)0000-0003-2371-6768 Sesagiri Raamkumar, Aravind. editor. (orcid)0000-0001-7200-7787 Rasmussen, Edie. editor. Theng, Yin-Leng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1053-9
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Applied Informatics First International Conference, ICAI 2018, Bogotá, Colombia, November 1-3, 2018, Proceedings
Applied Informatics First International Conference, ICAI 2018, Bogotá, Colombia, November 1-3, 2018, Proceedings
Author 
Florez, Hector. editor. (orcid)0000-0002-5339-4459 Diaz, Cesar. editor. (orcid)0000-0002-9132-2747 Chavarriaga, Jaime. editor. (orcid)0000-0002-8372-667X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01535-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings
DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings
Author 
Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00030-1
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92270-6
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers
Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers
Author 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97955-7
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part II
Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part II
Author 
Bhattacharyya, Pushpak. editor. Sastry, Hanumat G. editor. Marriboyina, Venkatadri. editor. Sharma, Rashmi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8660-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Mathematics and Computing 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers
Mathematics and Computing 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers
Author 
Ghosh, Debdas. editor. Giri, Debasis. editor. Mohapatra, Ram N. editor. Savas, Ekrem. editor. Sakurai, Kouichi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0023-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Author 
Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89884-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55195-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers
Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers
Author 
Pizzuti, Clara. editor. (orcid)0000-0001-7297-7126 Spezzano, Giandomenico. editor. (orcid)0000-0002-2518-5510 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12745-3
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers
Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers
Author 
Pop, Florin. editor. Potop-Butucaru, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13464-2
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Computer Vision, Imaging and Computer Graphics: Theory and Applications International Joint Conference, VISIGRAPP 2013, Barcelona, Spain, February 21-24, 2013, Revised Selected Papers
Computer Vision, Imaging and Computer Graphics: Theory and Applications International Joint Conference, VISIGRAPP 2013, Barcelona, Spain, February 21-24, 2013, Revised Selected Papers
Author 
Battiato, Sebastiano. editor. (orcid)0000-0001-6127-2470 Coquillart, Sabine. editor. Laramee, Robert S. editor. Kerren, Andreas. editor. (orcid)0000-0002-0519-2537 Braz, José. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44911-0
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings
Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings
Author 
Schmidt, Kai-Uwe. editor. Winterhof, Arne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12325-7
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers
Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers
Author 
Cygan, Marek. editor. Heggernes, Pinar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13524-3
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Communications and Networking An Introduction
Communications and Networking An Introduction
Author 
Cowley, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330960.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4357-4
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Principles of Data Mining
Principles of Data Mining
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331086.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4884-5
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Autonomic Computing Principles, Design and Implementation
Autonomic Computing Principles, Design and Implementation
Author 
Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331115.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Concise Guide to Databases A Practical Introduction
Concise Guide to Databases A Practical Introduction
Author 
Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331224.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Principles of Digital Image Processing Advanced Methods
Principles of Digital Image Processing Advanced Methods
Author 
Burger, Wilhelm. author. Burge, Mark J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332579.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-919-0
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Author 
Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333246.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29578-2
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
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:
70. 
Cover image for Knowledge Discovery, Knowledge Engineering and Knowledge Management Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers
Knowledge Discovery, Knowledge Engineering and Knowledge Management Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers
Author 
Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333266.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29764-9
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
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:
72. 
Cover image for Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333558.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32341-6
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
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:
74. 
Cover image for Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
Author 
Rajopadhye, Sanjay. editor. Mills Strout, Michelle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334104.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36036-7
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Author 
Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334105.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
Author 
Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334109.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36054-1
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
Author 
Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334112.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36065-7
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings
Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings
Author 
Hota, Chittaranjan. editor. Srimani, Pradip K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334114.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36071-8
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers
Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers
Author 
Nin, Jordi. editor. Villatoro, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334115.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36074-9
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Author 
Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36089-3
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers
Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers
Author 
Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334121.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36092-3
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings
Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings
Author 
Dawson, Ed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334122.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36095-4
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach
Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach
Author 
Jörges, Sven. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334129.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36127-2
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Radio Frequency Identification. Security and Privacy Issues 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers
Radio Frequency Identification. Security and Privacy Issues 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers
Author 
Hoepman, Jaap-Henk. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334132.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36140-1
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Author 
Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334136.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36157-9
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
Author 
Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334142.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36177-7
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Security Protocols XVII 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers
Security Protocols XVII 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers
Author 
Christianson, Bruce. editor. Malcolm, James A. editor. Matyáš, Vashek. editor. Roe, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334145.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36213-2
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Author 
Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334156.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36249-1
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Advances in Wireless Sensor Networks 6th China Conference, CWSN 2012, Huangshan, China, October 25-27, 2012, Revised Selected Papers
Advances in Wireless Sensor Networks 6th China Conference, CWSN 2012, Huangshan, China, October 25-27, 2012, Revised Selected Papers
Author 
Wang, Ruchuan. editor. Xiao, Fu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334157.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36252-1
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Agents and Data Mining Interaction 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers
Agents and Data Mining Interaction 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers
Author 
Cao, Longbing. editor. Zeng, Yifeng. editor. Symeonidis, Andreas L. editor. Gorodetsky, Vladimir I. editor. Yu, Philip S. editor.
Preferred Shelf Number 
ONLINE(334167.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36288-0
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
Author 
Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334174.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36315-3
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Advances in Computing, Communication, and Control Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings
Advances in Computing, Communication, and Control Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings
Author 
Unnikrishnan, Srija. editor. Surve, Sunil. editor. Bhoir, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334176.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36321-4
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers
Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers
Author 
Abdalla, Michel. editor. Lange, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334179.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36334-4
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Chinese Lexical Semantics 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers
Chinese Lexical Semantics 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers
Author 
Ji, Donghong. editor. Xiao, Guozheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334180.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36337-5
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Public-Key Cryptography – PKC 2013 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedings
Public-Key Cryptography – PKC 2013 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedings
Author 
Kurosawa, Kaoru. editor. Hanaoka, Goichiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334184.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36362-7
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Information Hiding 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers
Information Hiding 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers
Author 
Kirchner, Matthias. editor. Ghosal, Dipak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334187.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36373-3
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Process Support and Knowledge Representation in Health Care BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers
Process Support and Knowledge Representation in Health Care BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers
Author 
Lenz, Richard. editor. Miksch, Silvia. editor. Peleg, Mor. editor. Reichert, Manfred. editor. Riaño, David. editor.
Preferred Shelf Number 
ONLINE(334204.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36438-9
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Cognitive Agents for Virtual Environments First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Cognitive Agents for Virtual Environments First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Author 
Dignum, Frank. editor. Brom, Cyril. editor. Hindriks, Koen. editor. Beer, Martin. editor. Richards, Deborah. editor.
Preferred Shelf Number 
ONLINE(334206.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36444-0
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Transactions on Rough Sets XVI
Transactions on Rough Sets XVI
Author 
Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Preferred Shelf Number 
ONLINE(334220.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36505-8
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings
Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings
Author 
Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334223.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36516-4
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part II
Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part II
Author 
Selamat, Ali. editor. Nguyen, Ngoc Thanh. editor. Haron, Habibollah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334230.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36543-0
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I
Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I
Author 
Selamat, Ali. editor. Nguyen, Ngoc Thanh. editor. Haron, Habibollah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334231.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36546-1
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Author 
Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334236.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36563-8
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
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:
105. 
Cover image for Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages 6th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2013, Oldenburg, Germany, February 26–March 2, 2013. Proceedings
Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages 6th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2013, Oldenburg, Germany, February 26–March 2, 2013. Proceedings
Author 
Diethelm, Ira. editor. Mittermeir, Roland T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334248.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36617-8
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers
Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers
Author 
Menze, Bjoern H. editor. Langs, Georg. editor. Lu, Le. editor. Montillo, Albert. editor. Tu, Zhuowen. editor.
Preferred Shelf Number 
ONLINE(334249.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36620-8
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Intelligent Science and Intelligent Data Engineering Third Sino-foreign-interchange Workshop, IScIDE 2012, Nanjing, China, October 15-17, 2012. Revised Selected Papers
Intelligent Science and Intelligent Data Engineering Third Sino-foreign-interchange Workshop, IScIDE 2012, Nanjing, China, October 15-17, 2012. Revised Selected Papers
Author 
Yang, Jian. editor. Fang, Fang. editor. Sun, Changyin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334262.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36669-7
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
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:
109. 
Cover image for Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Author 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334264.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Medical Content-Based Retrieval for Clinical Decision Support Third MICCAI International Workshop, MCBR-CDS 2012, Nice, France, October 1, 2012, Revised Selected Papers
Medical Content-Based Retrieval for Clinical Decision Support Third MICCAI International Workshop, MCBR-CDS 2012, Nice, France, October 1, 2012, Revised Selected Papers
Author 
Greenspan, Hayit. editor. Müller, Henning. editor. Syeda-Mahmood, Tanveer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334265.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36678-9
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
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:
112. 
Cover image for Computational Color Imaging 4th International Workshop, CCIW 2013, Chiba, Japan, March 3-5, 2013. Proceedings
Computational Color Imaging 4th International Workshop, CCIW 2013, Chiba, Japan, March 3-5, 2013. Proceedings
Author 
Tominaga, Shoji. editor. Schettini, Raimondo. editor. Trémeau, Alain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334270.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36700-7
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers
Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334274.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36727-4
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
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:
115. 
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:
116. 
Cover image for S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings
S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings
Author 
Fischer, Herbert. editor. Schneeberger, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334281.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36754-0
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
Author 
Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334282.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36757-1
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
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:
119. 
Cover image for Emerging Trends in Knowledge Discovery and Data Mining PAKDD 2012 International Workshops: DMHM, GeoDoc, 3Clust, and DSDM, Kuala Lumpur, Malaysia, May 29 – June 1, 2012, Revised Selected Papers
Emerging Trends in Knowledge Discovery and Data Mining PAKDD 2012 International Workshops: DMHM, GeoDoc, 3Clust, and DSDM, Kuala Lumpur, Malaysia, May 29 – June 1, 2012, Revised Selected Papers
Author 
Washio, Takashi. editor. Luo, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334289.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36778-6
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
Author 
Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334290.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36781-6
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Data Traffic Monitoring and Analysis From Measurement, Classification, and Anomaly Detection to Quality of Experience
Data Traffic Monitoring and Analysis From Measurement, Classification, and Anomaly Detection to Quality of Experience
Author 
Biersack, Ernst. editor. Callegari, Christian. editor. Matijasevic, Maja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334291.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36784-7
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Graphics Recognition. New Trends and Challenges 9th International Workshop, GREC 2011, Seoul, Korea, September 15-16, 2011, Revised Selected Papers
Graphics Recognition. New Trends and Challenges 9th International Workshop, GREC 2011, Seoul, Korea, September 15-16, 2011, Revised Selected Papers
Author 
Kwon, Young-Bin. editor. Ogier, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334303.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36824-0
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Principles of Security and Trust Second International Conference, POST 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 
Basin, David. editor. Mitchell, John C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334305.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36830-1
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
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:
125. 
Cover image for Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings
Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings
Author 
Brisk, Philip. editor. Figueiredo Coutinho, José Gabriel. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334299.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36812-7
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
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:
127. 
Cover image for Agents and Artificial Intelligence 4th International Conference, ICAART 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected Papers
Agents and Artificial Intelligence 4th International Conference, ICAART 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected Papers
Author 
Filipe, Joaquim. editor. Fred, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334321.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36907-0
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Author 
Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334327.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36946-9
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
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:
130. 
Cover image for Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
Author 
Camara, Oscar. editor. Mansi, Tommaso. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.
Preferred Shelf Number 
ONLINE(334332.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36961-2
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Transactions on Aspect-Oriented Software Development X
Transactions on Aspect-Oriented Software Development X
Author 
Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334333.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36964-3
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
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:
133. 
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:
134. 
Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 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 
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction First IAPR TC3 Workshop, MPRSS 2012, Tsukuba, Japan, November 11, 2012, Revised Selected Papers
Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction First IAPR TC3 Workshop, MPRSS 2012, Tsukuba, Japan, November 11, 2012, Revised Selected Papers
Author 
Schwenker, Friedhelm. editor. Scherer, Stefan. editor. Morency, Louis-Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334359.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37081-6
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Web and Wireless Geographical Information Systems 12th International Symposium, W2GIS 2013, Banff, AB, Canada, April 4-5, 2013. Proceedings
Web and Wireless Geographical Information Systems 12th International Symposium, W2GIS 2013, Banff, AB, Canada, April 4-5, 2013. Proceedings
Author 
Liang, Steve H. L. editor. Wang, Xin. editor. Claramunt, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334361.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37087-8
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
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:
138. 
Cover image for Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers
Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers
Author 
Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.
Preferred Shelf Number 
ONLINE(334365.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37119-6
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Databases in Networked Information Systems 8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 25-27, 2013. Proceedings
Databases in Networked Information Systems 8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 25-27, 2013. Proceedings
Author 
Madaan, Aastha. editor. Kikuchi, Shinji. editor. Bhalla, Subhash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334368.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37134-9
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
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:
141. 
Cover image for Advances in Image and Graphics Technologies Chinese Conference, IGTA 2013, Beijing, China, April 2-3, 2013. Proceedings
Advances in Image and Graphics Technologies Chinese Conference, IGTA 2013, Beijing, China, April 2-3, 2013. Proceedings
Author 
Tan, Tieniu. editor. Ruan, Qiuqi. editor. Chen, Xilin. editor. Ma, Huimin. editor. Wang, Liang. editor.
Preferred Shelf Number 
ONLINE(334373.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37149-3
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Persuasive Technology 8th International Conference, PERSUASIVE 2013, Sydney, NSW, Australia, April 3-5, 2013. Proceedings
Persuasive Technology 8th International Conference, PERSUASIVE 2013, Sydney, NSW, Australia, April 3-5, 2013. Proceedings
Author 
Berkovsky, Shlomo. editor. Freyne, Jill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334374.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37157-8
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Knowledge Discovery, Knowledge Engineering and Knowledge Management Third International Joint Conference, IC3K 2011, Paris, France, October 26-29, 2011. Revised Selected Papers
Knowledge Discovery, Knowledge Engineering and Knowledge Management Third International Joint Conference, IC3K 2011, Paris, France, October 26-29, 2011. Revised Selected Papers
Author 
Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334379.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37186-8
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
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:
145. 
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:
146. 
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:
147. 
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:
148. 
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:
149. 
Cover image for Social Computing, Behavioral-Cultural Modeling and Prediction 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings
Social Computing, Behavioral-Cultural Modeling and Prediction 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings
Author 
Greenberg, Ariel M. editor. Kennedy, William G. editor. Bos, Nathan D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334385.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37210-0
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
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:
151. 
Cover image for Detection of Intrusions and Malware, and Vulnerability Assessment 9th International Conference, DIMVA 2012, Heraklion, Crete, Greece, July 26-27, 2012, Revised Selected Papers
Detection of Intrusions and Malware, and Vulnerability Assessment 9th International Conference, DIMVA 2012, Heraklion, Crete, Greece, July 26-27, 2012, Revised Selected Papers
Author 
Flegel, Ulrich. editor. Markatos, Evangelos. editor. Robertson, William. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334403.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37300-8
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part I
Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part I
Author 
Lee, Kyoung Mu. editor. Matsushita, Yasuyuki. editor. Rehg, James M. editor. Hu, Zhanyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334407.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37331-2
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Knowledge Engineering, Machine Learning and Lattice Computing with Applications 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers
Knowledge Engineering, Machine Learning and Lattice Computing with Applications 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers
Author 
Graña, Manuel. editor. Toro, Carlos. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334409.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37343-5
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Your Virtual Butler The Making-of
Your Virtual Butler The Making-of
Author 
Trappl, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334410.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37346-6
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Author 
Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Preferred Shelf Number 
ONLINE(334508.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37974-1
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Semantic Technology Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings
Semantic Technology Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings
Author 
Takeda, Hideaki. editor. Qu, Yuzhong. editor. Mizoguchi, Riichiro. editor. Kitamura, Yoshinobu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334512.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37996-3
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Security and Trust Management 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers
Security and Trust Management 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers
Author 
Jøsang, Audun. editor. Samarati, Pierangela. editor. Petrocchi, Marinella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334514.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38004-4
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
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:
159. 
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:
160. 
Cover image for Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
Author 
Cuellar, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334518.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38030-3
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Information Security Practice and Experience 9th International Conference, ISPEC 2013, Lanzhou, China, May 12-14, 2013. Proceedings
Information Security Practice and Experience 9th International Conference, ISPEC 2013, Lanzhou, China, May 12-14, 2013. Proceedings
Author 
Deng, Robert H. editor. Feng, Tao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334519.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38033-4
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency VII
Transactions on Petri Nets and Other Models of Concurrency VII
Author 
Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.
Preferred Shelf Number 
ONLINE(334545.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38143-0
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Author 
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334547.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38164-5
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
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:
165. 
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:
166. 
Cover image for Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Author 
Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334556.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38209-3
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II
Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
ONLINE(334633.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38610-7
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Author 
Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334634.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38613-8
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
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:
170. 
Cover image for Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Author 
Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334562.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38230-7
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings
Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings
Author 
Spirakis, Paul G. editor. Serna, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334563.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38233-8
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
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:
173. 
Cover image for Computer Vision, Imaging and Computer Graphics. Theory and Application 7th International Joint Conference, VISIGRAPP 2012, Rome, Italy, February 24-26, 2012, Revised Selected Papers
Computer Vision, Imaging and Computer Graphics. Theory and Application 7th International Joint Conference, VISIGRAPP 2012, Rome, Italy, February 24-26, 2012, Revised Selected Papers
Author 
Csurka, Gabriela. editor. Kraus, Martin. editor. Laramee, Robert S. editor. Richard, Paul. editor. Braz, José. editor.
Preferred Shelf Number 
ONLINE(334565.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38241-3
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers
Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers
Author 
Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334567.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38250-5
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Biomedical Engineering Systems and Technologies 5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers
Biomedical Engineering Systems and Technologies 5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers
Author 
Gabriel, Joaquim. editor. Schier, Jan. editor. Huffel, Sabine. editor. Conchon, Emmanuel. editor. Correia, Carlos. editor.
Preferred Shelf Number 
ONLINE(334569.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38256-7
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings
Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings
Author 
Kuijper, Arjan. editor. Bredies, Kristian. editor. Pock, Thomas. editor. Bischof, Horst. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334572.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38267-3
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for The Semantic Web: Semantics and Big Data 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings
The Semantic Web: Semantics and Big Data 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings
Author 
Cimiano, Philipp. editor. Corcho, Oscar. editor. Presutti, Valentina. editor. Hollink, Laura. editor. Rudolph, Sebastian. editor.
Preferred Shelf Number 
ONLINE(334576.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38288-8
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
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:
179. 
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:
180. 
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:
181. 
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:
182. 
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:
183. 
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:
184. 
Cover image for Advances in Computational Intelligence 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II
Advances in Computational Intelligence 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II
Author 
Rojas, Ignacio. editor. Joya, Gonzalo. editor. Cabestany, Joan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334649.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38682-4
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Author 
Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334651.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38697-8
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
Author 
Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334652.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38700-5
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings
Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings
Author 
Zhang, Jianlong. editor. Sun, Chengyu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334705.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38974-0
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
Author 
Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334706.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38977-1
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Applied Cryptography and Network Security 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings
Applied Cryptography and Network Security 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings
Author 
Jacobson, Michael. editor. Locasto, Michael. editor. Mohassel, Payman. editor. Safavi-Naini, Reihaneh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334707.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38980-1
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
Author 
Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334708.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38986-3
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Pattern Recognition 5th Mexican Conference, MCPR 2013, Querétaro, Mexico, June 26-29, 2013. Proceedings
Pattern Recognition 5th Mexican Conference, MCPR 2013, Querétaro, Mexico, June 26-29, 2013. Proceedings
Author 
Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Rodríguez, Joaquín Salas. editor. Baja, Gabriella Sanniti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334709.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38989-4
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings
Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings
Author 
Doyen, Guillaume. editor. Waldburger, Martin. editor. Čeleda, Pavel. editor. Sperotto, Anna. editor. Stiller, Burkhard. editor.
Preferred Shelf Number 
ONLINE(334710.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38998-6
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Author 
Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334711.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39013-5
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings
Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings
Author 
Tsaoussidis, Vassilis. editor. Kassler, Andreas J. editor. Koucheryavy, Yevgeni. editor. Mellouk, Abdelhamid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334594.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38401-1
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
Author 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334715.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39038-8
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Author 
Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334718.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39053-1
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Information Security and Privacy 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings
Information Security and Privacy 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings
Author 
Boyd, Colin. editor. Simpson, Leonie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334720.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39059-3
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Human Factors in Computing and Informatics First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings
Human Factors in Computing and Informatics First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings
Author 
Holzinger, Andreas. editor. Ziefle, Martina. editor. Hitz, Martin. editor. Debevc, Matjaž. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334721.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39062-3
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings
Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings
Author 
Salinesi, Camille. editor. Norrie, Moira C. editor. Pastor, Óscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334655.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38709-8
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II
Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II
Author 
Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334723.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39068-5
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Author 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334724.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
Author 
Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334725.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39074-6
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Privacy Enhancing Technologies 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings
Privacy Enhancing Technologies 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings
Author 
Cristofaro, Emiliano. editor. Wright, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334726.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39077-7
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings
Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings
Author 
Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334662.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38750-0
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Image Analysis and Recognition 10th International Conference, ICIAR 2013, Póvoa do Varzim, Portugal, June 26-28, 2013. Proceedings
Image Analysis and Recognition 10th International Conference, ICIAR 2013, Póvoa do Varzim, Portugal, June 26-28, 2013. Proceedings
Author 
Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334729.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39094-4
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Artificial Intelligence in Education 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013. Proceedings
Artificial Intelligence in Education 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013. Proceedings
Author 
Lane, H. Chad. editor. Yacef, Kalina. editor. Mostow, Jack. editor. Pavlik, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334731.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39112-5
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Advances in Brain Inspired Cognitive Systems 6th International Conference, BICS 2013, Beijing, China, June 9-11, 2013. Proceedings
Advances in Brain Inspired Cognitive Systems 6th International Conference, BICS 2013, Beijing, China, June 9-11, 2013. Proceedings
Author 
Liu, Derong. editor. Alippi, Cesare. editor. Zhao, Dongbin. editor. Hussain, Amir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334668.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Dependable Computing 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings
Dependable Computing 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings
Author 
Vieira, Marco. editor. Cunha, João Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38789-0
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Similarity-Based Pattern Recognition Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings
Similarity-Based Pattern Recognition Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings
Author 
Hancock, Edwin. editor. Pelillo, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334736.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39140-8
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
Author 
Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334673.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38812-5
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Natural Language Processing and Information Systems 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings
Natural Language Processing and Information Systems 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings
Author 
Métais, Elisabeth. editor. Meziane, Farid. editor. Saraee, Mohamad. editor. Sugumaran, Vijayan. editor. Vadera, Sunil. editor.
Preferred Shelf Number 
ONLINE(334674.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38824-8
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings
Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings
Author 
Brocke, Jan. editor. Hekkala, Riitta. editor. Ram, Sudha. editor. Rossi, Matti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334675.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38827-9
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings
Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings
Author 
Woronowicz, Tanja. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334677.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38833-0
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Webble Technology First Webble World Summit, WWS 2013, Erfurt, Germany, June 3-5, 2013. Proceedings
Webble Technology First Webble World Summit, WWS 2013, Erfurt, Germany, June 3-5, 2013. Proceedings
Author 
Arnold, Oksana. editor. Spickermann, Wolfgang. editor. Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334678.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38836-1
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for User Modeling, Adaptation, and Personalization 21th International Conference, UMAP 2013, Rome, Italy, June 10-14, 2013 Proceedings
User Modeling, Adaptation, and Personalization 21th International Conference, UMAP 2013, Rome, Italy, June 10-14, 2013 Proceedings
Author 
Carberry, Sandra. editor. Weibelzahl, Stephan. editor. Micarelli, Alessandro. editor. Semeraro, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334680.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38844-6
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Advances in Nonlinear Speech Processing 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedings
Advances in Nonlinear Speech Processing 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedings
Author 
Drugman, Thomas. editor. Dutoit, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334681.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38847-7
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Author 
Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334683.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38856-9
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers
Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers
Author 
Giardini, Francesca. editor. Amblard, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334684.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38859-0
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings
Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings
Author 
Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334686.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38865-1
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Author 
Marcus, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334762.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39241-2
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Author 
Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Online Communities and Social Computing 5th International conference, OCSC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings
Online Communities and Social Computing 5th International conference, OCSC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings
Author 
Ozok, A. Ant. editor. Zaphiris, Panayiotis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334793.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39371-6
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Functional Imaging and Modeling of the Heart 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings
Functional Imaging and Modeling of the Heart 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings
Author 
Ourselin, Sébastien. editor. Rueckert, Daniel. editor. Smith, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334694.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38899-6
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
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:
225. 
Cover image for Virtual, Augmented and Mixed Reality. Systems and Applications 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Virtual, Augmented and Mixed Reality. Systems and Applications 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Author 
Shumaker, Randall. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334798.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39420-1
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
Author 
Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334697.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38911-5
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Author 
Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334698.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38916-0
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Author 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334702.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Big Data 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings
Big Data 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings
Author 
Gottlob, Georg. editor. Grasso, Giovanni. editor. Olteanu, Dan. editor. Schallhart, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334803.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39467-6
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings
Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings
Author 
Biswas, Jit. editor. Kobayashi, Hisato. editor. Wong, Lawrence. editor. Abdulrazak, Bessam. editor. Mokhtari, Mounir. editor.
Preferred Shelf Number 
ONLINE(334804.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39470-6
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for HCI International 2013 - Posters’ Extended Abstracts International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
HCI International 2013 - Posters’ Extended Abstracts International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334805.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39473-7
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for HCI International 2013 - Posters’ Extended Abstracts International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
HCI International 2013 - Posters’ Extended Abstracts International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334806.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39476-8
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Intelligent Computing Theories 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Intelligent Computing Theories 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Author 
Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Figueroa, Juan Carlos. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334807.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39479-9
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Intelligent Computing Theories and Technology 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Intelligent Computing Theories and Technology 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Author 
Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Zhou, Yong-Quan. editor. Han, Kyungsook. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334808.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39482-9
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings
Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings
Author 
Qin, Zengchang. editor. Huynh, Van-Nam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334813.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39515-4
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
Author 
Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334814.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39521-5
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Web-Age Information Management WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings
Web-Age Information Management WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings
Author 
Gao, Yunjun. editor. Shim, Kyuseok. editor. Ding, Zhiming. editor. Jin, Peiquan. editor. Ren, Zujie. editor.
Preferred Shelf Number 
ONLINE(334815.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39527-7
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Statistical Language and Speech Processing First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013. Proceedings
Statistical Language and Speech Processing First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013. Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Mitkov, Ruslan. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334819.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39593-2
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Author 
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334820.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39611-3
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Author 
Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334821.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39614-4
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Author 
Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Preferred Shelf Number 
ONLINE(334822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39617-5
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Author 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334825.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334826.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39637-3
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334827.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39640-3
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334828.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39643-4
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334829.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39646-5
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334830.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39649-6
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
Author 
Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334832.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39666-3
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2013, Beijing, China, August 3, 2013. Proceedings
Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2013, Beijing, China, August 3, 2013. Proceedings
Author 
Wang, G. Alan. editor. Zheng, Xiaolong. editor. Chau, Michael. editor. Chen, Hsinchun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334836.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39693-9
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334837.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings
Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings
Author 
Ren, Kui. editor. Liu, Xue. editor. Liang, Weifa. editor. Xu, Ming. editor. Jia, Xiaohua. editor.
Preferred Shelf Number 
ONLINE(334838.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39701-1
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings
Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334839.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39712-7
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334840.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39718-9
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334841.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39721-9
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Advances in Data Mining. Applications and Theoretical Aspects 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings
Advances in Data Mining. Applications and Theoretical Aspects 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334843.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39736-3
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Author 
Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334844.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39742-4
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Hybrid Learning and Continuing Education 6th International Conference, ICHL 2013, Toronto, ON, Canada, August 12-14, 2013. Proceedings
Hybrid Learning and Continuing Education 6th International Conference, ICHL 2013, Toronto, ON, Canada, August 12-14, 2013. Proceedings
Author 
Cheung, Simon K. S. editor. Fong, Joseph. editor. Fong, Wilfred. editor. Wang, Fu Lee. editor. Kwok, Lam For. editor.
Preferred Shelf Number 
ONLINE(334845.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39750-9
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
Author 
Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334848.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39784-4
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings
Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings
Author 
Wang, Mingzheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334849.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39787-5
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Author 
Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334851.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39799-8
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings
Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings
Author 
Lepora, Nathan F. editor. Mura, Anna. editor. Krapp, Holger G. editor. Verschure, Paul F. M. J. editor. Prescott, Tony J. editor.
Preferred Shelf Number 
ONLINE(334852.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39802-5
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Wireless Access Flexibility First International Workshop, WiFlex 2013, Kaliningrad, Russia, September 4-6, 2013. Proceedings
Wireless Access Flexibility First International Workshop, WiFlex 2013, Kaliningrad, Russia, September 4-6, 2013. Proceedings
Author 
Bianchi, Giuseppe. editor. Lyakhov, Andrey. editor. Khorov, Evgeny. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334853.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39805-6
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Smart Health International Conference, ICSH 2013, Beijing, China, August 3-4, 2013. Proceedings
Smart Health International Conference, ICSH 2013, Beijing, China, August 3-4, 2013. Proceedings
Author 
Zeng, Daniel. editor. Yang, Christopher C. editor. Tseng, Vincent S. editor. Xing, Chunxiao. editor. Chen, Hsinchun. editor.
Preferred Shelf Number 
ONLINE(334856.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39844-5
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Agreement Technologies Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings
Agreement Technologies Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings
Author 
Chesñevar, Carlos Iván. editor. Onaindia, Eva. editor. Ossowski, Sascha. editor. Vouros, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334857.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39860-5
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Author 
Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334859.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39866-7
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Author 
D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334905.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40184-8
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Author 
Joshi, Kaustubh. editor. Siegle, Markus. editor. Stoelinga, Mariëlle. editor. D’Argenio, Pedro R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334907.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40196-1
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
Author 
Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334911.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40213-5
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
Author 
Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334913.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40229-6
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings
Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings
Author 
Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.
Preferred Shelf Number 
ONLINE(334915.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40235-7
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Author 
Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334875.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39992-3
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I
Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I
Author 
Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334919.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40261-6
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, International Workshops: BDMA, SNSM, SeCoP, Wuhan, China, April 22-25, 2013. Proceedings
Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, International Workshops: BDMA, SNSM, SeCoP, Wuhan, China, April 22-25, 2013. Proceedings
Author 
Hong, Bonghee. editor. Meng, Xiaofeng. editor. Chen, Lei. editor. Winiwarter, Werner. editor. Song, Wei. editor.
Preferred Shelf Number 
ONLINE(334920.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40270-8
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday
Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday
Author 
Brodnik, Andrej. editor. López-Ortiz, Alejandro. editor. Raman, Venkatesh. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334921.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40273-9
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems IX
Transactions on Large-Scale Data- and Knowledge-Centered Systems IX
Author 
Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334886.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40069-8
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers
Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers
Author 
Jiang, Xiaoyi. editor. Bellon, Olga Regina Pereira. editor. Goldgof, Dmitry. editor. Oishi, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334924.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40303-3
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Internet of Things, Smart Spaces, and Next Generation Networking 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings
Internet of Things, Smart Spaces, and Next Generation Networking 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings
Author 
Balandin, Sergey. editor. Andreev, Sergey. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334926.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40316-3
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Industrial Applications of Holonic and Multi-Agent Systems 6th International Conference, HoloMAS 2013, Prague, Czech Republic, August 26-28, 2013. Proceedings
Industrial Applications of Holonic and Multi-Agent Systems 6th International Conference, HoloMAS 2013, Prague, Czech Republic, August 26-28, 2013. Proceedings
Author 
Mařík, Vladimír. editor. Lastra, Jose L. Martinez. editor. Skobelev, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334890.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40090-2
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings
Author 
Raghavendra, Prasad. editor. Raskhodnikova, Sofya. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334929.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40328-6
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Trust, Privacy, and Security in Digital Business 10th International Conference, TrustBus 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings
Trust, Privacy, and Security in Digital Business 10th International Conference, TrustBus 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings
Author 
Furnell, Steven. editor. Lambrinoudakis, Costas. editor. Lopez, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334930.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40343-9
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Electronic Participation 5th IFIP WG 8.5 International Conference, ePart 2013, Koblenz, Germany, September 17-19, 2013. Proceedings
Electronic Participation 5th IFIP WG 8.5 International Conference, ePart 2013, Koblenz, Germany, September 17-19, 2013. Proceedings
Author 
Wimmer, Maria A. editor. Tambouris, Efthimios. editor. Macintosh, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334931.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40346-0
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Cryptographic Hardware and Embedded Systems - CHES 2013 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings
Cryptographic Hardware and Embedded Systems - CHES 2013 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings
Author 
Bertoni, Guido. editor. Coron, Jean-Sébastien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334932.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40349-1
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
Author 
Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334934.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40355-2
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Electronic Government 12th IFIP WG 8.5 International Conference, EGOV 2013, Koblenz, Germany, September 16-19, 2013. Proceedings
Electronic Government 12th IFIP WG 8.5 International Conference, EGOV 2013, Koblenz, Germany, September 16-19, 2013. Proceedings
Author 
Wimmer, Maria A. editor. Janssen, Marijn. editor. Scholl, Hans J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334935.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40358-3
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Scalable Uncertainty Management 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings
Scalable Uncertainty Management 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings
Author 
Liu, Weiru. editor. Subrahmanian, V. S. editor. Wijsen, Jef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334937.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40381-1
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Lightweight Cryptography for Security and Privacy Second International Workshop, LightSec 2013, Gebze, Turkey, May 6-7, 2013, Revised Selected Papers
Lightweight Cryptography for Security and Privacy Second International Workshop, LightSec 2013, Gebze, Turkey, May 6-7, 2013, Revised Selected Papers
Author 
Avoine, Gildas. editor. Kara, Orhun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334938.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40392-7
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
Author 
Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.
Preferred Shelf Number 
ONLINE(334939.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40395-8
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Intelligent Robotics Systems: Inspiring the NEXT 16th FIRA RoboWorld Congress, FIRA 2013, Kuala Lumpur, Malaysia, August 24-29, 2013. Proceedings
Intelligent Robotics Systems: Inspiring the NEXT 16th FIRA RoboWorld Congress, FIRA 2013, Kuala Lumpur, Malaysia, August 24-29, 2013. Proceedings
Author 
Omar, Khairuddin. editor. Nordin, Md Jan. editor. Vadakkepat, Prahlad. editor. Prabuwono, Anton Satria. editor. Abdullah, Siti Norul Huda Sheikh. editor.
Preferred Shelf Number 
ONLINE(334942.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40409-2
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Intelligent Virtual Agents 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings
Intelligent Virtual Agents 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings
Author 
Aylett, Ruth. editor. Krenn, Brigitte. editor. Pelachaud, Catherine. editor. Shimodaira, Hiroshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334943.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40415-3
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
Author 
Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334946.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40447-4
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Author 
Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334947.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40450-4
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Author 
Darling, Aaron. editor. Stoye, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334948.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40453-5
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency VIII
Transactions on Petri Nets and Other Models of Concurrency VIII
Author 
Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334949.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40465-8
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III
Author 
Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE(334950.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40477-1
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II
Author 
Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE(334951.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40480-1
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I
Author 
Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE(334952.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40483-2
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Systems and Frameworks for Computational Morphology Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings
Systems and Frameworks for Computational Morphology Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings
Author 
Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334953.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40486-3
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Computational Collective Intelligence. Technologies and Applications 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings
Computational Collective Intelligence. Technologies and Applications 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings
Author 
Bǎdicǎ, Costin. editor. Nguyen, Ngoc Thanh. editor. Brezovan, Marius. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334954.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40495-5
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV
Author 
Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE(334955.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40498-6
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Research and Advanced Technology for Digital Libraries International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings
Research and Advanced Technology for Digital Libraries International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings
Author 
Aalberg, Trond. editor. Papatheodorou, Christos. editor. Dobreva, Milena. editor. Tsakonas, Giannis. editor. Farrugia, Charles J. editor.
Preferred Shelf Number 
ONLINE(334956.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40501-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action