Search

Subject Software engineering

501. Design, user experience, and usability. theory and practice : 7th International Conference, DUXU 2018, held as part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings /: theory and practice : 7th International Conference, DUXU 2018, held as part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings. Part I : (2018)

Editors:
Marcus, Aaron, 1943-; (Design manager), Wang, Wentao
Other Names:
DUXU (Conference), 7th; International Conference on Human-Computer Interaction, 20th
Record Type:
Book
Extent:
1 online resource (xxxii, 811 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

502. Formal techniques for distributed objects, components, and systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings /: 38th IFIP WG 6.1 International Conference, FORTE 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings. (2018)

Editors:
Baier, Christel; Caires, Luís
Other Names:
FORTE (Conference), 38th; International Federated Conferences on Distributed Computing Techniques, 13th, jointly held conference
Record Type:
Book
Extent:
1 online resource (xi, 197 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

505. 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) ↗

506. 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) ↗

507. 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) ↗

508. 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) ↗

509. Intelligent transport systems -- from research and development to the market uptake : first International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings /: first International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings. (2018)

Editors:
Kováčiková, Tatiana; Buzna, L̓uboš; Pourhashem, Ghadir; Lugano, Giuseppe; Cornet, Yannick; Lugano, Nathalie
Other Names:
International Conference on Intelligent Transport Systems, 1st
Record Type:
Book
Extent:
1 online resource (xiii, 302 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

510. 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) ↗