Search Results for Computer logic.

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Yazar

Gopal, T.V. editor.

https://doi.org/10.1007/978-3-319-55911-7

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Yazar

Weil, Pascal. editor.

https://doi.org/10.1007/978-3-319-58747-9

Format:

Electronic Resources

Alıntı:

Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Yazar

Hoshi, Mizuho. editor.

https://doi.org/10.1007/978-3-319-98654-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

Yazar

Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012

https://doi.org/10.1007/978-3-319-94812-6

Format:

Electronic Resources

Alıntı:

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

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

Yazar

Day, Adam. editor.

https://doi.org/10.1007/978-3-319-50062-1

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

Yazar

Carayol, Arnaud. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Modelling and Verification of Secure Exams

Yazar

Giustolisi, Rosario. author.

https://doi.org/10.1007/978-3-319-67107-9

Format:

Electronic Resources

Alıntı:

Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Yazar

Hooker, John. editor. (orcid)0000-0003-3169-1871

https://doi.org/10.1007/978-3-319-98334-9

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things

Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Yazar

Lambers, Leen. editor. (orcid)0000-0001-6937-5167

https://doi.org/10.1007/978-3-319-92991-0

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market

	{displayName}	{count}
{error}