Search Results for

3826 Results Found

1 .. 271 272 273 274 275 .. 319

000000000000DEFAULT

3265.

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

Author

Bollig, Benedikt. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3266.

Cover image for Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

Author

Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3267.

Transactions on Aspect-Oriented Software Development I

Author

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3268.

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings

Author

Clark, John A. editor. Paige, Richard F. editor. Polack, Fiona A. C. editor. Brooke, Phillip J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3269.

Cover image for Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Author

Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3270.

Cover image for Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers

Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers

Author

Dongarra, Jack. editor. Madsen, Kaj. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3271.

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

Author

Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3272.

Cover image for Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers

Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers

Author

Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Meyer, Norbert. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3273.

Cover image for Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

Author

Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3274.

Cover image for Testing of Communicating Systems 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings

Testing of Communicating Systems 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings

Author

Uyar, M. Ümit. editor. Duale, Ali Y. editor. Fecko, Mariusz A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3275.

Cover image for NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

Author

Boavida, Fernando. editor. Plagemann, Thomas. editor. Stiller, Burkhard. editor. Westphal, Cedric. editor. Monteiro, Edmundo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3276.

Cover image for Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings

Author

Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. Wernick, Paul. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 271 272 273 274 275 .. 319

	{displayName}	{count}
{error}