Search Results for Logic design

1.

Cover image for Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Author

Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518529.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Wireless and Satellite Systems 7th International Conference, WiSATS 2015, Bradford, UK, July 6-7, 2015. Revised Selected Papers

Author

Pillai, Prashant. editor. Hu, Yim Fun. editor. Otung, Ifiok. editor. Giambene, Giovanni. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518737.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

Author

Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518763.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

Author

Bulling, Nils. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518814.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

Author

Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518953.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Author

Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519293.1)

Electronic Access

https://doi.org/10.1007/978-3-319-23264-5

Format:

Availability

Online Library~1

Available:
Copies:

7.

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Author

Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519135.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings

Author

Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519168.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Exploring Services Science 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings

Author

Nóvoa, Henriqueta. editor. Drăgoicea, Monica. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518541.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

Author

Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518878.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings

Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings

Author

Zdravkovic, Jelena. editor. Kirikova, Marite. editor. Johannesson, Paul. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518891.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Author

de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.

Preferred Shelf Number

XX(518949.1)

Electronic Access

https://doi.org/10.1007/978-3-662-47709-0

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}