Limit Search Results
Author
SpringerLink (Online service)
(331)
Kim, Tai-hoon. editor.
(7)
Albers, Susanne. editor.
(3)
Gavrilova, Marina L. editor.
(3)
Gervasi, Osvaldo. editor.
(3)
Language
Subject
Software engineering.
(334)
Computer science.
(309)
Information systems.
(84)
Computer Communication Networks.
(78)
Logic design.
(55)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
341 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Handbook of software engineering & knowledge engineering
Handbook of software engineering & knowledge engineering
Author 
Chang, Shi Kuo, 1944- ed.
Preferred Shelf Number 
QA 76.758 H36 2001- V.2
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Software Engineering for Self-Adaptive Systems
Software Engineering for Self-Adaptive Systems
Author 
Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02161-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Systems and software engineering with applications
Systems and software engineering with applications
Author 
Schneidewind, Norman.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Experience and Knowledge Management in Software Engineering
Experience and Knowledge Management in Software Engineering
Author 
Schneider, Kurt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95880-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software Engineering Research, Management and Applications 2009
Software Engineering Research, Management and Applications 2009
Author 
Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05441-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Requirements engineering : from system goals to UML models to software specifications
Requirements engineering : from system goals to UML models to software specifications
Author 
Lamsweerde, A. van (Axel)
Preferred Shelf Number 
QA76.758 L28 2009
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
Cover image for Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering
Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering
Author 
Seffah, Ahmed. editor. Metzker, Eduard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-019-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI
Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI
Author 
Seffah, Ahmed. editor. Vanderdonckt, Jean. editor. Desmarais, Michel C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-907-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures
Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures
Author 
Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95888-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
Author 
Chaudron, Michel R. V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01648-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings
Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings
Author 
Glinz, Martin. editor. Heymans, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02050-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings
Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings
Author 
Edwards, Stephen H. editor. Kulczycki, Gregory. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04211-9
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Author 
Kim, Tai-hoon. editor. Fang, Wai-Chi. editor. Lee, Changhoon. editor. Arnett, Kirk P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10242-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings
Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings
Author 
Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00199-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering
Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering
Author 
Katz, Shmuel. editor. Ossher, Harold. editor. France, Robert. editor. Jézéquel, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03764-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten
Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten
Author 
Kleuker, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9235-5
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Author 
Gotel, Olly. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02987-5
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Author 
Bove, Ana. editor. Barbosa, Luís Soares. editor. Pardo, Alberto. editor. Pinto, Jorge Sousa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03153-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers
Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers
Author 
Gašević, Dragan. editor. Lämmel, Ralf. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00434-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Chechik, Marsha. editor. Wirsing, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00593-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Author 
Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01203-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers
Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers
Author 
Luck, Michael. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01338-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings
Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings
Author 
Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Maurer, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01853-4
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers
Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers
Author 
Berkling, Kay. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01856-5
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Author 
Lewis, Grace A. editor. Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02414-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Author 
Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. Jiang, Tao. editor. Verner, June. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10619-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Author 
Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10373-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Software performance and scalability a quantitative approach
Software performance and scalability a quantitative approach
Author 
Liu, Henry H. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?bookid=33731
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=448916
John Wiley http://dx.doi.org/10.1002/9780470465394
Safari Books Online http://proquest.safaribooksonline.com/?fpi=9780470462539
MyiLibrary, Table of contents http://www.myilibrary.com?id=223744&ref=toc
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Enterprise-scale agile software development
Enterprise-scale agile software development
Author 
Schiel, James.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Applications of Intelligent Control to Engineering Systems
Applications of Intelligent Control to Engineering Systems
Author 
Valavanis, Kimon P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3018-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Data flow analysis theory and practice
Data flow analysis theory and practice
Author 
Khedker, Uday. Sanyal, Amitabha. Karkare, Bageshri.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Marine navigation and safety of sea transportation
Marine navigation and safety of sea transportation
Author 
International Navigational Symposium on Marine Navigation and Safety of Sea Transportation (8th : 2009 : Gdynia, Poland) Weintrit, Adam.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Software project management
Software project management
Author 
Hughes, Bob. Cotterell, Mike.
Preferred Shelf Number 
QA76.76 H84 2009
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
34. 
Cover image for Architecting software intensive systems a practitioner's guide
Architecting software intensive systems a practitioner's guide
Author 
Lattanze, Anthony J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Semantic Web Services Challenge Results from the First Year
Semantic Web Services Challenge Results from the First Year
Author 
Petrie, Charles. editor. Margaria, Tiziana. editor. Lausen, Holger. editor. Zaremba, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-72496-6
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Advances in Modeling Agricultural Systems
Advances in Modeling Agricultural Systems
Author 
Pardalos, Panos M. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75181-8
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for High Assurance Services Computing
High Assurance Services Computing
Author 
Zhang, Liang-Jie. editor. Paul, Raymond. editor. Dong, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-87658-0
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for The Definitive Guide to Pylons
The Definitive Guide to Pylons
Author 
Gardner, James. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0534-0
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Expert F# 2.0
Expert F# 2.0
Author 
Syme, Don. author. Granicz, Adam. author. Cisternino, Antonio. author. Andres, Clay. editor. Anglin, Steve. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-2432-7
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Extreme NXT: Extending the LEGO MINDSTORMS NXT to the Next Level
Extreme NXT: Extending the LEGO MINDSTORMS NXT to the Next Level
Author 
Gasperi, Michael. author. Hurbain, Philippe “Philo”. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-2454-9
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Beginning GIMP From Novice to Professional
Beginning GIMP From Novice to Professional
Author 
Peck, Akkana. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1069-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for The Definitive Guide to Django Web Development Done Right
The Definitive Guide to Django Web Development Done Right
Author 
Holovaty, Adrian. author. Kaplan-Moss, Jacob. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1937-8
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Practical Django Projects
Practical Django Projects
Author 
Bennett, James. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1939-2
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Developing with Ext GWT Enterprise RIA Development
Developing with Ext GWT Enterprise RIA Development
Author 
Slender, Grant. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1941-5
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Pro BizTalk 2009
Pro BizTalk 2009
Author 
Dunphy, George. author. Moukhnitski, Sergei. author. Kaufman, Stephen. author. Kelcey, Peter. author. Campos, Harold. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1982-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for The Web Startup Success Guide
The Web Startup Success Guide
Author 
Walsh, Bob. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1986-6
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for The Definitive Guide to Catalyst Writing Extensible, Scalable, and Maintainable Perl-Based Web Applications
The Definitive Guide to Catalyst Writing Extensible, Scalable, and Maintainable Perl-Based Web Applications
Author 
Diment, Kieren. author. Trout, Matt S. author. Cardim, Eden. author. Kuri, Jay. author. Robinson, Jess. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-2366-5
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Les virus informatiques: théorie, pratique et applications
Les virus informatiques: théorie, pratique et applications
Author 
Filiol, Éric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-287-98240-8
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Maple and Mathematica A Problem Solving Approach for Mathematics
Maple and Mathematica A Problem Solving Approach for Mathematics
Author 
Shingareva, Inna K. author. Lizárraga-Celaya, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-99432-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Author 
Radetzki, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Beginning Joomla!
Beginning Joomla!
Author 
Rahmel, Dan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1643-8
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Developing with Google App Engine
Developing with Google App Engine
Author 
Ciurana, Eugene. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1832-6
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Pro Git
Pro Git
Author 
Chacon, Scott. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1834-0
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Foundation Blender Compositing
Foundation Blender Compositing
Author 
Wickes, Roger D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1977-4
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Pro Android
Pro Android
Author 
Hashimi, Sayed Y. author. Komatineni, Satya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1597-4
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Author 
Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0209-2
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Author 
Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0211-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Author 
Zhao, Chunjiang. editor. Li, Daoliang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0213-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Pervasive Healthcare Computing EMR/EHR, Wireless and Health Monitoring
Pervasive Healthcare Computing EMR/EHR, Wireless and Health Monitoring
Author 
Varshney, Upkar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0215-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Practical Computing on the Cell Broadband Engine
Practical Computing on the Cell Broadband Engine
Author 
Koranne, Sandeep. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0308-2
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Embedded System Design Modeling, Synthesis and Verification
Embedded System Design Modeling, Synthesis and Verification
Author 
Gajski, Daniel D. author. Abdi, Samar. author. Gerstlauer, Andreas. author. Schirner, Gunar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0504-8
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Embedded Software Development with C
Embedded Software Development with C
Author 
Qian, Kai. author. Den Haring, David. author. Cao, Li. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0606-9
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Principles of Programming Languages
Principles of Programming Languages
Author 
Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-032-6
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Guide to Graphics Software Tools
Guide to Graphics Software Tools
Author 
Chen, Jim X. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-901-1
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Models of Computation An Introduction to Computability Theory
Models of Computation An Introduction to Computability Theory
Author 
Fernández, Maribel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-434-8
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Artificial Life Models in Hardware
Artificial Life Models in Hardware
Author 
Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-530-7
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Ada for Software Engineers (Second Edition with Ada 2005)
Ada for Software Engineers (Second Edition with Ada 2005)
Author 
Ben-Ari, Mordechai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-314-3
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009
Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009
Author 
Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-349-5
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for New Trends on Human–Computer Interaction Research, Development, New Tools and Methods
New Trends on Human–Computer Interaction Research, Development, New Tools and Methods
Author 
Macías, José A. editor. Granollers Saltiveri, Antoni. editor. Latorre, Pedro M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-352-5
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Geometric Algebra: An Algebraic System for Computer Games and Animation
Geometric Algebra: An Algebraic System for Computer Games and Animation
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-379-2
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Abnahme komplexer Software-Systeme Das Praxishandbuch
Abnahme komplexer Software-Systeme Das Praxishandbuch
Author 
Osterhage, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68230-1
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Software Product Management and Pricing Key Success Factors for Software Organizations
Software Product Management and Pricing Key Success Factors for Software Organizations
Author 
Kittlaus, Hans-Bernd. author. Clough, Peter N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76987-3
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for SOA und WebServices
SOA und WebServices
Author 
Zeppenfeld, Klaus. author. Finger, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76991-0
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Embedded Linux Das Praxisbuch
Embedded Linux Das Praxisbuch
Author 
Dillmann, Rüdiger. author. Gockel, Tilo. author. Schröder, Joachim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78620-7
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for An Approach to Modelling Software Evolution Processes
An Approach to Modelling Software Evolution Processes
Author 
Li, Tong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79464-6
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Security Engineering for Service-Oriented Architectures
Security Engineering for Service-Oriented Architectures
Author 
Hafner, Michael. author. Breu, Ruth. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79539-1
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Pattern Recognition using Neural and Functional Networks
Pattern Recognition using Neural and Functional Networks
Author 
David, Vasantha Kalyani. author. Rajasekaran, Sundaramoorthy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85130-1
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Bio-inspired Algorithms for the Vehicle Routing Problem
Bio-inspired Algorithms for the Vehicle Routing Problem
Author 
Pereira, Francisco Babtista. editor. Tavares, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85152-3
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Geschäftsprozessmanagement
Geschäftsprozessmanagement
Author 
Becker, Jörg. author. Mathas, Christoph. author. Winkelmann, Axel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85155-4
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Software and Data Technologies Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers
Software and Data Technologies Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Shishkov, Boris. editor. Helfert, Markus. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88655-6
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Funktionale und Applikative Programmierung Grundlagen, Sprachen, Implementierungstechniken
Funktionale und Applikative Programmierung Grundlagen, Sprachen, Implementierungstechniken
Author 
Lippe, Wolfram-Manfred. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89108-6
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
Author 
Mendling, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89224-3
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Konzepte objektorientierter Programmierung Mit einer Einführung in Java
Konzepte objektorientierter Programmierung Mit einer Einführung in Java
Author 
Poetzsch-Heffter, Arnd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89471-1
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Theory and Practice of Uncertain Programming
Theory and Practice of Uncertain Programming
Author 
Liu, Baoding. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89484-1
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Middleware for Network Eccentric and Mobile Applications
Middleware for Network Eccentric and Mobile Applications
Author 
Garbinato, Benoît. editor. Miranda, Hugo. editor. Rodrigues, Luís. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89707-1
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings
Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings
Author 
Parashar, Manish. editor. Aggarwal, Sanjeev K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89737-8
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Author 
Jones, Neil D. editor. Müller-Olm, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93900-9
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
Author 
Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93920-7
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Information Systems, Technology and Management Third International Conference, ICISTM 2009, Ghaziabad, India, March 12-13, 2009. Proceedings
Information Systems, Technology and Management Third International Conference, ICISTM 2009, Ghaziabad, India, March 12-13, 2009. Proceedings
Author 
Prasad, Sushil K. editor. Routray, Susmi. editor. Khurana, Reema. editor. Sahni, Sartaj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00405-6
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Architecture of Computing Systems – ARCS 2009 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings
Architecture of Computing Systems – ARCS 2009 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings
Author 
Berekovic, Mladen. editor. Müller-Schloer, Christian. editor. Hochberger, Christian. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00454-4
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Methods, Models and Tools for Fault Tolerance
Methods, Models and Tools for Fault Tolerance
Author 
Butler, Michael. editor. Jones, Cliff. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00867-2
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems
Author 
Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00899-3
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Author 
Kaklamanis, Christos. editor. Nielson, Flemming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00945-7
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers
Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers
Author 
César, Eduardo. editor. Alexander, Michael. editor. Streit, Achim. editor. Träff, Jesper Larsson. editor. Cérin, Christophe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00955-6
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Active and Programmable Networks IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers
Active and Programmable Networks IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers
Author 
Hutchison, David. editor. Denazis, Spyros. editor. Lefevre, Laurent. editor. Minden, Gary J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00972-3
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for OSS Design Patterns A Pattern Approach to the Design of Telecommunications Management Systems
OSS Design Patterns A Pattern Approach to the Design of Telecommunications Management Systems
Author 
Ashford, Colin. author. Gauthier, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01396-6
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for NETWORKING 2009 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings
NETWORKING 2009 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings
Author 
Fratta, Luigi. editor. Schulzrinne, Henning. editor. Takahashi, Yutaka. editor. Spaniol, Otto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01399-7
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Advances in Grid and Pervasive Computing 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings
Advances in Grid and Pervasive Computing 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings
Author 
Abdennadher, Nabil. editor. Petcu, Dana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01671-4
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
Author 
Bruni, Roberto. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01364-5
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I
Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I
Author 
Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01970-8
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings
Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings
Author 
Du, Ding-Zhu. editor. Hu, Xiaodong. editor. Pardalos, Panos M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02026-1
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Open Source Ecosystems: Diverse Communities Interacting 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden, June 3-6, 2009. Proceedings
Open Source Ecosystems: Diverse Communities Interacting 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden, June 3-6, 2009. Proceedings
Author 
Boldyreff, Cornelia. editor. Crowston, Kevin. editor. Lundell, Björn. editor. Wasserman, Anthony I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02032-2
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports
Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports
Author 
Eugster, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02047-6
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Coordination Models and Languages 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
Coordination Models and Languages 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
Author 
Liszt, Franz, 1811-1886 editor. Vasconcelos, Vasco T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02053-7
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Transactions on Aspect-Oriented Software Development V
Transactions on Aspect-Oriented Software Development V
Author 
Rashid, Awais. editor. Ossher, Harold. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02059-9
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Networks for Grid Applications Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers
Networks for Grid Applications Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers
Author 
Vicat-Blanc Primet, Pascale. editor. Kudoh, Tomohiro. editor. Mambretti, Joe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02080-3
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings
Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings
Author 
Krishnamachari, Bhaskar. editor. Suri, Subhash. editor. Heinzelman, Wendi. editor. Mitra, Urbashi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02085-8
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Wired/Wireless Internet Communications 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009. Proceedings
Wired/Wireless Internet Communications 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009. Proceedings
Author 
Berg, Hans. editor. Heijenk, Geert. editor. Osipov, Evgeny. editor. Staehle, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02118-3
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for The Semantic Web: Research and Applications 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31–June 4, 2009 Proceedings
The Semantic Web: Research and Applications 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31–June 4, 2009 Proceedings
Author 
Aroyo, Lora. editor. Traverso, Paolo. editor. Ciravegna, Fabio. editor. Cimiano, Philipp. editor. Heath, Tom. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02121-3
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Hagenberg Research
Hagenberg Research
Author 
Buchberger, Bruno. editor. Affenzeller, Michael. editor. Ferscha, Alois. editor. Haller, Michael. editor. Jebelean, Tudor. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02127-5
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
Author 
Lee, David. editor. Lopes, Antónia. editor. Poetzsch-Heffter, Arnd. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02138-1
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Product-Focused Software Process Improvement 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009. Proceedings
Product-Focused Software Process Improvement 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009. Proceedings
Author 
Bomarius, Frank. editor. Oivo, Markku. editor. Jaring, Päivi. editor. Abrahamsson, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02152-7
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
Author 
Ghilardi, Silvio. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04222-5
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Multi-Agent Systems for Society 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers
Multi-Agent Systems for Society 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers
Author 
Lukose, Dickson. editor. Shi, Zhongzhi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03339-1
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
Author 
Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04238-6
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
Author 
Gent, Ian P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04244-7
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Software Services for e-Business and e-Society 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedings
Software Services for e-Business and e-Society 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedings
Author 
Godart, Claude. editor. Gronau, Norbert. editor. Sharma, Sushil. editor. Canals, Gérôme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04280-5
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings
Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings
Author 
Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04284-3
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings
Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings
Author 
Keidar, Idit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04355-0
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
Author 
Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04368-0
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Ad-Hoc, Mobile and Wireless Networks 8th International Conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 Proceedings
Ad-Hoc, Mobile and Wireless Networks 8th International Conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 Proceedings
Author 
Ruiz, Pedro M. editor. Garcia-Luna-Aceves, Jose Joaquin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04383-3
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Mobile Entity Localization and Tracking in GPS-less Environnments Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009. Proceedings
Mobile Entity Localization and Tracking in GPS-less Environnments Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009. Proceedings
Author 
Fuller, Richard. editor. Koutsoukos, Xenofon D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04385-7
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Grid Economics and Business Models 6th International Workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings
Grid Economics and Business Models 6th International Workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings
Author 
Altmann, Jörn. editor. Buyya, Rajkumar. editor. Rana, Omer F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03864-8
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Model Driven Engineering Languages and Systems 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings
Model Driven Engineering Languages and Systems 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings
Author 
Schürr, Andy. editor. Selic, Bran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04425-0
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Database and XML Technologies 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings
Database and XML Technologies 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings
Author 
Bellahsène, Zohra. editor. Hunt, Ela. editor. Rys, Michael. editor. Unland, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03555-5
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
Author 
Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03564-7
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Mobile Wireless Middleware, Operating Systems, and Applications - Workshops Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers
Mobile Wireless Middleware, Operating Systems, and Applications - Workshops Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers
Author 
Hesselman, Cristian. editor. Giannelli, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03569-2
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings
SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings
Author 
Reed, Rick. editor. Bilgic, Attila. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04554-7
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
Author 
Alpuente, María. editor. Cook, Byron. editor. Joubert, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04570-7
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers
Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers
Author 
Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04633-9
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems
Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems
Author 
Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05465-5
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Engineering Societies in the Agents World X 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings
Engineering Societies in the Agents World X 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings
Author 
Aldewereld, Huib. editor. Dignum, Virginia. editor. Picard, Gauthier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10203-5
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Advances in Communication and Networking Second International Conference on Future Generation Communication and Networking, FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Advances in Communication and Networking Second International Conference on Future Generation Communication and Networking, FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Author 
Kim, Tai-hoon. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Chang, Alan Chin-Chen. editor. Vasilakos, Thanos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10236-3
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Advances in Computational Science and Engineering Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Advances in Computational Science and Engineering Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Author 
Kim, Tai-hoon. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Chang, Alan Chin-Chen. editor. Vasilakos, Thanos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10238-7
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Advances in Security Technology International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Advances in Security Technology International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Author 
Kim, Haeng-kon. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10240-0
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Architecting Dependable Systems VI
Architecting Dependable Systems VI
Author 
Lemos, Rogério. editor. Fabre, Jean-Charles. editor. Gacek, Cristina. editor. Gadducci, Fabio. editor. Beek, Maurice. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10248-6
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Quality of Service in Heterogeneous Networks 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23-25, 2009 Proceedings
Quality of Service in Heterogeneous Networks 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23-25, 2009 Proceedings
Author 
Bartolini, Novella. editor. Nikoletseas, Sotiris. editor. Sinha, Prasun. editor. Cardellini, Valeria. editor. Mahanti, Anirban. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10625-5
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings
Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings
Author 
Papasratorn, Borworn. editor. Chutimaskul, Wichian. editor. Porkaew, Kriengkrai. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10392-6
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers
Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, 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-10424-4
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings
Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings
Author 
Jaatun, Martin Gilje. editor. Zhao, Gansen. editor. Rong, Chunming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10665-1
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Große Netze der Logistik Die Ergebnisse des Sonderforschungsbereichs 559
Große Netze der Logistik Die Ergebnisse des Sonderforschungsbereichs 559
Author 
Buchholz, Peter. editor. Clausen, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71048-6
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Sichere Systeme Konzepte, Architekturen und Frameworks
Sichere Systeme Konzepte, Architekturen und Frameworks
Author 
Schmitz, Roland. author. Kriha, Walter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78959-8
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Virtuelle Realität
Virtuelle Realität
Author 
Brill, Manfred. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85118-9
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Aktuelle Anwendungen in Technik und Wirtschaft Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 27. und 28. November 2008
Aktuelle Anwendungen in Technik und Wirtschaft Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 27. und 28. November 2008
Author 
Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85324-4
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88479-8
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Touch of Class Learning to Program Well with Objects and Contracts
Touch of Class Learning to Program Well with Objects and Contracts
Author 
Meyer, Bertrand. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92145-5
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for QVT - Relations Language Modellierung mit der Query Views Transformation
QVT - Relations Language Modellierung mit der Query Views Transformation
Author 
Nolte, Siegfried. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92171-4
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Engineering Web Applications
Engineering Web Applications
Author 
Casteleyn, Sven. author. Daniel, Florian. author. Dolog, Peter. author. Matera, Maristella. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92201-8
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2008 Funchal, Madeira, Portugal, January 28-31, 2008 Revised Selected Papers
Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2008 Funchal, Madeira, Portugal, January 28-31, 2008 Revised Selected Papers
Author 
Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92219-3
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings
Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings
Author 
Garg, Vijay. editor. Wattenhofer, Roger. editor. Kothapalli, Kishore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92295-7
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Wireless Sensor Networks 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings
Wireless Sensor Networks 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings
Author 
Roedig, Utz. editor. Sreenan, Cormac J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00224-3
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
Author 
Leuschel, Michael. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00255-7
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen
SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen
Author 
Tiegelkamp, Michael. author. John, Karl Heinz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00269-4
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Model Driven Engineering and Ontology Development
Model Driven Engineering and Ontology Development
Author 
Deved¿ic, Vladan. author. Djuric, Dragan. author. Ga¿evic, Dragan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00282-3
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Coloured Petri Nets Modelling and Validation of Concurrent Systems
Coloured Petri Nets Modelling and Validation of Concurrent Systems
Author 
Jensen, Kurt. author. Kristensen, Lars M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b95112
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Information Security Applications 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers
Information Security Applications 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers
Author 
Chung, Kyo-Il. editor. Sohn, Kiwook. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00306-6
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Business Process Management Workshops BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers
Business Process Management Workshops BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers
Author 
Ardagna, Danilo. editor. Mecella, Massimo. editor. Yang, Jian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00328-8
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers
Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers
Author 
Altman, Eitan. editor. Chaintreau, Augustin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00393-6
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings
Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings
Author 
Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00602-9
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for MobileWireless Middleware, Operating Systems, and Applications Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings
MobileWireless Middleware, Operating Systems, and Applications Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings
Author 
Bonnin, Jean-Marie. editor. Giannelli, Carlo. editor. Magedanz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01802-2
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
Author 
Ferré, Sébastien. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01815-2
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Pervasive Computing 7th International Conference, Pervasive 2009, Nara, Japan, May 11-14, 2009. Proceedings
Pervasive Computing 7th International Conference, Pervasive 2009, Nara, Japan, May 11-14, 2009. Proceedings
Author 
Tokuda, Hideyuki. editor. Beigl, Michael. editor. Friday, Adrian. editor. Brush, A. J. Bernheim. editor. Tobe, Yoshito. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01516-8
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Software-Entwicklung für Echtzeitsysteme
Software-Entwicklung für Echtzeitsysteme
Author 
Benra, Juliane T. editor. Halang, Wolfgang A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01596-0
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
Author 
Ghose, Aditya. editor. Governatori, Guido. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01639-4
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Author 
Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02652-2
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Author 
Bergel, Alexandre. editor. Fabry, Johan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02655-3
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
Author 
Bouajjani, Ahmed. editor. Maler, Oded. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02658-4
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Computer Networks 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. Proceedings
Computer Networks 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. 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-02671-3
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings
Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings
Author 
Paige, Richard F. editor. Hartman, Alan. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02674-4
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Autonomic and Trusted Computing 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings
Autonomic and Trusted Computing 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings
Author 
González Nieto, Juan. editor. Reif, Wolfgang. editor. Wang, Guojun. editor. Indulska, Jadwiga. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02704-8
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Universal Access in Human-Computer Interaction. Addressing Diversity 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I
Universal Access in Human-Computer Interaction. Addressing Diversity 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02707-9
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II
Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02710-9
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Universal Access in Human-Computer Interaction. Applications and Services 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III
Universal Access in Human-Computer Interaction. Applications and Services 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02713-0
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Author 
Giese, Martin. editor. Waaler, Arild. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02716-1
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Virtual and Mixed Reality Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings
Virtual and Mixed Reality Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings
Author 
Shumaker, Randall. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02771-0
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Web Engineering 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26, 2009 Proceedings
Web Engineering 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26, 2009 Proceedings
Author 
Gaedke, Martin. editor. Grossniklaus, Michael. editor. Díaz, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02818-2
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Ambient Assistive Health and Wellness Management in the Heart of the City 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings
Ambient Assistive Health and Wellness Management in the Heart of the City 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings
Author 
Mokhtari, Mounir. editor. Khalil, Ismail. editor. Bauchet, Jérémy. editor. Zhang, Daqing. editor. Nugent, Chris. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02868-7
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for GeoSensor Networks Third International Conference, GSN 2009, Oxford, UK, July 13-14, 2009. Proceedings
GeoSensor Networks Third International Conference, GSN 2009, Oxford, UK, July 13-14, 2009. Proceedings
Author 
Trigoni, Niki. editor. Markham, Andrew. editor. Nawaz, Sarfraz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02903-5
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for RoboCup 2008: Robot Soccer World Cup XII
RoboCup 2008: Robot Soccer World Cup XII
Author 
Iocchi, Luca. editor. Matsubara, Hitoshi. editor. Weitzenfeld, Alfredo. editor. Zhou, Changjiu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02921-9
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
Author 
Bradley, Jeremy T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02924-0
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
Author 
Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02927-1
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Author 
Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02930-1
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
Author 
Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03456-5
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Haptic and Audio Interaction Design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings
Haptic and Audio Interaction Design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings
Author 
Altinsoy, M. Ercan. editor. Jekosch, Ute. editor. Brewster, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04076-4
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Scalable Uncertainty Management Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings
Scalable Uncertainty Management Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings
Author 
Godo, Lluís. editor. Pugliese, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04388-8
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Transactions on Pattern Languages of Programming I
Transactions on Pattern Languages of Programming I
Author 
Noble, James. editor. Johnson, Ralph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10832-7
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Web and Wireless Geographical Information Systems 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedings
Web and Wireless Geographical Information Systems 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedings
Author 
Carswell, James D. editor. Fotheringham, A. Stewart. editor. McArdle, Gavin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10601-9
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Constructing Ambient Intelligence AmI 2008 Workshops, Nuremberg, Germany 19-22, 2008. Revised Papers
Constructing Ambient Intelligence AmI 2008 Workshops, Nuremberg, Germany 19-22, 2008. Revised Papers
Author 
Gerhäuser, Heinz. editor. Hupp, Jürgen. editor. Efstratiou, Christos. editor. Heppner, Janina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10607-1
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
Author 
Hu, Zhenjiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10672-9
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Self-Organizing Systems 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009. Proceedings
Self-Organizing Systems 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009. Proceedings
Author 
Spyropoulos, Thrasyvoulos. editor. Hummel, Karin Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10865-5
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Architekturen für Web-Anwendungen Eine praxisbezogene Konstruktions-Systematik
Architekturen für Web-Anwendungen Eine praxisbezogene Konstruktions-Systematik
Author 
Bauer, Günther. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9253-9
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Algorithmen kompakt und verständlich Lösungsstrategien am Computer
Algorithmen kompakt und verständlich Lösungsstrategien am Computer
Author 
Rimscha, Markus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9273-7
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Grundkurs Computergrafik mit Java Die Grundlagen verstehen und einfach umsetzen mit Java 3D
Grundkurs Computergrafik mit Java Die Grundlagen verstehen und einfach umsetzen mit Java 3D
Author 
Klawonn, Frank. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9275-1
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Grundkurs Relationale Datenbanken Einführung in die Praxis der Datenbankentwicklung für Ausbildung, Studium und IT-Beruf
Grundkurs Relationale Datenbanken Einführung in die Praxis der Datenbankentwicklung für Ausbildung, Studium und IT-Beruf
Author 
Steiner, René. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9565-3
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Security and Dependability for Ambient Intelligence
Security and Dependability for Ambient Intelligence
Author 
Kokolakis, Spyros. editor. Gómez, Antonio Maña. editor. Spanoudakis, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-88775-3
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA
VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA
Author 
Hasler, Paul. editor. Mooney, Vincent. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-89558-1
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings
Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings
Author 
Maneth, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02979-0
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Data and Applications Security XXIII 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009. Proceedings
Data and Applications Security XXIII 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009. Proceedings
Author 
Gudes, Ehud. editor. Vaidya, Jaideep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03007-9
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
Author 
Drossopoulou, Sophia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03013-0
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings
Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings
Author 
Taha, Walid Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03034-5
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II
Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II
Author 
Köppen, Mario. editor. Kasabov, Nikola. editor. Coghill, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03040-6
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings
Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings
Author 
Hua, Arrems. editor. Chang, Shih-Liang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03095-6
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Distributed Applications and Interoperable Systems 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings
Distributed Applications and Interoperable Systems 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings
Author 
Senivongse, Twittie. editor. Oliveira, Rui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02164-0
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings
Author 
Al-Begain, Khalid. editor. Fiems, Dieter. editor. Horváth, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02205-0
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Frontiers in Algorithmics Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings
Frontiers in Algorithmics Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings
Author 
Deng, Xiaotie. editor. Hopcroft, John E. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02270-8
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
Author 
Palsberg, Jens. editor. Su, Zhendong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03237-0
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Author 
Cofer, Darren. editor. Fantechi, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03240-0
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Knowledge Management for Health Care Procedures ECAI 2008 Workshop, K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected Papers
Knowledge Management for Health Care Procedures ECAI 2008 Workshop, K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected Papers
Author 
Riaño, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03262-2
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers
Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers
Author 
Cao, Longbing. editor. Gorodetsky, Vladimir. editor. Liu, Jiming. editor. Weiss, Gerhard. editor. Yu, Philip S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03603-3
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I
Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I
Author 
Gross, Tom. editor. Gulliksen, Jan. editor. Kotzé, Paula. editor. Oestreicher, Lars. editor. Palanque, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03655-2
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II
Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II
Author 
Gross, Tom. editor. Gulliksen, Jan. editor. Kotzé, Paula. editor. Oestreicher, Lars. editor. Palanque, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03658-3
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Data Management in Grid and Peer-to-Peer Systems Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings
Data Management in Grid and Peer-to-Peer Systems Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings
Author 
Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03715-3
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings
Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings
Author 
Liu, Benyuan. editor. Bestavros, Azer. editor. Du, Ding-Zhu. editor. Wang, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03417-6
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for E-Voting and Identity Second International Conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009. Proceedings
E-Voting and Identity Second International Conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009. Proceedings
Author 
Ryan, Peter Y. A. editor. Schoenmakers, Berry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04135-8
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings
Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings
Author 
Braubach, Lars. editor. Hoek, Wiebe. editor. Petta, Paolo. editor. Pokahr, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04143-3
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Algorithmic Decision Theory First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings
Algorithmic Decision Theory First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings
Author 
Rossi, Francesca. editor. Tsoukias, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04428-1
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Euro-Par 2009 Parallel Processing 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings
Euro-Par 2009 Parallel Processing 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings
Author 
Sips, Henk. editor. Epema, Dick. editor. Lin, Hai-Xiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03869-3
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems First International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009. Proceedings
Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems First International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009. Proceedings
Author 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Chen, Shyi-Ming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04441-0
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
Author 
Buth, Bettina. editor. Rabe, Gerd. editor. Seyfarth, Till. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04468-7
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Smart Sensing and Context 4th European Conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009. Proceedings
Smart Sensing and Context 4th European Conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009. Proceedings
Author 
Barnaghi, Payam. editor. Moessner, Klaus. editor. Presser, Mirko. editor. Meissner, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04471-7
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Information Security 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings
Information Security 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings
Author 
Samarati, Pierangela. editor. Yung, Moti. editor. Martinelli, Fabio. editor. Ardagna, Claudio A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04474-8
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings
Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings
Author 
Laender, Alberto H. F. editor. Castano, Silvana. editor. Dayal, Umeshwar. editor. Casati, Fabio. editor. Oliveira, José Palazzo M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04840-1
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Author 
Gibbons, Jeremy. editor. Oliveira, José Nuno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04912-5
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Adaptive and Natural Computing Algorithms 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers
Adaptive and Natural Computing Algorithms 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers
Author 
Kolehmainen, Mikko. editor. Toivanen, Pekka. editor. Beliczynski, Bartlomiej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04921-7
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Next Generation Information Technologies and Systems 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers
Next Generation Information Technologies and Systems 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers
Author 
Feldman, Yishai A. editor. Kraft, Donald. editor. Kuflik, Tsvi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04941-5
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Advances in Conceptual Modeling - Challenging Perspectives ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings
Advances in Conceptual Modeling - Challenging Perspectives ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings
Author 
Heuser, Carlos Alberto. editor. Pernul, Günther. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04947-7
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Artificial Intelligence and Computational Intelligence International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings
Artificial Intelligence and Computational Intelligence International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings
Author 
Deng, Hepu. editor. Wang, Lanzhou. editor. Wang, Fu Lee. editor. Lei, Jingsheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05253-8
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings
Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings
Author 
Lee, Sunggu. editor. Narasimhan, Priya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10265-3
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Ambient Intelligence European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings
Ambient Intelligence European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings
Author 
Tscheligi, Manfred. editor. Ruyter, Boris. editor. Markopoulus, Panos. editor. Wichert, Reiner. editor. Mirlacher, Thomas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05408-2
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
Author 
Abran, Alain. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Cuadrado-Gallego, Juan J. editor. Brunekreef, Jacob. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05415-0
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers
Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers
Author 
Dolev, Shlomi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05434-1
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
Author 
Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04652-0
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
Author 
Bensalem, Saddek. editor. Peled, Doron A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04694-0
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Enterprise Interoperability Second IFIP WG 5.8 International Workshop, IWEI 2009, Valencia, Spain, October 13-14, 2009. Proceedings
Enterprise Interoperability Second IFIP WG 5.8 International Workshop, IWEI 2009, Valencia, Spain, October 13-14, 2009. Proceedings
Author 
Poler, Raúl. editor. Sinderen, Marten. editor. Sanchis, Raquel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04750-3
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Grid and Distributed Computing International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Grid and Distributed Computing International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Author 
Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Yau, Stephen S. editor. Gervasi, Osvaldo. editor. Kang, Byeong-Ho. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10549-4
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009
Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009
Author 
Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04783-1
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Principles of Practice in Multi-Agent Systems 12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009. Proceedings
Principles of Practice in Multi-Agent Systems 12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009. Proceedings
Author 
Yang, Jung-Jin. editor. Yokoo, Makoto. editor. Ito, Takayuki. editor. Jin, Zhi. editor. Scerri, Paul. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11161-7
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Learning and Intelligent Optimization Third International Conference, LION 3, Trento, Italy, January 14-18, 2009. Selected Papers
Learning and Intelligent Optimization Third International Conference, LION 3, Trento, Italy, January 14-18, 2009. Selected Papers
Author 
Stützle, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Communications Infrastructure. Systems and Applications in Europe First International ICST Conference, EuropeComm 2009, London, UK, August 11-13, 2009, Revised Selected Papers
Communications Infrastructure. Systems and Applications in Europe First International ICST Conference, EuropeComm 2009, London, UK, August 11-13, 2009, Revised Selected Papers
Author 
Mehmood, Rashid. editor. Cerqueira, Eduardo. editor. Piesiewicz, Radoslaw. editor. Chlamtac, Imrich. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11284-3
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Ricerca Operativa
Ricerca Operativa
Author 
Serafini, Paolo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-0846-5
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Dynamic System Reconfiguration in Heterogeneous Platforms The MORPHEUS Approach
Dynamic System Reconfiguration in Heterogeneous Platforms The MORPHEUS Approach
Author 
Voros, Nikolaos S. editor. Rosti, Alberto. editor. Hübner, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-2427-5
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Information Systems Development Challenges in Practice, Theory, and Education Volume 1
Information Systems Development Challenges in Practice, Theory, and Education Volume 1
Author 
Wojtkowski, Wita. editor. Wojtkowski, Gregory. editor. Lang, Michael. editor. Conboy, Kieran. editor. Barry, Chris. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68772-8
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Open Source Systems Security Certification
Open Source Systems Security Certification
Author 
Damiani, Ernesto. author. Ardagna, Claudio Agostino. author. El Ioini, Nabil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-77324-7
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for The China Information Technology Handbook
The China Information Technology Handbook
Author 
Ordóñez de Pablos, Patricia. editor. Lytras, Miltiadis D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-77743-6
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Information Systems Development Challenges in Practice, Theory, and Education Volume 2
Information Systems Development Challenges in Practice, Theory, and Education Volume 2
Author 
Barry, Chris. editor. Lang, Michael. editor. Wojtkowski, Wita. editor. Conboy, Kieran. editor. Wojtkowski, Gregory. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-78578-3
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Web 2.0 The Business Model
Web 2.0 The Business Model
Author 
Lytras, Miltiadis D. editor. Damiani, Ernesto. editor. Ordóñez de Pablos, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-85895-1
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Electronics System Design Techniques for Safety Critical Applications
Electronics System Design Techniques for Safety Critical Applications
Author 
Sterpone, Luca. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8979-4
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Hardware Software Co-Design of a Multimedia SOC Platform
Hardware Software Co-Design of a Multimedia SOC Platform
Author 
Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Software Verification and Analysis An Integrated, Hands-On Approach
Software Verification and Analysis An Integrated, Hands-On Approach
Author 
Stanley, William. author. Laski, Janusz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-240-5
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach
Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach
Author 
Li, ZhiWu. author. Zhou, MengChu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-244-3
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Practical Introduction to Computer Architecture
Practical Introduction to Computer Architecture
Author 
Page, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-256-6
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Artificial Life Models in Software
Artificial Life Models in Software
Author 
Komosinski, Maciej. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-285-6
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for A Concise and Practical Introduction to Programming Algorithms in Java
A Concise and Practical Introduction to Programming Algorithms in Java
Author 
Nielsen, Frank. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-339-6
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Language-driven Exploration and Implementation of Partially Re-configurable ASIPs
Language-driven Exploration and Implementation of Partially Re-configurable ASIPs
Author 
Chattopadhyay, Anupam. author. Leupers, Rainer. author. Meyr, Heinrich. author. Ascheid, Gerd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9297-8
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Unleash the System On Chip using FPGAs and Handel C
Unleash the System On Chip using FPGAs and Handel C
Author 
Kamat, Rajanish K. author. Shinde, Santhosh A. author. Shelake, Vinod G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9362-3
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Hardware-dependent Software Principles and Practice
Hardware-dependent Software Principles and Practice
Author 
Ecker, Wolfgang. editor. Müller, Wolfgang. editor. Dömer, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9436-1
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Design and Use of Serious Games
Design and Use of Serious Games
Author 
Kankaanranta, Marja. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9496-5
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for OPC Unified Architecture
OPC Unified Architecture
Author 
Damm, Matthias. author. Leitner, Stefan-Helmut. author. Mahnke, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68899-0
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Enterprise Architecture Creating Value by Informed Governance
Enterprise Architecture Creating Value by Informed Governance
Author 
Op ’t Land, Martin. author. Proper, Erik. author. Waage, Maarten. author. Cloo, Jeroen. author. Steghuis, Claudia. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85232-2
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Genetic Algorithms for Applied CAD Problems
Genetic Algorithms for Applied CAD Problems
Author 
Kureichik, Viktor M. author. Malioukov, Sergey P. author. Kureichik, Vladimir V. author. Malioukov, Alexander S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85281-0
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers
Author 
Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88713-3
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers
Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers
Author 
Lyytinen, Kalle. editor. Loucopoulos, Pericles. editor. Mylopoulos, John. editor. Robinson, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92966-6
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for End-User Development 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings
End-User Development 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings
Author 
Pipek, Volkmar. editor. Rosson, Mary Beth. editor. Ruyter, Boris. editor. Wulf, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00427-8
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
Author 
Peled, Doron A. editor. Wooldridge, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00431-5
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Human Machine Interaction Research Results of the MMI Program
Human Machine Interaction Research Results of the MMI Program
Author 
Lalanne, Denis. editor. Kohlas, Jürg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00437-7
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00722-4
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00768-2
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Author 
Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00515-2
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Trusted Computing Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings.
Trusted Computing Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings.
Author 
Chen, Liqun. editor. Mitchell, Chris J. editor. Martin, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00587-9
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00590-9
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Alfaro, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00596-1
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Transactions on Computational Science IV Special Issue on Security in Computing
Transactions on Computational Science IV Special Issue on Security in Computing
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01004-0
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Information Systems: Modeling, Development, and Integration Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings
Information Systems: Modeling, Development, and Integration Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings
Author 
Yang, Jianhua. editor. Ginige, Athula. editor. Mayr, Heinrich C. editor. Kutsche, Ralf-D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01112-2
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Service-Oriented Computing – ICSOC 2008 Workshops ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers
Service-Oriented Computing – ICSOC 2008 Workshops ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers
Author 
Feuerlicht, George. editor. Lamersdorf, Winfried. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01247-1
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Enterprise Architecture at Work Modelling, Communication and Analysis
Enterprise Architecture at Work Modelling, Communication and Analysis
Author 
Lankhorst, Marc. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01310-2
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings
Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings
Author 
Wang, Qing. editor. Garousi, Vahid. editor. Madachy, Raymond. editor. Pfahl, Dietmar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01680-6
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
Author 
Chockler, Hana. editor. Hu, Alan J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01702-5
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Das V-Modell® XT Für Projektleiter und QS-Verantwortliche kompakt und übersichtlich
Das V-Modell® XT Für Projektleiter und QS-Verantwortliche kompakt und übersichtlich
Author 
Friedrich, Jan. author. Hammerschall, Ulrike. author. Kuhrmann, Marco. author. Sihling, Marc. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01488-8
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Advances in Enterprise Engineering II First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 11, 2009. Proceedings
Advances in Enterprise Engineering II First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 11, 2009. Proceedings
Author 
Proper, Erik. editor. Harmsen, Frank. editor. Dietz, Jan L. G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01859-6
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Enterprise, Business-Process and Information Systems Modeling 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings
Enterprise, Business-Process and Information Systems Modeling 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings
Author 
Halpin, Terry. editor. Krogstie, John. editor. Nurcan, Selmin. editor. Proper, Erik. editor. Schmidt, Rainer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01862-6
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II
Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II
Author 
Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01973-9
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Modular Ontologies Concepts, Theories and Techniques for Knowledge Modularization
Modular Ontologies Concepts, Theories and Techniques for Knowledge Modularization
Author 
Stuckenschmidt, Heiner. editor. Parent, Christine. editor. Spaccapietra, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01907-4
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Advances in Enterprise Engineering III 5th International Workshop, CIAO! 2009, and 5th International Workshop, EOMAS 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings
Advances in Enterprise Engineering III 5th International Workshop, CIAO! 2009, and 5th International Workshop, EOMAS 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings
Author 
Albani, Antonia. editor. Barjis, Joseph. editor. Dietz, Jan L. G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01915-9
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Author 
Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01918-0
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
Author 
Kordon, Fabrice. editor. Kermarrec, Yvon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01924-1
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Cutting-Edge Research Topics on Multiple Criteria Decision Making 20th International Conference, MCDM 2009, Chengdu/Jiuzhaigou, China, June 21-26, 2009. Proceedings
Cutting-Edge Research Topics on Multiple Criteria Decision Making 20th International Conference, MCDM 2009, Chengdu/Jiuzhaigou, China, June 21-26, 2009. Proceedings
Author 
Shi, Yong. editor. Wang, Shouyang. editor. Peng, Yi. editor. Li, Jianping. editor. Zeng, Yong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02298-2
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Author 
Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02351-4
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Software Architecture Knowledge Management Theory and Practice
Software Architecture Knowledge Management Theory and Practice
Author 
Ali Babar, Muhammad. editor. Dingsøyr, Torgeir. editor. Lago, Patricia. editor. van Vliet, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02374-3
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers
Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers
Author 
Vouros, George. editor. Artikis, Alexander. editor. Stathis, Kostas. editor. Pitt, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02377-4
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Information Systems – Creativity and Innovation in Small and Medium-Sized Enterprises IFIP WG 8.2 International Conference, CreativeSME 2009, Guimarães, Portugal, June 21-24, 2009. Proceedings
Information Systems – Creativity and Innovation in Small and Medium-Sized Enterprises IFIP WG 8.2 International Conference, CreativeSME 2009, Guimarães, Portugal, June 21-24, 2009. Proceedings
Author 
Dhillon, Gurpreet. editor. Stahl, Bernd Carsten. editor. Baskerville, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02388-0
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings
Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings
Author 
Príncipe, José C. editor. Miikkulainen, Risto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02397-2
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
Author 
Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02408-5
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Author 
Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02424-5
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02454-2
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02457-3
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulos
Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulos
Author 
Borgida, Alexander T. editor. Chaudhri, Vinay K. editor. Giorgini, Paolo. editor. Yu, Eric S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02463-4
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Future Multimedia Networking Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings
Future Multimedia Networking Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings
Author 
Mauthe, Andreas. editor. Zeadally, Sherali. editor. Cerqueira, Eduardo. editor. Curado, Marília. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02472-6
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for A Primer on Scientific Programming with Python
A Primer on Scientific Programming with Python
Author 
Langtangen, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02475-7
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I
Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I
Author 
Köppen, Mario. editor. Kasabov, Nikola. editor. Coghill, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02490-0
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers
Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers
Author 
Ystad, Sølvi. editor. Kronland-Martinet, Richard. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02518-1
Format: 
Availability 
Online Library~1
Available:
Copies: