Search Results for Software engineering.

1.

Categories for Software Engineering

Author

Fiadeiro, José Luiz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138249

Format:

Availability

Online Library~1

Available:
Copies:

2.

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:

3.

Handbook of software engineering & knowledge engineering

Author

Chang, Shi Kuo, 1944- ed.

Preferred Shelf Number

QA 76.758 H36 2001- V.2

Format:

Availability

Beytepe Library~1

Available:
Copies:

4.

Strategic software engineering an interdisciplinary approach

Author

Deek, Fadi P. McHugh, James A., 1944- Eljabiri, Osama M.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

5.

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:

6.

Engineering and Managing Software Requirements

Author

Aurum, Aybüke. editor. Wohlin, Claes. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-28244-0

Format:

Availability

Online Library~1

Available:
Copies:

7.

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:

8.

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:

9.

Cover image for Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

Author

Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105022

Format:

Availability

Online Library~1

Available:
Copies:

10.

Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications

Author

Choren, Ricardo. editor. Garcia, Alessandro. editor. Lucena, Carlos. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106347

Format:

Availability

Online Library~1

Available:
Copies:

11.

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:

12.

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:

13.

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:

14.

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:

15.

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:

16.

Software Product Line Engineering Foundations, Principles, and Techniques

Author

Pohl, Klaus. author. Böckle, Günter. author. Linden, Frank. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-28901-1

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Advanced manufacturing technology for medical applications reverse engineering, software conversion, and rapid prototyping

Advanced manufacturing technology for medical applications reverse engineering, software conversion, and rapid prototyping

Author

Gibson, Ian, 1938-

Preferred Shelf Number

ONLINE(318854.1)

Electronic Access

Click for information
Knovel http://app.knovel.com/web/toc.v/cid:kpAMTMARE2
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=255342
ebrary http://site.ebrary.com/id/10301702
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=152196

Format:

Availability

Online Library~1

Available:
Copies:

18.

Advanced manufacturing technology for medical applications reverse engineering, software conversion, and rapid prototyping

Author

Gibson, I. (Ian)

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=255342
John Wiley http://dx.doi.org/10.1002/0470033983
John Wiley http://dx.doi.org/10.1002/9780470033982
http://www3.interscience.wiley.com/cgi-bin/homepage/?isbn=9780470033982

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Competitive engineering a handbook for systems engineering, requirements engineering, and software engineering using Planguage

Competitive engineering a handbook for systems engineering, requirements engineering, and software engineering using Planguage

Author

Gilb, Tom. Brodie, Lindsey.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780750665070

Format:

Availability

Online Library~1

Available:
Copies:

20.

Software quality engineering Testing, quality assurance, and quantifiable improvement

Author

Tian, Jeff. John Wiley & Sons.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988897

Format:

Availability

Online Library~1

Available:
Copies:

21.

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:

22.

Object-oriented software engineering : practical software development using UML and Java

Author

Lethbridge, Timothy Christian, 1963- Laganiere, Robert. King, Catriona.

Preferred Shelf Number

QA76.64 .L647 2005

Format:

Availability

Beytepe Library~1

Available:
Copies:

23.

Cover image for Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

Author

Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b137278

Format:

Availability

Online Library~1

Available:
Copies:

24.

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:

25.

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:

26.

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:

27.

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:

28.

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:

29.

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:

30.

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:

31.

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:

32.

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:

33.

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:

34.

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:

35.

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:

36.

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:

37.

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:

38.

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:

39.

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:

40.

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:

41.

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:

42.

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:

43.

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:

44.

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:

45.

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:

46.

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:

47.

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:

48.

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:

49.

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:

50.

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:

51.

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:

52.

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:

53.

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:

54.

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:

55.

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:

56.

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:

57.

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:

58.

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:

59.

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:

60.

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:

61.

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:

62.

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:

63.

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:

64.

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:

65.

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:

66.

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:

67.

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:

68.

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:

69.

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:

70.

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:

71.

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:

72.

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:

73.

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:

74.

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:

75.

Speech Application SDK mit ASP.NET Design und Implementierung sprachgestützter Web-Applikationen

Author

Zeeck, Achim. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-28086-3

Format:

Availability

Online Library~1

Available:
Copies:

76.

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:

77.

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004. Proceedings

Author

Bougé, Luc. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104576

Format:

Availability

Online Library~1

Available:
Copies:

78.

Cover image for Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings

Author

Zhang, Jun. editor. He, Ji-Huan. editor. Fu, Yuxi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104566

Format:

Availability

Online Library~1

Available:
Copies:

79.

Cover image for Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings

Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings

Author

Liew, Kim-Meow. editor. Shen, Hong. editor. See, Simon. editor. Cai, Wentong. editor. Fan, Pingzhi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b103538

Format:

Availability

Online Library~1

Available:
Copies:

80.

Cover image for Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

Author

Maher, Michael J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b103476

Format:

Availability

Online Library~1

Available:
Copies:

81.

Distributed Computing - IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings

Author

Sen, Arunabha. editor. Das, Nabanita. editor. Das, Sajal K. editor. Sinha, Bhabani P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104419

Format:

Availability

Online Library~1

Available:
Copies:

82.

Cover image for Advances in Biometric Person Authentication 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004. Proceedings

Advances in Biometric Person Authentication 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004. Proceedings

Author

Li, Stan Z. editor. Lai, Jianhuang. editor. Tan, Tieniu. editor. Feng, Guocan. editor. Wang, Yunhong. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104239

Format:

Availability

Online Library~1

Available:
Copies:

83.

Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports

Author

Malenfant, Jacques. editor. Østvold, Bjarte M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104146

Format:

Availability

Online Library~1

Available:
Copies:

84.

Cover image for Distributed Computing and Internet Technology First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004. Proceedings

Distributed Computing and Internet Technology First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004. Proceedings

Author

Ghosh, R. K. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104418

Format:

Availability

Online Library~1

Available:
Copies:

85.

Cover image for Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Author

Hermenegildo, Manuel V. editor. Cabeza, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105205

Format:

Availability

Online Library~1

Available:
Copies:

86.

Cover image for Switching and Learning in Feedback Systems European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers

Switching and Learning in Feedback Systems European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers

Author

Murray-Smith, Roderick. editor. Shorten, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105497

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004. Proceedings

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004. Proceedings

Author

Das, Gautam. editor. Gulati, Ved Prakash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104585

Format:

Availability

Online Library~1

Available:
Copies:

88.

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:

89.

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:

90.

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:

91.

Cover image for SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

Author

Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105088

Format:

Availability

Online Library~1

Available:
Copies:

92.

Cover image for Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

Author

Cousot, Radhia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105073

Format:

Availability

Online Library~1

Available:
Copies:

93.

Cover image for Information Networking. Convergence in Broadband and Mobile Networking International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005. Proceedings

Information Networking. Convergence in Broadband and Mobile Networking International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005. Proceedings

Author

Kim, Cheeha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105584

Format:

Availability

Online Library~1

Available:
Copies:

94.

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings

Author

Franch, Xavier. editor. Port, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105900

Format:

Availability

Online Library~1

Available:
Copies:

95.

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:

96.

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:

97.

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:

98.

Computer Music Modeling and Retrieval Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers

Author

Wiil, Uffe Kock. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105507

Format:

Availability

Online Library~1

Available:
Copies:

99.

Ubiquitous Computing Systems Second International Symposium, UCS 2004, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers

Author

Murakami, Hitomi. editor. Nakashima, Hideyuki. editor. Tokuda, Hideyuki. editor. Yasumura, Michiaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11526858

Format:

Availability

Online Library~1

Available:
Copies:

100.

Cover image for Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers

Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers

Author

Chapman, Barbara M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105895

Format:

Availability

Online Library~1

Available:
Copies:

101.

Cover image for Databases, Information Systems, and Peer-to-Peer Computing Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers

Databases, Information Systems, and Peer-to-Peer Computing Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers

Author

Ng, Wee Siong. editor. Ooi, Beng-Chin. editor. Ouksel, Aris M. editor. Sartori, Claudio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106971

Format:

Availability

Online Library~1

Available:
Copies:

102.

Cover image for Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

Author

Roy, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106627

Format:

Availability

Online Library~1

Available:
Copies:

103.

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Author

Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106390

Format:

Availability

Online Library~1

Available:
Copies:

104.

Cover image for Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

Author

Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106767

Format:

Availability

Online Library~1

Available:
Copies:

105.

Cover image for High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

Author

Daydé, Michel. editor. Dongarra, Jack. editor. Hernández, Vicente. editor. Palma, José M. L. M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106965

Format:

Availability

Online Library~1

Available:
Copies:

106.

Cover image for Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

Author

Liu, Zhiming. editor. Araki, Keijiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107116

Format:

Availability

Online Library~1

Available:
Copies:

107.

Cover image for Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

Author

Nieuwenhuis, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11532231

Format:

Availability

Online Library~1

Available:
Copies:

108.

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:

109.

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:

110.

Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures

Author

Vene, Varmo. editor. Uustalu, Tarmo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11546382

Format:

Availability

Online Library~1

Available:
Copies:

111.

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:

112.

Advanced Data Mining and Applications First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005. Proceedings

Author

Li, Xue. editor. Wang, Shuliang. editor. Dong, Zhao Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b11111

Format:

Availability

Online Library~1

Available:
Copies:

113.

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:

114.

Cover image for Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers

Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers

Author

Gleizes, Marie-Pierre. editor. Omicini, Andrea. editor. Zambonelli, Franco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136158

Format:

Availability

Online Library~1

Available:
Copies:

115.

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:

116.

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:

117.

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:

118.

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:

119.

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:

120.

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:

121.

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:

122.

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:

123.

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:

124.

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:

125.

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:

126.

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:

127.

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:

128.

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:

129.

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:

130.

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:

131.

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:

132.

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:

133.

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:

134.

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:

135.

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:

136.

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:

137.

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:

138.

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:

139.

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:

140.

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:

141.

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:

142.

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:

143.

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:

144.

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:

145.

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:

146.

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:

147.

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:

148.

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:

149.

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:

150.

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:

151.

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:

152.

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:

153.

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:

154.

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:

155.

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:

156.

Cover image for Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers

Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers

Author

Danos, Vincent. editor. Schachter, Vincent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107287

Format:

Availability

Online Library~1

Available:
Copies:

157.

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:

158.

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:

159.

Component-Based Software Testing with UML

Author

Gross, Hans-Gerhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138012

Format:

Availability

Online Library~1

Available:
Copies:

160.

Best Practices in Software Measurement How to use metrics to improve project and process performance

Author

Ebert, Christof. author. Bundschuh, Manfred. author. Dumke, Reiner. author. Schmietendorf, Andreas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138013

Format:

Availability

Online Library~1

Available:
Copies:

161.

Programmieren in Java 1.5 Ein kompaktes, interaktives Tutorial

Author

Fischer, Gregor. author. Gudenberg, Jürgen Wolff. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-27549-5

Format:

Availability

Online Library~1

Available:
Copies:

162.

Automotive Embedded Systeme Effizientes Framework — Vom Design zur Implementierung

Author

Wietzke, Joachim. author. Tran, Manh Tien. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-28305-6

Format:

Availability

Online Library~1

Available:
Copies:

163.

Moderne C-Programmierung Kompendium und Referenz

Author

Schellong, Helmut O.B. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-28545-8

Format:

Availability

Online Library~1

Available:
Copies:

164.

Model-Driven Software Development

Author

Beydeda, Sami. editor. Book, Matthias. editor. Gruhn, Volker. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-28554-7

Format:

Availability

Online Library~1

Available:
Copies:

165.

Debian GNU/Linux Grundlagen, Installation, Administration und Anwendung

Author

Ganten, Peter H. Alex, Wulf. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-28623-3

Format:

Availability

Online Library~1

Available:
Copies:

166.

Multiagent System Technologies Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings

Author

Eymann, Torsten. editor. Klügl, Franziska. editor. Lamersdorf, Winfried. editor. Klusch, Matthias. editor. Huhns, Michael N. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11550648

Format:

Availability

Online Library~1

Available:
Copies:

167.

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers

Author

Gschwind, Thomas. editor. Aßmann, Uwe. editor. Nierstrasz, Oscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11550679

Format:

Availability

Online Library~1

Available:
Copies:

168.

SAP für Java-Entwickler Konzepte, Schnittstellen, Technologien

Author

Jeske, Till. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-28892-9

Format:

Availability

Online Library~1

Available:
Copies:

169.

Peer-to-Peer Systems III Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers

Author

Voelker, Geoffrey M. editor. Shenker, Scott. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104020

Format:

Availability

Online Library~1

Available:
Copies:

170.

Cover image for Ubiquitous Mobile Information and Collaboration Systems Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers

Ubiquitous Mobile Information and Collaboration Systems Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers

Author

Baresi, Luciano. editor. Dustdar, Schahram. editor. Gall, Harald C. editor. Matera, Maristella. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104023

Format:

Availability

Online Library~1

Available:
Copies:

171.

Cover image for Service Availability First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers

Service Availability First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers

Author

Malek, Miroslaw. editor. Reitenspieß, Manfred. editor. Kaiser, Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105309

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Author

Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105317

Format:

Availability

Online Library~1

Available:
Copies:

173.

Cover image for The Semantic Web: Research and Applications Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29–June 1, 2005. Proceedings

The Semantic Web: Research and Applications Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29–June 1, 2005. Proceedings

Author

Gómez-Pérez, Asunción. editor. Euzenat, Jérôme. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136731

Format:

Availability

Online Library~1

Available:
Copies:

174.

Cover image for Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

Author

Steffen, Martin. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136996

Format:

Availability

Online Library~1

Available:
Copies:

175.

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

Author

Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136988

Format:

Availability

Online Library~1

Available:
Copies:

176.

Cover image for Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings

Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings

Author

Kutvonen, Lea. editor. Alonistioti, Nancy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b137217

Format:

Availability

Online Library~1

Available:
Copies:

177.

Cover image for Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

Author

Higashino, Teruo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138689

Format:

Availability

Online Library~1

Available:
Copies:

178.

Cover image for Information Security Applications 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers

Information Security Applications 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers

Author

Lim, Chae Hoon. editor. Yung, Moti. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b103174

Format:

Availability

Online Library~1

Available:
Copies:

179.

Cover image for Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers

Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers

Author

Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11538097

Format:

Availability

Online Library~1

Available:
Copies:

180.

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

Author

Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11541868

Format:

Availability

Online Library~1

Available:
Copies:

181.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

Author

Beckert, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11554554

Format:

Availability

Online Library~1

Available:
Copies:

182.

Cover image for Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

Author

Wu, Zhaohui. editor. Chen, Chun. editor. Guo, Minyi. editor. Bu, Jiajun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11535409

Format:

Availability

Online Library~1

Available:
Copies:

183.

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings

Author

Malyshkin, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11535294

Format:

Availability

Online Library~1

Available:
Copies:

184.

Cover image for Innovations in Applied Artificial Intelligence 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005. Proceedings

Innovations in Applied Artificial Intelligence 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005. Proceedings

Author

Ali, Moonis. editor. Esposito, Floriana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b137656

Format:

Availability

Online Library~1

Available:
Copies:

185.

Biomimetic Neural Learning for Intelligent Robots Intelligent Systems, Cognitive Robotics, and Neuroscience

Author

Wermter, Stefan. editor. Palm, Günther. editor. Elshaw, Mark. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b139051

Format:

Availability

Online Library~1

Available:
Copies:

186.

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

Author

Godefroid, Patrice. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11537328

Format:

Availability

Online Library~1

Available:
Copies:

187.

Cover image for Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

Author

Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11549970

Format:

Availability

Online Library~1

Available:
Copies:

188.

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:

189.

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

Author

Etessami, Kousha. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138445

Format:

Availability

Online Library~1

Available:
Copies:

190.

Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

Author

Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11523468

Format:

Availability

Online Library~1

Available:
Copies:

191.

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

Author

Fitzgerald, John. editor. Hayes, Ian J. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b27882

Format:

Availability

Online Library~1

Available:
Copies:

192.

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:

193.

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:

194.

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:

195.

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:

196.

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:

197.

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:

198.

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:

199.

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:

200.

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:

201.

Self-star Properties in Complex Information Systems Conceptual and Practical Foundations

Author

Babaoglu, Ozalp. editor. Jelasity, Márk. editor. Montresor, Alberto. editor. Fetzer, Christof. editor. Leonardi, Stefano. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136551

Format:

Availability

Online Library~1

Available:
Copies:

202.

Cover image for NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings

Author

Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136094

Format:

Availability

Online Library~1

Available:
Copies:

203.

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:

204.

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:

205.

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:

206.

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:

207.

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:

208.

Cover image for Scientific Applications of Grid Computing First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers

Scientific Applications of Grid Computing First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers

Author

Herrero, Pilar. editor. Pérez, María S. editor. Robles, Víctor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136149

Format:

Availability

Online Library~1

Available:
Copies:

209.

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:

210.

Software requirements encapsulation, quality, and reuse

Author

Lutowski, Rick.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

211.

Process-aware information systems bridging people and software through process technology

Author

Dumas, Marlon. Aalst, Wil van der. Ter Hofstede, Arthur, 1966- John Wiley & Sons.

Preferred Shelf Number

ONLINE

Electronic Access

Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0621/2005001369-b.html
John Wiley http://dx.doi.org/10.1002/0471741442

Format:

Availability

Online Library~1

Available:
Copies:

212.

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:

213.

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:

214.

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:

215.

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:

216.

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:

217.

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:

218.

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:

219.

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:

220.

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:

221.

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:

222.

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:

223.

Agentenorientierte Softwareentwicklung Methoden und Tools

Author

Weiß, Gerhard. author. Jakob, Ralf. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138124

Format:

Availability

Online Library~1

Available:
Copies:

224.

Das C++ Kompendium STL, Objektfabriken, Exceptions

Author

Brands, Gilbert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138162

Format:

Availability

Online Library~1

Available:
Copies:

225.

Form-Oriented Analysis A New Methodology to Model Form-Based Applications

Author

Draheim, Dirk. author. Weber, Gerald. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138252

Format:

Availability

Online Library~1

Available:
Copies:

226.

Einführung in die Informatik Objektorientiert mit Java

Author

Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138253

Format:

Availability

Online Library~1

Available:
Copies:

227.

Linux- und Open-Source-Strategien

Author

Wichmann, Thorsten. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138350

Format:

Availability

Online Library~1

Available:
Copies:

228.

Agile Modellierung mit UML Codegenerierung, Testfälle, Refactoring

Author

Rumpe, Bernhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138365

Format:

Availability

Online Library~1

Available:
Copies:

229.

ABAP/4 Programmiertechniken Trainingsbuch

Author

Winkler, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138418

Format:

Availability

Online Library~1

Available:
Copies:

230.

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:

231.

Testing Commercial-off-the-Shelf Components and Systems

Author

Beydeda, Sami. editor. Gruhn, Volker. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138567

Format:

Availability

Online Library~1

Available:
Copies:

232.

Spiele effektiv programmieren mit VB.net und DirectX

Author

Kettermann, Uwe. author. Rohde, Andreas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138630

Format:

Availability

Online Library~1

Available:
Copies:

233.

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:

234.

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:

235.

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:

236.

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components

Author

Caromel, Denis. author. Henrio, Ludovic. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138812

Format:

Availability

Online Library~1

Available:
Copies:

237.

Optimieren von Requirements Management & Engineering Mit dem HOOD Capability Model

Author

Hood, Colin. author. Wiebel, Rupert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138908

Format:

Availability

Online Library~1

Available:
Copies:

238.

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:

239.

Supply Chain Management on Demand Strategies, Technologies, Applications

Author

An, Chae. editor. Fromm, Hansjörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138951

Format:

Availability

Online Library~1

Available:
Copies:

240.

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:

241.

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:

242.

Web Component Development with Zope 3

Author

Weitershausen, Philipp. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b139044

Format:

Availability

Online Library~1

Available:
Copies:

243.

Echtzeitsysteme Grundlagen, Funktionsweisen, Anwendungen

Author

Wörn, Heinz. author. Brinkschulte, Uwe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b139050

Format:

Availability

Online Library~1

Available:
Copies:

244.

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:

245.

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:

246.

Softwareentwicklung eingebetteter Systeme Grundlagen, Modellierung, Qualitätssicherung

Author

Scholz, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-27522-3

Format:

Availability

Online Library~1

Available:
Copies:

247.

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:

248.

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:

249.

Implementing Distributed Systems with Java and CORBA

Author

Aleksy, Markus. author. Korthaus, Axel. author. Schader, Martin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-28047-2

Format:

Availability

Online Library~1

Available:
Copies:

250.

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

Author

Nicola, Rocco. editor. Sangiorgi, Davide. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11580850

Format:

Availability

Online Library~1

Available:
Copies:

251.

Web Engineering 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings

Author

Lowe, David. editor. Gaedke, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-31484-4

Format:

Availability

Online Library~1

Available:
Copies:

252.

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings

Author

Prinz, Andreas. editor. Reed, Rick. editor. Reed, Jeanne. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b137793

Format:

Availability

Online Library~1

Available:
Copies:

253.

Socionics Scalability of Complex Social Systems

Author

Fischer, Klaus. editor. Florian, Michael. editor. Malsch, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11594116

Format:

Availability

Online Library~1

Available:
Copies:

254.

Component-Based Software Development for Embedded Systems An Overview of Current Research Trends

Author

Atkinson, Colin. editor. Bunse, Christian. editor. Gross, Hans-Gerhard. editor. Peper, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11591962

Format:

Availability

Online Library~1

Available:
Copies:

255.

Cover image for Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

Author

Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11603009

Format:

Availability

Online Library~1

Available:
Copies:

256.

Cover image for Product Focused Software Process Improvement 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings

Product Focused Software Process Improvement 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings

Author

Bomarius, Frank. editor. Komi-Sirviö, Seija. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b137178

Format:

Availability

Online Library~1

Available:
Copies:

257.

Architecting Dependable Systems III

Author

Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11556169

Format:

Availability

Online Library~1

Available:
Copies:

258.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Author

Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11591191

Format:

Availability

Online Library~1

Available:
Copies:

259.

Data Management in a Connected World Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday

Author

Härder, Theo. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b137346

Format:

Availability

Online Library~1

Available:
Copies:

260.

Cover image for Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings

Author

Vardanega, Tullio. editor. Wellings, Andy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b137344

Format:

Availability

Online Library~1

Available:
Copies:

261.

Engineering Self-Organising Systems Methodologies and Applications

Author

Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Karageorgos, Anthony. editor. Nagpal, Radhika. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136984

Format:

Availability

Online Library~1

Available:
Copies:

262.

Cover image for Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

Author

Ramos, Félix F. editor. Larios Rosillo, Victor. editor. Unger, Herwig. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11533962

Format:

Availability

Online Library~1

Available:
Copies:

263.

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:

264.

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:

265.

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:

266.

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:

267.

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:

268.

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:

269.

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:

270.

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:

271.

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:

272.

Cover image for Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

Author

Guelfi, Nicolas. editor. Reggio, Gianna. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106620

Format:

Availability

Online Library~1

Available:
Copies:

273.

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:

274.

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:

275.

Cover image for Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

Author

Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11548133

Format:

Availability

Online Library~1

Available:
Copies:

276.

Formal Concept Analysis Foundations and Applications

Author

Ganter, Bernhard. editor. Stumme, Gerd. editor. Wille, Rudolf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-31881-1

Format:

Availability

Online Library~1

Available:
Copies:

277.

Nonlinear Speech Modeling and Applications Advanced Lectures and Revised Selected Papers

Author

Chollet, Gérard. editor. Esposito, Anna. editor. Faundez-Zanuy, Marcos. editor. Marinaro, Maria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138975

Format:

Availability

Online Library~1

Available:
Copies:

278.

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:

279.

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:

280.

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:

281.

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:

282.

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:

283.

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:

284.

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:

285.

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:

286.

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:

287.

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:

288.

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:

289.

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:

290.

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:

291.

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:

292.

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:

293.

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:

294.

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:

295.

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:

296.

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:

297.

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:

298.

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:

299.

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:

300.

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:

	{displayName}	{count}
{error}