1
Compiler Construction [E-Book] : 23rd International Conference, CC 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
Coordination Models and Languages [E-Book] : 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /

Full text 
Favorites
Saved in:
3
Supercomputing [E-Book] : 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings /

Full text 
Favorites
Saved in:
4
NASA Formal Methods [E-Book] : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /

Full text 
Favorites
Saved in:
5
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:
6
Critical Information Infrastructures Security [E-Book]: 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers /

Full text 
Favorites
Saved in:
7
Architecture of Computing Systems – ARCS 2012 [E-Book]: 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings /

Full text 
Favorites
Saved in:
8
NASA Formal Methods [E-Book] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /

Full text 
Favorites
Saved in:
9
Architecture of Computing Systems – ARCS 2015 [E-Book] : 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings /

Full text 
Favorites
Saved in:
10
Job Scheduling Strategies for Parallel Processing [E-Book] : 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers /

Full text 
Favorites
Saved in:
11
Formal Methods for Components and Objects [E-Book] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /

Full text 
Favorites
Saved in:
12
Job Scheduling Strategies for Parallel Processing [E-Book] : 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers /

Full text 
Favorites
Saved in:
13
NASA Formal Methods [E-Book]: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /

Full text 
Favorites
Saved in:
14
Languages and Compilers for Parallel Computing [E-Book] : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers /

Full text 
Favorites
Saved in:
15
Static Analysis [E-Book] : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings /

Full text 
Favorites
Saved in:
16
The Practice of Enterprise Modeling [E-Book] : 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24-26, 2021, Proceedings /

Full text 
Favorites
Saved in:
17
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [E-Book]: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Full text 
Favorites
Saved in:
18
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [E-Book]: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /

Full text 
Favorites
Saved in:
19
NASA Formal Methods [E-Book] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /

Full text 
Favorites
Saved in:
20
Architecture of Computing Systems – ARCS 2013 [E-Book] : 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results