Search Results for Computer science.

1.

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings

Author

Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335043.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers

Author

Villatoro, Daniel. editor. Sabater-Mir, Jordi. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings

Author

Hu, Hao. editor. Shi, Xiaoning. editor. Stahlbock, Robert. editor. Voß, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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:

5.

Cover image for Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II

Author

Wang, Fu Lee. editor. Deng, Hepu. editor. Gao, Yang. editor. Lei, Jingsheng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I

Author

Wang, Fu Lee. editor. Deng, Hepu. editor. Gao, Yang. editor. Lei, Jingsheng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings

Author

Príncipe, José C. editor. Miikkulainen, Risto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Author

Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00151-3

Format:

Availability

Online Library~1

Available:
Copies:

9.

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 I

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 I

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-96145-3

Format:

Availability

Online Library~1

Available:
Copies:

10.

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:

	{displayName}	{count}
{error}