Search Results for Programming Techniques.

6 Results Found

000000DEFAULT

Cover image for Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

Author

Michel, Laurent. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518836.1)

Electronic Access

https://doi.org/10.1007/978-3-319-18008-3

Format:

Availability

Online Library~1

Available:
Copies:

Parameterized Algorithms

Author

Cygan, Marek. author. Fomin, Fedor V. author. Kowalik, Łukasz. author. Lokshtanov, Daniel. author. Marx, Dániel. author.

Preferred Shelf Number

XX(518379.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21275-3

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

Author

Malyshkin, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518961.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21909-7

Format:

Availability

Online Library~1

Available:
Copies:

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Author

Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519028.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21668-3

Format:

Availability

Online Library~1

Available:
Copies:

Handbook of Genetic Programming Applications

Author

Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518480.1)

Electronic Access

https://doi.org/10.1007/978-3-319-20883-1

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

Author

Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519297.1)

Electronic Access

https://doi.org/10.1007/978-3-319-26184-3

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}