Search

Subject Computer Science

901. Cyber physical systems : design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings /: design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings. ([2015])

Editors:
Berger, Christian; Mousavi, Mohammad Reza, 1978-
Other Names:
CyPhy (Workshop), 5th
Record Type:
Book
Extent:
1 online resource
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

902. Simulation and modeling methodologies, technologies and applications : International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014, revised selected papers /: International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014, revised selected papers. ([2015])

Editors:
Obaidat, Mohammad S (Mohammad Salameh), 1952-
Other Names:
International Conference on Simulation and Modeling Methodologies, Technologies and Applications, 4th
Record Type:
Book
Extent:
1 online resource (xvi, 352 pages), illustrations (some color)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

904. Enterprise and Organizational Modeling and Simulation : 11th International Workshop, EOMAS 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, selected papers /: 11th International Workshop, EOMAS 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, selected papers. (2015)

Editors:
Barjis, Joseph; Pergl, Robert; Babkin, Eduard, 1971-
Other Names:
International Workshop on Enterprise and Organizational Modeling and Simulation, 11th
Record Type:
Book
Extent:
1 online resource (x, 233 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

905. Software engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures /: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures. (2015)

Editors:
Meyer, Bertrand, 1950-; Nordio, Martin
Other Names:
LASER Summer School on Software Engineering, 10th; LASER Summer School on Software Engineering, 11th
Record Type:
Book
Extent:
1 online resource (vii, 191 pages), color illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

906. Cloud computing and security : first International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised selected papers /: first International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised selected papers. (2015)

Editors:
(Professor of Computer Science and Technology), Huang, Zhiqiu; Sun, Xingming; Luo, Junzhou; (Researcher in Computer Science), Wang, Jian
Other Names:
ICCCS (Conference), 1st
Record Type:
Book
Extent:
1 online resource (xii, 562 pages), color illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

908. Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. (2015)

Editors:
Finkbeiner, Bernd; Pu, G (Geguang); Zhang, Lijun, 1979-
Other Names:
ATVA (Symposium), 13th
Record Type:
Book
Extent:
1 online resource (xiii, 520 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

910. Computer safety, reliability, and security : 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings /: 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings. (2015)

Editors:
Koornneef, Floor, 1950-; Gulijk, Coen van
Other Names:
SAFECOMP (Conference), 34th
Record Type:
Book
Extent:
1 online resource (xxii, 486 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗