Search

Subject Computer Science

621. Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018)

Editors:
Johnsen, Einar Broch; Schaefer, Ina
Other Names:
International Conference on Software Engineering and Formal Methods, 16th; STAF (Federation of conferences)
Record Type:
Book
Extent:
1 online resource (xiv, 303 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

622. Web services -- ICWS 2018 : 25th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /: 25th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings. (2018)

Editors:
Jin, Hai; Wang, Qingyang; Zhang, Liang-Jie
Other Names:
IEEE International Conference on Web Services, 25th
Record Type:
Book
Extent:
1 online resource (xiv, 518 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

623. Cyber security cryptography and machine learning : second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21-22, 2018, Proceedings /: second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21-22, 2018, Proceedings. (2018)

Editors:
Dinur, Itai; Dolev, Shlomi; Lodha, Sachin
Other Names:
CSCML (Symposium), 2nd
Record Type:
Book
Extent:
1 online resource (xii, 287 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

624. Coordination models and languages : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings /: 20th IFIP WG 6.1 International Conference, COORDINATION 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:
Di Marzo Serugendo, Giovanna; Loreti, Michele
Other Names:
COORDINATION (Conference), 20th; International Federated Conferences on Distributed Computing Techniques, 13th
Record Type:
Book
Extent:
1 online resource (xii, 281 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

625. Combinatorial algorithms : 29th International Workshop, IWOCA 2018, Singapore, July 16-19, 2018, Proceedings /: 29th International Workshop, IWOCA 2018, Singapore, July 16-19, 2018, Proceedings. (2018)

Editors:
Iliopoulos, C. S (Costas S.); Leong, Hon Wai, 1955-; Sung, Wing-Kin
Other Names:
International Workshop on Combinatorial Algorithms, 29th
Record Type:
Book
Extent:
1 online resource (xix, 388 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

626. Universal access in human-computer interaction. methods, technologies, and users : 12th International Conference, UAHCI 2018, held as part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings /: methods, technologies, and users : 12th International Conference, UAHCI 2018, held as part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings. Part I : (2018)

Editors:
Antona, Margherita; Stephanidis, Constantine
Other Names:
International Conference on Universal Access in Human-Computer Interaction, 12th; International Conference on Human-Computer Interaction, 20th
Record Type:
Book
Extent:
1 online resource (xxv, 680 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

627. Sailing routes in the world of computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30-August 3, 2018, Proceedings /: 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30-August 3, 2018, Proceedings. (2018)

Editors:
Manea, Florin; Miller, Russell G; Nowotka, Dirk
Other Names:
Conference on Computability in Europe, 14th
Record Type:
Book
Extent:
1 online resource (xv, 434 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

629. Mathematical software -- ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. (2018)

Editors:
Davenport, James Harold, 1953-; Kauers, Manuel; Labahn, G (George), 1951-; Urban, Josef
Other Names:
International Congress of Mathematical Software, 6th
Record Type:
Book
Extent:
1 online resource (xix, 508 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

630. Biomimetic and biohybrid systems : 7th International Conference, Living Machines 2018, Paris, France, July 17-20, 2018, Proceedings /: 7th International Conference, Living Machines 2018, Paris, France, July 17-20, 2018, Proceedings. (2018)

Editors:
Vouloutsi, Vasiliki; Halloy, José; Mura, Anna; (Senior lecturer in computer science), Mangan, Michael; Lepora, Nathan; Prescott, Tony J; Verschure, Paul F. M. J
Other Names:
Living Machines (Conference), 7th
Record Type:
Book
Extent:
1 online resource (xviii, 551 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗