Search

Subject Computer Science

671. New frontiers in artificial intelligence : JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised selected papers /: JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised selected papers. (2018)

Editors:
Arai, Sachiyo; Kojima, Kazuhiro; Mineshima, Koji; Bekki, Daisuke, 1973-; Satoh, Ken, 1959-; Ohta, Yuiko
Other Names:
JSAI-isAI (Symposium), 9th; JURISIN (Workshop), 11th; SKL (Workshop), 4th; AI-Biz (Workshop), 2nd; LENLS (Workshop), 14th; AAA (Workshop), 3rd; SCIDOCA (Workshop), 2nd; kNeXI (Workshop)
Record Type:
Book
Extent:
1 online resource (xv, 415 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

672. Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018)

Editors:
Dubois, Catherine; Wolff, Burkhart, 1962-
Other Names:
TAP (Conference), 12th; STAF (Federation of conferences)
Record Type:
Book
Extent:
1 online resource (xiv, 185 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

673. Theory and practice of model transformation : 11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings /: 11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings. (2018)

Editors:
Rensink, Arend; Sánchez Cuadrado, Jesús
Other Names:
ICMT (Conference), 11th; STAF (Federation of conferences)
Record Type:
Book
Extent:
1 online resource (xii, 195 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

674. Advances in neural networks -- ISNN 2018 : 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018, Proceedings /: 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018, Proceedings. (2018)

Editors:
Huang, Tingwen; Lv, Jian Cheng; (Computer engineer), Sun, Changyin; Tuzikov, A. V
Other Names:
International Symposium on Neural Networks, 15th
Record Type:
Book
Extent:
1 online resource (xix, 872 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

675. Human interface and the management of information. interaction, visualization, and analytics : 20th International Conference, HIMI 2018, held as part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings /: interaction, visualization, and analytics : 20th International Conference, HIMI 2018, held as part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings. Part I : (2018)

Editors:
Yamamoto, Sakae; Mori, Hirohiko
Other Names:
International Conference on Human Interface and the Management of Information, 20th; International Conference on Human-Computer Interaction, 20th
Record Type:
Book
Extent:
1 online resource (xxv, 746 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

676. Cloud computing -- CLOUD 2018 : 11th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /: 11th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings. (2018)

Editors:
Luo, Min; Zhang, Liang-Jie
Other Names:
IEEE International Conference on Cloud Computing, 11th; Services Conference Federation
Record Type:
Book
Extent:
1 online resource (xiii, 420 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

679. 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 /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part II : (2018)

Editors:
Chockler, Hana; Weissenbacher, Georg
Other Names:
CAV (Conference), 30th; Federated Logic Conference
Record Type:
Book
Extent:
1 online resource (xx, 545 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

680. Services computing -- SCC 2018 : 15th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /: 15th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings. (2018)

Editors:
Ferreira, João Eduardo; Spanoudakis, George; Ma, Yutao; Zhang, Liang-Jie
Other Names:
Services Conference Federation. Conference (2018) (Seattle, Wash.) jointly held conference.; SCC (Conference : Services Computing), 15th
Record Type:
Book
Extent:
1 online resource (xii, 193 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗