Search Results for Translation.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Language, Culture, Computation. Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

Yazar

Dershowitz, Nachum. editor.

http://dx.doi.org/10.1007/978-3-642-45321-2

Format:

Electronic Resources

Alıntı:

Language Translation and Linguistics.

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II

Yazar

Dershowitz, Nachum. editor.

http://dx.doi.org/10.1007/978-3-642-45324-3

Format:

Electronic Resources

Alıntı:

Language Translation and Linguistics.

Language, Culture, Computation. Computational Linguistics and Linguistics Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

Yazar

Dershowitz, Nachum. editor.

http://dx.doi.org/10.1007/978-3-642-45327-4

Format:

Electronic Resources

Alıntı:

Language Translation and Linguistics.

Introduction to Concurrency Theory Transition Systems and CCS

Yazar

Gorrieri, Roberto. author.

http://dx.doi.org/10.1007/978-3-319-21491-7

Format:

Electronic Resources

Alıntı:

Introduction to Concurrency Theory Transition Systems and CCS / Gorrieri, Roberto. author.

Carl Adam Petri: Ideas, Personality, Impact

Yazar

Reisig, Wolfgang. editor.

https://doi.org/10.1007/978-3-319-96154-5

Format:

Electronic Resources

Alıntı:

Transition Sets, Transition Clusters, Mauritius Maps,and MonaLisa -- From Nets to Circuits and from Circuits

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Yazar

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712

https://doi.org/10.1007/978-3-030-32409-4

Format:

Electronic Resources

Alıntı:

-- A First Step in the Translation of Alloy to Coq -- Assessment of a Formal Requirements Modeling

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}