Limit Search Results
Author
SpringerLink (Online service)
(586)
Kim, Tai-hoon. editor.
(13)
Ślęzak, Dominik. editor.
(8)
Nguyen, Ngoc Thanh. editor.
(7)
Daniilidis, Kostas. editor.
(6)
Language
Subject
Computer science.
(544)
Software engineering.
(343)
Computer software.
(316)
Computer Communication Networks.
(267)
Information systems.
(231)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
655 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Collaborative Software Engineering
Collaborative Software Engineering
Author 
Mistrík, Ivan. editor. Grundy, John. editor. Hoek, André. editor. Whitehead, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10294-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Software metrics and software metrology
Software metrics and software metrology
Author 
Abran, Alain, 1949-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381791
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Silverlight 4 Business Intelligence Software
Silverlight 4 Business Intelligence Software
Author 
Czernicki, Bart. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-3061-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Open Source Software for Digital Forensics
Open Source Software for Digital Forensics
Author 
Huebner, Ewa. editor. Zanero, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-5803-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Applied software product line engineering
Applied software product line engineering
Author 
Kang, Kyo C. Sugumaran, Vijayan, 1960- Park, Sooyong.
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:
7. 
Cover image for Secure and resilient software development
Secure and resilient software development
Author 
Merkow, Mark S. Raghavan, Lakshmikanth.
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 Software architecture : foundations, theory, and practice
Software architecture : foundations, theory, and practice
Author 
Taylor, Richard N., 1952- Medvidović, Nenad. Dashofy, Eric M. (Eric Matthew)
Preferred Shelf Number 
QA76.754 T39 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Software engineering : a practitioner's approach
Software engineering : a practitioner's approach
Author 
Pressman, Roger S.
Preferred Shelf Number 
QA76.758 P75 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
10. 
Cover image for Software engineering : principles and practice
Software engineering : principles and practice
Author 
Jawadekar, W. S. (Waman S.)
Preferred Shelf Number 
QA76.758 J39 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
11. 
Cover image for Software testing as a service
Software testing as a service
Author 
Ahmed, Ashfaque.
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:
12. 
Cover image for Innovation in China the Chinese software industry
Innovation in China the Chinese software industry
Author 
Jui, Shang-Ling.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Composing Software Components A Software-testing Perspective
Composing Software Components A Software-testing Perspective
Author 
Hamlet, Dick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7148-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Digitale Hardware/Software-Systeme Spezifikation und Verifikation
Digitale Hardware/Software-Systeme Spezifikation und Verifikation
Author 
Haubelt, Christian. author. Teich, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05356-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Advanced Ocean Modelling Using Open-Source Software
Advanced Ocean Modelling Using Open-Source Software
Author 
Kämpf, Jochen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10610-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Software Engineering Research, Management and Applications 2010
Software Engineering Research, Management and Applications 2010
Author 
Lee, Roger. editor. Ormandjieva, Olga. editor. Abran, Alain. editor. Constantinides, Constantinos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13273-5
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Usability Engineering kompakt Benutzbare Software gezielt entwickeln
Usability Engineering kompakt Benutzbare Software gezielt entwickeln
Author 
Richter, Michael. author. Flückiger, Markus D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2329-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung
Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung
Author 
Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2526-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Eingebettete Systeme Systemgrundlagen und Entwicklung eingebetteter Software
Eingebettete Systeme Systemgrundlagen und Entwicklung eingebetteter Software
Author 
Berns, Karsten. author. Bernd, Schürmann. author. Trapp, Mario. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9661-2
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Innovations in Computing Sciences and Software Engineering
Innovations in Computing Sciences and Software Engineering
Author 
Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9112-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for A Practical Introduction to Hardware/Software Codesign
A Practical Introduction to Hardware/Software Codesign
Author 
Schaumont, Patrick R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6000-9
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for MATLAB software for the code excited linear prediction algorithm the Federal Standard, 1016
MATLAB software for the code excited linear prediction algorithm the Federal Standard, 1016
Author 
Ramamurthy, Karthikeyan N. Spanias, Andreas.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440314
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Directory of library automation software, systems, and services.
Directory of library automation software, systems, and services.
Author 
Cibbarelli, Pamela R., ed. Information Today, Inc.
Preferred Shelf Number 
Z678.9.A3 D6
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
24. 
Cover image for Object-oriented software engineering : using UML, patterns, and Java
Object-oriented software engineering : using UML, patterns, and Java
Author 
Bruegge, Bernd. Dutoit, Allen H.
Preferred Shelf Number 
QA76.758 B785 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
25. 
Cover image for Next-Generation Business Intelligence Software with Silverlight 3
Next-Generation Business Intelligence Software with Silverlight 3
Author 
Czernicki, Bart. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-2488-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
Author 
Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-223-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Safety analyses of complex systems : considerations of software, firmware, hardware, human, and the environment
Safety analyses of complex systems : considerations of software, firmware, hardware, human, and the environment
Author 
Allocco, Michael.
Preferred Shelf Number 
TA169.7 A45 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
28. 
Cover image for Modeling in Event-B system and software engineering
Modeling in Event-B system and software engineering
Author 
Abrial, Jean-Raymond.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
Author 
Popovici, Katalin. author. Rousseau, Frédéric. author. Jerraya, Ahmed A. author. Wolf, Marilyn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-5567-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for A Practical Guide to Brain–Computer Interfacing with BCI2000 General-Purpose Software for Brain–Computer Interface Research, Data Acquisition, Stimulus Presentation, and Brain Monitoring
A Practical Guide to Brain–Computer Interfacing with BCI2000 General-Purpose Software for Brain–Computer Interface Research, Data Acquisition, Stimulus Presentation, and Brain Monitoring
Author 
Schalk, Gerwin. author. Mellinger, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-092-2
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Agile Software Development Best Practices for Large Software Development Projects
Agile Software Development Best Practices for Large Software Development Projects
Author 
Stober, Thomas. author. Hansmann, Uwe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70832-2
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings
Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings
Author 
Wieringa, Roel. editor. Persson, Anne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14192-8
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Author 
Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14335-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
Author 
Münch, Jürgen. editor. Yang, Ye. editor. Schäfer, Wilhelm. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14347-2
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. González-Pérez, César. editor. Jablonski, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14819-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Software Services for e-World 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedings
Software Services for e-World 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedings
Author 
Cellary, Wojciech. editor. Estevez, Elsa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16283-1
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Developing Business Application Systems On the Specification and Selection of Software Components and Services
Developing Business Application Systems On the Specification and Selection of Software Components and Services
Author 
Skroch, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8349-8858-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Dynamic Reconfigurable Architectures and Transparent Optimization Techniques Automatic Acceleration of Software Execution
Dynamic Reconfigurable Architectures and Transparent Optimization Techniques Automatic Acceleration of Software Execution
Author 
Schneider Beck Fl., Antonio Carlos. author. Carro, Luigi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3913-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Routine Data Processing in Earthquake Seismology With Sample Data, Exercises and Software
Routine Data Processing in Earthquake Seismology With Sample Data, Exercises and Software
Author 
Havskov, Jens. author. Ottemoller, Lars. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8697-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Multicore Systems On-Chip: Practical Software/Hardware Design
Multicore Systems On-Chip: Practical Software/Hardware Design
Author 
Abdallah, Abderazek Ben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-33-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Arithmetic Optimization Techniques for Hardware and Software Design
Arithmetic Optimization Techniques for Hardware and Software Design
Author 
Kastner, Ryan. Hosangadi, Anup. Fallah, Farzan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Üç boyutlu bilgisayar grafiklerinde yazılım tasarım örüntüleri ve uygulamaları = Applying software design patterns in 3D computer graphics
Üç boyutlu bilgisayar grafiklerinde yazılım tasarım örüntüleri ve uygulamaları = Applying software design patterns in 3D computer graphics
Author 
Selem, Atilla.
Preferred Shelf Number 
TEZ 9338 .S45 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
43. 
Cover image for Permutation tests for complex data theory, applications, and software
Permutation tests for complex data theory, applications, and software
Author 
Pesarin, Fortunato. Salmaso, Luigi. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470689516
MyiLibrary, Table of contents http://www.myilibrary.com?id=255043&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10371881
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for The architecture of computer hardware, systems software, and networking : an information technology approach
The architecture of computer hardware, systems software, and networking : an information technology approach
Author 
Englander, Irv.
Preferred Shelf Number 
QA76.5 E54 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
45. 
Cover image for Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings
Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings
Author 
Massacci, Fabio. editor. Wallach, Dan. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11747-3
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Author 
Gordon, Andrew D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11957-6
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Author 
Gupta, Rajiv. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11970-5
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Author 
Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12002-2
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Author 
Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12029-9
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Author 
Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12032-9
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Agility Across Time and Space Implementing Agile Methods in Global Software Projects
Agility Across Time and Space Implementing Agile Methods in Global Software Projects
Author 
Šmite, Darja. editor. Moe, Nils Brede. editor. Ågerfalk, Pär J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12442-6
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
Author 
Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12566-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Agile Software Development Current Research and Future Directions
Agile Software Development Current Research and Future Directions
Author 
Dingsøyr, Torgeir. editor. Dybå, Tore. editor. Moe, Nils Brede. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12575-1
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Open Source Software: New Horizons 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 – June 2, 2010. Proceedings
Open Source Software: New Horizons 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 – June 2, 2010. Proceedings
Author 
Ågerfalk, Pär. editor. Boldyreff, Cornelia. editor. González-Barahona, Jesús M. editor. Madey, Gregory R. editor. Noll, John. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13244-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010
Author 
Lee, Roger. editor. Ma, Jixin. editor. Bacon, Liz. editor. Du, Wencai. editor. Petridis, Miltos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13265-0
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Multimedia Services in Intelligent Environments Software Development Challenges and Solutions
Multimedia Services in Intelligent Environments Software Development Challenges and Solutions
Author 
Tsihrintzis, George A. editor. Virvou, Maria. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13355-8
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
Author 
Real, Jorge. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13550-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Software Business First International Conference, ICSOB 2010, Jyväskylä, Finland, June 21-23, 2010. Proceedings
Software Business First International Conference, ICSOB 2010, Jyväskylä, Finland, June 21-23, 2010. Proceedings
Author 
Tyrväinen, Pasi. editor. Jansen, Slinger. editor. Cusumano, Michael A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13633-7
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Author 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13678-8
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings
Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings
Author 
Nordio, Martin. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. Terekhov, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13784-6
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Product-Focused Software Process Improvement 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings
Product-Focused Software Process Improvement 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings
Author 
Ali Babar, M. editor. Vierimaa, Matias. editor. Oivo, Markku. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13792-1
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings
Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings
Author 
Heineman, George T. editor. Kofron, Jan. editor. Plasil, Frantisek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13821-8
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Fast Software Encryption 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers
Fast Software Encryption 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers
Author 
Hong, Seokhie. editor. Iwata, Tetsu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13858-4
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings
Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings
Author 
Babar, Muhammad Ali. editor. Gorton, Ian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15114-9
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures
Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures
Author 
Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15543-7
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Software Product Lines: Going Beyond 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings
Software Product Lines: Going Beyond 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings
Author 
Bosch, Jan. editor. Lee, Jaejoon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15579-6
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
Author 
Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15582-6
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings
Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings
Author 
Riel, Andreas. editor. O’Connor, Rory. editor. Tichkiewitch, Serge. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15666-3
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Valuation of Network Effects in Software Markets A Complex Networks Approach
Valuation of Network Effects in Software Markets A Complex Networks Approach
Author 
Kemper, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7908-2367-7
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Best Practice Software-Engineering Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen
Best Practice Software-Engineering Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen
Author 
Schatten, Alexander. author. Demolsky, Markus. author. Winkler, Dietmar. author. Biffl, Stefan. author. Gostischa-Franta, Erik. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2487-7
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Elektronik in der Fahrzeugtechnik Hardware, Software, Systeme und Projektmanagement
Elektronik in der Fahrzeugtechnik Hardware, Software, Systeme und Projektmanagement
Author 
Borgeest, Kai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9337-6
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen
Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen
Author 
Schäuffele, Jörg. author. Zurawka, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9368-0
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Software-as-a-Service Anbieterstrategien, Kundenbedürfnisse und Wertschöpfungsstrukturen
Software-as-a-Service Anbieterstrategien, Kundenbedürfnisse und Wertschöpfungsstrukturen
Author 
Benlian, Alexander. editor. Hess, Thomas. editor. Buxmann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8349-8731-0
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Advanced Techniques in Computing Sciences and Software Engineering
Advanced Techniques in 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-90-481-3660-5
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
Author 
Shukla, Sandeep K. editor. Talpin, Jean-Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6400-7
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Software Automatic Tuning From Concepts to State-of-the-Art Results
Software Automatic Tuning From Concepts to State-of-the-Art Results
Author 
Naono, Ken. editor. Teranishi, Keita. editor. Cavazos, John. editor. Suda, Reiji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6935-4
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Handbook on Analyzing Human Genetic Data Computational Approaches and Software
Handbook on Analyzing Human Genetic Data Computational Approaches and Software
Author 
Lin, Shili. author. Zhao, Hongyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69264-5
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Handbook of Applied Spatial Analysis Software Tools, Methods and Applications
Handbook of Applied Spatial Analysis Software Tools, Methods and Applications
Author 
Fischer, Manfred M. editor. Getis, Arthur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03647-7
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Sensor Systems and Software First International ICST Conference, S-CUBE 2009, Pisa, Italy, September 7-9, 2009, Revised Selected Papers
Sensor Systems and Software First International ICST Conference, S-CUBE 2009, Pisa, Italy, September 7-9, 2009, Revised Selected Papers
Author 
Hailes, Stephen. editor. Sicari, Sabrina. editor. Roussos, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11528-8
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
Author 
Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11623-0
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers
Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers
Author 
Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12107-4
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
Author 
Ghosh, Sudipto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12261-3
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Advanced Lectures on Software Engineering LASER Summer School 2007/2008
Advanced Lectures on Software Engineering LASER Summer School 2007/2008
Author 
Müller, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13010-6
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010. Proceedings
Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010. Proceedings
Author 
Sillitti, Alberto. editor. Martin, Angela. editor. Wang, Xiaofeng. editor. Whitworth, Elizabeth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13054-0
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
Author 
Grunske, Lars. editor. Reussner, Ralf. editor. Plasil, Frantisek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13238-4
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
Author 
Baudry, Benoît. editor. Wohlstadter, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14046-4
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Cyber-Physical Systems Innovation Durch Software-Intensive Eingebettete Systeme
Cyber-Physical Systems Innovation Durch Software-Intensive Eingebettete Systeme
Author 
Broy, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14901-6
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
Author 
Leavens, Gary T. editor. O’Hearn, Peter. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15057-9
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling
Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling
Author 
Katz, Shmuel. editor. Mezini, Mira. editor. Kienzle, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16086-8
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Author 
Pol, Jaco. editor. Weber, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16164-3
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Lean Enterprise Software and Systems First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings
Lean Enterprise Software and Systems First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings
Author 
Abrahamsson, Pekka. editor. Oza, Nilay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16416-3
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings
Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings
Author 
Bernhaupt, Regina. editor. Forbrig, Peter. editor. Gulliksen, Jan. editor. Lárusdóttir, Marta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16488-0
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers
Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers
Author 
Sicilia, Miguel-Angel. editor. Kop, Christian. editor. Sartori, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16496-5
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
Author 
Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16573-3
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Author 
Dong, Jin Song. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16901-4
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Advances in Software Engineering International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings
Advances in Software Engineering International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings
Author 
Kim, Tai-hoon. editor. Kim, Haeng-Kon. editor. Khan, Muhammad Khurram. editor. Kiumi, Akingbehin. editor. Fang, Wai-chi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17578-7
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Grundlegende Statistik mit R Eine anwendungsorientierte Einführung in die Verwendung der Statistik Software R
Grundlegende Statistik mit R Eine anwendungsorientierte Einführung in die Verwendung der Statistik Software R
Author 
Groß, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9677-3
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Trustworthy compilers
Trustworthy compilers
Author 
Safonov, V. O. (Vladimir Olegovich)
Preferred Shelf Number 
ONLINE
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?bookid=35179
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=485634
John Wiley http://dx.doi.org/10.1002/9780470593387
http://site.ebrary.com/lib/alltitles/Doc?id=10366446
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Author 
Truszkowski, Walt. author. Hallock, Harold. author. Rouff, Christopher. author. Karlin, Jay. author. Rash, James. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105417
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Emerging Web Services Technology Volume III
Emerging Web Services Technology Volume III
Author 
Binder, Walter. editor. Dustdar, Schahram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0346-0104-7
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for How to build a digital library
How to build a digital library
Author 
Witten, I. H. (Ian H.) Bainbridge, David, 1969- Nichols, David M.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123748577
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for 100% Photoshop creating stunning illustrations without using any photographs
100% Photoshop creating stunning illustrations without using any photographs
Author 
Caplin, Steve.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240814254
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Mastering Microsoft Windows Small business server 2008
Mastering Microsoft Windows Small business server 2008
Author 
Johnson, Steve, 1961-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Image http://images.contentreserve.com/ImageType-100/0128-1/{601B0EE1-FEEF-4600-8F33-056DC42F14F2}Img100.jpg
Books24x7 http://www.books24x7.com/marc.asp?bookid=41088
Safari Books Online http://proquest.safaribooksonline.com/9780470503720
Wiley InterScience http://dx.doi.org/10.1002/9781118255865
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Excel 2010 power programming with VBA
Excel 2010 power programming with VBA
Author 
Walkenbach, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?bookid=34798
John Wiley http://dx.doi.org/10.1002/9781118257616
http://proquest.safaribooksonline.com/?fpi=9780470475355
Knovel http://app.knovel.com/web/toc.v/cid:kpEPPVBA01
http://proquest.safaribooksonline.com/9780470475355
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Excel 2010 for dummies quick reference
Excel 2010 for dummies quick reference
Author 
Banfield, Colin. Walkenbach, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://site.ebrary.com/lib/alltitles/Doc?id=10381086
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for John Walkenbach's favorite Excel 2010 tips & tricks
John Walkenbach's favorite Excel 2010 tips & tricks
Author 
Walkenbach, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
Image http://images.contentreserve.com/ImageType-100/0128-1/{2CF5F854-F956-44AE-A235-2522CBEBCF0B}Img100.jpg
John Wiley http://dx.doi.org/10.1002/9781118257647
OverDrive (PDF) http://www.contentreserve.com/TitleInfo.asp?ID={2CF5F854-F956-44AE-A235-2522CBEBCF0B}&Format=50
Safari Books Online http://proquest.safaribooksonline.com/640 http://proquest.safaribooksonline.com/?fpi=9780470475379
Safari Books Online http://proquest.safaribooksonline.com/9780470475379
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Java and Mac OS X
Java and Mac OS X
Author 
Davis, Gene.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Safari Books Online http://proquest.safaribooksonline.com/?fpi=9780470525111
http://site.ebrary.com/lib/alltitles/Doc?id=10377822
Volltext http://proquest.safaribooksonline.com/9780470525111
Volltext http://proquest.tech.safaribooksonline.de/9780470525111
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for PowerBuilder : PowerScript reference, version 6.
PowerBuilder : PowerScript reference, version 6.
Preferred Shelf Number 
QA 76.76.A65 P871 1991-97 V.2
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
109. 
Cover image for The comingled code open source and economic development
The comingled code open source and economic development
Author 
Lerner, Joshua. Schankerman, Mark.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267477
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for The computer boys take over computers, programmers, and the politics of technical expertise
The computer boys take over computers, programmers, and the politics of technical expertise
Author 
Ensmenger, Nathan, 1972-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267480
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for The basics of hacking and penetration testing ethical hacking and penetration testing made easy
The basics of hacking and penetration testing ethical hacking and penetration testing made easy
Author 
Engebretson, Pat (Patrick Henry), 1974-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781597496551
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Agile development & business goals the six week solution
Agile development & business goals the six week solution
Author 
Holtsnider, Bill, 1956-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123815200
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Ableton Live 8 and Suite 8 create, produce, perform
Ableton Live 8 and Suite 8 create, produce, perform
Author 
Robinson, Keith, 1977-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240812281
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Distributed game development harnessing global talent to create winning games
Distributed game development harnessing global talent to create winning games
Author 
Fields, Tim.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240812717
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Algorithmic Randomness and Complexity
Algorithmic Randomness and Complexity
Author 
Downey, Rodney G. author. Hirschfeldt, Denis R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68441-3
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Mathematica in Action Problem Solving Through Visualization and Computation
Mathematica in Action Problem Solving Through Visualization and Computation
Author 
Wagon, Stan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75477-2
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Information Systems Development Towards a Service Provision Society
Information Systems Development Towards a Service Provision Society
Author 
Papadopoulos, George Angelos. editor. Wojtkowski, Wita. editor. Wojtkowski, Gregory. editor. Wrycza, Stanislaw. editor. Zupancic, Jože. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137171
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Handbook of Floating-Point Arithmetic
Handbook of Floating-Point Arithmetic
Author 
Muller, Jean-Michel. author. Brisebarre, Nicolas. author. de Dinechin, Florent. author. Jeannerod, Claude-Pierre. author. Lefèvre, Vincent. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4705-6
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New Directions
Author 
Boca, Paul. editor. Bowen, Jonathan P. editor. Siddiqi, Jawed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-736-3
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Mathematica®: A Problem-Centered Approach
Mathematica®: A Problem-Centered Approach
Author 
Hazrat, Roozbeh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-251-3
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Network Science Complexity in Nature and Technology
Network Science Complexity in Nature and Technology
Author 
Estrada, Ernesto. editor. Fox, Maria. editor. Higham, Desmond J. editor. Oppo, Gian-Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-396-1
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Reliable and Autonomous Computational Science International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010
Reliable and Autonomous Computational Science International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010
Author 
Shin, Sung Y. editor. Gantenbein, Rex. editor. Kuo, Tei-Wei. editor. Hong, Jiman. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0031-0
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Distributed game development harnessing global talent to create winning games
Distributed game development harnessing global talent to create winning games
Author 
Fields, Tim.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for An introduction to modeling of transport processes applications to biomedical systems
An introduction to modeling of transport processes applications to biomedical systems
Author 
Datta, Ashim K. Rakesh, Vineet.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=325176
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Spatial data quality from process to decisions
Spatial data quality from process to decisions
Author 
Devillers, Rodolphe. Goodchild, H. (Helen)
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:
126. 
Cover image for Human-computer etiquette cultural expectations and the design implications they place on computers and technology
Human-computer etiquette cultural expectations and the design implications they place on computers and technology
Author 
Hayes, Caroline. Miller, Christopher Allan.
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:
127. 
Cover image for Information systems transformation architecture-driven modernization case studies
Information systems transformation architecture-driven modernization case studies
Author 
Ulrich, William M. Newcomb, Philip.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123749130
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Managed code rootkits hooking into runtime environments
Managed code rootkits hooking into runtime environments
Author 
Metula, Erez.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781597495745
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for SystemC: From the Ground Up
SystemC: From the Ground Up
Author 
Black, David C. author. Donovan, Jack. author. Bunton, Bill. author. Keist, Anna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69958-5
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Network Security
Network Security
Author 
Huang, Scott C.-H. editor. MacCallum, David. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-73821-5
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Mathematics for Multimedia
Mathematics for Multimedia
Author 
Wickerhauser, Mladen Victor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4880-0
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Notes on Introductory Combinatorics
Notes on Introductory Combinatorics
Author 
Pólya, George. author. Tarjan, Robert E. author. Woods, Donald R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4953-1
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Pro PHP Refactoring
Pro PHP Refactoring
Author 
Trucchia, Francesco. author. Romei, Jacopo. author. Lowman, Michelle. editor. Andres, Clay. editor. Anglin, Steve. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-2728-1
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Genetic Programming Theory and Practice VII
Genetic Programming Theory and Practice VII
Author 
Riolo, Rick. editor. O'Reilly, Una-May. editor. McConaghy, Trent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1626-6
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Algorithms and Programming Problems and Solutions
Algorithms and Programming Problems and Solutions
Author 
Shen, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1748-5
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for The P=NP Question and Gödel’s Lost Letter
The P=NP Question and Gödel’s Lost Letter
Author 
Lipton, Richard J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7155-5
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Agent-Based Service-Oriented Computing
Agent-Based Service-Oriented Computing
Author 
Griffiths, Nathan. editor. Chao, Kuo-Ming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-041-0
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Making Systems Safer Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010
Making Systems Safer Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010
Author 
Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-086-1
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Tabletops - Horizontal Interactive Displays
Tabletops - Horizontal Interactive Displays
Author 
Müller-Tomfelde, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-113-4
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for CAD and GIS integration
CAD and GIS integration
Author 
Karimi, Hassan A. Akinci, Burcu.
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:
141. 
Cover image for Building an enterprise-wide business continuity program
Building an enterprise-wide business continuity program
Author 
Okolita, Kelley.
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:
142. 
Cover image for Patterns of data modeling
Patterns of data modeling
Author 
Blaha, Michael.
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:
143. 
Cover image for Safety, health, and environmental auditing a practical guide
Safety, health, and environmental auditing a practical guide
Author 
Pain, Simon Watson.
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:
144. 
Cover image for Cap-analysis gene expression (CAGE) the science of decoding gene transcription
Cap-analysis gene expression (CAGE) the science of decoding gene transcription
Author 
Carninci, Piero.
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:
145. 
Cover image for Computational intelligence paradigms theory & applications using MATLAB
Computational intelligence paradigms theory & applications using MATLAB
Author 
Sumathi, S., 1968- Surekha, P., 1980-
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:
146. 
Cover image for Implementing and developing cloud computing applications
Implementing and developing cloud computing applications
Author 
Sarna, David E. Y.
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:
147. 
Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings
Author 
Lodi, Andrea. editor. Milano, Michela. editor. Toth, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13520-0
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Information Theoretic Security 4th International Conference, ICITS 2009, Shizuoka, Japan, December 3-6, 2009. Revised Selected Papers
Information Theoretic Security 4th International Conference, ICITS 2009, Shizuoka, Japan, December 3-6, 2009. Revised Selected Papers
Author 
Kurosawa, Kaoru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14496-7
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Algorithmic Number Theory 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings
Algorithmic Number Theory 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings
Author 
Hanrot, Guillaume. editor. Morain, François. editor. Thomé, Emmanuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14518-6
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Author 
Butterfield, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14521-6
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Privacy Enhancing Technologies 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings
Privacy Enhancing Technologies 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings
Author 
Atallah, Mikhail J. editor. Hopper, Nicholas J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14527-8
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
Author 
Montali, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14538-4
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings
Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings
Author 
Hart, Emma. editor. McEwan, Chris. editor. Timmis, Jon. editor. Hone, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14547-6
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
Author 
Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14553-7
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers
Computational Intelligence Methods for Bioinformatics and Biostatistics 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers
Author 
Masulli, Francesco. editor. Peterson, Leif E. editor. Tagliaferri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14571-1
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Transactions on Data Hiding and Multimedia Security V
Transactions on Data Hiding and Multimedia Security V
Author 
Shi, Yun Q. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14298-7
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Networked Digital Technologies Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part II
Networked Digital Technologies Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part II
Author 
Zavoral, Filip. editor. Yaghob, Jakub. editor. Pichappan, Pit. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14306-9
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Exploring Services Science First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers
Exploring Services Science First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers
Author 
Morin, Jean-Henry. editor. Ralyté, Jolita. editor. Snene, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14319-9
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Algorithmic Aspects in Information and Management 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings
Algorithmic Aspects in Information and Management 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings
Author 
Chen, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14355-7
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010, Proceedings, Part II
Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010, Proceedings, Part II
Author 
Ranka, Sanjay. editor. Banerjee, Arunava. editor. Biswas, Kanad Kishore. editor. Dua, Sumeet. editor. Mishra, Prabhat. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14825-5
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Advanced Intelligent Computing Theories and Applications 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010. Proceedings
Advanced Intelligent Computing Theories and Applications 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010. Proceedings
Author 
Huang, De-Shuang. editor. McGinnity, Martin. editor. Heutte, Laurent. editor. Zhang, Xiao-Ping. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14831-6
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I
Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I
Author 
Ranka, Sanjay. editor. Banerjee, Arunava. editor. Biswas, Kanad Kishore. editor. Dua, Sumeet. editor. Mishra, Prabhat. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14834-7
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers
Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers
Author 
Braubach, Lars. editor. Briot, Jean-Pierre. editor. Thangarajah, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14843-9
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
Author 
Müller-Hannemann, Matthias. editor. Schirra, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14866-8
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14403-5
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Resource Discovery Second International Workshop, RED 2009, Lyon, France, August 28, 2009. Revised Papers
Resource Discovery Second International Workshop, RED 2009, Lyon, France, August 28, 2009. Revised Papers
Author 
Lacroix, Zoé. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14415-8
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Smart Spaces and Next Generation Wired/Wireless Networking Third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010. Proceedings
Smart Spaces and Next Generation Wired/Wireless Networking Third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010. Proceedings
Author 
Balandin, Sergey. editor. Dunaytsev, Roman. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14891-0
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
Author 
Qin, Shengchao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16690-7
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part I
Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part I
Author 
Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16693-8
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part III
Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part III
Author 
Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16696-9
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
Author 
Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16310-4
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Advances in Production Management Systems. New Challenges, New Approaches IFIP WG 5.7 International Conference, APMS 2009, Bordeaux, France, September 21-23, 2009, Revised Selected Papers
Advances in Production Management Systems. New Challenges, New Approaches IFIP WG 5.7 International Conference, APMS 2009, Bordeaux, France, September 21-23, 2009, Revised Selected Papers
Author 
Vallespir, Bruno. editor. Alix, Thècle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16358-6
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Advanced Concepts for Intelligent Vision Systems 12th International Conference, ACIVS 2010, Sydney, Australia, December 13-16, 2010, Proceedings, Part II
Advanced Concepts for Intelligent Vision Systems 12th International Conference, ACIVS 2010, Sydney, Australia, December 13-16, 2010, Proceedings, Part II
Author 
Blanc-Talon, Jacques. editor. Bone, Don. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17691-3
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Towards a Service-Based Internet Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010. Proceedings
Towards a Service-Based Internet Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010. Proceedings
Author 
Nitto, Elisabetta. editor. Yahyapour, Ramin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17694-4
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Transactions on Computational Science XI Special Issue on Security in Computing, Part II
Transactions on Computational Science XI Special Issue on Security in Computing, Part II
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17697-5
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings
Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings
Author 
Ando, Noriaki. editor. Balakirsky, Stephen. editor. Hemker, Thomas. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17319-6
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
Author 
Engels, Gregor. editor. Lewerentz, Claus. editor. Schäfer, Wilhelm. editor. Schürr, Andy. editor. Westfechtel, Bernhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17322-6
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Programmieren in C
Programmieren in C
Author 
Klima, Robert. author. Selberherr, Siegfried. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7091-0393-7
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Applied Time Series Analysis and Innovative Computing
Applied Time Series Analysis and Innovative Computing
Author 
Ao, Sio-Iong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8768-3
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Electronic Engineering and Computing Technology
Electronic Engineering and Computing Technology
Author 
Ao, Sio-Iong. editor. Gelman, Len. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8776-8
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for CAD and GIS integration
CAD and GIS integration
Author 
Karimi, Hassan A. Akinci, Burcu.
Preferred Shelf Number 
G70.28 C33 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
182. 
Cover image for Yazılım kalitesi ve yazılım geliştirme araçları sempozyumu-YKGS 2010 : bildiriler kitabı, 3-4 Aralık 2010.
Yazılım kalitesi ve yazılım geliştirme araçları sempozyumu-YKGS 2010 : bildiriler kitabı, 3-4 Aralık 2010.
Author 
Yazılım kalitesi ve yazılım geliştirme araçları sempozyumu-YKGS (2. : (2010 : İstanbul)
Preferred Shelf Number 
QA76.76.D47 Y39 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
183. 
Cover image for Seven deadliest social network attacks
Seven deadliest social network attacks
Author 
Timm, Carl. Perez, Richard, 1969 Oct. 17- Ely, Adam.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781597495455
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Secure Integrated Circuits and Systems
Secure Integrated Circuits and Systems
Author 
Verbauwhede, Ingrid M.R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71829-3
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for The mobile agent rendezvous problem in the ring
The mobile agent rendezvous problem in the ring
Author 
Kranakis, Evangelos. Krizanc, Danny. Markou, Euripides.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440378
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for The SIM guide to enterprise architecture
The SIM guide to enterprise architecture
Author 
Kappelman, Leon Allan, 1947- Society for Information Management (U.S.) SIM Enterprise Architecture Working Group.
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:
187. 
Cover image for Quality assurance of agent-based and self-managed systems
Quality assurance of agent-based and self-managed systems
Author 
Dumke, Reiner. Mencke, Steffen. Wille, Cornelius.
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:
188. 
Cover image for Certified function point specialist examination guide
Certified function point specialist examination guide
Author 
Garmus, David. Russac, Janet. Edwards, Royce.
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:
189. 
Cover image for Antenna theory and microstrip antennas
Antenna theory and microstrip antennas
Author 
Fang, D. G.
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:
190. 
Cover image for Socio-technical networks science and engineering design
Socio-technical networks science and engineering design
Author 
Hu, Fei. Mostashari, Ali. Xie, Jiang.
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:
191. 
Cover image for Joomla! bible
Joomla! bible
Author 
Shreves, Ric.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Books24x7 http://www.books24x7.com/marc.asp?bookid=33854
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477829
Safari Books Online http://proquest.safaribooksonline.com/640 http://proquest.safaribooksonline.com/?fpi=9780470509579
Safari Books Online http://proquest.safaribooksonline.com/9780470509579
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Handbook of chemoinformatics algorithms
Handbook of chemoinformatics algorithms
Author 
Faulon, Jean-Loup. Bender, Andreas, 1976-
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:
193. 
Cover image for Teamwork in multi-agent systems a formal approach
Teamwork in multi-agent systems a formal approach
Author 
Dunin-Kȩplicz, Barbara. Verbrugge, Rineke. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470665237
http://site.ebrary.com/lib/alltitles/Doc?id=10389590
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Codecharts roadmaps and blueprints for object-oriented programs
Codecharts roadmaps and blueprints for object-oriented programs
Author 
Eden, A. H., 1967- Nicholson, J. (Jonathan), 1983- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Wiley InterScience - Full Text Online http://www.library.uiuc.edu/proxy/go.php?url=http://onlinelibrary.wiley.com/book/10.1002/9780470891032
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for In silico toxicology Principles and applications
In silico toxicology Principles and applications
Author 
Cronin, Mark T.D. Madden, Judith. Waters, Mike D. Marrs, Tim. Anderson, Diana.
Preferred Shelf Number 
ONLINE(344129.1)
Electronic Access 
http://dx.doi.org/10.1039/9781849732093
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Hello, Android : introducing Google's mobile development platform
Hello, Android : introducing Google's mobile development platform
Author 
Burnette, Ed.
Preferred Shelf Number 
QA76.76 B87 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
197. 
Cover image for Windows system programming
Windows system programming
Author 
Hart, Johnson M.
Preferred Shelf Number 
QA76.76.A65 H373 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
198. 
Cover image for Handbook of enterprise integration
Handbook of enterprise integration
Author 
Sherif, Mostafa Hashem.
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:
199. 
Cover image for Multi-core embedded systems
Multi-core embedded systems
Author 
Kornaros, Georgios.
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:
200. 
Cover image for Understanding computational Bayesian statistics
Understanding computational Bayesian statistics
Author 
Bolstad, William M., 1943-
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Accompanying software http://www.stats.waikato.ac.nz/publications/bolstad/UnderstandingComputationalBayesianStatistics/
Errata to text http://www.stats.waikato.ac.nz/publications/bolstad/UnderstandingComputationalBayesianStatistics/students/errata.pdf
http://onlinelibrary.wiley.com/book/10.1002/9780470567371
http://site.ebrary.com/lib/alltitles/Doc?id=10529341
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for SolidWorks administration bible
SolidWorks administration bible
Author 
Lombard, Matt.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=565056
Safari Books Online http://proquest.safaribooksonline.com/640 http://proquest.safaribooksonline.com/?fpi=9780470537268
Safari Books Online http://proquest.safaribooksonline.com/9780470537268
Books24x7 http://www.books24x7.com/marc.asp?bookid=40821
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Security for Web Services and Service-Oriented Architectures
Security for Web Services and Service-Oriented Architectures
Author 
Bertino, Elisa. author. Martino, Lorenzo. author. Paci, Federica. author. Squicciarini, Anna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87742-4
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for QVT - Operational Mappings Modellierung mit der Query Views Transformation
QVT - Operational Mappings Modellierung mit der Query Views Transformation
Author 
Nolte, Siegfried. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92293-3
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Simula Research Laboratory by Thinking Constantly about it
Simula Research Laboratory by Thinking Constantly about it
Author 
Tveito, Aslak. editor. Bruaset, Are Magnus. editor. Lysne, Olav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01156-6
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for HPC@Green IT Green High Performance Computing Methods
HPC@Green IT Green High Performance Computing Methods
Author 
Gruber, Ralf. author. Keller, Vincent. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01789-6
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for The LLL Algorithm Survey and Applications
The LLL Algorithm Survey and Applications
Author 
Nguyen, Phong Q. editor. Vallée, Brigitte. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02295-1
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for sicher & mobil Sicherheit in der drahtlosen Kommunikation
sicher & mobil Sicherheit in der drahtlosen Kommunikation
Author 
Osterhage, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03083-3
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Python 3 - Intensivkurs Projekte erfolgreich realisieren
Python 3 - Intensivkurs Projekte erfolgreich realisieren
Author 
Pilgrim, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04377-2
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Exakte Algorithmen für schwere Graphenprobleme
Exakte Algorithmen für schwere Graphenprobleme
Author 
Gurski, Frank. author. Rothe, Irene. author. Rothe, Jörg. author. Wanke, Egon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04500-4
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Datenaustausch in der Anlagenplanung mit AutomationML Integration von CAEX, PLCopen XML und COLLADA
Datenaustausch in der Anlagenplanung mit AutomationML Integration von CAEX, PLCopen XML und COLLADA
Author 
Draht, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04674-2
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Das C++ Kompendium STL, Objektfabriken, Exceptions
Das C++ Kompendium STL, Objektfabriken, Exceptions
Author 
Brands, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04787-9
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Strategic IT Management A Toolkit for Enterprise Architecture Management
Strategic IT Management A Toolkit for Enterprise Architecture Management
Author 
Hanschke, Inge. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05034-3
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
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-642-05256-9
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme
Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme
Author 
Partsch, Helmuth A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05358-0
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Programmierung mit LEGO Mindstorms NXT Robotersysteme, Entwurfsmethodik, Algorithmen
Programmierung mit LEGO Mindstorms NXT Robotersysteme, Entwurfsmethodik, Algorithmen
Author 
Berns, Karsten. author. Schmidt, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05470-9
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Overview of the PMBOK® Guide Short Cuts for PMP® Certification
Overview of the PMBOK® Guide Short Cuts for PMP® Certification
Author 
Conchúir, Deasún Ó. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11188-4
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Tools for High Performance Computing 2009 Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden
Tools for High Performance Computing 2009 Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden
Author 
Müller, Matthias S. editor. Resch, Michael M. editor. Schulz, Alexander. editor. Nagel, Wolfgang E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11261-4
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings
SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings
Author 
Leeuwen, Jan. editor. Muscholl, Anca. editor. Peleg, David. editor. Pokorný, Jaroslav. editor. Rumpe, Bernhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11266-9
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Replication Theory and Practice
Replication Theory and Practice
Author 
Charron-Bost, Bernadette. editor. Pedone, Fernando. editor. Schiper, André. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11294-2
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Author 
Barthe, Gilles. editor. Hermenegildo, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11319-2
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Distributed Computing and Networking 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings
Distributed Computing and Networking 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings
Author 
Kant, Krishna. editor. Pemmaraju, Sriram V. editor. Sivalingam, Krishna M. editor. Wu, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11322-2
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
Author 
Baldoni, Matteo. editor. Bentahar, Jamal. editor. Riemsdijk, M. Birna. editor. Lloyd, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11355-0
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Transactions on Computational Systems Biology XII Special Issue on Modeling Methodologies
Transactions on Computational Systems Biology XII Special Issue on Modeling Methodologies
Author 
Priami, Corrado. editor. Breitling, Rainer. editor. Gilbert, David. editor. Heiner, Monika. editor. Uhrmacher, Adelinde M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11712-1
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers
Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers
Author 
Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11721-3
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers
Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers
Author 
Zheng, Jun. editor. Mao, Shiwen. editor. Midkiff, Scott F. editor. Zhu, Hua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11723-7
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Quantum Communication and Quantum Networking First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papers
Quantum Communication and Quantum Networking First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papers
Author 
Sergienko, Alexander. editor. Pascazio, Saverio. editor. Villoresi, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11731-2
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers
Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers
Author 
Doulamis, Anastasios. editor. Mambretti, Joe. editor. Tomkos, Ioannis. editor. Varvarigou, Theodora. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11733-6
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
Author 
England, David. editor. Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Wild, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11797-8
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Theory of Cryptography 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010. Proceedings
Theory of Cryptography 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010. Proceedings
Author 
Micciancio, Daniele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11799-2
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Graph Drawing 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers
Graph Drawing 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers
Author 
Eppstein, David. editor. Gansner, Emden R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11805-0
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
Author 
Frappier, Marc. editor. Glässer, Uwe. editor. Khurshid, Sarfraz. editor. Laleau, Régine. editor. Reeves, Steve. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11811-1
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Adaptive and Learning Agents Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers
Adaptive and Learning Agents Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers
Author 
Taylor, Matthew E. editor. Tuyls, Karl. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11814-2
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Mobile Networks and Management First International Conference, MONAMI 2009, Athens, Greece, October 13-14, 2009. Revised Selected Papers
Mobile Networks and Management First International Conference, MONAMI 2009, Athens, Greece, October 13-14, 2009. Revised Selected Papers
Author 
Pentikousis, Kostas. editor. Blume, Oliver. editor. Agüero Calvo, Ramón. editor. Papavassiliou, Symeon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11817-3
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Agents and Artificial Intelligence International Conference, ICAART 2009, Porto, Portugal, January 19-21, 2009. Revised Selected Papers
Agents and Artificial Intelligence International Conference, ICAART 2009, Porto, Portugal, January 19-21, 2009. Revised Selected Papers
Author 
Filipe, Joaquim. editor. Fred, Ana. editor. Sharp, Bernadette. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11819-7
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
Author 
Link, Sebastian. editor. Prade, Henri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11829-6
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papers
Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papers
Author 
Ranchordas, AlpeshKumar. editor. Pereira, João Madeiras. editor. Araújo, Hélder J. editor. Tavares, João Manuel R. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11840-1
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
Author 
Zhang, Wu. editor. Chen, Zhangxin. editor. Douglas, Craig C. editor. Tong, Weiqin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11842-5
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Sensor Applications, Experimentation, and Logistics First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers
Sensor Applications, Experimentation, and Logistics First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers
Author 
Komninos, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11870-8
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for RoboCup 2009: Robot Soccer World Cup XIII
RoboCup 2009: Robot Soccer World Cup XIII
Author 
Baltes, Jacky. editor. Lagoudakis, Michail G. editor. Naruse, Tadashi. editor. Ghidary, Saeed Shiry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11876-0
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
Author 
Puppis, Gabriele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11881-4
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Wireless Sensor Networks 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010. Proceedings
Wireless Sensor Networks 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010. Proceedings
Author 
Silva, Jorge Sá. editor. Krishnamachari, Bhaskar. editor. Boavida, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11917-0
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Topics in Cryptology - CT-RSA 2010 The Cryptographers’ Track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010. Proceedings
Topics in Cryptology - CT-RSA 2010 The Cryptographers’ Track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010. Proceedings
Author 
Pieprzyk, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11925-5
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
Author 
Schmid, Ute. editor. Kitzelmann, Emanuel. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11931-6
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
Author 
Escobar, Santiago. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11999-6
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids
IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids
Author 
John, Karl Heinz. author. Tiegelkamp, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12015-2
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Information Systems, Technology and Management 4th International Conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010. Proceedings
Information Systems, Technology and Management 4th International Conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010. Proceedings
Author 
Prasad, Sushil K. editor. Vin, Harrick M. editor. Sahni, Sartaj. editor. Jaiswal, Mahadeo P. editor. Thipakorn, Bundit. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12035-0
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III
Author 
Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12179-1
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers
Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers
Author 
Rinderle-Ma, Stefanie. editor. Sadiq, Shazia. editor. Leymann, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12186-9
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV
Author 
Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12189-0
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
Author 
Pizzuti, Clara. editor. Ritchie, Marylyn D. editor. Giacobini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12211-8
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 26-27, 2010. Proceedings
Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 26-27, 2010. Proceedings
Author 
Das, Vinu V. editor. Vijayakumar, R. editor. Debnath, Narayan C. editor. Stephen, Janahanlal. editor. Meghanathan, Natarajan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12214-9
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Approximation and Online Algorithms 7th International Workshop,WAOA 2009, Copenhagen Denmark, September 10-11, 2009. Revised Papers
Approximation and Online Algorithms 7th International Workshop,WAOA 2009, Copenhagen Denmark, September 10-11, 2009. Revised Papers
Author 
Bampis, Evripidis. editor. Jansen, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12450-1
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Algorithms and Applications Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday
Algorithms and Applications Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday
Author 
Elomaa, Tapio. editor. Mannila, Heikki. editor. Orponen, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12476-1
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Smart Card Research and Advanced Application 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010. Proceedings
Smart Card Research and Advanced Application 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010. Proceedings
Author 
Gollmann, Dieter. editor. Lanet, Jean-Louis. editor. Iguchi-Cartigny, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12510-2
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers
Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12535-5
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Applications of Evolutionary Computation EvoApplicatons 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I
Applications of Evolutionary Computation EvoApplicatons 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I
Author 
Chio, Cecilia. editor. Cagnoni, Stefano. editor. Cotta, Carlos. editor. Ebner, Marc. editor. Ekárt, Anikó. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12239-2
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Author 
Schreye, Danny. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12592-8
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Ethics and Policy of Biometrics Third International Conference on Ethics and Policy of Biometrics and International Data Sharing, ICEB 2010, Hong Kong, January 4-5, 2010. Revised Papers
Ethics and Policy of Biometrics Third International Conference on Ethics and Policy of Biometrics and International Data Sharing, ICEB 2010, Hong Kong, January 4-5, 2010. Revised Papers
Author 
Kumar, Ajay. editor. Zhang, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12595-9
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Mobile Computing, Applications, and Services First International ICST Conference, MobiCASE 2009, San Diego, CA, USA, October 26-29, 2009, Revised Selected Papers
Mobile Computing, Applications, and Services First International ICST Conference, MobiCASE 2009, San Diego, CA, USA, October 26-29, 2009, Revised Selected Papers
Author 
Phan, Thomas. editor. Montanari, Rebecca. editor. Zerfos, Petros. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12607-9
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Passive and Active Measurement 11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010. Proceedings
Passive and Active Measurement 11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010. Proceedings
Author 
Krishnamurthy, Arvind. editor. Plattner, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12334-4
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Progress in Cryptology – AFRICACRYPT 2010 Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010. Proceedings
Progress in Cryptology – AFRICACRYPT 2010 Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010. Proceedings
Author 
Bernstein, Daniel J. editor. Lange, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12678-9
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Research in Computational Molecular Biology 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010. Proceedings
Research in Computational Molecular Biology 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010. Proceedings
Author 
Berger, Bonnie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12683-3
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for E-Infrastructures and E-Services on Developing Countries First International ICST Conference, AFRICOM 2009, Maputo, Mozambique, December 3-4, 2009. Proceedings
E-Infrastructures and E-Services on Developing Countries First International ICST Conference, AFRICOM 2009, Maputo, Mozambique, December 3-4, 2009. Proceedings
Author 
Villafiorita, Adolfo. editor. Saint-Paul, Regis. editor. Zorer, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12701-4
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Computational Modeling of Objects Represented in Images Second International Symposium, CompIMAGE 2010, Buffalo, NY, USA, May 5-7, 2010. Proceedings
Computational Modeling of Objects Represented in Images Second International Symposium, CompIMAGE 2010, Buffalo, NY, USA, May 5-7, 2010. Proceedings
Author 
Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Hauptman, Herbert A. editor. Natal Jorge, Renato M. editor. Tavares, João Manuel R. S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12712-0
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers
Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers
Author 
McBurney, Peter. editor. Rahwan, Iyad. editor. Parsons, Simon. editor. Maudet, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12805-9
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers
Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers
Author 
Altman, Eitan. editor. Carrera, Iacopo. editor. El-Azouzi, Rachid. editor. Hart, Emma. editor. Hayel, Yezekael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12808-0
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Information Security, Practice and Experience 6th International Conference, ISPEC 2010, Seoul, Korea, May 12-13, 2010. Proceedings
Information Security, Practice and Experience 6th International Conference, ISPEC 2010, Seoul, Korea, May 12-13, 2010. Proceedings
Author 
Kwak, Jin. editor. Deng, Robert H. editor. Won, Yoojae. editor. Wang, Guilin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12827-1
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Post-Quantum Cryptography Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010. Proceedings
Post-Quantum Cryptography Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010. Proceedings
Author 
Sendrier, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12929-2
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for NETWORKING 2010 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010. Proceedings
NETWORKING 2010 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010. Proceedings
Author 
Crovella, Mark. editor. Feeney, Laura Marie. editor. Rubenstein, Dan. editor. Raghavan, S. V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12963-6
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Advances in Neural Networks - ISNN 2010 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part I
Advances in Neural Networks - ISNN 2010 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part I
Author 
Zhang, Liqing. editor. Lu, Bao-Liang. editor. Kwok, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13278-0
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Structural Information and Communication Complexity 17th International Colloquium, SIROCCO 2010, Şirince, Turkey, June 7-11, 2010. Proceedings
Structural Information and Communication Complexity 17th International Colloquium, SIROCCO 2010, Şirince, Turkey, June 7-11, 2010. Proceedings
Author 
Patt-Shamir, Boaz. editor. Ekim, Tınaz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13284-1
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Wired/Wireless Internet Communications 8th International Conference, WWIC 2010, Luleå, Sweden, June 1-3, 2010. Proceedings
Wired/Wireless Internet Communications 8th International Conference, WWIC 2010, Luleå, Sweden, June 1-3, 2010. Proceedings
Author 
Osipov, Evgeny. editor. Kassler, Andreas. editor. Bohnert, Thomas Michael. editor. Masip-Bruin, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13315-2
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Advances in Neural Networks - ISNN 2010 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part II
Advances in Neural Networks - ISNN 2010 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part II
Author 
Zhang, Liqing. editor. Lu, Bao-Liang. editor. Kwok, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13318-3
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
Author 
Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13321-3
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Global Perspectives on Design Science Research 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.
Global Perspectives on Design Science Research 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.
Author 
Winter, Robert. editor. Zhao, J. Leon. editor. Aier, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13335-0
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings
Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings
Author 
Tomar, G. S. editor. Chang, Ruay-Shiung. editor. Gervasi, Osvaldo. editor. Kim, Tai-hoon. editor. Bandyopadhyay, Samir Kumar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13346-6
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Information Security and Assurance 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings
Information Security and Assurance 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings
Author 
Bandyopadhyay, Samir Kumar. editor. Adi, Wael. editor. Kim, Tai-hoon. editor. Xiao, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13365-7
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Advanced Communication and Networking Second International Conference, ACN 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings
Advanced Communication and Networking Second International Conference, ACN 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings
Author 
Chang, Chin-Chen. editor. Vasilakos, Thanos. editor. Das, Purnendu. editor. Kim, Tai-hoon. editor. Kang, Byeong-Ho. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13405-0
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Advances in Geometric Modeling and Processing 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010. Proceedings
Advances in Geometric Modeling and Processing 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010. Proceedings
Author 
Mourrain, Bernard. editor. Schaefer, Scott. editor. Xu, Guoliang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13411-1
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Author 
Clarke, Dave. editor. Agha, Gul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13414-2
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Multi-Agent-Based Simulation X International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers
Multi-Agent-Based Simulation X International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers
Author 
Tosto, Gennaro. editor. Dyke Parunak, H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13553-8
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Architecting Critical Systems First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings
Architecting Critical Systems First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings
Author 
Giese, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13556-9
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
Author 
Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13562-0
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings
Author 
Al-Begain, Khalid. editor. Fiems, Dieter. editor. Knottenbelt, William J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13568-2
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Advances in Computer Science and Information Technology AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings
Advances in Computer Science and Information Technology AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13577-4
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
Author 
Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13595-8
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Personal Satellite Services Second International ICST Confernce, PSATS 2010, Rome, Italy, February 2010 Revised Selected Papers
Personal Satellite Services Second International ICST Confernce, PSATS 2010, Rome, Italy, February 2010 Revised Selected Papers
Author 
Sithamparanathan, Kandeepan. editor. Marchese, Mario. editor. Ruggieri, Marina. editor. Bisio, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13618-4
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Author 
Eliassen, Frank. editor. Kapitza, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13645-0
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings
Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings
Author 
Rajaraman, Rajmohan. editor. Moscibroda, Thomas. editor. Dunkels, Adam. editor. Scaglione, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13651-1
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Advances in Knowledge Discovery and Data Mining 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010. Proceedings. Part I
Advances in Knowledge Discovery and Data Mining 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010. Proceedings. Part I
Author 
Zaki, Mohammed J. editor. Yu, Jeffrey Xu. editor. Ravindran, B. editor. Pudi, Vikram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13657-3
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Advances in Knowledge Discovery and Data Mining 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010. Proceedings. Part II
Advances in Knowledge Discovery and Data Mining 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010. Proceedings. Part II
Author 
Zaki, Mohammed J. editor. Yu, Jeffrey Xu. editor. Ravindran, B. editor. Pudi, Vikram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13672-6
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
Author 
Lilius, Johan. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13675-7
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Image and Signal Processing 4th International Conference, ICISP 2010, Trois-Rivières, QC, Canada, June 30-July 2, 2010. Proceedings
Image and Signal Processing 4th International Conference, ICISP 2010, Trois-Rivières, QC, Canada, June 30-July 2, 2010. Proceedings
Author 
Elmoataz, Abderrahim. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Mammass, Driss. editor. Meunier, Jean. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13681-8
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
Author 
Tratt, Laurence. editor. Gogolla, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13688-7
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Applied Cryptography and Network Security 8th International Conference, ACNS 2010, Beijing, China, June 22-25, 2010. Proceedings
Applied Cryptography and Network Security 8th International Conference, ACNS 2010, Beijing, China, June 22-25, 2010. Proceedings
Author 
Zhou, Jianying. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13708-2
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Information Processing in Computer-Assisted Interventions First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings
Information Processing in Computer-Assisted Interventions First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings
Author 
Navab, Nassir. editor. Jannin, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13711-2
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Algorithm Theory - SWAT 2010 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
Algorithm Theory - SWAT 2010 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
Author 
Kaplan, Haim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13731-0
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Data and Applications Security and Privacy XXIV 24th Annual IFIP WG 11.3 Working Conference, Rome, Italy, June 21-23, 2010. Proceedings
Data and Applications Security and Privacy XXIV 24th Annual IFIP WG 11.3 Working Conference, Rome, Italy, June 21-23, 2010. Proceedings
Author 
Foresti, Sara. editor. Jajodia, Sushil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13739-6
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I
Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I
Author 
Graña Romay, Manuel. editor. Corchado, Emilio. editor. Garcia Sebastian, M. Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13769-3
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Image Analysis and Recognition 7th International Conference, ICIAR 2010, Póvoa de Varzim, Portugal, June 21-23, 2010. Proceedings, Part I
Image Analysis and Recognition 7th International Conference, ICIAR 2010, Póvoa de Varzim, Portugal, June 21-23, 2010. Proceedings, Part I
Author 
Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13772-3
Format: 
Availability 
Online Library~1
Available:
Copies: