Limit Search Results
Author
SpringerLink (Online service)
(3724)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(38)
Apduhan, Bernady O. editor.
(37)
Dongarra, Jack. editor.
(29)
Language
Publication Date
-
Subject
Computer science.
(2980)
Computer Communication Networks.
(1161)
Artificial intelligence.
(977)
Information systems.
(822)
Logic design.
(742)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3808 Results Found Subscribe to search results
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
25. 
Cover image for Service Availability Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25 – 26, 2005, Revised Selected Papers
Service Availability Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25 – 26, 2005, Revised Selected Papers
Author 
Malek, Miroslaw. editor. Nett, Edgar. editor. Suri, Neeraj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11560333
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings
Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings
Author 
Cin, Mario. editor. Kaâniche, Mohamed. editor. Pataricza, András. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107276
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Author 
Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135888
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Advances in Informatics 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005. Proceedings
Advances in Informatics 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005. Proceedings
Author 
Bozanis, Panayiotis. editor. Houstis, Elias N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11573036
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
Author 
Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11572329
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings
Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings
Author 
Hartman, Alan. editor. Kreische, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11581741
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings
Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings
Author 
Pan, Yi. editor. Chen, Daoxu. editor. Guo, Minyi. editor. Cao, Jiannong. editor. Dongarra, Jack. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11576235
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Wired/Wireless Internet Communications Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005. Proceedings
Wired/Wireless Internet Communications Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005. Proceedings
Author 
Braun, Torsten. editor. Carle, Georg. editor. Koucheryavy, Yevgeni. editor. Tsaoussidis, Vassilis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136247
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Metainformatics International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers
Metainformatics International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers
Author 
Wiil, Uffe Kock. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138822
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings
Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings
Author 
Cao, Jiannong. editor. Nejdl, Wolfgang. editor. Xu, Ming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11573937
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I
Author 
Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136570
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II
Author 
Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136571
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III
Author 
Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136575
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings
Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings
Author 
Tixeuil, Sébastien. editor. Herman, Ted. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11577327
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
Author 
Barley, Michael Wayne. editor. Kasabov, Nik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107183
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops OTM Confederated Internationl Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005. Proceedings
On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops OTM Confederated Internationl Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005. Proceedings
Author 
Meersman, Robert. editor. Tari, Zahir. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11575863
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005. Proceedings
High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005. Proceedings
Author 
Bader, David A. editor. Parashar, Manish. editor. Sridhar, Varadarajan. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11602569
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings
Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings
Author 
Pal, Ajit. editor. Kshemkalyani, Ajay D. editor. Kumar, Rajeev. editor. Gupta, Arobinda. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11603771
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Distributed Computing and Internet Technology Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005. Proceedings
Distributed Computing and Internet Technology Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005. Proceedings
Author 
Chakraborty, Goutam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11604655
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Software Agent-Based Applications, Platforms and Development Kits
Software Agent-Based Applications, Platforms and Development Kits
Author 
Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137512
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Ontologies for Agents: Theory and Experiences
Ontologies for Agents: Theory and Experiences
Author 
Tamma, Valentina. editor. Cranefield, Stephen. editor. Finin, Timothy W. editor. Willmott, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-7643-7361-X
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Trustworthy systems through quantitative software engineering
Trustworthy systems through quantitative software engineering
Author 
Bernstein, Lawrence, 1940- Yuhas, C. M. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Practical support for CMMI-SW software project documentation using IEEE software engineering standards
Practical support for CMMI-SW software project documentation using IEEE software engineering standards
Author 
Land, Susan K. Walz, John W.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989122
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989122
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Enterprise Information Systems V
Enterprise Information Systems V
Author 
Camp, Olivier. editor. Filipe, Joaquim B. L. editor. Hammoudi, Slimane. editor. Piattini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2673-0
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for New Algorithms, Architectures and Applications for Reconfigurable Computing
New Algorithms, Architectures and Applications for Reconfigurable Computing
Author 
Lysaght, Patrick. editor. Rosenstiel, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3128-9
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004
Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004
Author 
Kowalik, Janusz S. editor. Gorski, Janusz. editor. Sachenko, Anatoly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3381-8
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for A Programmer’s Introduction to C# 2.0
A Programmer’s Introduction to C# 2.0
Author 
Gunnerson, Eric. editor. Wienholt, Nick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0035-2
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Beginning Java Objects From Concepts to Code
Beginning Java Objects From Concepts to Code
Author 
Barker, Jacquie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0036-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for The Best Software Writing I
The Best Software Writing I
Author 
Spolsky, Joel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0038-3
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for SharePoint 2003 User’s Guide
SharePoint 2003 User’s Guide
Author 
Bates, Seth. author. Smith, Tony. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0040-6
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Pro Hibernate 3
Pro Hibernate 3
Author 
Minter, Dave. author. Linwood, Jeff. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0042-0
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Pro J2ME Polish Open Source Wireless Java Tools Suite
Pro J2ME Polish Open Source Wireless Java Tools Suite
Author 
Virkus, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0045-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Open Source Messaging Application Development Building and Extending Gaim
Open Source Messaging Application Development Building and Extending Gaim
Author 
Egan, Sean. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0047-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Pro Apache Beehive
Pro Apache Beehive
Author 
Mittal, Kunal. author. Kanchanavally, Srinivas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0052-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Pro PHP Security
Pro PHP Security
Author 
Snyder, Chris. author. Southwell, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0057-4
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Pro Service-Oriented Smart Clients with .NET 2.0
Pro Service-Oriented Smart Clients with .NET 2.0
Author 
Hashimi, Sayed Y. author. Steffan, Scott J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0058-1
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Pro Eclipse JST Plug-ins for J2EE Development
Pro Eclipse JST Plug-ins for J2EE Development
Author 
Judd, Christopher M. author. Shittu, Hakeem. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0059-8
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for JDBC Recipes A Problem-Solution Approach
JDBC Recipes A Problem-Solution Approach
Author 
Parsian, Mahmoud. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0061-1
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Biometric Systems Technology, Design and Performance Evaluation
Biometric Systems Technology, Design and Performance Evaluation
Author 
Wayman, James. editor. Jain, Anil. editor. Maltoni, Davide. editor. Maio, Dario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138151
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Requirements Engineering
Requirements Engineering
Author 
Hull, Elizabeth. author. Jackson, Kenneth. author. Dick, Jeremy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138335
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Constructing Correct Software
Constructing Correct Software
Author 
Cooke, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138515
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Creating Web-based Laboratories
Creating Web-based Laboratories
Author 
Ko, C.C. author. Chen, Ben M. author. Chen, Jianping. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138627
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Validated Designs for Object-oriented Systems
Validated Designs for Object-oriented Systems
Author 
Fitzgerald, John. author. Larsen, Peter Gorm. author. Mukherjee, Paul. author. Plat, Nico. author. Verhoef, Marcel. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138800
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005
Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005
Author 
Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b139109
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Informatik Aufgaben und Lösungen, Begleitbuch zu Blieberger et al.: Informatik
Informatik Aufgaben und Lösungen, Begleitbuch zu Blieberger et al.: Informatik
Author 
Kastner, Wolfgang. editor. Schildt, Gerhard-Helge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138718
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Einführung in die Technische Informatik
Einführung in die Technische Informatik
Author 
Schildt, Gerhard H. author. Kahn, Daniela. author. Kruegel, Christopher. author. Moerz, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138950
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Prozessübergreifendes Projektmanagement Grundlagen erfolgreicher Projekte
Prozessübergreifendes Projektmanagement Grundlagen erfolgreicher Projekte
Author 
Versteegen, Gerhard. editor. Meier, Erich. editor. Hindel, Bernd. editor. Vlasan, Adriana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137555
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Secure Systems Development with UML
Secure Systems Development with UML
Author 
Jürjens, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137706
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Domain Decomposition Methods — Algorithms and Theory
Domain Decomposition Methods — Algorithms and Theory
Author 
Toselli, Andrea. author. Widlund, Olof B. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137868
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Linux-Systemadministration Grundlagen, Konzepte, Anwendung
Linux-Systemadministration Grundlagen, Konzepte, Anwendung
Author 
Wolfinger, Christine. author. Gulbins, Jürgen. author. Hammer, Carsten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138658
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for ITIL Das IT-Servicemanagement Framework
ITIL Das IT-Servicemanagement Framework
Author 
Köhler, Peter T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138674
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
Author 
Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138692
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Kompendium der Informationstechnologie Hardware, Software, Client-Server-Systeme, Netzwerke, Datenbanken
Kompendium der Informationstechnologie Hardware, Software, Client-Server-Systeme, Netzwerke, Datenbanken
Author 
Brause, Rüdiger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138377
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
Author 
Kurki-Suonio, Reino. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138956
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Learning Design A Handbook on Modelling and Delivering Networked Education and Training
Learning Design A Handbook on Modelling and Delivering Networked Education and Training
Author 
Koper, Rob. editor. Tattersall, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138966
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings
Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings
Author 
Cao, Jiannong. editor. Yang, Laurence T. editor. Guo, Minyi. editor. Lau, Francis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104574
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Author 
Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105030
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Quality of Service in Multiservice IP Networks Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2004, Catania, Italy, February 2-4, 2004. Proceedings
Quality of Service in Multiservice IP Networks Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2004, Catania, Italy, February 2-4, 2004. Proceedings
Author 
Ajmone Marsan, Marco. editor. Bianchi, Giuseppe. editor. Listanti, Marco. editor. Meo, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105169
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France
Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France
Author 
Dissaux, Pierre. editor. Filali-Amine, Mamoun. editor. Michel, Pierre. editor. Vernadat, François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106318
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for From Specification to Embedded Systems Application
From Specification to Embedded Systems Application
Author 
Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11523277
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for An Integrated Approach to Software Engineering
An Integrated Approach to Software Engineering
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28132-0
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for New Horizons of Parallel and Distributed Computing
New Horizons of Parallel and Distributed Computing
Author 
Guo, Minyi. editor. Yang, Laurence Tianruo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28967-4
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Virtual, Distributed and Flexible Organisations Studies in Organisational Semiotics
Virtual, Distributed and Flexible Organisations Studies in Organisational Semiotics
Author 
Liu, Kecheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2162-3
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
Author 
Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3532-2
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle
Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle
Author 
Seffah, Ahmed. editor. Gulliksen, Jan. editor. Desmarais, Michel C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4113-6
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Interconnect-Centric Design for Advanced SoC and NoC
Interconnect-Centric Design for Advanced SoC and NoC
Author 
Nurmi, Jari. editor. Tenhunen, Hannu. editor. Isoaho, Jouni. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117241
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
Author 
Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b101185
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Pro Spring
Pro Spring
Author 
Harrop, Rob. author. Machacek, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0004-8
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Painless Project Management with FogBugz
Painless Project Management with FogBugz
Author 
Gunderloy, Mike. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0008-6
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Practical Common Lisp
Practical Common Lisp
Author 
Seibel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0017-8
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Beginning Databases with PostgreSQL From Novice to Professional
Beginning Databases with PostgreSQL From Novice to Professional
Author 
Matthew, Neil. author. Stones, Richard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0018-5
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Expert Oracle
Expert Oracle
Author 
Kyte, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0019-2
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Beginning J2ME: From Novice to Professional
Beginning J2ME: From Novice to Professional
Author 
Li, Sing. author. Knudsen, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0020-8
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Shell Scripting Recipes A Problem-Solution Approach
Shell Scripting Recipes A Problem-Solution Approach
Author 
Johnson, Chris F. A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0024-6
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Pro JSP 2
Pro JSP 2
Author 
Brown, Simon. author. Dalton, Sam. author. Jepp, Daniel. author. Johnson, David. author. Li, Sing. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0111-3
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Foundations of AOP for J2EE Development
Foundations of AOP for J2EE Development
Author 
Pawlak, Renaud. author. Seinturier, Lionel. author. Retaillé, Jean-Philippe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0063-5
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for AutoCAD 2006 VBA A Programmer’s Reference
AutoCAD 2006 VBA A Programmer’s Reference
Author 
Sutphin, Joe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0069-7
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Artificial Life Models in Software
Artificial Life Models in Software
Author 
Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-214-4
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Designing Virtual Reality Systems The Structured Approach
Designing Virtual Reality Systems The Structured Approach
Author 
Kim, Gerard Jounghyun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-230-0
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Embedded Systems - qualitätsorientierte Entwicklung
Embedded Systems - qualitätsorientierte Entwicklung
Author 
Bender, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138984
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Mambo Installation, Administration, Anwendung und Entwicklung
Mambo Installation, Administration, Anwendung und Entwicklung
Author 
Deutz, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-27487-1
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Enterprise Architecture at Work Modelling, Communication, and Analysis
Enterprise Architecture at Work Modelling, Communication, and Analysis
Author 
Lankhorst, Marc. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-27505-3
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for JDF Process Integration, Technology, Product Description
JDF Process Integration, Technology, Product Description
Author 
Kühn, Wolfgang. author. Grell, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-27528-2
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for E-Business @ Print Internet-Based Services and Processes
E-Business @ Print Internet-Based Services and Processes
Author 
König, Anne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-27529-0
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Echtzeitaspekte bei der Koordinierung Autonomer Systeme Fachtagung der GI-Fachgruppe Echtzeitsysteme und PEARL (EP) Boppard, 1./2. Dezember 2005
Echtzeitaspekte bei der Koordinierung Autonomer Systeme Fachtagung der GI-Fachgruppe Echtzeitsysteme und PEARL (EP) Boppard, 1./2. Dezember 2005
Author 
Holleczek, Peter. editor. Vogel-Heuser, Birgit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29595-X
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Inconsistency Tolerance
Inconsistency Tolerance
Author 
Bertossi, Leopoldo. editor. Hunter, Anthony. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104925
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers
Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers
Author 
Castro, Miguel. editor. Renesse, Robbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11558989
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings
Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings
Author 
Cunha, José C. editor. Medeiros, Pedro D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11549468
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
Author 
Leite, João. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. Yolum, pInar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136890
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Data and Applications Security XIX 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedings
Data and Applications Security XIX 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedings
Author 
Jajodia, Sushil. editor. Wijesekera, Duminda. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11535706
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11561163
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings
Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings
Author 
Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11545262
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for UbiComp 2005: Ubiquitous Computing 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005. Proceedings
UbiComp 2005: Ubiquitous Computing 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005. Proceedings
Author 
Beigl, Michael. editor. Intille, Stephen. editor. Rekimoto, Jun. editor. Tokuda, Hideyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11551201
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings
Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings
Author 
Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106766
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
Author 
Fiadeiro, José Luiz. editor. Mosses, Peter D. editor. Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107129
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
Author 
Bastide, Rémi. editor. Palanque, Philippe. editor. Roth, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136790
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings
Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings
Author 
Beigl, Michael. editor. Lukowicz, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106632
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Database and XML Technologies Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005. Proceedings
Database and XML Technologies Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005. Proceedings
Author 
Bressan, Stéphane. editor. Ceri, Stefano. editor. Hunt, Ela. editor. Ives, Zachary G. editor. Bellahsène, Zohra. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11547273
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
Author 
Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11562948
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
Author 
Hankin, Chris. editor. Siveroni, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11547662
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Embedded Systems Design The ARTIST Roadmap for Research and Development
Embedded Systems Design The ARTIST Roadmap for Research and Development
Author 
Bouyssounouse, Bruno. author. Sifakis, Joseph. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106761
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers
Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers
Author 
Gschwind, Thomas. editor. Mascolo, Cecilia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107130
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings
Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11555223
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings
Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings
Author 
Glück, Robert. editor. Lowry, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11561347
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107194
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106850
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Cerioli, Maura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107062
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Bodik, Rastislav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107108
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Sagiv, Mooly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107380
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings
Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings
Author 
Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11563228
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings
Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings
Author 
Hutter, Dieter. editor. Ullmann, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135497
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings
Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings
Author 
Jacquet, Jean-Marie. editor. Picco, Gian Pietro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135676
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
Author 
Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135596
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Author 
Rust, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135629
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings
Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings
Author 
Fages, François. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11552222
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Author 
Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11560548
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
Author 
Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137052
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Pervasive Computing Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005. Proceedings
Pervasive Computing Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005. Proceedings
Author 
Gellersen, Hans -W. editor. Want, Roy. editor. Schmidt, Albrecht. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136550
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers
Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers
Author 
Sloot, Peter M. A. editor. Hoekstra, Alfons G. editor. Priol, Thierry. editor. Reinefeld, Alexander. editor. Bubak, Marian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137919
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Model-Based Testing of Reactive Systems Advanced Lectures
Model-Based Testing of Reactive Systems Advanced Lectures
Author 
Broy, Manfred. editor. Jonsson, Bengt. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. Pretschner, Alexander. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137241
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers
Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers
Author 
Guelfi, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136153
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136266
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136269
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136271
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Peer-to-Peer Systems and Applications
Peer-to-Peer Systems and Applications
Author 
Steinmetz, Ralf. editor. Wehrle, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11530657
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings
Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings
Author 
Heineman, George T. editor. Crnkovic, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor. Szyperski, Clemens. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136248
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings
Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings
Author 
Reussner, Ralf. editor. Mayer, Johannes. editor. Stafford, Judith A. editor. Overhage, Sven. editor. Becker, Steffen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11558569
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings
Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings
Author 
Briand, Lionel. editor. Williams, Clay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11557432
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Software Product Lines 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings
Software Product Lines 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings
Author 
Obbink, Henk. editor. Pohl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11554844
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Conceptual Modeling – ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedings
Conceptual Modeling – ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedings
Author 
Delcambre, Lois. editor. Kop, Christian. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. Pastor, Oscar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11568322
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005. Proceedings
Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005. Proceedings
Author 
Hobbs, Michael. editor. Goscinski, Andrzej M. editor. Zhou, Wanlei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11564621
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Testing of Communicating Systems 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings
Testing of Communicating Systems 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings
Author 
Khendek, Ferhat. editor. Dssouli, Rachida. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136676
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings
High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings
Author 
Yang, Laurence T. editor. Rana, Omer F. editor. Martino, Beniamino. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11557654
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings
Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings
Author 
Wang, Farn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11562436
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings
Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings
Author 
Yolum, pInar. editor. Güngör, Tunga. editor. Gürgen, Fikret. editor. Özturan, Can. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11569596
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Ad-Hoc, Mobile, and Wireless Networks 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005. Proceedings
Ad-Hoc, Mobile, and Wireless Networks 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005. Proceedings
Author 
Syrotiuk, Violet R. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11561354
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Author 
Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11589976
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Parallel and Distributed Processing and Applications - ISPA 2005 Workshops ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005. Proceedings
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005. Proceedings
Author 
Chen, Guihai. editor. Pan, Yi. editor. Guo, Minyi. editor. Lu, Jian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11576259
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings
Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings
Author 
Jin, Hai. editor. Reed, Daniel. editor. Jiang, Wenbin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11577188
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings
Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings
Author 
Yi, Kwangkeun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11575467
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Advances in Biometric Person Authentication International Wokshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22-23, 2005. Proceedings
Advances in Biometric Person Authentication International Wokshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22-23, 2005. Proceedings
Author 
Li, Stan Z. editor. Sun, Zhenan. editor. Tan, Tieniu. editor. Pankanti, Sharath. editor. Chollet, Gérard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11569947
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
Author 
Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11576280
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
Author 
Konagaya, Akihiko. editor. Satou, Kenji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106923
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Author 
Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106663
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for RoboCup 2004: Robot Soccer World Cup VIII
RoboCup 2004: Robot Soccer World Cup VIII
Author 
Nardi, Daniele. editor. Riedmiller, Martin. editor. Sammut, Claude. editor. Santos-Victor, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106671
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers
Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers
Author 
Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106468
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers
Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers
Author 
Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105887
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
Author 
Ganter, Bernhard. editor. Godin, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105806
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
Author 
Abdallah, Ali E. editor. Jones, Cliff B. editor. Sanders, Jeff W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136154
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Software Architecture 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings
Software Architecture 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings
Author 
Morrison, Ron. editor. Oquendo, Flavio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136986
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings
Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings
Author 
Alonso, Gustavo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11587552
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Software Process Improvement 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedings
Software Process Improvement 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedings
Author 
Richardson, Ita. editor. Abrahamsson, Pekka. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11586012
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning
Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning
Author 
Kudenko, Daniel. editor. Kazakov, Dimitar. editor. Alonso, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106974
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
Author 
Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106931
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Grid and Cooperative Computing - GCC 2005 4th International Conference, Beijing, China, November 30 - December 3, 2005. Proceedings
Grid and Cooperative Computing - GCC 2005 4th International Conference, Beijing, China, November 30 - December 3, 2005. Proceedings
Author 
Zhuge, Hai. editor. Fox, Geoffrey C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11590354
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings
Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings
Author 
Dearle, Alan. editor. Eisenbach, Susan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11590712
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Virtual Storytelling. Using Virtual Reality Technologies for Storytelling Third International Conference, ICVS 2005, Strasbourg, France, November 30 - December 2, 2005. Proceedings
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling Third International Conference, ICVS 2005, Strasbourg, France, November 30 - December 2, 2005. Proceedings
Author 
Subsol, Gérard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11590361
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Technologies for Advanced Heterogeneous Networks First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings
Technologies for Advanced Heterogeneous Networks First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings
Author 
Cho, Kenjiro. editor. Jacquet, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11599593
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Service-Oriented Computing - ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005. Proceedings
Service-Oriented Computing - ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005. Proceedings
Author 
Benatallah, Boualem. editor. Casati, Fabio. editor. Traverso, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11596141
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Embedded and Ubiquitous Computing – EUC 2005 International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005. Proceedings
Embedded and Ubiquitous Computing – EUC 2005 International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005. Proceedings
Author 
Yang, Laurence T. editor. Amamiya, Makoto. editor. Liu, Zhen. editor. Guo, Minyi. editor. Rammig, Franz J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11596356
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Embedded and Ubiquitous Computing – EUC 2005 Workshops EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005. Proceedings
Embedded and Ubiquitous Computing – EUC 2005 Workshops EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005. Proceedings
Author 
Enokido, Tomoya. editor. Yan, Lu. editor. Xiao, Bin. editor. Kim, Daeyoung. editor. Dai, Yuanshun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11596042
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings
Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings
Author 
Yang, Laurence T. editor. Zhou, Xingshe. editor. Zhao, Wei. editor. Wu, Zhaohui. editor. Zhu, Yian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11599555
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganá, Antonio. editor. Lee, Heow Pueh. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136278
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
Author 
Black, Andrew P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11531142
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings
Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings
Author 
Gramlich, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11559306
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedings
Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedings
Author 
Pěchouček, Michael. editor. Petta, Paolo. editor. Varga, László Zsolt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11559221
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
Author 
Shen, Weiming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Li, Tangqiu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11568421
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers
Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers
Author 
Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103251
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for UML Modeling Languages and Applications < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
UML Modeling Languages and Applications <  > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
Author 
Jardim Nunes, Nuno. editor. Selic, Bran. editor. Rodrigues da Silva, Alberto. editor. Toval Alvarez, Ambrosio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106725
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France
Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France
Author 
Gayraud, Thierry. editor. Mazzella, Michel. editor. Boavida, Fernando. editor. Monteiro, Edmundo. editor. Orvalho, João. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104225
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Software Process Modeling
Software Process Modeling
Author 
Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104986
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for A Software Process Model Handbook for Incorporating People’s Capabilities
A Software Process Model Handbook for Incorporating People’s Capabilities
Author 
Acuña, Silvia Teresita. author. Juristo, Natalia. author. Moreno, Ana María. author. Mon, Alicia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106969
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Reverse Engineering of Object Oriented Code
Reverse Engineering of Object Oriented Code
Author 
Tonella, Paolo. author. Potrich, Alessandra. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b102522
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for UML for SOC Design
UML for SOC Design
Author 
Martin, Grant. editor. Müller, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135980
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Agent Intelligence Through Data Mining
Agent Intelligence Through Data Mining
Author 
Symeonidis, Andreas L. author. Mitkas, Pericles A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136000
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Security in E-Learning
Security in E-Learning
Author 
Weippl, Edgar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136702
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for System Level Design of Reconfigurable Systems-on-Chip
System Level Design of Reconfigurable Systems-on-Chip
Author 
Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136832
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
Author 
Boulet, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136935
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Guide to Assembly Language Programming in Linux
Guide to Assembly Language Programming in Linux
Author 
Dandamudi, Sivarama P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136895
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Information Processing and Security Systems
Information Processing and Security Systems
Author 
Saeed, Khalid. editor. Pejaś, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137371
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Multi-Agent Programming Languages, Platforms and Applications
Multi-Agent Programming Languages, Platforms and Applications
Author 
Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137449
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Author 
Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137514
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Multimedia Introduction to Programming Using Java
Multimedia Introduction to Programming Using Java
Author 
Gries, David. author. Gries, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138328
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Introduction to Assembly Language Programming For Pentium and RISC Processors
Introduction to Assembly Language Programming For Pentium and RISC Processors
Author 
Dandamudi, Sivarama P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138691
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Guide to RISC Processors for Programmers and Engineers
Guide to RISC Processors for Programmers and Engineers
Author 
Dandamudi, Sivarama P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b139084
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for XML for Bioinformatics
XML for Bioinformatics
Author 
Cerami, Ethan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27478-2
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Soft Real-Time Systems Predictability vs. Efficiency
Soft Real-Time Systems Predictability vs. Efficiency
Author 
Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28147-9
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Adapting Proofs-as-Programs The Curry-Howard Protocol
Adapting Proofs-as-Programs The Curry-Howard Protocol
Author 
Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28183-5
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Strategic software engineering : an interdisciplinary approach
Strategic software engineering : an interdisciplinary approach
Author 
Deek, Fadi P. McHugh, James A., 1944- Eljabiri, Osama M.
Preferred Shelf Number 
QA76.758 .S765 2005
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Computers, Software Engineering, and Digital Devices
Computers, Software Engineering, and Digital Devices
Author 
Dorf, Richard C., author. Taylor and Francis.
Preferred Shelf Number 
TK7885
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Software requirements : encapsulation, quality, and reuse
Software requirements : encapsulation, quality, and reuse
Author 
Lutowski, Rick., author.
Preferred Shelf Number 
QA76.758 .L87 2005
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Bioinformatics software engineering delivering effective applications
Bioinformatics software engineering delivering effective applications
Author 
Weston, Paul, HGMP. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470030143
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Software design for engineers and scientists
Software design for engineers and scientists
Author 
Robinson, John A. (John Allen), 1958-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750660808
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies
Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies
Author 
Zhuk, Jeff.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for The laws of software process : a new model for the production and management of software
The laws of software process : a new model for the production and management of software
Author 
Armour, Philip G., author.
Preferred Shelf Number 
QA76.758 .A75 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Software engineering for image processing systems
Software engineering for image processing systems
Author 
Laplante, Phillip A., author.
Preferred Shelf Number 
TA1637 .L34 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Software engineering and computer games
Software engineering and computer games
Author 
Rucker, Rudy v. B. (Rudy von Bitter), 1946-
Preferred Shelf Number 
QA76.758 R83 2003
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
222. 
Cover image for Schaum's outline of theory and problems of software engineering
Schaum's outline of theory and problems of software engineering
Author 
Gustafson, David A.
Preferred Shelf Number 
QA76.758 G88 2002
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
223. 
Cover image for The project manager's guide to software engineering's best practices
The project manager's guide to software engineering's best practices
Author 
Christensen, M. J., 1947- Thayer, Richard H.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989224
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989224
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for LDAP tabanlı UNIX kullanıcı tanıma ve denetim sistemi
LDAP tabanlı UNIX kullanıcı tanıma ve denetim sistemi
Author 
Can, Ahmet Burak.
Preferred Shelf Number 
TEZ/5178 C16 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
225. 
Cover image for Grafiksel kullanıcı arayüz üzerinde ilişkisel veri tabanına dayalı uygulama yazılımları için yazılım geliştirme sürecinde kurumsal tabanda izlenecek yol ve ilkelerin belirlenmesi
Grafiksel kullanıcı arayüz üzerinde ilişkisel veri tabanına dayalı uygulama yazılımları için yazılım geliştirme sürecinde kurumsal tabanda izlenecek yol ve ilkelerin belirlenmesi
Author 
Estekin, Emin Agah.
Preferred Shelf Number 
TEZ/5183 E85 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
226. 
Cover image for Yazılım mühendisliği
Yazılım mühendisliği
Author 
Sarıdoğan, M. Erhan
Preferred Shelf Number 
QA76.758 A75 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
227. 
Cover image for Object oriented software technologies in telecommunications from theory to practice
Object oriented software technologies in telecommunications from theory to practice
Author 
Venieris, Iakovos. Zizza, Fabrizio. Magedanz, Thomas. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470841869
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Software requirements engineering
Software requirements engineering
Author 
Thayer, Richard H. Dorfman, M.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989265
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989265
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for A discipline for software engineering
A discipline for software engineering
Author 
Humphrey, Watts S., 1927-
Preferred Shelf Number 
QA 76.758 H857 1995
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
230. 
Cover image for The mythical man-month : essays on software engineering
The mythical man-month : essays on software engineering
Author 
Brooks, Frederick P. (Frederick Phillips)
Preferred Shelf Number 
QA76.758 B75 1995
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
231. 
Cover image for Managing Complexity in Software Engineering
Managing Complexity in Software Engineering
Author 
Mitchell, R., ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCM017E
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Industrial Software Technology
Industrial Software Technology
Author 
Mitchell, R., ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCM010E
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action