1
Ada 2012 Reference Manual. Language and Standard Libraries [E-Book] : International Standard ISO/IEC 8652/2012 (E) /

Full text 
Favorites
Saved in:
2
Advanced Parallel Processing Technologies [E-Book] : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings /

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

Full text 
Favorites
Saved in:
4
Distributed Applications and Interoperable Systems [E-Book]: 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings /

Full text 
Favorites
Saved in:
5
Multicore Software Engineering, Performance, and Tools [E-Book]: International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /

Full text 
Favorites
Saved in:
6
Advances in Grid and Pervasive Computing [E-Book]: 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings /

Full text 
Favorites
Saved in:
7
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:
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
Ada 2012 Rationale [E-Book] : The Language, The Standard Libraries /

Full text 
Favorites
Saved in:
10
Advanced Parallel Processing Technologies [E-Book] : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:
11
Multicore Software Engineering, Performance, and Tools [E-Book] : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings /

Full text 
Favorites
Saved in:
12
Parallel Computing Technologies [E-Book] : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings /

Full text 
Favorites
Saved in:
13
Software Engineering for Resilient Systems [E-Book] : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings /

Full text 
Favorites
Saved in:
14
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:
15
Euro-Par 2012 Parallel Processing [E-Book]: 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings /

Full text 
Favorites
Saved in:
16
Critical Information Infrastructures Security [E-Book]: 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers /

Full text 
Favorites
Saved in:
17
Dependable and Historic Computing [E-Book]: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday /

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

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
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:

Narrow Search Results