Search Results for Logics and Meanings of Programs.

126 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 11

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

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

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

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

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Yazar

Zamani, Majid. editor.

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

Format:

Electronic Resources

Alıntı:

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

Logics for Computer Science Classical and Non-Classical

Yazar

Wasilewska, Anita. author.

https://doi.org/10.1007/978-3-319-92591-2

Format:

Electronic Resources

Alıntı:

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

Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

Yazar

Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678

https://doi.org/10.1007/978-3-030-00389-0

Format:

Electronic Resources

Alıntı:

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

Scalable Uncertainty Management 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings

Yazar

Ben Amor, Nahla. editor.

https://doi.org/10.1007/978-3-030-35514-2

Format:

Electronic Resources

Alıntı:

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

10.

Lectures on Runtime Verification Introductory and Advanced Topics

Yazar

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

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

Format:

Electronic Resources

Alıntı:

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

11.

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Yazar

Silva, Josep. editor.

https://doi.org/10.1007/978-3-030-16202-3

Format:

Electronic Resources

Alıntı:

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

12.

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Yazar

Seipel, Dietmar. editor.

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

Format:

Electronic Resources

Alıntı:

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

Tümünü Seç

1 2 3 4 5 .. 11

126 sonuç bulundu

	{displayName}	{count}
{error}