1111. Architecture of computing systems -- ARCS 2017 : 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings /: 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings. (2017) Editors: Knoop, Jens; Karl, Wolfgang; Schulz, Martin; Inoue, Koji; Pionteck, Thilo Other Names: ARCS (Conference), 30th Record Type: Book Extent: 1 online resource (xiii, 262 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1112. Requirements engineering for service and cloud computing. ([2017]) Editors: Ramachandran, Muthu; Mahmood, Zaigham Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1113. Relational and algebraic methods in computer science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. (2017) Editors: Höfner, Peter; Pous, Damien; Struth, Georg Other Names: RAMiCS (Conference), 16th Record Type: Book Extent: 1 online resource (xiv, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1114. Software developers as users : semiotic investigations in human-centered software development /: semiotic investigations in human-centered software development. ([2016]) Authors: De Souza, Clarisse Sieckenius; Cerqueira, Renato; Afonso, Luiz Marques, 1973-; Brandão, Rafael Rossi de Mello, 1982-; Ferreira, Juliana Jansen, 1979- Record Type: Book Extent: 1 online resource (xii, 142 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1115. Communication technologies for vehicles : 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings /: 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings. (2017) Editors: Pirovano, Alain; Berbineau, Marion; Vinel, Alexey; Guerber, Christophe; Roque, Damien; Mendizábal Samper, Jaizki; Bonneville, Hervé; Aniss, Hasnaâ; Ducourthial, Bertrand Other Names: Nets4Cars/Nets4Trains/Nets4Aircraft (Workshop), 12th Record Type: Book Extent: 1 online resource (x, 143 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1116. PRIMA 2016 : princiles and practice of multi-agent systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings /: princiles and practice of multi-agent systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings. (2016) Editors: Baldoni, Matteo, 1968-; Chopra, Amit K; Son, Tran Cao, 1962-; Hirayama, Katsutoshi; Torroni, Paolo Other Names: International Conference on Principles and Practice of Multi-agent Systems, 19th Record Type: Book Extent: 1 online resource (xv, 418 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1117. Industrial applications of holonic and multi-agent systems : 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings /: 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings. (2017) Editors: Mařík, V (Vladimír); Wahlster, Wolfgang; Strasser, Thomas; Kadera, Petr Other Names: International Conference on Industrial Applications of Holonic and Multi-Agent Systems, 8th Record Type: Book Extent: 1 online resource (xi, 270 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1118. Applied reconfigurable computing : 13th International Symposium, ARC 2017, Delft, the Netherlands, April 3-7, 2017, Proceedings /: 13th International Symposium, ARC 2017, Delft, the Netherlands, April 3-7, 2017, Proceedings. (2017) Editors: Wong, Stephan, 1973-; Beck, Antônio Carlos; Bertels, Koen; Carro, Luigi Other Names: ARC (Symposium), 13th Record Type: Book Extent: 1 online resource (xx, 332 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1119. Technological innovation for cyber-physical systems : 8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017, Proceedings /: 8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017, Proceedings. (2017) Editors: Camarinha-Matos, Luis; Mafalda, Parreira-Rocha; Javaneh, Ramezani Other Names: IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, 8th Record Type: Book Extent: 1 online resource (xv, 165 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1120. Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers /: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers. (2017) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua; Tian, Cong; Nagoya, Fumiko Other Names: SOFL+MSVL (Workshop), 6th Record Type: Book Extent: 1 online resource (x, 239 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗