Search Results for Computer simulation.

147 Results Found

1 2 3 4 5 6 .. 13

000000000000DEFAULT

37.

FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems

Author

Schnieder, Eckehard. editor. Tarnai, Geza. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

Author

Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I

Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I

Author

Li, Daoliang. editor. Liu, Yande. editor. Chen, Yingyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part II

Author

Li, Daoliang. editor. Liu, Yande. editor. Chen, Yingyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Multi-Agent-Based Simulation XI International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers

Author

Bosse, Tibor. editor. Geller, Armando. editor. Jonker, Catholijn M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV

Author

Li, Daoliang. editor. Liu, Yande. editor. Chen, Yingyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers

Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers

Author

Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Reconfigurable Computing: Architectures, Tools and Applications 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings

Reconfigurable Computing: Architectures, Tools and Applications 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings

Author

Koch, Andreas. editor. Krishnamurthy, Ram. editor. McAllister, John. editor. Woods, Roger. editor. El-Ghazawi, Tarek. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Transactions on Computational Systems Biology XIII

Author

Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings

Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings

Author

Marchetti-Spaccamela, Alberto. editor. Segal, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Computing with Instinct Rediscovering Artificial Intelligence

Author

Cai, Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Viability and Resilience of Complex Systems Concepts, Methods and Case Studies from Ecology and Society

Author

Deffuant, Guillaume. editor. Gilbert, Nigel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6 .. 13

	{displayName}	{count}
{error}