Search Results for Automation.

Yazar

Lecomte, Thierry. editor.

Format:

Electronic Resources

Alıntı:

Automatic Proof of Refinement -- S3: Proving the Safety of Critical Systems -- Increasing Proofs Automation

10.

Yazar

Benatallah, Boualem. editor.

Format:

Electronic Resources

Alıntı:

Task Automation Services by Distributed Event Processing -- Data Streams Quality Evaluation for the

11.

Yazar

Biswas, G. P. editor.

Format:

Electronic Resources

Alıntı:

, Bioinformatics, Circuit Design Automation, Computational Biology, Computational Mathematics, Cryptology, Data

12.

Yazar

Karagiannis, Thomas. editor.

Format:

Electronic Resources

Alıntı:

/1 Traces -- Behind Box-Office Sales: Understanding Automation Spam in Online Classifieds -- Towards

	{displayName}	{count}
{error}