1
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /

Full text 
Favorites
Saved in:
2
Analytical and Stochastic Modeling Techniques and Applications [E-Book] : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 – July 2, 2014. Proceedings /

Full text 
Favorites
Saved in:
3
Parallel Processing and Applied Mathematics [E-Book] : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I /

Full text 
Favorites
Saved in:
4
Swarm, Evolutionary, and Memetic Computing [E-Book] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Full text 
Favorites
Saved in:
5
Swarm, Evolutionary, and Memetic Computing [E-Book] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II /

Full text 
Favorites
Saved in:
6
Principles of Distributed Systems [E-Book] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings /

Full text 
Favorites
Saved in:
7
Algorithms and Architectures for Parallel Processing [E-Book] : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I /

Full text 
Favorites
Saved in:
8
SOFSEM 2014: Theory and Practice of Computer Science [E-Book] : 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings /

Full text 
Favorites
Saved in:
9
Job Scheduling Strategies for Parallel Processing [E-Book] : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers /

Full text 
Favorites
Saved in:
10
Solving Software Challenges for Exascale [E-Book] : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers /

Full text 
Favorites
Saved in:
11
Automated Deduction – CADE-24 [E-Book] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /

Full text 
Favorites
Saved in:
12
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools [E-Book] : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings /

Full text 
Favorites
Saved in:
13
Algorithms and Architectures for Parallel Processing [E-Book] : 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II /

Full text 
Favorites
Saved in:
14
Algorithms and Architectures for Parallel Processing [E-Book] : 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I /

Full text 
Favorites
Saved in:
15
Transactional Memory. Foundations, Algorithms, Tools, and Applications [E-Book] : COST Action Euro-TM IC1001 /

Full text 
Favorites
Saved in:
16
Languages and Compilers for Parallel Computing [E-Book] : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers /

Full text 
Favorites
Saved in:
17
Distributed Computing and Networking [E-Book]: 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings /

Full text 
Favorites
Saved in:
18
Theory of Security and Applications [E-Book]: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers /

Full text 
Favorites
Saved in:
19
SOFSEM 2012: Theory and Practice of Computer Science [E-Book]: 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings /

Full text 
Favorites
Saved in:
20
Foundations and Practice of Security [E-Book]: 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /

Full text 
Favorites
Saved in:

Narrow Search Results