Limit Search Results
Author
SpringerLink (Online service)
(2996)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(32)
Kim, Tai-hoon. editor.
(29)
Dongarra, Jack. editor.
(28)
Language
Publication Date
-
2011
(367)
2012
(336)
2010
(320)
2009
(309)
2013
(305)
Subject
Software engineering.
(2980)
Computer Communication Networks.
(1101)
Information systems.
(751)
Artificial intelligence.
(743)
Logic design.
(715)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2998 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31137-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings
Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings
Author 
Winkler, Dietmar. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31199-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings
Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings
Author 
Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31217-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Image and Signal Processing 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings
Image and Signal Processing 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings
Author 
Elmoataz, Abderrahim. editor. Mammass, Driss. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Aboutajdine, Driss. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31254-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Author 
Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31424-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31464-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Speech, Sound and Music Processing: Embracing Research in India 8th International Symposium, CMMR 2011, 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selected Papers
Speech, Sound and Music Processing: Embracing Research in India 8th International Symposium, CMMR 2011, 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selected Papers
Author 
Ystad, Sølvi. editor. Aramaki, Mitsuko. editor. Kronland-Martinet, Richard. editor. Jensen, Kristoffer. editor. Mohanty, Sanghamitra. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31980-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings
Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings
Author 
Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31491-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
Author 
Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31494-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for RoboCup 2011: Robot Soccer World Cup XV
RoboCup 2011: Robot Soccer World Cup XV
Author 
Röfer, Thomas. editor. Mayer, N. Michael. editor. Savage, Jesus. editor. Saranlı, Uluc̨. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32060-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
Author 
Zsók, Viktória. editor. Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32096-5
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Software Testing in the Cloud Migration and Execution
Software Testing in the Cloud Migration and Execution
Author 
Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32122-1
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Mobile Computing, Applications, and Services Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papers
Mobile Computing, Applications, and Services Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papers
Author 
Zhang, Joy Ying. editor. Wilkiewicz, Jarek. editor. Nahapetian, Ani. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32320-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers
Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers
Author 
Beer, Martin. editor. Brom, Cyril. editor. Dignum, Frank. editor. Soo, Von-Wun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32326-3
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Author 
Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32347-8
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Business System Management and Engineering From Open Issues to Applications
Business System Management and Engineering From Open Issues to Applications
Author 
Ardagna, Claudio A. editor. Damiani, Ernesto. editor. Maciaszek, Leszek A. editor. Missikoff, Michele. editor. Parkin, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32439-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Author 
Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32469-7
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Author 
Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32495-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
Author 
Finkel, Alain. editor. Leroux, Jérôme. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33512-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II
Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II
Author 
Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33515-0
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Recent Advances in the Message Passing Interface 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings
Recent Advances in the Message Passing Interface 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings
Author 
Träff, Jesper Larsson. editor. Benkner, Siegfried. editor. Dongarra, Jack J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33518-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers
Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers
Author 
Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33533-4
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
Author 
Richa, Andréa W. editor. Scheideler, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33536-5
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings
Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings
Author 
Hu, Hao. editor. Shi, Xiaoning. editor. Stahlbock, Robert. editor. Voß, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33587-7
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I
On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I
Author 
Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Rinderle-Ma, Stefanie. editor. Dadam, Peter. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33606-5
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings
Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings
Author 
Abelló, Alberto. editor. Bellatreche, Ladjel. editor. Benatallah, Boualem. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33609-6
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II
On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II
Author 
Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Rinderle-Ma, Stefanie. editor. Dadam, Peter. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33615-7
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
Author 
Gilbert, David. editor. Heiner, Monika. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33636-2
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings
Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings
Author 
Aguilera, Marcos K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33651-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
Author 
Ehrig, Hartmut. editor. Engels, Gregor. editor. Kreowski, Hans-Jörg. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33654-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
Author 
France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33666-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
Author 
Ortmeier, Frank. editor. Daniel, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33675-1
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
Author 
Ortmeier, Frank. editor. Daniel, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33678-2
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers
Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers
Author 
Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33681-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Theory and Practice of Natural Computing First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings
Theory and Practice of Natural Computing First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33860-1
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Knowledge Engineering and Knowledge Management 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012. Proceedings
Knowledge Engineering and Knowledge Management 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012. Proceedings
Author 
Teije, Annette. editor. Völker, Johanna. editor. Handschuh, Siegfried. editor. Stuckenschmidt, Heiner. editor. d’Acquin, Mathieu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33876-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Reflections on the History of Computing Preserving Memories and Sharing Stories
Reflections on the History of Computing Preserving Memories and Sharing Stories
Author 
Tatnall, Arthur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33899-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for The Dynamics of Global Sourcing. Perspectives and Practices 6th Global Sourcing Workshop 2012, Courchevel, France, March 12-15, 2012, Revised Selected Papers
The Dynamics of Global Sourcing. Perspectives and Practices 6th Global Sourcing Workshop 2012, Courchevel, France, March 12-15, 2012, Revised Selected Papers
Author 
Kotlarsky, Julia. editor. Oshri, Ilan. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33920-2
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings
Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings
Author 
Castano, Silvana. editor. Vassiliadis, Panos. editor. Lakshmanan, Laks V. editor. Lee, Mong Li. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33999-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
Author 
Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34002-4
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Author 
Durán, Franciso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34005-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Advances in New Technologies, Interactive Interfaces and Communicability Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers
Advances in New Technologies, Interactive Interfaces and Communicability Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers
Author 
Cipolla-Ficarra, Francisco. editor. Veltman, Kim. editor. Verber, Domen. editor. Cipolla-Ficarra, Miguel. editor. Kammüller, Florian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34010-9
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34026-0
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34032-1
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Large-Scale Complex IT Systems. Development, Operation and Management 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
Large-Scale Complex IT Systems. Development, Operation and Management 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
Author 
Calinescu, Radu. editor. Garlan, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34059-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings
Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings
Author 
Liu, Baoxiang. editor. Ma, Maode. editor. Chang, Jincai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34062-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Search Computing Broadening Web Search
Search Computing Broadening Web Search
Author 
Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34213-4
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Service-Oriented Computing 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings
Service-Oriented Computing 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings
Author 
Liu, Chengfei. editor. Ludwig, Heiko. editor. Toumani, Farouk. editor. Yu, Qi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34321-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings
Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings
Author 
Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34327-8
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
Author 
Gill, Andy. editor. Hage, Jurriaan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34407-7
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Model-Based Engineering of Embedded Systems The SPES 2020 Methodology
Model-Based Engineering of Embedded Systems The SPES 2020 Methodology
Author 
Pohl, Klaus. editor. Hönninger, Harald. editor. Achatz, Reinhold. editor. Broy, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34614-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Current Trends in Web Engineering ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers
Current Trends in Web Engineering ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers
Author 
Grossniklaus, Michael. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35623-0
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Author 
Arbab, Farhad. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35743-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
Author 
Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Product Lifecycle Management. Towards Knowledge-Rich Enterprises IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers
Product Lifecycle Management. Towards Knowledge-Rich Enterprises IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers
Author 
Rivest, Louis. editor. Bouras, Abdelaziz. editor. Louhichi, Borhen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35758-9
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Smart Energy Von der reaktiven Kundenverwaltung zum proaktiven Kundenmanagement
Smart Energy Von der reaktiven Kundenverwaltung zum proaktiven Kundenmanagement
Author 
Aichele, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-1981-9
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Grundkurs Microsoft Dynamics AX Die Business-Lösung von Microsoft in Version AX 2012
Grundkurs Microsoft Dynamics AX Die Business-Lösung von Microsoft in Version AX 2012
Author 
Luszczak, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2169-0
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Using Microsoft Dynamics AX 2012
Using Microsoft Dynamics AX 2012
Author 
Luszczak, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2191-1
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Einführung in die Programmierung mit LOGO Lehrbuch für Unterricht und Selbststudium
Einführung in die Programmierung mit LOGO Lehrbuch für Unterricht und Selbststudium
Author 
Hromkovic, Juraj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2266-6
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Praktische Informatik - Eine Einführung Lehr- und Arbeitsbuch mit Tafelbildern
Praktische Informatik - Eine Einführung Lehr- und Arbeitsbuch mit Tafelbildern
Author 
Büchel, Gregor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2283-3
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Formale Grundlagen der Programmierung
Formale Grundlagen der Programmierung
Author 
Nebel, Markus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2296-3
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes
Author 
Storm, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2381-6
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Webseiten-Programmierung Sprachen, Werkzeuge, Entwicklung
Webseiten-Programmierung Sprachen, Werkzeuge, Entwicklung
Author 
Pomaska, Günter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2485-1
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Anwendungsentwicklung für Intelligente Umgebungen im Web Engineering
Anwendungsentwicklung für Intelligente Umgebungen im Web Engineering
Author 
Heil, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2551-3
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Praxis der User Interface-Entwicklung Informationsstrukturen, Designpatterns, Vorgehensmuster
Praxis der User Interface-Entwicklung Informationsstrukturen, Designpatterns, Vorgehensmuster
Author 
Chlebek, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-8219-6
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Einführung in die Softwareentwicklung mit C Eine Einführung mit dem Visual Studio 2010
Einführung in die Softwareentwicklung mit C Eine Einführung mit dem Visual Studio 2010
Author 
Duschl, Dieter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-8239-4
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Testen von Informationssystemen Integriertes und prozessorientiertes Testen
Testen von Informationssystemen Integriertes und prozessorientiertes Testen
Author 
Pilorget, Lionel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-8677-4
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
Author 
Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-54216-2
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Computer Science and its Applications CSA 2012
Computer Science and its Applications CSA 2012
Author 
Yeo, Sang-Soo. editor. Pan, Yi. editor. Lee, Yang Sun. editor. Chang, Hang Bae. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5699-1
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Code Generation with Templates
Code Generation with Templates
Author 
Arnoldus, Jeroen. author. van den Brand, Mark. author. Serebrenik, A. author. Brunekreef, J.J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-56-5
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Arduino and Kinect Projects Design, Build, Blow Their Minds
Arduino and Kinect Projects Design, Build, Blow Their Minds
Author 
Melgar, Enrique Ramos. author. Díez, Ciriaco Castro. author. Jaworski, Przemek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4168-3
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Beginning Android ADK with Arduino
Beginning Android ADK with Arduino
Author 
Böhmer, Mario. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4198-0
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Guide to Software Development Designing and Managing the Life Cycle
Guide to Software Development Designing and Managing the Life Cycle
Author 
Langer, Arthur M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2300-2
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for The Design of Cloud Workflow Systems
The Design of Cloud Workflow Systems
Author 
Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1933-4
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Automated Configuration Problem Solving
Automated Configuration Problem Solving
Author 
Petrie, Charles J. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4532-6
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
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:
78. 
Cover image for Service Virtualization Reality is Overrated
Service Virtualization Reality is Overrated
Author 
Michelsen, John. author. English, Jason. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4672-5
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code
Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code
Author 
Blunden, Bill. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5108-8
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Expert F# 3.0
Expert F# 3.0
Author 
Syme, Don. author. Granicz, Adam. author. Cisternino, Antonio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4651-0
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Software and Systems Traceability
Software and Systems Traceability
Author 
Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2239-5
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Patterns, Programming and Everything
Patterns, Programming and Everything
Author 
Breitman, Karin K. editor. Horspool, R. Nigel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2350-7
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Foundational Java Key Elements and Practical Programming
Foundational Java Key Elements and Practical Programming
Author 
Parsons, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2479-5
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012
Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012
Author 
Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2494-8
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Doing Design Ethnography
Doing Design Ethnography
Author 
Crabtree, Andrew. author. Rouncefield, Mark. author. Tolmie, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2726-0
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
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:
87. 
Cover image for Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
Author 
Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17336-3
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Recht ex machina Formalisierung des Rechts im Internet der Dienste
Recht ex machina Formalisierung des Rechts im Internet der Dienste
Author 
Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17671-5
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings
SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings
Author 
Bieliková, Mária. editor. Friedrich, Gerhard. editor. Gottlob, Georg. editor. Katzenbeisser, Stefan. editor. Turán, György. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27660-6
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Author 
Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27694-1
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Author 
Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27705-4
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers
Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers
Author 
Kannan, Rajkumar. editor. Andres, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27872-3
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Current Trends in Web Engineering Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers
Current Trends in Web Engineering Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers
Author 
Harth, Andreas. editor. Koch, Nora. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27997-3
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
Author 
Gheorghe, Marian. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Verlan, Sergey. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28024-5
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
Author 
Horimoto, Katsuhisa. editor. Nakatsui, Masahiko. editor. Popov, Nikolaj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28067-2
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Web Information Systems and Technologies 7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised Selected Papers
Web Information Systems and Technologies 7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Cordeiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28082-5
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I
Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I
Author 
Daniel, Florian. editor. Barkaoui, Kamel. editor. Dustdar, Schahram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28108-2
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II
Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II
Author 
Daniel, Florian. editor. Barkaoui, Kamel. editor. Dustdar, Schahram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28115-0
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II
Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II
Author 
Jónasson, Kristján. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28145-7
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I
Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I
Author 
Jónasson, Kristján. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28151-8
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings
Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings
Author 
Picco, Gian Pietro. editor. Heinzelman, Wendi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Agile Service Development Combining Adaptive Methods and Flexible Solutions
Agile Service Development Combining Adaptive Methods and Flexible Solutions
Author 
Lankhorst, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28188-4
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
Author 
Erlebach, Thomas. editor. Nikoletseas, Sotiris. editor. Orponen, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28209-6
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Relationale Datenbanken und SQL in Theorie und Praxis
Relationale Datenbanken und SQL in Theorie und Praxis
Author 
Unterstein, Michael. author. Matthiessen, Günter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28986-6
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Resilience Assessment and Evaluation of Computing Systems
Resilience Assessment and Evaluation of Computing Systems
Author 
Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29032-9
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Author 
Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29414-3
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Author 
Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29479-2
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Author 
Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29485-3
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
Author 
Vos, Alexis. editor. Wille, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29517-1
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Communication Technologies for Vehicles 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings
Communication Technologies for Vehicles 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings
Author 
Vinel, Alexey. editor. Mehmood, Rashid. editor. Berbineau, Marion. editor. Garcia, Cristina Rico. editor. Huang, Chung-Ming. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29667-3
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Author 
Clarke, Edmund. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I
Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I
Author 
Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29737-3
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II
Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II
Author 
Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29740-3
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Author 
Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29822-6
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
Author 
Henderson-Sellers, Brian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29825-7
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Author 
Carbone, Marco. editor. Petit, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29834-9
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
Author 
Khurshid, Sarfraz. editor. Sen, Koushik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29860-8
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings
Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings
Author 
Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29863-9
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
Author 
Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29892-9
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers
Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers
Author 
Das, Vinu V. editor. Ariwa, Ezendu. editor. Rahayu, Syarifah Bahiyah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32573-1
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings
ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings
Author 
Auweter, Axel. editor. Kranzlmüller, Dieter. editor. Tahamtan, Amirreza. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32606-6
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Bio-Inspired Models of Network, Information, and Computing Systems 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papers
Bio-Inspired Models of Network, Information, and Computing Systems 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papers
Author 
Suzuki, Junichi. editor. Nakano, Tadashi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32615-8
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Topics in Performance Evaluation, Measurement and Characterization Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers
Topics in Performance Evaluation, Measurement and Characterization Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32627-1
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings
Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings
Author 
Lee, Geuk. editor. Howard, Daniel. editor. Kang, Jeong Jin. editor. Ślęzak, Dominik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32645-5
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
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:
126. 
Cover image for Rules on the Web: Research and Applications 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings
Rules on the Web: Research and Applications 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings
Author 
Bikakis, Antonis. editor. Giurca, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32689-9
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings
Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings
Author 
Lee, Geuk. editor. Howard, Daniel. editor. Ślęzak, Dominik. editor. Hong, You Sik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32692-9
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for PRIMA 2012: Principles and Practice of Multi-Agent Systems 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012. Proceedings
PRIMA 2012: Principles and Practice of Multi-Agent Systems 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012. Proceedings
Author 
Rahwan, Iyad. editor. Wobcke, Wayne. editor. Sen, Sandip. editor. Sugawara, Toshiharu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32729-2
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for E-Voting and Identity Third International Conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised Selected Papers
E-Voting and Identity Third International Conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised Selected Papers
Author 
Kiayias, Aggelos. editor. Lipmaa, Helger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32747-6
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Author 
Giannakopoulou, Dimitra. editor. Méry, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32759-9
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
Author 
Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32770-4
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Collaborative Networks in the Internet of Services 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012. Proceedings
Collaborative Networks in the Internet of Services 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012. Proceedings
Author 
Camarinha-Matos, Luis M. editor. Xu, Lai. editor. Afsarmanesh, Hamideh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32775-9
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers
Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers
Author 
Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32778-0
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
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:
135. 
Cover image for Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Author 
Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34176-2
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Author 
Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34188-5
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings
Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings
Author 
Goldberg, Paul W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35311-6
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Ubiquitous Computing and Ambient Intelligence 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings
Ubiquitous Computing and Ambient Intelligence 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings
Author 
Bravo, José. editor. López-de-Ipiña, Diego. editor. Moya, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35377-2
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Swarm, Evolutionary, and Memetic Computing Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012. Proceedings
Swarm, Evolutionary, and Memetic Computing Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012. Proceedings
Author 
Panigrahi, Bijaya Ketan. editor. Das, Swagatam. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Nanda, Pradipta Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35380-2
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Ambient Assisted Living and Home Care 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings
Ambient Assisted Living and Home Care 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings
Author 
Bravo, José. editor. Hervás, Ramón. editor. Rodríguez, Marcela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35395-6
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings
Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings
Author 
Baldoni, Roberto. editor. Flocchini, Paola. editor. Binoy, Ravindran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35476-2
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Artificial General Intelligence 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings
Artificial General Intelligence 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings
Author 
Bach, Joscha. editor. Goertzel, Ben. editor. Iklé, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35506-6
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Coordination, Organizations, Institutions, and Norms in Agent System VII COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011, Revised Selected Papers
Coordination, Organizations, Institutions, and Norms in Agent System VII COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011, Revised Selected Papers
Author 
Cranefield, Stephen. editor. Riemsdijk, M. Birna. editor. Vázquez-Salceda, Javier. editor. Noriega, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35545-5
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Transactions on Aspect-Oriented Software Development IX
Transactions on Aspect-Oriented Software Development IX
Author 
Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35551-6
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers
Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers
Author 
Korakis, Thanasis. editor. Zink, Michael. editor. Ott, Maximilian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35576-9
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Future Generation Information Technology 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Future Generation Information Technology 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Lee, Young-hoon. editor. Fang, Wai-chi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35585-1
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Computer Applications for Communication, Networking, and Digital Contents International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Computer Applications for Communication, Networking, and Digital Contents International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Ko, Dae-sik. editor. Vasilakos, Thanos. editor. Stoica, Adrian. editor. Abawajy, Jemal. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35594-3
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Computer Applications for Graphics, Grid Computing, and Industrial Environment International Conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Computer Applications for Graphics, Grid Computing, and Industrial Environment International Conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Cho, Hyun-seob. editor. Gervasi, Osvaldo. editor. Yau, Stephen S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35600-1
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Computer Applications for Database, Education, and Ubiquitous Computing International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Computer Applications for Database, Education, and Ubiquitous Computing International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Ma, Jianhua. editor. Fang, Wai-chi. editor. Zhang, Yanchun. editor. Cuzzocrea, Alfredo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35603-2
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings
Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings
Author 
Park, James J. editor. Zomaya, Albert. editor. Yeo, Sang-Soo. editor. Sahni, Sartaj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35606-3
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
Author 
Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34691-0
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Advances in Multimedia Information Processing – PCM 2012 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012. Proceedings
Advances in Multimedia Information Processing – PCM 2012 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012. Proceedings
Author 
Lin, Weisi. editor. Xu, Dong. editor. Ho, Anthony. editor. Wu, Jianxin. editor. He, Ying. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34778-8
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Author 
Hähnle, Reiner. editor. Knoop, Jens. editor. Margaria, Tiziana. editor. Schreiner, Dietmar. editor. Steffen, Bernhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34781-8
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Multi-Agent Systems 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers
Multi-Agent Systems 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers
Author 
Cossentino, Massimo. editor. Kaisers, Michael. editor. Tuyls, Karl. editor. Weiss, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34799-3
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Internet and Distributed Computing Systems 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings
Internet and Distributed Computing Systems 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings
Author 
Xiang, Yang. editor. Pathan, Mukaddim. editor. Tao, Xiaohui. editor. Wang, Hua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34883-9
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Ambient Intelligence Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings
Ambient Intelligence Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings
Author 
Paternò, Fabio. editor. Ruyter, Boris. editor. Markopoulos, Panos. editor. Santoro, Carmen. editor. Loenen, Evert. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34898-3
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Multiple Access Communications 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings
Multiple Access Communications 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings
Author 
Bellalta, Boris. editor. Vinel, Alexey. editor. Jonsson, Magnus. editor. Barcelo, Jaume. editor. Maslennikov, Roman. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34976-8
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Web Information Systems Engineering - WISE 2012 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings
Web Information Systems Engineering - WISE 2012 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings
Author 
Wang, X. Sean. editor. Cruz, Isabel. editor. Delis, Alex. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35063-4
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Advances in Information Technology 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012. Proceedings
Advances in Information Technology 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012. Proceedings
Author 
Papasratorn, Borworn. editor. Charoenkitkarn, Nipon. editor. Lavangnananda, Kittichai. editor. Chutimaskul, Wichian. editor. Vanijja, Vajirasak. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35076-4
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Middleware 2012 ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings
Middleware 2012 ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings
Author 
Narasimhan, Priya. editor. Triantafillou, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35170-9
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II
The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II
Author 
Cudré-Mauroux, Philippe. editor. Heflin, Jeff. editor. Sirin, Evren. editor. Tudorache, Tania. editor. Euzenat, Jérôme. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35173-0
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I
The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I
Author 
Cudré-Mauroux, Philippe. editor. Heflin, Jeff. editor. Sirin, Evren. editor. Tudorache, Tania. editor. Euzenat, Jérôme. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35176-1
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency VI
Transactions on Petri Nets and Other Models of Concurrency VI
Author 
Jensen, Kurt. editor. Aalst, Wil M. editor. Ajmone Marsan, Marco. editor. Franceschinis, Giuliana. editor. Kleijn, Jetty. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35179-2
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
Author 
Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35182-2
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Economics of Grids, Clouds, Systems, and Services 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings
Economics of Grids, Clouds, Systems, and Services 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings
Author 
Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35194-5
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35248-5
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Green and Smart Technology with Sensor Applications International Conferences, GST and SIA 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Green and Smart Technology with Sensor Applications International Conferences, GST and SIA 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Author 
Cho, Hyun-seob. editor. Kim, Tai-hoon. editor. Mohammed, Sabah. editor. Adeli, Hojjat. editor. Oh, Myoung-kwan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35251-5
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
Author 
Hawblitzel, Chris. editor. Miller, Dale. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35308-6
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Requirements Engineering
Requirements Engineering
Author 
Hull, Elizabeth. author. Jackson, Ken. author. Dick, Jeremy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-405-0
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for The Seductive Computer Why IT Systems Always Fail
The Seductive Computer Why IT Systems Always Fail
Author 
Partridge, Derek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-498-2
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Object-Oriented Analysis and Design
Object-Oriented Analysis and Design
Author 
Ramnath, Sarnath. editor. Dathan, Brahma. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-522-4
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Structures de données et méthodes formelles
Structures de données et méthodes formelles
Author 
Guyomard, Marc. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-8178-0200-8
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Enterprise Architecture Frameworks Kompendium Über 50 Rahmenwerke für das IT-Management
Enterprise Architecture Frameworks Kompendium Über 50 Rahmenwerke für das IT-Management
Author 
Matthes, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12955-1
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Model-Based Software Performance Analysis
Model-Based Software Performance Analysis
Author 
Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13621-4
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
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:
176. 
Cover image for Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings
Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings
Author 
Das, Vinu V. editor. Stephen, Janahanlal. editor. Thankachan, Nessy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15739-4
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Handbook of Conceptual Modeling Theory, Practice, and Research Challenges
Handbook of Conceptual Modeling Theory, Practice, and Research Challenges
Author 
Embley, David W. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15865-0
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Monitoring von Motivationskonzepten für den Techniknachwuchs (MoMoTech)
Monitoring von Motivationskonzepten für den Techniknachwuchs (MoMoTech)
Author 
acatech — Deutsche Akademie der Technikwissenschaften. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15921-3
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for The Evolution of Conceptual Modeling From a Historical Perspective towards the Future of Conceptual Modeling
The Evolution of Conceptual Modeling From a Historical Perspective towards the Future of Conceptual Modeling
Author 
Kaschek, Roland. editor. Delcambre, Lois. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17505-3
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Information Security 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers
Information Security 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers
Author 
Burmester, Mike. editor. Tsudik, Gene. editor. Magliveras, Spyros. editor. Ilić, Ivana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18178-8
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Performance Evaluation, Measurement and Characterization of Complex Systems Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers
Performance Evaluation, Measurement and Characterization of Complex Systems Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18206-8
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Search Computing Trends and Developments
Search Computing Trends and Developments
Author 
Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author 
Barthe, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19718-5
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Software Architecture A Comprehensive Framework and Guide for Practitioners
Software Architecture A Comprehensive Framework and Guide for Practitioners
Author 
Vogel, Oliver. author. Arnold, Ingo. author. Chughtai, Arif. author. Kehrer, Timo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19736-9
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
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:
186. 
Cover image for Communication Technologies for Vehicles Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings
Communication Technologies for Vehicles Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings
Author 
Strang, Thomas. editor. Festag, Andreas. editor. Vinel, Alexey. editor. Mehmood, Rashid. editor. Rico Garcia, Cristina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19786-4
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author 
Hofmann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19805-2
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Author 
Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19829-8
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author 
Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19835-9
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author 
Knoop, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19861-8
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Transactions on Computational Collective Intelligence III
Transactions on Computational Collective Intelligence III
Author 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19968-4
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Engineering Methods in the Service-Oriented Context 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings
Engineering Methods in the Service-Oriented Context 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings
Author 
Ralyté, Jolita. editor. Mirbel, Isabelle. editor. Deneckère, Rébecca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19997-4
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Technology Systems and Management First International Conference, ICTSM 2011, Mumbai, India, February 25-27, 2011. Selected Papers
Technology Systems and Management First International Conference, ICTSM 2011, Mumbai, India, February 25-27, 2011. Selected Papers
Author 
Shah, Ketan. editor. Lakshmi Gorty, V. R. editor. Phirke, Ajay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20209-4
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II
Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II
Author 
Dobnikar, Andrej. editor. Lotrič, Uroš. editor. Šter, Branko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20267-4
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Architecture Principles The Cornerstones of Enterprise Architecture
Architecture Principles The Cornerstones of Enterprise Architecture
Author 
Greefhorst, Danny. author. Proper, Erik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20279-7
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I
Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I
Author 
Dobnikar, Andrej. editor. Lotrič, Uroš. editor. Šter, Branko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20282-7
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
Author 
Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20398-5
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for UNIX Operating System The Development Tutorial via UNIX Kernel Services
UNIX Operating System The Development Tutorial via UNIX Kernel Services
Author 
Liu, Yukun. author. Yue, Yong. author. Guo, Liwei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20432-6
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Advances in Wireless, Mobile Networks and Applications International Conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011. Proceedings
Advances in Wireless, Mobile Networks and Applications International Conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011. Proceedings
Author 
Al-Majeed, Salah S. editor. Hu, Chih-Lin. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21153-9
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Software Process Improvement and Capability Determination 11th International Conference, SPICE 2011, Dublin, Ireland, May 30 – June 1, 2011. Proceedings
Software Process Improvement and Capability Determination 11th International Conference, SPICE 2011, Dublin, Ireland, May 30 – June 1, 2011. Proceedings
Author 
O’Connor, Rory V. editor. Rout, Terry. editor. McCaffery, Fergal. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21233-8
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems VI COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers
Coordination, Organizations, Institutions, and Norms in Agent Systems VI COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers
Author 
Vos, Marina. editor. Fornara, Nicoletta. editor. Pitt, Jeremy V. editor. Vouros, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21268-0
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings
Author 
Al-Begain, Khalid. editor. Balsamo, Simonetta. editor. Fiems, Dieter. editor. Marin, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21713-5
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Pervasive Computing 9th International Conference, Pervasive 2011, San Francisco, USA, June 12-15, 2011. Proceedings
Pervasive Computing 9th International Conference, Pervasive 2011, San Francisco, USA, June 12-15, 2011. Proceedings
Author 
Lyons, Kent. editor. Hightower, Jeffrey. editor. Huang, Elaine M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21726-5
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers
Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers
Author 
Xenakis, Christos. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21694-7
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Advances in Network Security and Applications 4th International Conference, CNSA 2011, Chennai, India, July 15-17, 2011
Advances in Network Security and Applications 4th International Conference, CNSA 2011, Chennai, India, July 15-17, 2011
Author 
Wyld, David C. editor. Wozniak, Michal. editor. Chaki, Nabendu. editor. Meghanathan, Natarajan. editor. Nagamalai, Dhinaharan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22540-6
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Trends in Network and Communications International Conferences, NeCOM, WeST, WiMoN 2011, Chennai, India, July 15-17, 2011. Proceedings
Trends in Network and Communications International Conferences, NeCOM, WeST, WiMoN 2011, Chennai, India, July 15-17, 2011. Proceedings
Author 
Wyld, David C. editor. Wozniak, Michal. editor. Chaki, Nabendu. editor. Meghanathan, Natarajan. editor. Nagamalai, Dhinaharan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22543-7
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
Author 
Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22546-8
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Advances in Computing and Information Technology First International Conference, ACITY 2011, Chennai, India, July 15-17, 2011. Proceedings
Advances in Computing and Information Technology First International Conference, ACITY 2011, Chennai, India, July 15-17, 2011. Proceedings
Author 
Wyld, David C. editor. Wozniak, Michal. editor. Chaki, Nabendu. editor. Meghanathan, Natarajan. editor. Nagamalai, Dhinaharan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22555-0
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for High Performance Architecture and Grid Computing International Conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011. Proceedings
High Performance Architecture and Grid Computing International Conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011. Proceedings
Author 
Mantri, Archana. editor. Nandi, Suman. editor. Kumar, Gaurav. editor. Kumar, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22577-2
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
Author 
Hartanto, Ronny. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22580-2
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Analyzing Computer System Performance with Perl::PDQ
Analyzing Computer System Performance with Perl::PDQ
Author 
Gunther, Neil J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22583-3
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Kanban für die Softwareentwicklung
Kanban für die Softwareentwicklung
Author 
Epping, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22595-6
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
Author 
Holzer, Markus. editor. Kutrib, Martin. editor. Pighizzini, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22600-7
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for ECOOP 2011 – Object-Oriented Programming 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings
ECOOP 2011 – Object-Oriented Programming 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings
Author 
Mezini, Mira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22655-7
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Parallel and Distributed Computing and Networks International Conference, PDCN 2010, Chongqing, China, December 13-14, 2010. Revised Selected Papers
Parallel and Distributed Computing and Networks International Conference, PDCN 2010, Chongqing, China, December 13-14, 2010. Revised Selected Papers
Author 
Qi, Luo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22706-6
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Advances in Computing and Communications First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, Part I
Advances in Computing and Communications First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, Part I
Author 
Abraham, Ajith. editor. Lloret Mauri, Jaime. editor. Buford, John F. editor. Suzuki, Junichi. editor. Thampi, Sabu M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22709-7
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Advances in Computing and Communications First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings
Advances in Computing and Communications First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings
Author 
Abraham, Ajith. editor. Lloret Mauri, Jaime. editor. Buford, John F. editor. Suzuki, Junichi. editor. Thampi, Sabu M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22714-1
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for e-Technologies and Networks for Development First International Conference, ICeND 2011, Dar-es-Salaam, Tanzania, August 3-5, 2011. Proceedings
e-Technologies and Networks for Development First International Conference, ICeND 2011, Dar-es-Salaam, Tanzania, August 3-5, 2011. Proceedings
Author 
Yonazi, Jim James. editor. Sedoyeka, Eliamani. editor. Ariwa, Ezendu. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22729-5
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Towards a Service-Based Internet. ServiceWave 2010 Workshops International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers
Towards a Service-Based Internet. ServiceWave 2010 Workshops International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers
Author 
Cezon, Michel. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22760-8
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011, Proceedings, Part III
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011, Proceedings, Part III
Author 
Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23345-6
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Information and Communication on Technology for the Fight against Global Warming First International Conference, ICT-GLOW 2011, Toulouse, France, August 30-31, 2011. Proceedings
Information and Communication on Technology for the Fight against Global Warming First International Conference, ICT-GLOW 2011, Toulouse, France, August 30-31, 2011. Proceedings
Author 
Kranzlmüller, Dieter. editor. Toja, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23447-7
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for S-BPM ONE - Learning by Doing - Doing by Learning Third International Conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011. Proceedings
S-BPM ONE - Learning by Doing - Doing by Learning Third International Conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011. Proceedings
Author 
Schmidt, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23471-2
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Wireless Algorithms, Systems, and Applications 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011. Proceedings
Wireless Algorithms, Systems, and Applications 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011. Proceedings
Author 
Cheng, Yu. editor. Eun, Do Young. editor. Qin, Zhiguang. editor. Song, Min. editor. Xing, Kai. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23490-3
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Autonomic and Trusted Computing 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings
Autonomic and Trusted Computing 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings
Author 
Calero, Jose M. Alcaraz. editor. Yang, Laurence T. editor. Mármol, Félix Gómez. editor. García Villalba, Luis Javier. editor. Li, Andy Xiaolin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23496-5
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Energy-Aware Communications 17th International Workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011. Proceedings
Energy-Aware Communications 17th International Workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011. Proceedings
Author 
Lehnert, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23541-2
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings
Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings
Author 
Rudolph, Sebastian. editor. Gutierrez, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23580-1
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers
Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers
Author 
Par, Gerard. editor. Morrow, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23583-2
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Ubiquitous Intelligence and Computing 8th International Conference, UIC 2011, Banff, Canada, September 2-4, 2011. Proceedings
Ubiquitous Intelligence and Computing 8th International Conference, UIC 2011, Banff, Canada, September 2-4, 2011. Proceedings
Author 
Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Ma, Jianhua. editor. Zhu, Chunsheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23641-9
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Author 
Yahav, Eran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23702-7
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Cooperative Design, Visualization, and Engineering 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011. Proceedings
Cooperative Design, Visualization, and Engineering 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011. Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23734-8
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III
Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III
Author 
Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23765-2
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV
Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV
Author 
Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23768-3
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II
Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II
Author 
Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23771-3
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part I
Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part I
Author 
Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23774-4
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Multiple Access Communications 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011. Proceedings
Multiple Access Communications 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011. Proceedings
Author 
Sacchi, Claudio. editor. Bellalta, Boris. editor. Vinel, Alexey. editor. Schlegel, Christian. editor. Granelli, Fabrizio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23795-9
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings
Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings
Author 
Crnkovic, Ivica. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23798-0
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Collaboration and Technology 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011. Proceedings
Collaboration and Technology 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011. Proceedings
Author 
Vivacqua, Adriana S. editor. Gutwin, Carl. editor. Borges, Marcos R. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23801-7
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I
Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I
Author 
Deng, Hepu. editor. Miao, Duoqian. editor. Lei, Jingsheng. editor. Wang, Fu Lee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23881-9
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II
Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II
Author 
Deng, Hepu. editor. Miao, Duoqian. editor. Lei, Jingsheng. editor. Wang, Fu Lee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23887-1
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part III
Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part III
Author 
Deng, Hepu. editor. Miao, Duoqian. editor. Lei, Jingsheng. editor. Wang, Fu Lee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23896-3
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
Author 
Fahrenberg, Uli. editor. Tripakis, Stavros. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24310-3
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part III
ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part III
Author 
Cruz-Cunha, Maria Manuela. editor. Varajão, João. editor. Powell, Philip. editor. Martinho, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24352-3
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part II
ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part II
Author 
Cruz-Cunha, Maria Manuela. editor. Varajão, João. editor. Powell, Philip. editor. Martinho, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24355-4
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011, Proceedings, Part I
ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011, Proceedings, Part I
Author 
Cruz-Cunha, Maria Manuela. editor. Varajão, João. editor. Powell, Philip. editor. Martinho, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24358-5
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Author 
Tinelli, Cesare. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24364-6
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
Author 
Bultan, Tevfik. editor. Hsiung, Pao-Ann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24372-1
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Network and Parallel Computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings
Network and Parallel Computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings
Author 
Altman, Erik. editor. Shi, Weisong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24403-2
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Open Source Systems: Grounding Research 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011. Proceedings
Open Source Systems: Grounding Research 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011. Proceedings
Author 
Hissam, Scott A. editor. Russo, Barbara. editor. Mendonça Neto, Manoel G. editor. Kon, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24418-6
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
Author 
Salaün, Gwen. editor. Schätz, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24431-5
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Web Information System Engineering – WISE 2011 12th International Conference, Sydney, Australia, October 13-14, 2011. Proceedings
Web Information System Engineering – WISE 2011 12th International Conference, Sydney, Australia, October 13-14, 2011. Proceedings
Author 
Bouguettaya, Athman. editor. Hauswirth, Manfred. editor. Liu, Ling. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24434-6
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Advanced Computer Science and Information Technology Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings
Advanced Computer Science and Information Technology Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Robles, Rosslin John. editor. Balitanas, Maricel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24267-0
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Computer Safety, Reliability, and Security 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
Computer Safety, Reliability, and Security 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
Author 
Flammini, Francesco. editor. Bologna, Sandro. editor. Vittorini, Valeria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24270-0
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Emerging Research in Web Information Systems and Mining International Conference, WISM 2011, Taiyuan, China, September 23-25, 2011. Proceedings
Emerging Research in Web Information Systems and Mining International Conference, WISM 2011, Taiyuan, China, September 23-25, 2011. Proceedings
Author 
Zhiguo, Gong. editor. Luo, Xiangfeng. editor. Chen, Junjie. editor. Wang, Fu Lee. editor. Lei, Jingsheng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24273-1
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
Author 
Hage, Jurriaan. editor. Morazán, Marco T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24276-2
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
Author 
Delzanno, Giorgio. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24288-5
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
Author 
Jones, Cliff B. editor. Lloyd, John L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24541-1
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings
Stabilization, Safety, and Security of Distributed Systems 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings
Author 
Défago, Xavier. editor. Petit, Franck. editor. Villain, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24550-3
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for New Studies in Global IT and Business Service Outsourcing 5th Global Scourcing Workshop 2011, Courchevel, France, March 14-17, 2011, Revised Selected Papers
New Studies in Global IT and Business Service Outsourcing 5th Global Scourcing Workshop 2011, Courchevel, France, March 14-17, 2011, Revised Selected Papers
Author 
Kotlarsky, Julia. editor. Willcocks, Leslie P. editor. Oshri, Ilan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24815-3
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Information Security 14th International Conference, ISC 2011, Xi’an, China, October 26-29, 2011. Proceedings
Information Security 14th International Conference, ISC 2011, Xi’an, China, October 26-29, 2011. Proceedings
Author 
Lai, Xuejia. editor. Zhou, Jianying. editor. Li, Hui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24861-0
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
Author 
Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24897-9
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Rule - Based Modeling and Computing on the Semantic Web 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings
Rule - Based Modeling and Computing on the Semantic Web 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings
Author 
Olken, Frank. editor. Palmirani, Monica. editor. Sottara, Davide. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24908-2
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
Author 
Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25318-8
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Author 
Jouannaud, Jean-Pierre. editor. Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25379-9
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Complex Networks Second International Workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, Revised Selected Papers
Complex Networks Second International Workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, Revised Selected Papers
Author 
F. Costa, Luciano. editor. Evsukoff, Alexandre. editor. Mangioni, Giuseppe. editor. Menezes, Ronaldo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25501-4
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Social Robotics Third International Conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedings
Social Robotics Third International Conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedings
Author 
Mutlu, Bilge. editor. Bartneck, Christoph. editor. Ham, Jaap. editor. Evers, Vanessa. editor. Kanda, Takayuki. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25504-5
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Internet and Network Economics 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011. Proceedings
Internet and Network Economics 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011. Proceedings
Author 
Chen, Ning. editor. Elkind, Edith. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25510-6
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Service-Oriented Computing 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings
Service-Oriented Computing 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings
Author 
Kappel, Gerti. editor. Maamar, Zakaria. editor. Motahari-Nezhad, Hamid R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25535-9
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers
Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers
Author 
Hummel, Karin Anna. editor. Hlavacs, Helmut. editor. Gansterer, Wilfried. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25575-5
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Computational Intelligence and Information Technology First International Conference, CIIT 2011, Pune, India, November 7-8, 2011. Proceedings
Computational Intelligence and Information Technology First International Conference, CIIT 2011, Pune, India, November 7-8, 2011. Proceedings
Author 
Das, Vinu V. editor. Thankachan, Nessy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25734-6
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Middleware 2011 ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011. Proceedings
Middleware 2011 ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011. Proceedings
Author 
Kon, Fabio. editor. Kermarrec, Anne-Marie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25821-3
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
Author 
Fernàndez Anta, Antonio. editor. Lipari, Giuseppe. editor. Roy, Matthieu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25873-2
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Grid and Distributed Computing International Conference, GDC 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
Grid and Distributed Computing International Conference, GDC 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Cho, Hyun-seob. editor. Gervasi, Osvaldo. editor. Yau, Stephen S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27180-9
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part II
Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part II
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Grosky, William I. editor. Pissinou, Niki. editor. Shih, Timothy K. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27186-1
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings
Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings
Author 
Chaki, Nabendu. editor. Cortesi, Agostino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27245-5
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Smart Card Research and Advanced Applications 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers
Smart Card Research and Advanced Applications 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers
Author 
Prouff, Emmanuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27257-8
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Building the e-World Ecosystem 11th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2011, Kaunas, Lithuania, October 12-14, 2011, Revised Selected Papers
Building the e-World Ecosystem 11th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2011, Kaunas, Lithuania, October 12-14, 2011, Revised Selected Papers
Author 
Skersys, Tomas. editor. Butleris, Rimantas. editor. Nemuraite, Lina. editor. Suomi, Reima. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27260-8
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Innovative Computing Technology First International Conference, INCT 2011, Tehran, Iran, December 13-15, 2011. Proceedings
Innovative Computing Technology First International Conference, INCT 2011, Tehran, Iran, December 13-15, 2011. Proceedings
Author 
Pichappan, Pit. editor. Ahmadi, Hojat. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27337-7
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Das V-Modell® XT anpassen Anpassung und Einführung kompakt für V-Modell® XT Prozessingenieure
Das V-Modell® XT anpassen Anpassung und Einführung kompakt für V-Modell® XT Prozessingenieure
Author 
Kuhrmann, Marco. author. Ternité, Thomas. author. Friedrich, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01490-1
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Praxishandbuch Web Dynpro ABAP
Praxishandbuch Web Dynpro ABAP
Author 
Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11387-1
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Model-Driven Development of Advanced User Interfaces
Model-Driven Development of Advanced User Interfaces
Author 
Hussmann, Heinrich. editor. Meixner, Gerrit. editor. Zuehlke, Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14562-9
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
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:
282. 
Cover image for Management von IT-Projekten Von der Planung zur Realisierung
Management von IT-Projekten Von der Planung zur Realisierung
Author 
Wieczorrek, Hans W. author. Mertens, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16127-8
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
Author 
Cousot, Radhia. editor. Martel, Matthieu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15769-1
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I
Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I
Author 
Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16336-4
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Author 
Beckert, Bernhard. editor. Marché, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18070-5
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Advances in Networks and Communications First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part II
Advances in Networks and Communications First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part II
Author 
Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17878-8
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Advanced Computing First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III
Advanced Computing First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III
Author 
Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17881-8
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Knowledge Discovery, Knowlege Engineering and Knowledge Management First International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009, Revised Selected Papers
Knowledge Discovery, Knowlege Engineering and Knowledge Management First International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009, Revised Selected Papers
Author 
Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19032-2
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings
Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings
Author 
Natarajan, Raja. editor. Ojo, Adegboyega. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19056-8
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Architecture of Computing Systems - ARCS 2011 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings
Architecture of Computing Systems - ARCS 2011 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings
Author 
Berekovic, Mladen. editor. Fornaciari, William. editor. Brinkschulte, Uwe. editor. Silvano, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19137-4
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Self-Organizing Systems 5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24. 2011. Proceedings
Self-Organizing Systems 5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24. 2011. Proceedings
Author 
Bettstetter, Christian. editor. Gershenson, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Technological Innovation for Sustainability Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings
Technological Innovation for Sustainability Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings
Author 
Camarinha-Matos, Luis M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Essential Software Architecture
Essential Software Architecture
Author 
Gorton, Ian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19176-3
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Wireless Sensor Networks 8th European Conference, EWSN 2011, Bonn, Germany, February 23-25, 2011. Proceedings
Wireless Sensor Networks 8th European Conference, EWSN 2011, Bonn, Germany, February 23-25, 2011. Proceedings
Author 
Marrón, Pedro José. editor. Whitehouse, Kamin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19186-2
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Semantic Web Services
Semantic Web Services
Author 
Fensel, Dieter. author. Facca, Federico Michele. author. Simperl, Elena. author. Toma, Ioan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19193-0
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Author 
Namjoshi, Kedar. editor. Zeller, Andreas. editor. Ziv, Avi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19237-1
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Passive and Active Measurement 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings
Passive and Active Measurement 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings
Author 
Spring, Neil. editor. Riley, George F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19260-9
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for High Performance Computing for Computational Science – VECPAR 2010 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers
High Performance Computing for Computational Science – VECPAR 2010 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers
Author 
Palma, José M. Laginha M. editor. Daydé, Michel. editor. Marques, Osni. editor. Lopes, João Correia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19328-6
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Process Mining Discovery, Conformance and Enhancement of Business Processes
Process Mining Discovery, Conformance and Enhancement of Business Processes
Author 
van der Aalst, Wil M. P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19345-3
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Human-Robot Personal Relationships Third International Conference, HRPR 2010, Leiden, The Netherlands, June 23-24, 2010, Revised Selected Papers
Human-Robot Personal Relationships Third International Conference, HRPR 2010, Leiden, The Netherlands, June 23-24, 2010, Revised Selected Papers
Author 
Lamers, Maarten H. editor. Verbeek, Fons J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19385-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action