Search Results for Analysis.

1.

Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

Author

Ferré, Sébastien. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01815-2

Format:

Availability

Online Library~1

Available:
Copies:

2.

Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Author

Palsberg, Jens. editor. Su, Zhendong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03237-0

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers

Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers

Author

Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00768-2

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

Author

Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04284-3

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Author

Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04368-0

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

Author

Liu, Zhiming. editor. Ravn, Anders P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04761-9

Format:

Availability

Online Library~1

Available:
Copies:

8.

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/978-3-642-01310-2

Format:

Availability

Online Library~1

Available:
Copies:

9.

Software Verification and Analysis An Integrated, Hands-On Approach

Author

Stanley, William. author. Laski, Janusz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-240-5

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Signal Processing, Image Processing and Pattern Recognition International Conference, SIP 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

Signal Processing, Image Processing and Pattern Recognition International Conference, SIP 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

Author

Ślęzak, Dominik. editor. Pal, Sankar K. editor. Kang, Byeong-Ho. editor. Gu, Junzhong. editor. Kuroda, Hideo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10546-3

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}