Yazar
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
Format:
Electronic Resources
Alıntı:
Numerical analysis.
Yazar
Dutot, Pierre-François. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
View Other Search Results
Yazar
Núñez, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Applications.- Protocols -- Specification and analysis -- Verification.
Yazar
ter Beek, Maurice H. editor.
Format:
Electronic Resources
Alıntı:
analysis; and applications and case studies.
Yazar
Liu, Zhiming. editor.
Format:
Electronic Resources
Alıntı:
the design and use of theories, techniques and tools for software specification and modeling, analysis
Yazar
Lang, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface -- Analysis of Real-Time
Yazar
Bertogna, Marko. editor.
Format:
Electronic Resources
Alıntı:
Analysis of Barriers in Ada -- An Empirical Investigation of Eager and Lazy Preemption Approaches in Global
Yazar
de la Puente, Juan Antonio. editor.
Format:
Electronic Resources
Alıntı:
Inline Monitoring.- Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS -- Guaranteeing Timing
Yazar
Remke, Anne. editor.
Format:
Electronic Resources
Alıntı:
Sharing -- Analysis of Mitigation Measures for Timing Attacks in Mobile Offloading Systems -- Capabilities
Arama Sonuçlarını Sınırlandır
Daraltılmış: