Search Results for Architecture, Computer.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Yazar

Bernardo, Marco. editor.

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

Format:

Electronic Resources

Alıntı:

of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings

Yazar

Holzer, Markus. editor.

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

Format:

Electronic Resources

Alıntı:

Data structures (Computer science).

Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

Yazar

de la Puente, Juan Antonio. editor.

http://dx.doi.org/10.1007/978-3-319-19584-1

Format:

Electronic Resources

Alıntı:

Programming languages (Electronic computers).

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author.

https://doi.org/10.1007/978-3-030-02420-8

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product

Introduction to Software Quality

Yazar

O’Regan, Gerard. author.

http://dx.doi.org/10.1007/978-3-319-06106-1

Format:

Electronic Resources

Alıntı:

Undergraduate Topics in Computer Science,

Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers

Yazar

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634

https://doi.org/10.1007/978-3-030-36599-8

Format:

Electronic Resources

Alıntı:

Communications in Computer and Information Science,

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}