Search Results for Computer science.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Representation Theorems in Computer Science A Treatment in Logic Engineering

Yazar

Özçep, Özgür Lütfü. author.

https://doi.org/10.1007/978-3-030-25785-9

Format:

Electronic Resources

Alıntı:

Representation Theorems in Computer Science A Treatment in Logic Engineering / Özçep, Özgür Lütfü

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings

Yazar

Gopal, T. V. editor.

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

Format:

Electronic Resources

Alıntı:

Data structures (Computer science).

Programming Languages and Operational Semantics A Concise Overview

Yazar

Fernández, Maribel. author.

http://dx.doi.org/10.1007/978-1-4471-6368-8

Format:

Electronic Resources

Alıntı:

Undergraduate Topics in Computer Science,

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Yazar

Bernardo, Marco. editor.

http://dx.doi.org/10.1007/978-3-319-07317-0

Format:

Electronic Resources

Alıntı:

Lecture Notes in Computer Science,

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Yazar

Alvim, Mário S. editor.

https://doi.org/10.1007/978-3-030-31175-9

Format:

Electronic Resources

Alıntı:

Probability and Statistics in Computer Science. https://scigraph.springernature.com/ontologies

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Yazar

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X

https://doi.org/10.1007/978-3-030-24258-9

Format:

Electronic Resources

Alıntı:

Theoretical Computer Science and General Issues ;

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}