Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P
System Verilog验证 测试平台编写指南(第二版)
6502 systems programming
Advanced Information Systems Engineering: 12th International Conference, CAiSE 2000 Stockholm, Sweden, June 5–9, 2000 Proceedings
Knowledge-Based Intelligent Information and Engineering Systems: 8th International Conference, Kes 2004, Wellington, New Zealand, September 20-25, 2004, Proceedings, Part I
Dassault Systemes Inc. Modeling Fracture and Failure with Abaqus
Brain Facts: A Primer on the Brain and Nervous System
Data Science and Security: Proceedings of IDSCS 2022 (Lecture Notes in Networks and Systems, 462)
Reflections in Bulloughs Pond: Economy and Ecosystem in New England
Mihalis Tsoukalos Go Systems Programming Master Linux And Unix System Level Programming With Go Packt Publishing 2017
Dynamic Changes in Marine Ecosystems: Fishing, Food Webs, and Future Options
Memory Systems
Learning Geospatial Analysis with Python: An effective guide to geographic information system and remote sensing analysis using Python 3
Thinking in Systems
Monitoring Climate Change Impacts: Metrics at the Intersection of the Human and Earth Systems
The Immune System Recovery Plan
Principles of GNSS, inertial, and multi-sensor integrated navigation systems