Limit Search Results
Author
SpringerLink (Online service)
(670)
Dongarra, Jack. editor.
(19)
Gavrilova, Marina L. editor.
(17)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Language
Publication Date
-
Subject
Electronic data processing.
(457)
Computer software.
(248)
Artificial intelligence.
(176)
Computational complexity.
(169)
Software engineering.
(153)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
688 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Electronic Healthcare Information Security
Electronic Healthcare Information Security
Author 
Shoniregun, Charles A. author. Dube, Kudakwashe. author. Mtenzi, Fredrick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-84919-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Electronic Visualisation in Arts and Culture
Electronic Visualisation in Arts and Culture
Author 
Bowen, Jonathan P. editor. Keene, Suzanne. editor. Ng, Kia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331203.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5406-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Debugging at the Electronic System Level
Debugging at the Electronic System Level
Author 
Rogin, Frank. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9255-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Electronic Postage Systems Technology, Security, Economics
Electronic Postage Systems Technology, Security, Economics
Author 
Bleumer, Gerrit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-44606-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Electronic Government 17th IFIP WG 8.5 International Conference, EGOV 2018, Krems, Austria, September 3-5, 2018, Proceedings
Electronic Government 17th IFIP WG 8.5 International Conference, EGOV 2018, Krems, Austria, September 3-5, 2018, Proceedings
Author 
Parycek, Peter. editor. (orcid)0000-0003-3242-0475 Glassey, Olivier. editor. (orcid)0000-0001-8795-0591 Janssen, Marijn. editor. Scholl, Hans Jochen. editor. Tambouris, Efthimios. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98690-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Electronic Government and the Information Systems Perspective 7th International Conference, EGOVIS 2018, Regensburg, Germany, September 3–5, 2018, Proceedings
Electronic Government and the Information Systems Perspective 7th International Conference, EGOVIS 2018, Regensburg, Germany, September 3–5, 2018, Proceedings
Author 
Kő, Andrea. editor. (orcid)0000-0003-0023-1143 Francesconi, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98349-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings
Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings
Author 
Krimmer, Robert. editor. (orcid)0000-0002-0873-539X Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Cortier, Véronique. editor. Goré, Rajeev. editor. Hapsara, Manik. editor. (orcid)0000-0002-8653-063X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00419-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016
Author 
Fummi, Franco. editor. Wille, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62920-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Electronic Participation 10th IFIP WG 8.5 International Conference, ePart 2018, Krems, Austria, September 3-5, 2018, Proceedings
Electronic Participation 10th IFIP WG 8.5 International Conference, ePart 2018, Krems, Austria, September 3-5, 2018, Proceedings
Author 
Edelmann, Noella. editor. Parycek, Peter. editor. (orcid)0000-0003-3242-0475 Misuraca, Gianluca. editor. Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842 Charalabidis, Yannis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98578-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Anonymization of Electronic Medical Records to Support Clinical Analysis
Anonymization of Electronic Medical Records to Support Clinical Analysis
Author 
Gkoulalas-Divanis, Aris. author. Loukides, Grigorios. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331833.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5668-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC 2011, Taipei, Taiwan, May 2, 2011, and TADA 2011, Barcelona, Spain, July 17, 2011, Revised Selected Papers
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC 2011, Taipei, Taiwan, May 2, 2011, and TADA 2011, Barcelona, Spain, July 17, 2011, Revised Selected Papers
Author 
David, Esther. editor. Robu, Valentin. editor. Shehory, Onn. editor. Stein, Sebastian. editor. Symeonidis, Andreas. editor.
Preferred Shelf Number 
ONLINE(333897.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34889-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for ISSE 2013 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe 2013 Conference
ISSE 2013 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe 2013 Conference
Author 
Reimer, Helmut. editor. Pohlmann, Norbert. editor. Schneider, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335292.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-03371-2
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Co-created Effective, Agile, and Trusted eServices 15th International Conference on Electronic Commerce, ICEC 2013, Turku, Finland, August 13-15, 2013. Proceedings
Co-created Effective, Agile, and Trusted eServices 15th International Conference on Electronic Commerce, ICEC 2013, Turku, Finland, August 13-15, 2013. Proceedings
Author 
Järveläinen, Jonna. editor. Li, Hongxiu. editor. Tuikka, Anne-Marie. editor. Kuusela, Tiina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334854.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39808-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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:
15. 
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:
16. 
Cover image for Technology-Enabled Innovation for Democracy, Government and Governance Second Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2013, Prague, Czech Republic, August 26-28, 2013, Proceedings
Technology-Enabled Innovation for Democracy, Government and Governance Second Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2013, Prague, Czech Republic, August 26-28, 2013, Proceedings
Author 
Kő, Andrea. editor. Leitner, Christine. editor. Leitold, Herbert. editor. Prosser, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334900.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40160-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC and TADA 2012, Valencia, Spain, June 4th, 2012, Revised Selected Papers
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC and TADA 2012, Valencia, Spain, June 4th, 2012, Revised Selected Papers
Author 
David, Esther. editor. Kiekintveld, Christopher. editor. Robu, Valentin. editor. Shehory, Onn. editor. Stein, Sebastian. editor.
Preferred Shelf Number 
ONLINE(335021.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40864-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for The Internet of Products An Approach to Establishing Total Transparency in Electronic Markets
The Internet of Products An Approach to Establishing Total Transparency in Electronic Markets
Author 
Neumann, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335254.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00905-2
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Enacting Electronic Government Success An Integrative Study of Government-wide Websites, Organizational Capabilities, and Institutions
Enacting Electronic Government Success An Integrative Study of Government-wide Websites, Organizational Capabilities, and Institutions
Author 
Gil-Garcia, J. Ramon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-2015-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Electronic Healthcare Third International Conference, eHealth 2010, Casablanca, Morocco, December 13-15, 2010, Revised Selected Papers
Electronic Healthcare Third International Conference, eHealth 2010, Casablanca, Morocco, December 13-15, 2010, Revised Selected Papers
Author 
Szomszor, Martin. editor. Kostkova, Patty. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23635-8
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Electronic Healthcare 4th International Conference, eHealth 2011, Málaga, Spain, November 21-23, 2011, Revised Selected Papers
Electronic Healthcare 4th International Conference, eHealth 2011, Málaga, Spain, November 21-23, 2011, Revised Selected Papers
Author 
Kostkova, Patty. editor. Szomszor, Martin. editor. Fowler, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29262-0
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Electronic Participation 4th IFIP WG 8.5 International Conference, ePart 2012, Kristiansand, Norway, September 3-5, 2012. Proceedings
Electronic Participation 4th IFIP WG 8.5 International Conference, ePart 2012, Kristiansand, Norway, September 3-5, 2012. Proceedings
Author 
Tambouris, Efthimios. editor. Macintosh, Ann. editor. Sæbø, Øystein. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33250-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for ISSE 2012 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe 2012 Conference
ISSE 2012 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe 2012 Conference
Author 
Reimer, Helmut. editor. Pohlmann, Norbert. editor. Schneider, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00333-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Interoperable Electronic Safety Equipment Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Responders
Interoperable Electronic Safety Equipment Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Responders
Author 
Grant, Casey C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8277-2
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Advancing Democracy, Government and Governance Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2012, Vienna, Austria, September 3-6, 2012. Proceedings
Advancing Democracy, Government and Governance Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2012, Vienna, Austria, September 3-6, 2012. Proceedings
Author 
Kő, Andrea. editor. Leitner, Christine. editor. Leitold, Herbert. editor. Prosser, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32701-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Electronic Government 11th IFIP WG 8.5 International Conference, EGOV 2012, Kristiansand, Norway, September 3-6, 2012. Proceedings
Electronic Government 11th IFIP WG 8.5 International Conference, EGOV 2012, Kristiansand, Norway, September 3-6, 2012. Proceedings
Author 
Scholl, Hans J. editor. Janssen, Marijn. editor. Wimmer, Maria A. editor. Moe, Carl Erik. editor. Flak, Leif Skiftenes. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33489-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC 2010, Toronto, ON, Canada, May 10, 2010, and TADA 2010, Cambridge, MA, USA, June 7, 2010 Revised Selected Papers
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC 2010, Toronto, ON, Canada, May 10, 2010, and TADA 2010, Cambridge, MA, USA, June 7, 2010 Revised Selected Papers
Author 
David, Esther. editor. Larson, Kate. editor. Rogers, Alex. editor. Shehory, Onn. editor. Stein, Sebastian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34200-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Electronic System Level Design An Open-Source Approach
Electronic System Level Design An Open-Source Approach
Author 
Rigo, Sandro. editor. Azevedo, Rodolfo. editor. Santos, Luiz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9940-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Electronic Value Exchange Origins of the VISA Electronic Payment System
Electronic Value Exchange Origins of the VISA Electronic Payment System
Author 
Stearns, David L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-139-4
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Electronic Government 10th IFIP WG 8.5 International Conference, EGOV 2011, Delft, The Netherlands, August 28 – September 2, 2011. Proceedings
Electronic Government 10th IFIP WG 8.5 International Conference, EGOV 2011, Delft, The Netherlands, August 28 – September 2, 2011. Proceedings
Author 
Janssen, Marijn. editor. Scholl, Hans J. editor. Wimmer, Maria A. editor. Tan, Yao-hua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22878-0
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Electronic Government and the Information Systems Perspective Second International Conference, EGOVIS 2011, Toulouse, France, August 29 – September 2, 2011. Proceedings
Electronic Government and the Information Systems Perspective Second International Conference, EGOVIS 2011, Toulouse, France, August 29 – September 2, 2011. Proceedings
Author 
Andersen, Kim Normann. editor. Francesconi, Enrico. editor. Grönlund, Åke. editor. Engers, Tom M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22961-9
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Electronic Participation Third IFIP WG 8.5 International Conference, ePart 2011, Delft, The Netherlands, August 29 – September 1, 2011. Proceedings
Electronic Participation Third IFIP WG 8.5 International Conference, ePart 2011, Delft, The Netherlands, August 29 – September 1, 2011. Proceedings
Author 
Tambouris, Efthimios. editor. Macintosh, Ann. editor. Bruijn, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23333-3
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Advanced Research on Electronic Commerce, Web Application, and Communication International Conference, ECWAC 2011, Guangzhou, China, April 16-17, 2011. Proceedings, Part I
Advanced Research on Electronic Commerce, Web Application, and Communication International Conference, ECWAC 2011, Guangzhou, China, April 16-17, 2011. Proceedings, Part I
Author 
Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20367-1
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Advanced Research on Electronic Commerce, Web Application, and Communication International Conference, ECWAC 2011, Guangzhou, China, April 16-17, 2011. Proceedings, Part II
Advanced Research on Electronic Commerce, Web Application, and Communication International Conference, ECWAC 2011, Guangzhou, China, April 16-17, 2011. Proceedings, Part II
Author 
Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20370-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Electronic Healthcare Second International ICST Conference, eHealth 2009, Istanbul, Turkey, September 23-15, 2009, Revised Selected Papers
Electronic Healthcare Second International ICST Conference, eHealth 2009, Istanbul, Turkey, September 23-15, 2009, Revised Selected Papers
Author 
Kostkova, Patty. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11745-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Towards Trustworthy Elections New Directions in Electronic Voting
Towards Trustworthy Elections New Directions in Electronic Voting
Author 
Chaum, David. editor. Jakobsson, Markus. editor. Rivest, Ronald L. editor. Ryan, Peter Y. A. editor. Benaloh, Josh. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12980-3
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Electronic Government and the Information Systems Perspective First International Conference, EGOVIS 2010, Bilbao, Spain, August 31 – September 2, 2010. Proceedings
Electronic Government and the Information Systems Perspective First International Conference, EGOVIS 2010, Bilbao, Spain, August 31 – September 2, 2010. Proceedings
Author 
Andersen, Kim Normann. editor. Francesconi, Enrico. editor. Grönlund, Åke. editor. Engers, Tom M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15172-9
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Electronic Government 9th IFIP WG 8.5 International Conference, EGOV 2010, Lausanne, Switzerland, August 29 - September 2, 2010. Proceedings
Electronic Government 9th IFIP WG 8.5 International Conference, EGOV 2010, Lausanne, Switzerland, August 29 - September 2, 2010. Proceedings
Author 
Wimmer, Maria A. editor. Chappelet, Jean-Loup. editor. Janssen, Marijn. editor. Scholl, Hans J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14799-9
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AAMAS Workshop, AMEC 2009, Budapest, Hungary, May 12, 2009, and IJCAI Workshop, TADA 2009, Pasadena, CA, USA, July 13, 2009, Selected and Revised Papers
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AAMAS Workshop, AMEC 2009, Budapest, Hungary, May 12, 2009, and IJCAI Workshop, TADA 2009, Pasadena, CA, USA, July 13, 2009, Selected and Revised Papers
Author 
David, Esther. editor. Gerding, Enrico. editor. Sarne, David. editor. Shehory, Onn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15117-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Electronic Participation Second IFIP WG 8.5 International Conference, ePart 2010, Lausanne, Switzerland, August 29 – September 2, 2010. Proceedings
Electronic Participation Second IFIP WG 8.5 International Conference, ePart 2010, Lausanne, Switzerland, August 29 – September 2, 2010. Proceedings
Author 
Tambouris, Efthimios. editor. Macintosh, Ann. editor. Glassey, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15158-3
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for ISSE 2009 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe 2009 Conference
ISSE 2009 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe 2009 Conference
Author 
Pohlmann, Norbert. editor. Reimer, Helmut. editor. Schneider, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9363-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS Workshop, AMEC 2008, Estoril, Portugal, May 12-16, 2008, and AAAI Workshop, TADA 2008, Chicago, IL, USA, July 14, 2008, Revised Selected Papers
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS Workshop, AMEC 2008, Estoril, Portugal, May 12-16, 2008, and AAAI Workshop, TADA 2008, Chicago, IL, USA, July 14, 2008, Revised Selected Papers
Author 
Ketter, Wolfgang. editor. Poutré, Han. editor. Sadeh, Norman. editor. Shehory, Onn. editor. Walsh, William. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15237-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Electronic Healthcare First International Conference, eHealth 2008, London, UK, September 8-9, 2008. Revised Selected Papers
Electronic Healthcare First International Conference, eHealth 2008, London, UK, September 8-9, 2008. Revised Selected Papers
Author 
Weerasinghe, Dasun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00413-1
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Electronic Government 8th International Conference, EGOV 2009, Linz, Austria, August 31 - September 3, 2009. Proceedings
Electronic Government 8th International Conference, EGOV 2009, Linz, Austria, August 31 - September 3, 2009. Proceedings
Author 
Wimmer, Maria A. editor. Scholl, Hans J. editor. Janssen, Marijn. editor. Traunmüller, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03516-6
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Evaluation of Electronic Voting Requirements and Evaluation Procedures to Support Responsible Election Authorities
Evaluation of Electronic Voting Requirements and Evaluation Procedures to Support Responsible Election Authorities
Author 
Volkamer, Melanie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01662-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for ISSE 2008 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe 2008 Conference
ISSE 2008 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe 2008 Conference
Author 
Pohlmann, Norbert. editor. Reimer, Helmut. editor. Schneider, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9283-6
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers
Author 
Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88713-3
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Electronic Participation First International Conference, ePart 2009 Linz, Austria, September 1-3, 2009 Proceedings
Electronic Participation First International Conference, ePart 2009 Linz, Austria, September 1-3, 2009 Proceedings
Author 
Macintosh, Ann. editor. Tambouris, Efthimios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03781-8
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Electronic Government 7th International Conference, EGOV 2008, Turin, Italy, August 31 - September 5, 2008. Proceedings
Electronic Government 7th International Conference, EGOV 2008, Turin, Italy, August 31 - September 5, 2008. Proceedings
Author 
Wimmer, Maria A. editor. Scholl, Hans J. editor. Ferro, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85204-9
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Pro EDI in BizTalk Server 2006 R2 Electronic Document Interchange Solutions
Pro EDI in BizTalk Server 2006 R2 Electronic Document Interchange Solutions
Author 
Beckner, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0530-2
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Agent-Mediated Electronic Commerce. Automated Negotiation and Strategy Design for Electronic Markets AAMAS 2006 Workshop, TADA/AMEC 2006, Hakodate, Japan, May 9, 2006, Selected and Revised Papers
Agent-Mediated Electronic Commerce. Automated Negotiation and Strategy Design for Electronic Markets AAMAS 2006 Workshop, TADA/AMEC 2006, Hakodate, Japan, May 9, 2006, Selected and Revised Papers
Author 
Fasli, Maria. editor. Shehory, Onn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72502-2
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Electronic Government 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007. Proceedings
Electronic Government 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007. Proceedings
Author 
Wimmer, Maria A. editor. Scholl, Jochen. editor. Grönlund, Åke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74444-3
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for ISSE/SECURE 2007 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe/SECURE 2007 Conference
ISSE/SECURE 2007 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe/SECURE 2007 Conference
Author 
Pohlmann, Norbert. author. Reimer, Helmut. author. Schneider, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9418-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Author 
Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5138-7
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business
Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business
Author 
Roussos, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-321-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms AAMAS 2005 Workshop, AMEC 2005, Utrecht, Netherlands, July 25, 2005, and IJCAI 2005 Workshop, TADA 2005, Edinburgh, UK, August 1, 2005, Selected and Revised Papers
Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms AAMAS 2005 Workshop, AMEC 2005, Utrecht, Netherlands, July 25, 2005, and IJCAI 2005 Workshop, TADA 2005, Edinburgh, UK, August 1, 2005, Selected and Revised Papers
Author 
Poutré, Han. editor. Sadeh, Norman M. editor. Janson, Sverker. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11888727
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Electronic Government 5th International Conference, EGOV 2006, Kraków, Poland, September 4-8, 2006. Proceedings
Electronic Government 5th International Conference, EGOV 2006, Kraków, Poland, September 4-8, 2006. Proceedings
Author 
Wimmer, Maria A. editor. Scholl, Hans J. editor. Grönlund, Åke. editor. Andersen, Kim Viborg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11823100
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for ISSE 2006 — Securing Electronic Busines Processes Highlights of the Information Security Solutions Europe 2006 Conference
ISSE 2006 — Securing Electronic Busines Processes Highlights of the Information Security Solutions Europe 2006 Conference
Author 
Paulus, Sachar. author. Pohlmann, Norbert. author. Reimer, Helmut. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9195-2
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Trusting Agents for Trusting Electronic Societies Theory and Applications in HCI and E-Commerce
Trusting Agents for Trusting Electronic Societies Theory and Applications in HCI and E-Commerce
Author 
Falcone, Rino. editor. Barber, Suzanne. editor. Sabater-Mir, Jordi. editor. Singh, Munindar P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11532095
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for E-Government: Towards Electronic Democracy International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005. Proceedings
E-Government: Towards Electronic Democracy International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005. Proceedings
Author 
Böhlen, Michael. editor. Gamper, Johann. editor. Polasek, Wolfgang. editor. Wimmer, Maria A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106542
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Electronic Government 4th International Conference, EGOV 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings
Electronic Government 4th International Conference, EGOV 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings
Author 
Wimmer, Maria A. editor. Traunmüller, Roland. editor. Grönlund, Åke. editor. Andersen, Kim V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11545156
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Agent-Mediated Electronic Commerce VI. Theories for and Engineering of Distributed Mechanisms and Systems AAMAS 2004 Workshop, AMEC 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
Agent-Mediated Electronic Commerce VI. Theories for and Engineering of Distributed Mechanisms and Systems AAMAS 2004 Workshop, AMEC 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
Author 
Faratin, Peyman. editor. Rodríguez-Aguilar, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11575726
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Timing Performance of Nanometer Digital Circuits Under Process Variations
Timing Performance of Nanometer Digital Circuits Under Process Variations
Author 
Champac, Victor. author. Garcia Gervacio, Jose. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75465-9
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Intelligent Engineering Optimisation with the Bees Algorithm
Intelligent Engineering Optimisation with the Bees Algorithm
Author 
Pham, D. T. editor. (orcid)0000-0003-3148-2404 Hartono, Natalia. editor. (orcid)0000-0003-2314-1394 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64936-3
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Biological Computing
Biological Computing
Author 
Xu, Jin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3870-3
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R
Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R
Author 
Leung, Ricky. author. (orcid)0000-0002-2852-6771 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-08677-8
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers
Author 
Cranefield, Stephen. editor. (orcid)0000-0001-5638-1648 Nardin, Luis Gustavo. editor. (orcid)0000-0002-4506-2745 Lloyd, Nathan. editor. (orcid)0000-0002-7127-2500 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82039-7
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Author 
Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84924-4
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Author 
Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71162-6
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Author 
Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71177-0
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023
Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023
Author 
Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Takizawa, Hiroyuki. editor. (orcid)0000-0003-2858-3140 Shen, Hong. editor. Park, James J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8211-0
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
Author 
Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50423-5
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Infrared Small Target Detection Theory, Methods, and Algorithms.
Infrared Small Target Detection Theory, Methods, and Algorithms.
Author 
Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9799-2
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Creative approaches towards development of computing and multidisciplinary IT solutions for society
Creative approaches towards development of computing and multidisciplinary IT solutions for society
Author 
Bijalwan, Anchit, editor.
Preferred Shelf Number 
QA76 .C74 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Electromagnetic Sources and Electromagnetic Fields
Electromagnetic Sources and Electromagnetic Fields
Author 
Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9449-6
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Structural Decision Diagrams in Digital Test Theory and Applications
Structural Decision Diagrams in Digital Test Theory and Applications
Author 
Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44734-1
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for The French School of Programming
The French School of Programming
Author 
Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34518-0
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
Author 
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2300-3
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Information is Energy Definition of a physically based concept of information
Information is Energy Definition of a physically based concept of information
Author 
Pagel, Lienhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-40862-6
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Deep Learning for Computational Problems in Hardware Security Modeling Attacks on Strong Physically Unclonable Function Circuits
Deep Learning for Computational Problems in Hardware Security Modeling Attacks on Strong Physically Unclonable Function Circuits
Author 
Santikellur, Pranesh. author. Chakraborty, Rajat Subhra. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4017-0
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Informatics and machine learning : from Martingales to metaheuristics
Informatics and machine learning : from Martingales to metaheuristics
Author 
Winters-Hilt, Stephen, author.
Preferred Shelf Number 
Q325.5 .W558 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Computer science security : concepts and tools
Computer science security : concepts and tools
Author 
Zaidoun, Ameur Salem, author.
Preferred Shelf Number 
QA76.9 .A25 Z35 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163847
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Inside the world of computing : technologies, uses, challenges
Inside the world of computing : technologies, uses, challenges
Author 
Delhaye, J.-L. (Jean-Loïc)
Preferred Shelf Number 
QA76
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821748
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Bits on Chips
Bits on Chips
Author 
Veendrick, Harry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76096-4
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
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:
86. 
Cover image for Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
Author 
Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Blum, Christian. editor. (orcid)0000-0002-1736-3559 Christensen, Anders L. editor. (orcid)0000-0002-9994-2908 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00533-7
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
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:
88. 
Cover image for Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
Author 
Potapov, Igor. editor. Reynier, Pierre-Alain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00250-3
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
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:
90. 
Cover image for Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II
Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II
Author 
Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99259-4
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Understanding and Interpreting Machine Learning in Medical Image Computing Applications First International Workshops, MLCN 2018, DLF 2018, and iMIMIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedings
Understanding and Interpreting Machine Learning in Medical Image Computing Applications First International Workshops, MLCN 2018, DLF 2018, and iMIMIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedings
Author 
Stoyanov, Danail. editor. Taylor, Zeike. editor. Kia, Seyed Mostafa. editor. (orcid)0000-0002-7128-814X Oguz, Ipek. editor. (orcid)0000-0002-1403-2420 Reyes, Mauricio. editor. (orcid)0000-0002-2434-9990
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02628-8
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Random Numbers and Computers
Random Numbers and Computers
Author 
Kneusel, Ronald T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77697-2
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Research in Computational Molecular Biology 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings
Research in Computational Molecular Biology 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings
Author 
Raphael, Benjamin J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89929-9
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers
Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers
Author 
Lutton, Evelyne. editor. Legrand, Pierrick. editor. Parrend, Pierre. editor. Monmarché, Nicolas. editor. Schoenauer, Marc. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78133-4
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings
WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings
Author 
Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478 Sung, Wing-Kin. editor. Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75172-6
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings
Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings
Author 
Kim, Donghyun. editor. Uma, R. N. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04651-4
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
Author 
Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00801-7
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73441-5
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I
Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I
Author 
Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99253-2
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
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:
101. 
Cover image for Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Author 
Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02149-8
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
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:
103. 
Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers
Energy Minimization Methods in Computer Vision and Pattern Recognition 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers
Author 
Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243 Hancock, Edwin. editor. (orcid)0000-0003-4496-2028 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78199-0
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
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:
105. 
Cover image for Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings
Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings
Author 
Chen, Jianer. editor. Lu, Pinyan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78455-7
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Bilgisayar bilimine giriş
Bilgisayar bilimine giriş
Author 
Çölkesen, Toros Rifat.
Preferred Shelf Number 
QA76 B554 2017
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
107. 
Cover image for Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017, Proceedings
Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017, Proceedings
Author 
Maedche, Alexander. editor. vom Brocke, Jan. editor. Hevner, Alan. editor. (orcid)0000-0003-4953-3900 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59144-5
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III
Author 
Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70700-6
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66320-3
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
Author 
Sukthankar, Gita. editor. Rodriguez-Aguilar, Juan A. editor. (orcid)0000-0002-2940-6886 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71682-4
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Data Integration in the Life Sciences 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings
Data Integration in the Life Sciences 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings
Author 
Da Silveira, Marcos. editor. Pruski, Cédric. editor. Schneider, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69751-2
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Author 
Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67549-7
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
Author 
Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61982-8
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Progress in Cryptology - AFRICACRYPT 2017 9th International Conference on Cryptology in Africa, Dakar, Senegal, May 24-26, 2017, Proceedings
Progress in Cryptology - AFRICACRYPT 2017 9th International Conference on Cryptology in Africa, Dakar, Senegal, May 24-26, 2017, Proceedings
Author 
Joye, Marc. editor. Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57339-7
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Principles of Security and Trust 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Principles of Security and Trust 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Maffei, Matteo. editor. Ryan, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54455-6
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Author 
Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66583-2
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers
Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers
Author 
Cuppens-Boulahia, Nora. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 Cuppens, Frédéric. editor. Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61437-3
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II
Author 
Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70697-9
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
Author 
Patitz, Matthew J. editor. Stannett, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58187-3
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Author 
Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71237-6
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
Author 
Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66107-0
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
Author 
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65948-0
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Author 
Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70848-5
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings
Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings
Author 
Bilò, Vittorio. editor. Flammini, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66700-3
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I
Author 
Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70694-8
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
Author 
Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68015-6
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Author 
Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66335-7
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings
Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings
Author 
Grünbacher, Paul. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54045-0
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56841-6
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Author 
Mahmood, Zaigham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54325-3
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017, Proceedings
High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017, Proceedings
Author 
Kunkel, Julian M. editor. Yokota, Rio. editor. Balaji, Pavan. editor. Keyes, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58667-0
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Web and Internet Economics 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017, Proceedings
Web and Internet Economics 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017, Proceedings
Author 
R. Devanur, Nikhil. editor. Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71924-5
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Author 
Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66197-1
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings
Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings
Author 
Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Gortsev, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44615-8
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II
Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II
Author 
Cheon, Jung Hee. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53890-6
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Business Process Management 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings
Business Process Management 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings
Author 
La Rosa, Marcello. editor. (orcid)0000-0001-9568-4035 Loos, Peter. editor. Pastor, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45348-4
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Human Aspects of Information Security, Privacy, and Trust 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings
Human Aspects of Information Security, Privacy, and Trust 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings
Author 
Tryfonas, Theo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39381-0
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Author 
Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29473-5
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Author 
Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42061-5
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Author 
Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47443-4
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers
High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers
Author 
Taufer, Michela. editor. Mohr, Bernd. editor. Kunkel, Julian M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46079-6
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Web and Internet Economics 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings
Web and Internet Economics 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings
Author 
Cai, Yang. editor. Vetta, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54110-4
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Author 
Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33612-1
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings
High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings
Author 
Kunkel, Julian M. editor. Balaji, Pavan. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41321-1
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
Author 
Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46613-2
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Author 
Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49815-7
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Author 
Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28934-2
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Author 
Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45892-2
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Progress in Cryptology - AFRICACRYPT 2016 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings
Progress in Cryptology - AFRICACRYPT 2016 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings
Author 
Pointcheval, David. editor. Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Rachidi, Tajjeeddine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31517-1
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
Author 
Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43425-4
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks
Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks
Author 
Nikoletseas, Sotiris. editor. Yang, Yuanyuan. editor. Georgiadis, Apostolos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46810-5
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I
Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I
Author 
Cheon, Jung Hee. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53887-6
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Author 
Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46982-9
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Encyclopedia of Algorithms
Encyclopedia of Algorithms
Author 
Kao, Ming-Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-2864-4
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I
Author 
Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46508-1
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Author 
Fitzgerald, John. editor. Heitmeyer, Constance. editor. Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Philippou, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48989-6
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings
Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings
Author 
Daneva, Maya. editor. Pastor, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30282-9
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Author 
Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43144-4
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
Author 
Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46433-6
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Author 
van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46559-3
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, Proceedings
Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, Proceedings
Author 
Gairing, Martin. editor. Savani, Rahul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53354-3
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Applied Cryptography and Network Security 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings
Applied Cryptography and Network Security 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings
Author 
Manulis, Mark. editor. Sadeghi, Ahmad-Reza. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39555-5
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Software defined mobile networks (SDMN) : Beyond LTE network architecture
Software defined mobile networks (SDMN) : Beyond LTE network architecture
Author 
Liyanage, Madhusanka. Gurtov, Andrei. Ylianttila, Mika.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Expert bytes : computer expertise in forensic documents : players, needs, resources, and pitfalls
Expert bytes : computer expertise in forensic documents : players, needs, resources, and pitfalls
Author 
Atanasiu, Vlad, author.
Preferred Shelf Number 
HV8074 .A83 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Author 
Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44857-1
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
Author 
Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09195-2
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Author 
Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08789-4
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Author 
Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09970-5
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
Author 
Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11653-2
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
Author 
Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11743-0
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Author 
Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11245-9
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for High-Performance Computing Using FPGAs
High-Performance Computing Using FPGAs
Author 
Vanderbauwhede, Wim. editor. Benkrid, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331283.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1791-0
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332910.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02297-0
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Simulating Social Complexity A Handbook
Simulating Social Complexity A Handbook
Author 
Edmonds, Bruce. editor. Meyer, Ruth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333042.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93813-2
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for GPU Solutions to Multi-scale Problems in Science and Engineering
GPU Solutions to Multi-scale Problems in Science and Engineering
Author 
Yuen, David A. editor. Wang, Long. editor. Chi, Xuebin. editor. Johnsson, Lennart. editor. Ge, Wei. editor.
Preferred Shelf Number 
ONLINE(333070.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16405-7
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings
Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings
Author 
Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332995.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03780-6
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Verfügungsrechtliche Steuerung wertschöpfender Prozesse Ein gestaltender Ansatz der Verteilten Künstlichen Intelligenz am Beispiel des Verkehrsinfrastrukturbaus
Verfügungsrechtliche Steuerung wertschöpfender Prozesse Ein gestaltender Ansatz der Verteilten Künstlichen Intelligenz am Beispiel des Verkehrsinfrastrukturbaus
Author 
Jacob, Ansger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338236.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-04348-3
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Author 
Reisig, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33278-4
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
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:
182. 
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:
183. 
Cover image for Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334653.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38703-6
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334657.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38715-9
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
Author 
Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334658.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38718-0
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Advanced Computing
Advanced Computing
Author 
Bader, Michael. editor. Bungartz, Hans-Joachim. editor. Weinzierl, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334664.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38762-3
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
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:
188. 
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:
189. 
Cover image for Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications
Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335208.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45318-2
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II
Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II
Author 
Yang, Yuhang. editor. Ma, Maode. editor. Liu, Baoxiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335218.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53703-5
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Algorithmic Game Theory 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedings
Algorithmic Game Theory 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedings
Author 
Vöcking, Berthold. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335101.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41392-6
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
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:
193. 
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:
194. 
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:
195. 
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:
196. 
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:
197. 
Cover image for Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings
Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings
Author 
Blesa, María J. editor. Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Preferred Shelf Number 
ONLINE(334612.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38516-2
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
Author 
Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334615.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38527-8
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings
Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings
Author 
Youssef, Amr. editor. Nitaj, Abderrahmane. editor. Hassanien, Aboul Ella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334620.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38553-7
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
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:
201. 
Cover image for Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
Author 
Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334925.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40313-2
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
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:
203. 
Cover image for Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334871.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39958-9
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
Author 
Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334882.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40047-6
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Author 
Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334980.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40627-0
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Rough Sets and Knowledge Technology 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings
Rough Sets and Knowledge Technology 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings
Author 
Lingras, Pawan. editor. Wolski, Marcin. editor. Cornelis, Chris. editor. Mitra, Sushmita. editor. Wasilewski, Piotr. editor.
Preferred Shelf Number 
ONLINE(335087.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41299-8
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
Author 
Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333005.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03898-8
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
Author 
Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334111.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36062-6
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
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:
210. 
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:
211. 
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:
212. 
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:
213. 
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:
214. 
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:
215. 
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:
216. 
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:
217. 
Cover image for Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings
Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings
Author 
Dehne, Frank. editor. Solis-Oba, Roberto. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334893.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40104-6
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Similarity Search and Applications 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings
Similarity Search and Applications 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings
Author 
Brisaboa, Nieves. editor. Pedreira, Oscar. editor. Zezula, Pavel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335050.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41062-8
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings
Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings
Author 
Bernard, Alain. editor. Rivest, Louis. editor. Dutta, Debasish. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335114.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41501-2
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
Author 
Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335116.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41515-9
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Modeling Decisions for Artificial Intelligence 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings
Modeling Decisions for Artificial Intelligence 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings
Author 
Torra, Vicenç. editor. Narukawa, Yasuo. editor. Navarro-Arribas, Guillermo. editor. Megías, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335122.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41550-0
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I
Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I
Author 
Yang, Yuhang. editor. Ma, Maode. editor. Liu, Baoxiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335224.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53932-9
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers
Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers
Author 
Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335176.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-44973-4
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Ubiquitous Information Technologies and Applications CUTE 2012
Ubiquitous Information Technologies and Applications CUTE 2012
Author 
Han, Youn-Hee. editor. Park, Doo-Soon. editor. Jia, Weijia. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336087.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5857-5
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Applied Computer Science
Applied Computer Science
Author 
Torbert, Shane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1888-7
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Integrated Methods for Optimization
Integrated Methods for Optimization
Author 
Hooker, John N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1900-6
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book
Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book
Author 
Logg, Anders. editor. Mardal, Kent-Andre. editor. Wells, Garth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23099-8
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges Second International Workshop, STACOM 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges Second International Workshop, STACOM 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers
Author 
Camara, Oscar. editor. Konukoglu, Ender. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28326-0
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Mathematical Modelling and Scientific Computation International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings
Mathematical Modelling and Scientific Computation International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings
Author 
Balasubramaniam, P. editor. Uthayakumar, R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28926-2
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Author 
Bordihn, Henning. editor. Kutrib, Martin. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Combinatorial Pattern Matching 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings
Combinatorial Pattern Matching 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings
Author 
Kärkkäinen, Juha. editor. Stoye, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31265-6
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Author 
Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31365-3
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Rough Sets and Current Trends in Computing 8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012.Proceedings
Rough Sets and Current Trends in Computing 8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012.Proceedings
Author 
Yao, JingTao. editor. Yang, Yan. editor. Słowiński, Roman. editor. Greco, Salvatore. editor. Li, Huaxiong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32115-3
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Combinatorial Optimization Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers
Combinatorial Optimization Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers
Author 
Mahjoub, A. Ridha. editor. Markakis, Vangelis. editor. Milis, Ioannis. editor. Paschos, Vangelis Th. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32147-4
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Similarity Search and Applications 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012. Proceedings
Similarity Search and Applications 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012. Proceedings
Author 
Navarro, Gonzalo. editor. Pestov, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32153-5
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Competence in High Performance Computing 2010 Proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany
Competence in High Performance Computing 2010 Proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany
Author 
Bischof, Christian. editor. Hegering, Heinz-Gerd. editor. Nagel, Wolfgang E. editor. Wittum, Gabriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24025-6
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
Author 
Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28212-6
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Approximation and Online Algorithms 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
Approximation and Online Algorithms 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
Author 
Solis-Oba, Roberto. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29116-6
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for LATIN 2012: Theoretical Informatics 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings
LATIN 2012: Theoretical Informatics 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings
Author 
Fernández-Baca, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29344-3
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings
Author 
Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29828-8
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers
Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29843-1
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Recent Advances in Algorithmic Differentiation
Recent Advances in Algorithmic Differentiation
Author 
Forth, Shaun. editor. Hovland, Paul. editor. Phipps, Eric. editor. Utke, Jean. editor. Walther, Andrea. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30023-3
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing
Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing
Author 
Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30397-5
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers
Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers
Author 
Herik, H. Jaap. editor. Plaat, Aske. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31866-5
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Rough Sets and Knowledge Technology 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings
Rough Sets and Knowledge Technology 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings
Author 
Li, Tianrui. editor. Nguyen, Hung Son. editor. Wang, Guoyin. editor. Grzymala-Busse, Jerzy. editor. Janicki, Ryszard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31900-6
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Transactions on Rough Sets XV
Transactions on Rough Sets XV
Author 
Peters, James F. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31903-7
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings
Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32973-9
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Algorithms – ESA 2012 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
Algorithms – ESA 2012 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
Author 
Epstein, Leah. editor. Ferragina, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33090-2
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings
Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings
Author 
Kaklamanis, Christos. editor. Papatheodorou, Theodore. editor. Spirakis, Paul G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32820-6
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Algorithms in Bioinformatics 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
Algorithms in Bioinformatics 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
Author 
Raphael, Ben. editor. Tang, Jijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33122-0
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Parameterized and Exact Computation 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings
Parameterized and Exact Computation 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings
Author 
Thilikos, Dimitrios M. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33293-7
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Understanding High-Dimensional Spaces
Understanding High-Dimensional Spaces
Author 
Skillicorn, David B. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33398-9
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Learning and Intelligent Optimization 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers
Learning and Intelligent Optimization 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers
Author 
Hamadi, Youssef. editor. Schoenauer, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34413-8
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Modeling Decisions for Artificial Intelligence 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings
Modeling Decisions for Artificial Intelligence 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings
Author 
Torra, Vicenç. editor. Narukawa, Yasuo. editor. López, Beatriz. editor. Villaret, Mateu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34620-0
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Artificial Evolution 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers
Artificial Evolution 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers
Author 
Hao, Jin-Kao. editor. Legrand, Pierrick. editor. Collet, Pierre. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35533-2
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Algorithms and Computation 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings
Algorithms and Computation 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings
Author 
Chao, Kun-Mao. editor. Hsu, Tsan-sheng. editor. Lee, Der-Tsai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35261-4
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Integration of World Knowledge for Natural Language Understanding
Integration of World Knowledge for Natural Language Understanding
Author 
Ovchinnikova, Ekaterina. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-53-4
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for High-Performance Scientific Computing Algorithms and Applications
High-Performance Scientific Computing Algorithms and Applications
Author 
Berry, Michael W. editor. Gallivan, Kyle A. editor. Gallopoulos, Efstratios. editor. Grama, Ananth. editor. Philippe, Bernard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2437-5
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Guide to Scientific Computing in C++
Guide to Scientific Computing in C++
Author 
Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2736-9
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
Author 
Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-233-9
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Combinatorial Optimization and Applications 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings
Combinatorial Optimization and Applications 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings
Author 
Lin, Guohui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31770-5
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Modeling Time in Computing
Modeling Time in Computing
Author 
Furia, Carlo A. author. Mandrioli, Dino. author. Morzenti, Angelo. author. Rossi, Matteo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32332-4
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Computational Intelligence for Multimedia Understanding International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, Revised Selected Papers
Computational Intelligence for Multimedia Understanding International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, Revised Selected Papers
Author 
Salerno, Emanuele. editor. Çetin, A. Enis. editor. Salvetti, Ovidio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32436-9
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings
Author 
Gupta, Anupam. editor. Jansen, Klaus. editor. Rolim, José. editor. Servedio, Rocco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32512-0
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
Author 
Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32589-2
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
Author 
Dienstfrey, Andrew M. editor. Boisvert, Ronald F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32677-6
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
Author 
Milano, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33558-7
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Algorithmic Game Theory 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings
Algorithmic Game Theory 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings
Author 
Serna, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33996-7
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part II
Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part II
Author 
Liu, Chunfeng. editor. Wang, Leizhen. editor. Yang, Aimin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34041-3
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Computational Intelligence and Intelligent Systems 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings
Computational Intelligence and Intelligent Systems 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings
Author 
Li, Zhenhua. editor. Li, Xiang. editor. Liu, Yong. editor. Cai, Zhihua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34289-9
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Combinatorial Image Analaysis 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings
Combinatorial Image Analaysis 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings
Author 
Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Aggarwal, Jake K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34732-0
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings
Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings
Author 
Even, Guy. editor. Rawitz, Dror. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34862-4
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Network Computing and Information Security Second International Conference, NCIS 2012, Shanghai, China, December 7-9, 2012. Proceedings
Network Computing and Information Security Second International Conference, NCIS 2012, Shanghai, China, December 7-9, 2012. Proceedings
Author 
Lei, Jingsheng. editor. Wang, Fu Lee. editor. Li, Mo. editor. Luo, Yuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35211-9
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Computer, network, software, and hardware engineering with applications
Computer, network, software, and hardware engineering with applications
Author 
Schneidewind, Norman.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Reinforcement and systemic machine learning for decision making
Reinforcement and systemic machine learning for decision making
Author 
Kulkarni, Parag.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6266787
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Facing the Multicore-Challenge Aspects of New Paradigms and Technologies in Parallel Computing
Facing the Multicore-Challenge Aspects of New Paradigms and Technologies in Parallel Computing
Author 
Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16233-6
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Author 
Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21691-6
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Algorithms and Data Structures 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011. Proceedings
Algorithms and Data Structures 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011. Proceedings
Author 
Dehne, Frank. editor. Iacono, John. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22300-6
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Combinatorial Optimization and Applications 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011. Proceedings
Combinatorial Optimization and Applications 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011. Proceedings
Author 
Wang, Weifan. editor. Zhu, Xuding. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22616-8
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Data Management in Grid and Peer-to-Peer Systems 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings
Data Management in Grid and Peer-to-Peer Systems 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings
Author 
Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22947-3
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
Author 
Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23397-5
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
Author 
Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23400-2
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Computer Algebra in Scientific Computing 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings
Computer Algebra in Scientific Computing 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23568-9
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Algorithms – ESA 2011 19th Annual European Symposium, Saarbrücken, Germany, September 5-9, 2011. Proceedings
Algorithms – ESA 2011 19th Annual European Symposium, Saarbrücken, Germany, September 5-9, 2011. Proceedings
Author 
Demetrescu, Camil. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23719-5
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Transactions on Computational Science XIV Special Issue on Voronoi Diagrams and Delaunay Triangulation
Transactions on Computational Science XIV Special Issue on Voronoi Diagrams and Delaunay Triangulation
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Mostafavi, Mir Abolfazl. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25249-5
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Algorithms and Computation 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011. Proceedings
Algorithms and Computation 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011. Proceedings
Author 
Asano, Takao. editor. Nakano, Shin-ichi. editor. Okamoto, Yoshio. editor. Watanabe, Osamu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25591-5
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Model Driven SOA Anwendungsorientierte Methodik und Vorgehen in der Praxis
Model Driven SOA Anwendungsorientierte Methodik und Vorgehen in der Praxis
Author 
Rempp, Gerhard. author. Akermann, Mark. author. Löffler, Martin. author. Lehmann, Jens. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14470-7
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Methods and Tools of Parallel Programming Multicomputers Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
Methods and Tools of Parallel Programming Multicomputers Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
Author 
Hsu, Ching-Hsien. editor. Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14822-4
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Self-organising Software From Natural to Artificial Adaptation
Self-organising Software From Natural to Artificial Adaptation
Author 
Di Marzo Serugendo, Giovanna. editor. Gleizes, Marie-Pierre. editor. Karageorgos, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17348-6
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
Author 
Banerjee, Mohua. editor. Seth, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18026-2
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Approximation and Online Algorithms 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010. Revised Papers
Approximation and Online Algorithms 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010. Revised Papers
Author 
Jansen, Klaus. editor. Solis-Oba, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18318-8
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Numerical Methods and Applications 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010. Revised Papers
Numerical Methods and Applications 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010. Revised Papers
Author 
Dimov, Ivan. editor. Dimova, Stefka. editor. Kolkovska, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18466-6
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Languages and Compilers for Parallel Computing 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers
Languages and Compilers for Parallel Computing 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers
Author 
Cooper, Keith. editor. Mellor-Crummey, John. editor. Sarkar, Vivek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19595-2
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
Author 
Marchetti-Spaccamela, Alberto. editor. Segal, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19754-3
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Evolutionary Multi-Criterion Optimization 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings
Evolutionary Multi-Criterion Optimization 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings
Author 
Takahashi, Ricardo H. C. editor. Deb, Kalyanmoy. editor. Wanner, Elizabeth F. editor. Greco, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19893-9
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Integer Programming and Combinatoral Optimization 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings
Integer Programming and Combinatoral Optimization 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings
Author 
Günlük, Oktay. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20807-2
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings
Author 
Achterberg, Tobias. editor. Beck, J. Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21311-3
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Mathematical Morphology and Its Applications to Image and Signal Processing 10th International Symposium, ISMM 2011, Verbania-Intra, Italy, July 6-8, 2011. Proceedings
Mathematical Morphology and Its Applications to Image and Signal Processing 10th International Symposium, ISMM 2011, Verbania-Intra, Italy, July 6-8, 2011. Proceedings
Author 
Soille, Pierre. editor. Pesaresi, Martino. editor. Ouzounis, Georgios K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21569-8
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Optical Supercomputing Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers
Optical Supercomputing Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers
Author 
Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22494-2
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings
Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23178-0
Format: 
Availability 
Online Library~1
Available:
Copies: