41
The Fundamental Research for Trustworthy Software [E-Book] /
He, Jifeng
2024

Full text 
Favorites
Saved in:
42
Guide to Computer Processor Architecture [E-Book] : A RISC-V Approach, with High-Level Synthesis /

Full text 
Favorites
Saved in:
43
Information and Communication Technologies [E-Book] : 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023, Proceedings /

Full text 
Favorites
Saved in:
44
Innovations and Interdisciplinary Solutions for Underserved Areas [E-Book] : 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings /

Full text 
Favorites
Saved in:
45
Innovative Intelligent Industrial Production and Logistics [E-Book] : First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers /

Full text 
Favorites
Saved in:
46
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:
47
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:
48
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:
49
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:
50
Languages and Compilers for Parallel Computing [E-Book] : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:
51
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:
52
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:
53
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:
54
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:
55
NASA Formal Methods [E-Book]: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /

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

Full text 
Favorites
Saved in:
57
NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings [E-Book] /

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

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

Full text 
Favorites
Saved in:
60
Network and Parallel Computing [E-Book] : 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results