1
Automated Deduction - CADE-25 [E-Book] : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /

Full text 
Favorites
Saved in:
2
Constructive Side-Channel Analysis and Secure Design [E-Book] : 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers /

Full text 
Favorites
Saved in:
3
Machine Learning and Data Mining in Pattern Recognition [E-Book] : 11th International Conference, MLDM 2015, Hamburg, Germany, July 20-21, 2015, Proceedings /

Full text 
Favorites
Saved in:
4
Artificial General Intelligence [E-Book] : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings /

Full text 
Favorites
Saved in:
5
Applied Reconfigurable Computing [E-Book] : 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /

Full text 
Favorites
Saved in:
6
Multivariate Network Visualization [E-Book] : Dagstuhl Seminar #13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions /

Full text 
Favorites
Saved in:
7
Efficient Algorithms for Global Optimization Methods in Computer Vision [E-Book] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, November 20-25, 2011, Revised Selected Papers /

Full text 
Favorites
Saved in:
8
Integer Programming and Combinatorial Optimization [E-Book] : 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014. Proceedings /
Lee, Jon.
2014

Full text 
Favorites
Saved in:
9
Hybrid Metaheuristics [E-Book] : 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014. Proceedings /

Full text 
Favorites
Saved in:
10
Implementation and Application of Automata [E-Book] : 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings /

Full text 
Favorites
Saved in:
11
Pristine Perspectives on Logic, Language, and Computation [E-Book] : ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /

Full text 
Favorites
Saved in:
12
Stabilization, Safety, and Security of Distributed Systems [E-Book] : 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings /

Full text 
Favorites
Saved in:
13
Model-Based Safety and Assessment [E-Book] : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /

Full text 
Favorites
Saved in:
14
A Pipelined Multi-core MIPS Machine [E-Book] : Hardware Implementation and Correctness Proof /

Full text 
Favorites
Saved in:
15
Graph Drawing [E-Book] : 22nd International Symposium, GD 2014, Würzburg, Germany, September 24-26, 2014, Revised Selected Papers /

Full text 
Favorites
Saved in:
16
Euro-Par 2013: Parallel Processing Workshops [E-Book] : BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013, Aachen, Germany, August 26-27, 2013. Revised Selected Papers /

Full text 
Favorites
Saved in:
17
Artificial Neural Networks and Machine Learning – ICANN 2014 [E-Book] : 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014. Proceedings /

Full text 
Favorites
Saved in:
18
Combinatorial Pattern Matching [E-Book] : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings /

Full text 
Favorites
Saved in:
19
Computer Algebra in Scientific Computing [E-Book] : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings /

Full text 
Favorites
Saved in:
20
Advances in Communication Networking [E-Book] : 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results