Search Results for Logics and Meanings of Programs.

484 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 41

000000000000DEFAULTTR

Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Yazar

Fiadeiro, José Luiz. editor.

https://doi.org/10.1007/978-3-030-23220-7

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market

Refinement Semantics, Languages and Applications

Yazar

Derrick, John. author.

https://doi.org/10.1007/978-3-319-92711-4

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

Yazar

Kordon, Fabrice. editor.

http://dx.doi.org/10.1007/978-3-319-39086-4

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

Validation of Evolving Software

Yazar

Chockler, Hana. editor.

http://dx.doi.org/10.1007/978-3-319-10623-6

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

Transactions on Petri Nets and Other Models of Concurrency X

Yazar

Koutny, Maciej. editor.

http://dx.doi.org/10.1007/978-3-662-48650-4

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

Transactions on Petri Nets and Other Models of Concurrency IX

Yazar

Koutny, Maciej. editor.

http://dx.doi.org/10.1007/978-3-662-45730-6

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

Transactions on Petri Nets and Other Models of Concurrency XI

Yazar

Koutny, Maciej. editor.

http://dx.doi.org/10.1007/978-3-662-53401-4

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

A First Introduction to Quantum Computing and Information

Yazar

Zygelman, Bernard. author.

https://doi.org/10.1007/978-3-319-91629-3

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Krister Segerberg on Logic of Actions

Yazar

Trypuz, Robert. editor.

http://dx.doi.org/10.1007/978-94-007-7046-1

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

10.

Answer Set Programming

Yazar

Lifschitz, Vladimir. author.

https://doi.org/10.1007/978-3-030-24658-7

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market

11.

The 2-tuple Linguistic Model Computing with Words in Decision Making

Yazar

Martínez, Luis. author.

http://dx.doi.org/10.1007/978-3-319-24714-4

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

12.

Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Yazar

Enea, Constantin. editor.

https://doi.org/10.1007/978-3-030-11245-5

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market

Tümünü Seç

1 2 3 4 5 .. 41

484 sonuç bulundu

	{displayName}	{count}
{error}