Limit Search Results
Author
SpringerLink (Online service)
(283)
Yang, Laurence T. editor.
(6)
Dongarra, Jack. editor.
(5)
Sloot, Peter M. A. editor.
(5)
Albada, Geert Dick. editor.
(4)
Language
Subject
Software engineering.
(285)
Computer science.
(271)
Computer Communication Networks.
(100)
Information systems.
(91)
Logic design.
(80)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
292 Results Found Subscribe to search results
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Software engineering
Software engineering
Author 
Sommerville, Ian, 1951-
Preferred Shelf Number 
QA76.6 S66 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Essentials of software engineering
Essentials of software engineering
Author 
Tsui, Frank F. Karam, Orlando.
Preferred Shelf Number 
QA76.758 .T785 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Software Engineering for Experimental Robotics
Software Engineering for Experimental Robotics
Author 
Brugali, Davide. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68951-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software Engineering Techniques: Design for Quality
Software Engineering Techniques: Design for Quality
Author 
Sacha, Krzysztof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-39388-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Designing with blends conceptual foundations of human-computer interaction and software engineering
Designing with blends conceptual foundations of human-computer interaction and software engineering
Author 
Imaz, Manuel. Benyon, David.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267285
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for What every engineer should know about software engineering
What every engineer should know about software engineering
Author 
Laplante, Phillip A.
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:
8. 
Cover image for Advances and Innovations in Systems, Computing Sciences and Software Engineering
Advances and Innovations in Systems, Computing Sciences and Software Engineering
Author 
Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6264-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Managing Humans Biting and Humorous Tales of a Software Engineering Manager
Managing Humans Biting and Humorous Tales of a Software Engineering Manager
Author 
Lopp, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0271-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Modelling in Mechanical Engineering and Mechatronics Towards Autonomous Intelligent Software Models
Modelling in Mechanical Engineering and Mechatronics Towards Autonomous Intelligent Software Models
Author 
Avgoustinov, Nikolay. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-909-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
Author 
Kühne, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69489-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
Author 
Dwyer, Matthew B. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71289-3
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers
Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers
Author 
Basili, Victor R. editor. Rombach, Dieter. editor. Schneider, Kurt. editor. Kitchenham, Barbara. editor. Pfahl, Dietmar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71301-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers
Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers
Author 
Guelfi, Nicolas. editor. Buchs, Didier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71876-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings
Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings
Author 
Sawyer, Pete. editor. Paech, Barbara. editor. Heymans, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73031-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings
Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings
Author 
Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73101-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings
Author 
Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75698-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
Author 
Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76650-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Software Verification and Validation An Engineering and Scientific Approach
Software Verification and Validation An Engineering and Scientific Approach
Author 
Fisher, Marcus S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-47939-2
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
Author 
Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70945-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Software Product Lines in Action The Best Industrial Practice in Product Line Engineering
Software Product Lines in Action The Best Industrial Practice in Product Line Engineering
Author 
Linden, Frank. author. Schmid, Klaus. author. Rommes, Eelco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71437-8
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings
Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings
Author 
Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73551-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications
Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications
Author 
Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73131-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers
Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers
Author 
Meyer, Bertrand. editor. Joseph, Mathai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75542-5
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Software engineering Barry W. Boehm's lifetime contributions to software development, management, and research
Software engineering Barry W. Boehm's lifetime contributions to software development, management, and research
Author 
Selby, Richard W.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989528
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989528
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Modelling in mechanical engineering and mechatronics : towards autonomous intelligent software models
Modelling in mechanical engineering and mechatronics : towards autonomous intelligent software models
Author 
Avgoustinov, Nikolay.
Preferred Shelf Number 
TJ153 A88 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
27. 
Cover image for Global software development handbook
Global software development handbook
Author 
Sangwan, Raghvinder.
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:
28. 
Cover image for Semantic Web: Concepts, Technologies and Applications
Semantic Web: Concepts, Technologies and Applications
Author 
Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-710-7
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Java als erste Programmiersprache Vom Einsteiger zum Profi
Java als erste Programmiersprache Vom Einsteiger zum Profi
Author 
Heinisch, Cornelia. author. Müller-Hofmann, Frank. author. Goll, Joachim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8351-9101-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Software testing testing across the entire software development life cycle
Software testing testing across the entire software development life cycle
Author 
Everett, Gerald D., 1943- McLeod, Raymond. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201507
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Automatic Quantum Computer Programming A Genetic Programming Approach
Automatic Quantum Computer Programming A Genetic Programming Approach
Author 
Spector, Lee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36791-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Distributed and Parallel Systems From Cluster to Grid Computing
Distributed and Parallel Systems From Cluster to Grid Computing
Author 
Kacsuk, Péter. editor. Fahringer, Thomas. editor. Németh, Zsolt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69858-8
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11–14, 2007, Limerick, Ireland
Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11–14, 2007, Limerick, Ireland
Author 
Feller, Joseph. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Sillitti, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-72486-7
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Processor Design System-on-Chip Computing for ASICs and FPGAs
Processor Design System-on-Chip Computing for ASICs and FPGAs
Author 
Nurmi, Jari. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5530-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Optimized ASIP Synthesis from Architecture Description Language Models
Optimized ASIP Synthesis from Architecture Description Language Models
Author 
Schliebusch, Oliver. author. Meyr, Heinrich. author. Leupers, Rainer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5686-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06
Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06
Author 
Huss, Sorin A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Author 
Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
Author 
Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6254-4
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Beginning Ubuntu Linux
Beginning Ubuntu Linux
Author 
Thomas, Keir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0191-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for SharePoint 2007 User’s Guide Learning Microsoft’s Collaboration and Productivity Platform
SharePoint 2007 User’s Guide Learning Microsoft’s Collaboration and Productivity Platform
Author 
Bates, Seth. author. Smith, Tony. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0207-3
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Pro Access 2007
Pro Access 2007
Author 
Reid, Martin W P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0209-7
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
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. Hurbain, Isabelle. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0211-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Smart and Gets Things Done Joel Spolsky’s Concise Guide to Finding the Best Technical Talent
Smart and Gets Things Done Joel Spolsky’s Concise Guide to Finding the Best Technical Talent
Author 
Spolsky, Joel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0254-7
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Pro BizTalk 2006
Pro BizTalk 2006
Author 
Dunphy, George. author. Metwally, Ahmed. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0259-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for The Definitive Guide to SOA: BEA AquaLogic® Service Bus
The Definitive Guide to SOA: BEA AquaLogic® Service Bus
Author 
Davies, Jeff. author. Krishna, Ashish. author. Schorow, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0263-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Word 2007 Beyond the Manual
Word 2007 Beyond the Manual
Author 
Morrison, Connie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0268-4
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Pro Active Record Databases with Ruby and Rails
Pro Active Record Databases with Ruby and Rails
Author 
Marshall, Kevin. author. Pytel, Chad. author. Yurek, Jon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0269-1
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Beginning Joomla! From Novice to Professional
Beginning Joomla! From Novice to Professional
Author 
Rahmel, Dan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0278-3
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for The Definitive Guide to the Microsoft Enterprise Library
The Definitive Guide to the Microsoft Enterprise Library
Author 
Newton, Keenan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0315-5
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Painless Project Management with FogBugz
Painless Project Management with FogBugz
Author 
Gunderloy, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0487-9
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Dynaxity Management von Dynamik und Komplexität im Softwarebau
Dynaxity Management von Dynamik und Komplexität im Softwarebau
Author 
Hamilton, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-31744-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Design for Manufacturability and Yield for Nano-Scale CMOS
Design for Manufacturability and Yield for Nano-Scale CMOS
Author 
Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5188-3
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Computer-Aided Design of User Interfaces V
Computer-Aided Design of User Interfaces V
Author 
Calvary, Gaëlle. editor. Pribeanu, Costin. editor. Santucci, Giuseppe. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5820-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Designing Embedded Processors A Low Power Perspective
Designing Embedded Processors A Low Power Perspective
Author 
Henkel, Jörg. editor. Parameswaran, Sri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5869-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Advanced Memory Optimization Techniques for Low-Power Embedded Processors
Advanced Memory Optimization Techniques for Low-Power Embedded Processors
Author 
Verma, Manish. author. Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5897-4
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Real-Time Object Uniform Design Methodology with UML
Real-Time Object Uniform Design Methodology with UML
Author 
Duc, Bui Minh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5977-3
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Founders at Work Stories of Startups’ Early Days
Founders at Work Stories of Startups’ Early Days
Author 
Livingston, Jessica. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0327-8
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Expert SQL Server 2005 Development
Expert SQL Server 2005 Development
Author 
Machanic, Adam. author. Kornelis, Hugo. author. Rubbelke, Lara. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0333-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Windows Vista Beyond the Manual
Windows Vista Beyond the Manual
Author 
Hassell, Jonathan. author. Campbell, Tony. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0368-1
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Use Case Driven Object Modeling with UML Theory and Practice
Use Case Driven Object Modeling with UML Theory and Practice
Author 
Rosenberg, Doug. author. Stephens, Matt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0369-8
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Pro Apache Tomcat 6
Pro Apache Tomcat 6
Author 
Moodie, Matthew. author. Mittal, Kunal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0378-0
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Beginning Google Maps Applications with Rails and Ajax From Novice to Professional
Beginning Google Maps Applications with Rails and Ajax From Novice to Professional
Author 
Lewis, Andre. author. Purvis, Michael. author. Sambells, Jeffrey. author. Turner, Cameron. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0380-3
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Outlook 2007 Beyond the Manual
Outlook 2007 Beyond the Manual
Author 
Campbell, Tony. author. Hassell, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0388-9
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Excel 2007 Beyond the Manual
Excel 2007 Beyond the Manual
Author 
Dixon, Helen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0389-6
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for LEGO® MINDSTORMS® NXT-G Programming Guide
LEGO® MINDSTORMS® NXT-G Programming Guide
Author 
Kelly, James Floyd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0303-2
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Clear Blogging How People Blogging Are Changing the World and How You Can Join Them
Clear Blogging How People Blogging Are Changing the World and How You Can Join Them
Author 
Walsh, Bob. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0321-6
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Lego Mindstorms NXT-G Programming Guide
Lego Mindstorms NXT-G Programming Guide
Author 
Kelly, James Floyd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-2977-3
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for An Introduction to Network Programming with Java
An Introduction to Network Programming with Java
Author 
Graba, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-630-8
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Embedded Java Security Security for Mobile Devices
Embedded Java Security Security for Mobile Devices
Author 
Debbabi, Mourad. author. Saleh, Mohamed. author. Talhi, Chamseddine. author. Zhioua, Sami. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-711-4
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Enterprise Interoperability New Challenges and Approaches
Enterprise Interoperability New Challenges and Approaches
Author 
Doumeingts, Guy. editor. Müller, Jörg. editor. Morel, Gérard. editor. Vallespir, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-714-5
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Formal Models of Operating System Kernels
Formal Models of Operating System Kernels
Author 
Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-718-3
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Forensic Computing
Forensic Computing
Author 
Sammes, Tony. author. Jenkinson, Brian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-732-9
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Java Methods for Financial Engineering Applications in Finance and Investment
Java Methods for Financial Engineering Applications in Finance and Investment
Author 
Barker, Philip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-741-1
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Workflows for e-Science Scientific Workflows for Grids
Workflows for e-Science Scientific Workflows for Grids
Author 
Taylor, Ian J. editor. Deelman, Ewa. editor. Gannon, Dennis B. editor. Shields, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-757-2
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007
The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007
Author 
Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-806-7
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Practical Distributed Processing
Practical Distributed Processing
Author 
Brooke, Phillip J. author. Paige, Richard F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-841-8
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Enterprise Interoperability II New Challenges and Approaches
Enterprise Interoperability II New Challenges and Approaches
Author 
Gonçalves, Ricardo J. editor. Müller, Jörg P. editor. Mertins, Kai. editor. Zelm, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-858-6
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Object-Oriented Programming and Java
Object-Oriented Programming and Java
Author 
Poo, Danny. author. Kiong, Derek. author. Ashok, Swarnalatha. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-963-7
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels
Author 
Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-967-5
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Management von IT-Projekten Von der Planung zur Realisierung
Management von IT-Projekten Von der Planung zur Realisierung
Author 
Wieczorrek, Hans W. author. Mertens, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-48472-1
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for LabVIEW based Advanced Instrumentation Systems
LabVIEW based Advanced Instrumentation Systems
Author 
Sumathi, S. author. Surekha, P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-48501-8
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Einführung in die Constraint-Programmierung Grundlagen, Methoden, Sprachen, Anwendungen
Einführung in die Constraint-Programmierung Grundlagen, Methoden, Sprachen, Anwendungen
Author 
Hofstedt, Petra. author. Wolf, Armin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68194-6
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Grid Computing Experiment Management, Tool Integration, and Scientific Workflows
Grid Computing Experiment Management, Tool Integration, and Scientific Workflows
Author 
Prodan, Radu. author. Fahringer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69262-1
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings
SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings
Author 
Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69507-3
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Author 
Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69554-7
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers
Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers
Author 
Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70881-0
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
Author 
Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70889-6
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings
Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings
Author 
Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70901-5
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Information Security Applications 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers
Information Security Applications 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers
Author 
Lee, Jae Kwang. editor. Yi, Okyeon. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71093-6
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
Author 
Kordon, Fabrice. editor. Sztipanovits, Janos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71156-8
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Author 
Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71209-1
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
Author 
Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71229-9
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings
Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings
Author 
Lukowicz, Paul. editor. Thiele, Lothar. editor. Tröster, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71270-1
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
Author 
Nicola, Rocco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71316-6
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
Author 
Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71322-7
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
Author 
Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71351-7
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings
Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings
Author 
Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71389-0
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling
Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling
Author 
Pastor, Oscar. author. Molina, Juan Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71868-0
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition
Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition
Author 
Liblit, Ben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71878-9
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Author 
Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71956-4
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007. Proceedings
NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007. Proceedings
Author 
Akyildiz, Ian F. editor. Sivakumar, Raghupathy. editor. Ekici, Eylem. editor. Oliveira, Jaudelice Cavalcante de. editor. McNair, Janise. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72606-7
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Author 
Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71998-4
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic
All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic
Author 
Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71999-1
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Pervasive Computing 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings
Pervasive Computing 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings
Author 
LaMarca, Anthony. editor. Langheinrich, Marc. editor. Truong, Khai N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72037-9
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Author 
Indulska, Jadwiga. editor. Raymond, Kerry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72883-2
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings
Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings
Author 
Akehurst, David H. editor. Vogel, Régis. editor. Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72901-3
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings
Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings
Author 
Jin, Hai. editor. Rana, Omer F. editor. Pan, Yi. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72905-1
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Test and Analysis of Web Services
Test and Analysis of Web Services
Author 
Baresi, Luciano. editor. Nitto, Elisabetta Di. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72912-9
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Author 
Bonsangue, Marcello M. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72952-5
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
Author 
Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72982-2
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Managing Traffic Performance in Converged Networks 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings
Managing Traffic Performance in Converged Networks 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings
Author 
Mason, Lorne. editor. Drwiega, Tadeusz. editor. Yan, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72990-7
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Pervasive Computing for Quality of Life Enhancement 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007. Proceedings
Pervasive Computing for Quality of Life Enhancement 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007. Proceedings
Author 
Okadome, Takeshi. editor. Yamazaki, Tatsuya. editor. Makhtari, Mounir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73035-4
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings
Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings
Author 
Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73066-8
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings
Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings
Author 
Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73094-1
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
Author 
Olivetti, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73099-6
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73105-4
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II
Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73107-8
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III
Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73110-8
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV
Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73111-5
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Ruby on Rails for PHP and Java Developers
Ruby on Rails for PHP and Java Developers
Author 
Vohra, Deepak. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73145-0
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Author 
Comon-Lundh, Hubert. editor. Kirchner, Claude. editor. Kirchner, Hélène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73147-4
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Aggregation Functions: A Guide for Practitioners
Aggregation Functions: A Guide for Practitioners
Author 
Beliakov, Gleb. author. Pradera, Ana. author. Calvo, Tomasa. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73721-6
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
Author 
Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73420-8
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings
Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings
Author 
Anai, Hirokazu. editor. Horimoto, Katsuhisa. editor. Kutsia, Temur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73433-8
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings
Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings
Author 
Münch, Jürgen. editor. Abrahamsson, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73460-4
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings
Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings
Author 
Paillier, Pascal. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74735-2
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings
Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings
Author 
Stojmenovic, Ivan. editor. Thulasiram, Ruppa K. editor. Yang, Laurence T. editor. Jia, Weijia. editor. Guo, Minyi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74742-0
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Frontiers of High Performance Computing and Networking ISPA 2007 Workshops ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 Proceedings
Frontiers of High Performance Computing and Networking ISPA 2007 Workshops ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 Proceedings
Author 
Thulasiraman, Parimala. editor. He, Xubin. editor. Xu, Tony Li. editor. Denko, Mieso K. editor. Thulasiram, Ruppa K. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74767-3
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
Author 
George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74964-6
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Service-Oriented Computing – ICSOC 2007 Fifth International Conference, Vienna, Austria, September 17-20, 2007. Proceedings
Service-Oriented Computing – ICSOC 2007 Fifth International Conference, Vienna, Austria, September 17-20, 2007. Proceedings
Author 
Krämer, Bernd J. editor. Lin, Kwei-Jay. editor. Narasimhan, Priya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74974-5
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings
SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings
Author 
Gaudin, Emmanuel. editor. Najm, Elie. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74984-4
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Algorithms for Sensor and Ad Hoc Networks Advanced Lectures
Algorithms for Sensor and Ad Hoc Networks Advanced Lectures
Author 
Wagner, Dorothea. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74991-2
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers
Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers
Author 
Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75414-5
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings
Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings
Author 
Calder, Muffy. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75140-3
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Transactions on Aspect-Oriented Software Development III
Transactions on Aspect-Oriented Software Development III
Author 
Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75162-5
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Emerging Directions in Embedded and Ubiquitous Computing EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007. Proceedings
Emerging Directions in Embedded and Ubiquitous Computing EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007. Proceedings
Author 
Denko, Mieso K. editor. Shih, Chi-sheng. editor. Li, Kuan-Ching. editor. Tsao, Shiao-Li. editor. Zeng, Qing-An. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77090-9
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Embedded and Ubiquitous Computing International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings
Embedded and Ubiquitous Computing International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings
Author 
Kuo, Tei-Wei. editor. Sha, Edwin. editor. Guo, Minyi. editor. Yang, Laurence T. editor. Shao, Zili. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77092-3
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings
Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings
Author 
Tovar, Eduardo. editor. Tsigas, Philippas. editor. Fouchal, Hacène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77096-1
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedings
Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedings
Author 
Janowski, Tomasz. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77115-9
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for High Performance Computing – HiPC 2007 14th International Conference, Goa, India, December 18-21, 2007. Proceedings
High Performance Computing – HiPC 2007 14th International Conference, Goa, India, December 18-21, 2007. Proceedings
Author 
Aluru, Srinivas. editor. Parashar, Manish. editor. Badrinath, Ramamurthy. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77220-0
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings
Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings
Author 
Winckler, Marco. editor. Johnson, Hilary. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77222-4
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for 50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence
50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence
Author 
Lungarella, Max. editor. Iida, Fumiya. editor. Bongard, Josh. editor. Pfeifer, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77296-5
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
Author 
Lumpe, Markus. editor. Vanderperren, Wim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77351-1
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Author 
Sokolsky, Oleg. editor. Taşıran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77395-5
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
Author 
Kordon, Fabrice. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77419-8
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers
Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers
Author 
Overhage, Sven. editor. Szyperski, Clemens A. editor. Reussner, Ralf. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77619-2
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Web Component Development with Zope 3
Web Component Development with Zope 3
Author 
Weitershausen, Philipp. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-33808-6
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Performancemanagement für serviceorientierte JAVA-Anwendungen Werkzeug- und Methodenunterstützung im Spannungsfeld von Entwicklung und Betrieb
Performancemanagement für serviceorientierte JAVA-Anwendungen Werkzeug- und Methodenunterstützung im Spannungsfeld von Entwicklung und Betrieb
Author 
Schmalenbach, Christof. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-36632-4
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Distributed Services with OpenAFS for Enterprise and Education
Distributed Services with OpenAFS for Enterprise and Education
Author 
Milicchio, Franco. author. Gehrke, Wolfgang A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-36634-8
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for ITIL Das IT-Servicemanagement Framework
ITIL Das IT-Servicemanagement Framework
Author 
Köhler, Peter T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-37973-7
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Services Computing
Services Computing
Author 
Zhang, Liang-Jie. author. Zhang, Jia. author. Cai, Hong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-38284-3
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Digitale Hardware/Software-Systeme Synthese und Optimierung
Digitale Hardware/Software-Systeme Synthese und Optimierung
Author 
Teich, Jürgen. author. Haubelt, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-46824-0
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for IPv6 in Practice A Unixer’s Guide to the Next Generation Internet
IPv6 in Practice A Unixer’s Guide to the Next Generation Internet
Author 
Stockebrand, Benedikt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-48001-3
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Intrusion Detection effektiv! Modellierung und Analyse von Angriffsmustern
Intrusion Detection effektiv! Modellierung und Analyse von Angriffsmustern
Author 
Meier, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-48258-1
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Design Patterns for e-Science
Design Patterns for e-Science
Author 
Gardner, Henry. author. Manduchi, Gabriele. author. Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-68090-X
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Finite Model Theory and Its Applications
Finite Model Theory and Its Applications
Author 
Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-68804-8
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Universal Access in Ambient Intelligence Environments 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers
Universal Access in Ambient Intelligence Environments 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers
Author 
Stephanidis, Constantine. editor. Pieper, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71025-7
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Software Measurement Establish — Extract — Evaluate — Execute
Software Measurement Establish — Extract — Evaluate — Execute
Author 
Ebert, Christof. author. Dumke, Reiner. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71649-5
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73279-2
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II
Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73281-5
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III
Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73283-9
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for New Trends in Applied Artificial Intelligence 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings
New Trends in Applied Artificial Intelligence 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings
Author 
Okuno, Hiroshi G. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73325-6
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Ergonomics and Health Aspects of Work with Computers International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings
Ergonomics and Health Aspects of Work with Computers International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings
Author 
Dainoff, Marvin J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73333-1
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Virtual Reality Second International Conference, ICVR 2007, Held as part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings
Virtual Reality Second International Conference, ICVR 2007, Held as part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings
Author 
Shumaker, Randall. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73335-5
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Debian GNU/Linux Grundlagen, Einrichtung und Betrieb
Debian GNU/Linux Grundlagen, Einrichtung und Betrieb
Author 
Ganten, Peter H. author. Alex, Wulf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73339-3
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
Author 
Damm, Werner. editor. Hermanns, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73368-3
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings
Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings
Author 
Bošnački, Dragan. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73370-6
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers
Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers
Author 
Gurevich, Yuri. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73770-4
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for RoboCup 2006: Robot Soccer World Cup X
RoboCup 2006: Robot Soccer World Cup X
Author 
Lakemeyer, Gerhard. editor. Sklar, Elizabeth. editor. Sorrenti, Domenico G. editor. Takahashi, Tomoichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74024-7
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Architecting Dependable Systems IV
Architecting Dependable Systems IV
Author 
Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74035-3
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings
Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings
Author 
Nielson, Hanne Riis. editor. Filé, Gilberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74061-2
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Author 
Edelkamp, Stefan. editor. Lomuscio, Alessio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74128-2
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74477-1
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74484-9
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
Author 
Schneider, Klaus. editor. Brandt, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74591-4
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings
Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings
Author 
Konev, Boris. editor. Wolter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74621-8
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers
Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers
Author 
Noriega, Pablo. editor. Vázquez-Salceda, Javier. editor. Boella, Guido. editor. Boissier, Olivier. editor. Dignum, Virginia. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74459-7
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings
Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings
Author 
Kermarrec, Anne-Marie. editor. Bougé, Luc. editor. Priol, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74466-5
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74472-6
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings
Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74780-2
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007. Proceedings
Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007. Proceedings
Author 
Li, Keqiu. editor. Jesshope, Chris. editor. Jin, Hai. editor. Gaudiot, Jean-Luc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74784-0
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74792-5
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
Author 
Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74796-3
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II
Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II
Author 
Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74800-7
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Ad-Hoc, Mobile, and Wireless Networks 6th International Conference, ADHOC-NOW 2007, Morelia, Mexico, September 24-26, 2007, Proceeedings
Ad-Hoc, Mobile, and Wireless Networks 6th International Conference, ADHOC-NOW 2007, Morelia, Mexico, September 24-26, 2007, Proceeedings
Author 
Kranakis, Evangelos. editor. Opatrny, Jaroslav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74823-6
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Next Generation Teletraffic and Wired/Wireless Advanced Networking 7th International Conference, NEW2AN 2007 St. Petersburg, Russia, September 10-14, 2007 Proceedings
Next Generation Teletraffic and Wired/Wireless Advanced Networking 7th International Conference, NEW2AN 2007 St. Petersburg, Russia, September 10-14, 2007 Proceedings
Author 
Koucheryavy, Yevgeni. editor. Harju, Jarmo. editor. Sayenko, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74833-5
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for UbiComp 2007: Ubiquitous Computing 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007. Proceedings
UbiComp 2007: Ubiquitous Computing 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007. Proceedings
Author 
Krumm, John. editor. Abowd, Gregory D. editor. Seneviratne, Aruna. editor. Strang, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74853-3
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Self-Organizing Systems Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings
Self-Organizing Systems Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings
Author 
Hutchison, David. editor. Katz, Randy H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74917-2
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Multiagent System Technologies 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings
Multiagent System Technologies 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings
Author 
Petta, Paolo. editor. Müller, Jörg P. editor. Klusch, Matthias. editor. Georgeff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74949-3
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Multi-Agent Systems and Applications V 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings
Multi-Agent Systems and Applications V 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings
Author 
Burkhard, Hans-Dieter. editor. Lindemann, Gabriela. editor. Verbrugge, Rineke. editor. Varga, László Zsolt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75254-7
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Database and XMLTechnologies 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007. Proceedings
Database and XMLTechnologies 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007. Proceedings
Author 
Barbosa, Denilson. editor. Bonifati, Angela. editor. Bellahsène, Zohra. editor. Hunt, Ela. editor. Unland, Rainer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75288-2
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
Author 
Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75292-9
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings
Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings
Author 
Bondavalli, Andrea. editor. Brasileiro, Francisco. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75294-3
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Author 
Montanari, Ugo. editor. Sannella, Donald. editor. Bruni, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75336-0
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Software Process Improvement 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings
Software Process Improvement 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings
Author 
Abrahamsson, Pekka. editor. Baddoo, Nathan. editor. Margaria, Tiziana. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75381-0
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers
Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers
Author 
Kågström, Bo. editor. Elmroth, Erik. editor. Dongarra, Jack. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75755-9
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings
High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings
Author 
Perrott, Ronald. editor. Chapman, Barbara M. editor. Subhlok, Jaspal. editor. Mello, Rodrigo Fernandes. editor. Yang, Laurence T. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75444-2
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings
Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings
Author 
Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75454-1
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Information Security 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings
Information Security 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings
Author 
Garay, Juan A. editor. Lenstra, Arjen K. editor. Mambo, Masahiro. editor. Peralta, René. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75496-1
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings
Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings
Author 
Masuzawa, Toshimitsu. editor. Tixeuil, Sébastien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76627-8
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
Author 
Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76637-7
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Ubiquitous Computing Systems 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007. Proceedings
Ubiquitous Computing Systems 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007. Proceedings
Author 
Ichikawa, Haruhisa. editor. Cho, We-Duke. editor. Satoh, Ichiro. editor. Youn, Hee Yong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76772-5
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings
Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings
Author 
Cerqueira, Renato. editor. Campbell, Roy H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76778-7
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Author 
Backhouse, Roland. editor. Gibbons, Jeremy. editor. Hinze, Ralf. editor. Jeuring, Johan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76786-2
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings
Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings
Author 
Fdida, Serge. editor. Sugiura, Kazunori. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76809-8
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers
Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers
Author 
Moreira, Ana. editor. Grundy, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76811-1
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
Author 
Xu, Ming. editor. Zhan, Yinwei. editor. Cao, Jiannong. editor. Liu, Yijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76837-1
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I
On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I
Author 
Meersman, Robert. editor. Tari, Zahir. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76888-3
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II
On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II
Author 
Meersman, Robert. editor. Tari, Zahir. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76890-6
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Persuasive Technology Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papers
Persuasive Technology Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papers
Author 
Kort, Yvonne. editor. IJsselsteijn, Wijnand. editor. Midden, Cees. editor. Eggen, Berry. editor. Fogg, B. J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77006-0
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Virtual Storytelling. Using Virtual Reality Technologies for Storytelling 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007. Proceedings
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007. Proceedings
Author 
Cavazza, Marc. editor. Donikian, Stéphane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77039-8
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Transactions on Aspect-Oriented Software Development IV
Transactions on Aspect-Oriented Software Development IV
Author 
Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77042-8
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Active Conceptual Modeling of Learning Next Generation Learning-Base System Development
Active Conceptual Modeling of Learning Next Generation Learning-Base System Development
Author 
Chen, Peter P. editor. Wong, Leah Y. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77503-4
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Information Security Applications 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers
Information Security Applications 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers
Author 
Kim, Sehun. editor. Yung, Moti. editor. Lee, Hyung-Woo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77535-5
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Effiziente Softwareentwicklung mit Referenzmodellen
Effiziente Softwareentwicklung mit Referenzmodellen
Author 
Becker, Jörg. editor. Delfmann, Patrick. editor. Rieke, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7908-1994-6
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Masterkurs Client/Server- Programmierung mit Java Anwendungen entwickeln mit JDBC, Sockets, XML-RPC, RMI und JMS - Kompakt und praxisnah - Zahlreiche Programmbeispiele und Aufgaben
Masterkurs Client/Server- Programmierung mit Java Anwendungen entwickeln mit JDBC, Sockets, XML-RPC, RMI und JMS - Kompakt und praxisnah - Zahlreiche Programmbeispiele und Aufgaben
Author 
Abts, Dietmar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9180-8
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Profikurs ABAP® Konkrete, praxisorientierte Lösungen - Tipps, Tricks und jede Menge Erfahrung
Profikurs ABAP® Konkrete, praxisorientierte Lösungen - Tipps, Tricks und jede Menge Erfahrung
Author 
Theobald, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9207-2
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Visual Languages and Applications
Visual Languages and Applications
Author 
Zhang, Kang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68257-0
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Compiling Esterel
Compiling Esterel
Author 
Potop-Butucaru, Dumitru. author. Edwards, Stephen A. author. Berry, Gérard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-70628-3
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for System Software Reliability
System Software Reliability
Author 
Pham, Hoang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-295-0
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Evolving Connectionist Systems The Knowledge Engineering Approach
Evolving Connectionist Systems The Knowledge Engineering Approach
Author 
Kasabov, Nikola. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-347-5
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Techniques virales avancées
Techniques virales avancées
Author 
Filiol, Éric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-287-33888-5
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services
Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services
Author 
Gunther, Neil J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-31010-5
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Enabling Semantic Web Services The Web Service Modeling Ontology
Enabling Semantic Web Services The Web Service Modeling Ontology
Author 
Fensel, Dieter. author. Lausen, Holger. author. Bruijn, Jos. author. Stollberg, Michael. author. Roman, Dumitru. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-34520-6
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Conceptual Modeling of Information Systems
Conceptual Modeling of Information Systems
Author 
Olivé, Antoni. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-39390-0
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software
Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software
Author 
Diehl, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-46505-8
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Relationale und postrelationale Datenbanken
Relationale und postrelationale Datenbanken
Author 
Meier, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-46555-3
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
Author 
Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69061-0
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
Author 
Cook, Byron. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69738-1
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings
Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings
Author 
Langendoen, Koen. editor. Voigt, Thiemo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69830-2
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Author 
Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69868-5
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
Author 
Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69611-7
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings
Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings
Author 
Dubitzky, Werner. editor. Schuster, Assaf. editor. Sloot, Peter M. A. editor. Schroeder, Michael. editor. Romberg, Mathilde. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69968-2
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
Author 
Brim, Luboš. editor. Haverkort, Boudewijn. editor. Leucker, Martin. editor. Pol, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70952-7
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings
Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings
Author 
Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71493-4
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers
Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers
Author 
Minden, Gary J. editor. Calvert, Kenneth L. editor. Solarski, Marcin. editor. Yamamoto, Miki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71500-9
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I
Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I
Author 
Beliczynski, Bartlomiej. editor. Dzielinski, Andrzej. editor. Iwanowski, Marcin. editor. Ribeiro, Bernardete. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71618-1
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II
Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II
Author 
Beliczynski, Bartlomiej. editor. Dzielinski, Andrzej. editor. Iwanowski, Marcin. editor. Ribeiro, Bernardete. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71629-7
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Databases, Information Systems, and Peer-to-Peer Computing International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers
Databases, Information Systems, and Peer-to-Peer Computing International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers
Author 
Moro, Gianluca. editor. Bergamaschi, Sonia. editor. Joseph, Sam. editor. Morin, Jean-Henry. editor. Ouksel, Aris M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71661-7
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Anti-Spam Measures Analysis and Design
Anti-Spam Measures Analysis and Design
Author 
Schryen, Guido. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71750-8
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports
Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports
Author 
Südholt, Mario. editor. Consel, Charles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71774-4
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Ubiquitous Convergence Technology First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers
Ubiquitous Convergence Technology First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers
Author 
Stajano, Frank. editor. Kim, Hyoung Joong. editor. Chae, Jong-Suk. editor. Kim, Seong-Dong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71789-8
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers
Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers
Author 
Meuter, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71836-9
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers
Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers
Author 
Lehner, Wolfgang. editor. Meyer, Norbert. editor. Streit, Achim. editor. Stewart, Craig. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72337-0
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings
Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings
Author 
Cérin, Christophe. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72360-8
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings
Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings
Author 
Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72426-1
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Author 
Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72522-0
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I
Author 
Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72584-8
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II
Author 
Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72586-2
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III
Author 
Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72588-6
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV
Author 
Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72590-9
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings
The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings
Author 
Franconi, Enrico. editor. Kifer, Michael. editor. May, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72667-8
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Conceptual Modelling in Information Systems Engineering
Conceptual Modelling in Information Systems Engineering
Author 
Krogstie, John. editor. Opdahl, Andreas Lothe. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72677-7
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings
Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings
Author 
Lee, Yann-Hang. editor. Kim, Heung-Nam. editor. Kim, Jong. editor. Park, Yongwan. editor. Yang, Laurence T. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72685-2
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Wired/Wireless Internet Communications 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007. Proceedings
Wired/Wireless Internet Communications 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007. Proceedings
Author 
Boavida, Fernando. editor. Monteiro, Edmundo. editor. Mascolo, Saverio. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72697-5
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings
Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings
Author 
Chahed, Tijani. editor. Tuffin, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72709-5
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments
The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments
Author 
Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72727-9
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings
Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings
Author 
Tomkos, Ioannis. editor. Neri, Fabio. editor. Solé Pareta, Josep. editor. Masip Bruin, Xavier. editor. Sánchez Lopez, Sergi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72731-6
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Service Availability 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings
Service Availability 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings
Author 
Malek, Miroslaw. editor. Reitenspieß, Manfred. editor. Moorsel, Aad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72736-1
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Author 
Murphy, Amy L. editor. Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72794-1
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers
Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers
Author 
Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72863-4
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings
Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings
Author 
Derrick, John. editor. Vain, Jüri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73196-2
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Effective IT Service Management To ITIL and Beyond!
Effective IT Service Management To ITIL and Beyond!
Author 
Addy, Rob. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73198-6
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
Author 
Davies, Jim. editor. Gibbons, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73210-5
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for IT-Projektrecht Vertragliche Gestaltung und Steuerung von IT-Projekten, Best Practices, Haftung der Geschäftsleitung
IT-Projektrecht Vertragliche Gestaltung und Steuerung von IT-Projekten, Best Practices, Haftung der Geschäftsleitung
Author 
Koch, Frank A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73224-2
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings
Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings
Author 
Abdennadher, Nabil. editor. Kordon, Fabrice. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73230-3
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Business Process Management Concepts, Languages, Architectures
Business Process Management Concepts, Languages, Architectures
Author 
Weske, Mathias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73522-9
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Dependable and Adaptable Networks and Services 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings
Dependable and Adaptable Networks and Services 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings
Author 
Pras, Aiko. editor. Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73530-4
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Data and Applications Security XXI 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings
Data and Applications Security XXI 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings
Author 
Barker, Steve. editor. Ahn, Gail-Joon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73538-0
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Autonomic and Trusted Computing 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings
Autonomic and Trusted Computing 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings
Author 
Xiao, Bin. editor. Yang, Laurence T. editor. Ma, Jianhua. editor. Muller-Schloer, Christian. editor. Hua, Yu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73547-2
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings
ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings
Author 
Ernst, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73589-2
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
Author 
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73595-3
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Web Engineering 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings
Web Engineering 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings
Author 
Baresi, Luciano. editor. Fraternali, Piero. editor. Houben, Geert-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73597-7
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Der Computer - Mein Lebenswerk
Der Computer - Mein Lebenswerk
Author 
Zuse, Konrad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73139-9
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
Author 
Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73859-6
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Advanced Data Mining and Applications Third International Conference, ADMA 2007 Harbin, China, August 6-8, 2007 Proceedings
Advanced Data Mining and Applications Third International Conference, ADMA 2007 Harbin, China, August 6-8, 2007 Proceedings
Author 
Alhajj, Reda. editor. Gao, Hong. editor. Li, Xue. editor. Li, Jianzhong. editor. Zaïane, Osmar R. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73871-8
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Modelling Distributed Systems
Modelling Distributed Systems
Author 
Fokkink, Wan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73938-8
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings
Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73940-1
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings
Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings
Author 
Saglietti, Francesca. editor. Oster, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75101-4
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Software Architecture First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings
Software Architecture First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings
Author 
Oquendo, Flavio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75132-8
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Service-Oriented Computing ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops Proceedings
Service-Oriented Computing ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops Proceedings
Author 
Georgakopoulos, Dimitrios. editor. Ritter, Norbert. editor. Benatallah, Boualem. editor. Zirpins, Christian. editor. Feuerlicht, George. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75492-3
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers
Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers
Author 
Draheim, Dirk. editor. Weber, Gerald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75912-6
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings
Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings
Author 
Engels, Gregor. editor. Opdyke, Bill. editor. Schmidt, Douglas C. editor. Weil, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75209-7
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings
Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings
Author 
Wolter, Katinka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75211-0
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
Author 
Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75221-9
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers
Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers
Author 
O’Hare, Gregory M. P. editor. Ricci, Alessandro. editor. O’Grady, Michael J. editor. Dikenelli, Oğuz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75524-1
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
Author 
Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75560-9
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings
Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings
Author 
Parent, Christine. editor. Schewe, Klaus-Dieter. editor. Storey, Veda C. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75563-0
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
Author 
Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75596-8
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings
Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings
Author 
Paschke, Adrian. editor. Biletskiy, Yevgen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75975-1
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers
Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers
Author 
Obermaisser, Roman. editor. Nah, Yunmook. editor. Puschner, Peter. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75664-4
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers
Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers
Author 
Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70816-2
Format: 
Availability 
Online Library~1
Available:
Copies: