41
Data Management Technologies and Applications [E-Book] : 10th International Conference, DATA 2021, Virtual Event, July 6-8, 2021, and 11th International Conference, DATA 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers /
42
Software Engineering and Formal Methods [E-Book] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /
43
Supercomputing [E-Book] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I /
44
Supercomputing [E-Book] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II /
45
Digital Design from the VLSI Perspective [E-Book] : Concepts for VLSI Beginners /
46
Software Defined Chips [E-Book] : Volume II /
Liu, Leibo
2023
Subject (ZB): ...Microprogramming ....

Full text 
47
Introduction to Mechatronics [E-Book] : An Integrated Approach /
48
Renewable Energy Optimization, Planning and Control [E-Book] : Proceedings of ICRTE 2022 /
49
Supercomputing [E-Book] : 8th Russian Supercomputing Days, RuSCDays 2022, Moscow, Russia, September 26-27, 2022, Revised Selected Papers /
50
Sensor Networks [E-Book] : 9th International Conference, SENSORNETS 2020, Valletta, Malta, February 28-29, 2020, and 10th International Conference, SENSORNETS 2021, Virtual Event, February 9-10, 2021, Revised Selected Papers /
51
Software Defined Chips [E-Book] : Volume I /
Subject (ZB): ...Microprogramming ....

Full text 
52
Software Engineering and Formal Methods [E-Book] : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings /
53
OpenMP in a Modern World: From Multi-device Support to Meta Programming [E-Book] : 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022, Proceedings /
54
High Performance Computing. ISC High Performance 2022 International Workshops : Hamburg, Germany, May 29 - June 2, 2022, Revised Selected Papers [E-Book] /
55
Network and Parallel Computing [E-Book] : 19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24-25, 2022, Proceedings /
56
Accelerator Programming Using Directives [E-Book] : 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings /
57
Software Verification [E-Book] : 13th International Conference, VSTTE 2021, New Haven, CT, USA,  October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers /
58
Trends in Functional Programming [E-Book] : 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers /
59
Euro-Par 2022: Parallel Processing [E-Book] : 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, Proceedings /
60
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III /