Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings

Fundamentals of Digital Logic and Microcontrollers: Edition 6

Compact Models and Measurement Techniques for High-Speed Interconnects

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

Applying Math with Python: Over 70 practical recipes for solving real-world computational math problems, Edition 2

Practical Formal Methods for Hardware Design

Model and Design of Improved Current Mode Logic Gates: Differential and Single-ended

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings

Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

Programmable Logic Controllers: Edition 6

Validation of Stochastic Systems: A Guide to Current Research

Digital Logic Design: Edition 2

A Practical Introduction to Computer Architecture

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report

Stencyl Essentials