21
NASA Formal Methods [E-Book] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
22
Architecture of Computing Systems – ARCS 2013 [E-Book] : 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings /
23
Compiler Construction [E-Book] : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
24
Multicore Software Engineering, Performance, and Tools [E-Book] : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings /
25
Parallel Computing Technologies [E-Book] : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings /
26
Software Engineering for Resilient Systems [E-Book] : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings /
27
Ada 2012 Rationale [E-Book] : The Language, The Standard Libraries /
28
Advanced Parallel Processing Technologies [E-Book] : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers /
29
Euro-Par 2012 Parallel Processing [E-Book]: 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings /
30
Search Based Software Engineering [E-Book]: 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings /
31
Parallel Computing Technologies [E-Book] : 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings /
32
Architecture of Computing Systems – ARCS 2014 [E-Book] : 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings /
33
Advanced Parallel Processing Technologies [E-Book] : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings /
34
Ada 2012 Reference Manual. Language and Standard Libraries [E-Book] : International Standard ISO/IEC 8652/2012 (E) /
35
Languages and Compilers for Parallel Computing [E-Book] : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers /
36
Transactions on Modularity and Composition I [E-Book] /
37
Euro-Par 2013 Parallel Processing [E-Book] : 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings /
38
Parallel Processing and Applied Mathematics [E-Book] : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part II /
39
Concurrent Objects and Beyond [E-Book] : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /
40
Euro-Par 2015: Parallel Processing [E-Book] : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /