Kirjastot/arkistot

publyear: 2015
1-12 / yhteensä 580
vuosirajaus: 2015 - poista vuosirajaus
cover from: Google Books
Social Informatics : SocInfo 2014 International Workshops, Barcelona, Spain, November 11, 2014, Revised Selected Papers
edited by Luca Maria Aiello, Daniel McFarland.
2015
149790
isbn:9783319151687
cover from: Google Books
Language and Automata Theory and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe.
2015
149798
isbn:9783319155791
cover from: Google Books
Advances in Information Retrieval : 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedings
edited by Allan Hanbury, Gabriella Kazai, Andreas Rauber, Norbert Fuhr.
2015
149827
isbn:9783319163543
cover from: Google Books
Bioinspired Computation in Artificial Systems : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II
edited by José Manuel Ferrández Vicente, José Ramón Álvarez-Sánchez, Félix de la Paz López, Fco. Javier Toledo-Moreo, Hojjat Adeli.
2015
149887
isbn:9783319188331
cover from: Google Books
High Performance Computing : 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings
edited by Julian M. Kunkel, Thomas Ludwig.
2015
149934
isbn:9783319201191
cover from: Google Books
Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge.
2015
149957
isbn:9783319206158
cover from: Google Books
Web-Age Information Management : 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
edited by Xin Luna Dong, Xiaohui Yu, Jian Li, Yizhou Sun.
2015
149984
isbn:9783319210421
cover from: Google Books
Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
edited by Christian Urban, Xingyuan Zhang.
2015
150026
isbn:9783319221021
cover from: Google Books
Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
edited by Radu Calinescu, Bernhard Rumpe.
2015
150064
isbn:9783319229690
cover from: Google Books
Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
edited by Ezio Bartocci, Rupak Majumdar.
2015
150107
isbn:9783319238203
cover from: Google Books
Research and Advanced Technology for Digital Libraries : 19th International Conference on Theory and Practice of Digital Libraries, TPDL 2015, Pozna´n, Poland, September 14-18, 2015, Proceedings
edited by Sarantos Kapidakis, Cezary Mazurek, Marcin Werla.
2015
150153
isbn:9783319245928
cover from: Google Books
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers
edited by Manjunath Gorentla Venkata, Pavel Shamis, Neena Imam, M. Graham Lopez.
2015
150230
isbn:9783319264288
Loading... loading more ...
device_type: computer thumb_size: normal
| grid | |