Log In
Recherche
Carmel Blaze 2020
All papers of the present volume were peer reviewed by no less than two independent reviewers. Acceptance was granted when both reviewers' recommendations were ...
Autres Cours:
THE BELL SYSTEM TECHNICAL JOURNAL volume xxxvii July1958 ...
The Capture ofthe USS Pueblo and Its Effect on SIGINT Operations ...
An Introduction to Optimization: Foundations and Fundamental ...
Design, synthesis and molecular modeling studies of drug candidate ...
DIVISION - International Nuclear Information System (INIS)
Databases and Information Systems BalticDB&IS'2012 - CEUR-WS
A proposal for the evolution of model-driven software engineering
CHMP assessment report - European Medicines Agency |
Saturation Heuristic for Faster Bisimulation with Petri Nets
Implementation of symbolic model checking for probabilistic systems
Moves Issue25.pdf - Strategy & Tactics Press
Turbomachinery design for Rankine cycles in waste heat recovery ...