Verification of Sequential and Concurrent Programs, Fachbücher von Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Old...

Verification Of Sequential And Concurrent Programs 1319

Jens Krinke | Advanced Slicing Of Sequential And Concurrent Programs |

Comparative analysis of Sequential and Concurrent processing for float, Fachbücher von Karan Gumber, Meenu Talwar, Sharm...

Advanced Slicing of Sequential and Concurrent Programs, Fachbücher von Jens Krinke

Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Frank S. de Boer, Ferruccio Damiani, Be...

Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Reiner Hähnle, Frank S. de Boer, Elena ...

Frank S. De Boer (u. A.) | Formal Methods For Components And Objects |

Biomass and Biofuels from Microalgae, Fachbücher von Navid R. Moheimani, Mark P. McHenry, Karne De Boer, Parisa A. Bahri

Ernest Dichter and Motivation Research, Fachbücher von R. Gries, S. Schwarzkopf

Design and Verification of Microprocessor Systems for High-Assurance Applications, Fachbücher von David S. Hardin

Prokhorov and Contemporary Probability Theory, Fachbücher von Albert N. Shiryaev, S. R. S. Varadhan, Ernst L. Presman

Evaluation Study of Field Irrigation Channels and Field Drains Program, Fachbücher von S. Sridhara, S. Pradeep, S. Sahan...

Sequential simulation of wheat and Urd using (DSSAT) model version 4.5, Fachbücher von Neeraj Kumar, Suman Kumar, A. S. ...

Life and Public Services of Martin R. Delaney, Fachbücher von Frank A Rollin

Analysis and Design of Algorithms, Fachbücher von S. R. Jayasimha