Search Results for Logic design.

1.

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

Yazar

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

Yer Numarası

XX(518949.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

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

Yazar

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

Yer Numarası

XX(518953.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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

Yazar

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

Yer Numarası

XX(519168.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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

Yazar

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

Yer Numarası

XX(518529.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

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

Yazar

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

Yer Numarası

XX(518541.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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

Yazar

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

Yer Numarası

XX(518737.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

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

Yazar

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

Yer Numarası

XX(518763.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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

Yazar

Bulling, Nils. editor. SpringerLink (Online service)

Yer Numarası

XX(518814.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

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

Yazar

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

Yer Numarası

XX(518878.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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

Yazar

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

Yer Numarası

XX(518891.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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

Yazar

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

Yer Numarası

XX(519135.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

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

Yazar

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

Yer Numarası

XX(519293.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}