Palvelut

publyear: 2016
25-36 / yhteensä 802
vuosirajaus: 2016 - poista vuosirajaus
cover from: Google Books
Passive and Active Measurement : 17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings
edited by Thomas Karagiannis, Xenofontas Dimitropoulos.
2016
186174
isbn:9783319305059
cover from: Google Books
Evolutionary Computation in Combinatorial Optimization : 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 – April 1, 2016, Proceedings
edited by Francisco Chicano, Bin Hu, Pablo García-Sánchez.
2016
186178
isbn:9783319306988
cover from: Google Books
Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen.
2016
186179
isbn:9783319307343
cover from: Google Books
Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things : 7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 – September 4, 2015. Revised Selected Papers
edited by Raghunath Nambiar, Meikel Poess.
2016
186190
isbn:9783319314099
cover from: Google Books
Worldwide Language Service Infrastructure : Second International Workshop, WLSI 2015, Kyoto, Japan, January 22-23, 2015. Revised Selected Papers
edited by Yohei Murakami, Donghui Lin.
2016
186193
isbn:9783319314686
cover from: Google Books
Risks and Security of Internet and Systems : 10th International Conference, CRiSIS 2015, Mytilene, Lesbos Island, Greece, July 20-22, 2015, Revised Selected Papers
edited by Costas Lambrinoudakis, Alban Gabillon.
2016
186206
isbn:9783319318110
cover from: Google Books
Human Centered Computing : Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers
edited by Qiaohong Zu, Bo Hu.
2016
186207
isbn:9783319318547
cover from: Google Books
Database Systems for Advanced Applications : DASFAA 2016 International Workshops: BDMS, BDQM, MoI, and SeCoP, Dallas, TX, USA, April 16-19, 2016, Proceedings
edited by Hong Gao, Jinho Kim, Yasushi Sakurai.
2016
186215
isbn:9783319320557
cover from: Google Books
Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich.
2016
186231
isbn:9783319336121
cover from: Google Books
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
edited by Erika Ábrahám, Marieke Huisman.
2016
186233
isbn:9783319336930
cover from: Google Books
Wired/Wireless Internet Communications : 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings
edited by Lefteris Mamatas, Ibrahim Matta, Panagiotis Papadimitriou, Yevgeni Koucheryavy.
2016
186234
isbn:9783319339368
cover from: Google Books
Human Aspects of Information Security, Privacy, and Trust : 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings
edited by Theo Tryfonas.
2016
186257
isbn:9783319393810
Loading... loading more ...
device_type: computer thumb_size: normal
| grid | |