Search Results for Artificial Intelligence.

1.

Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

Author

van Hoeve, Willem-Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Author

Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05051-1

Format:

Availability

Online Library~1

Available:
Copies:

4.

Association Rule Hiding for Data Mining

Author

Gkoulalas-Divanis, Aris. author. Verykios, Vassilios S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-6569-1

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Author

Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

Author

Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

Author

Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11814948

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

Author

Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b137280

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Author

Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11527695

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}