Mathematics

publyear: 2015
37-48 / total 374
year limit: 2015 - remove year limit
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
Graph Transformation : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
edited by Francesco Parisi-Presicce, Bernhard Westfechtel.
2015
149988
isbn:9783319211459
cover from: Google Books
Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
edited by Francisco Botana, Pedro Quaresma.
2015
149994
isbn:9783319213620
cover from: Google Books
Computing and Combinatorics : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
edited by Dachuan Xu, Donglei Du, Dingzhu Du.
2015
149996
isbn:9783319213989
cover from: Google Books
Constructive Side-Channel Analysis and Secure Design : 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers
edited by Stefan Mangard, Axel Y. Poschmann.
2015
150003
isbn:9783319214764
cover from: Google Books
Developments in Language Theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
edited by Igor Potapov.
2015
150004
isbn:9783319215006
cover from: Google Books
Algorithms and Data Structures : 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings
edited by Frank Dehne, Jörg-Rüdiger Sack, Ulrike Stege.
2015
150013
isbn:9783319218403
cover from: Google Books
DNA Computing and Molecular Programming : 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings
edited by Andrew Phillips, Peng Yin.
2015
150022
isbn:9783319219998
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
Progress in Cryptology -- LATINCRYPT 2015 : 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings
edited by Kristin Lauter, Francisco Rodríguez-Henríquez.
2015
150027
isbn:9783319221748
cover from: Google Books
Fundamentals of Computation Theory : 20th International Symposium, FCT 2015, Gda´nsk, Poland, August 17-19, 2015, Proceedings
edited by Adrian Kosowski, Igor Walukiewicz.
2015
150028
isbn:9783319221779
cover from: Google Books
Advances in Spatial and Temporal Databases : 14th International Symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015. Proceedings
edited by Christophe Claramunt, Markus Schneider, Raymond Chi-Wing Wong, Li Xiong, Woong-Kee Loh, Cyrus Shahabi, Ki-Joune Li.
2015
150036
isbn:9783319223636
Loading... loading_more ...
device_type: computer thumb_size: normal
| grid | |