Search Results for Computer Simulation.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

338 Results Found

1 2 3 4 5 .. 29

000000000000DEFAULT

25.

Cover image for Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers

Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers

Author

Lewis, Peter R. editor. Headleand, Christopher J. editor. Battle, Steve. editor. Ritsos, Panagiotis D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-90418-4

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

Author

Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94779-2

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Author

Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71734-0

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Author

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-96142-2

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74727-9

Format:

Availability

Online Library~1

Available:
Copies:

30.

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

Author

Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91587-6

Format:

Availability

Online Library~1

Available:
Copies:

31.

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Author

de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-90089-6

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings

Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings

Author

Deville, Yannick. editor. (orcid)0000-0002-8769-2446 Gannot, Sharon. editor. (orcid)0000-0002-2885-170X Mason, Russell. editor. (orcid)0000-0002-6030-9603 Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075 Ward, Dominic. editor. (orcid)0000-0002-7819-0145

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93764-9

Format:

Availability

Online Library~1

Available:
Copies:

33.

Nature Inspired Computing Proceedings of CSI 2015

Author

Panigrahi, Bijaya Ketan. editor. Hoda, M. N. editor. Sharma, Vinod. editor. Goel, Shivendra. editor. SpringerLink (Online service)