Search Results for Computer software.

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

Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Yazar

Bianculli, Domenico. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures

Yazar

Remke, Anne. editor.

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

Format:

Electronic Resources

Alıntı:

Probability and Statistics in Computer Science.

Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation

Yazar

Mendes, Emilia. author.

http://dx.doi.org/10.1007/978-3-642-54157-5

Format:

Electronic Resources

Alıntı:

Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation / Mendes

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

Yazar

Baldan, Paolo. editor.

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

Format:

Electronic Resources

Alıntı:

Probability and Statistics in Computer Science.

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings

Yazar

Horváth, András. editor.

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

Format:

Electronic Resources

Alıntı:

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11

Business Intelligence Third European Summer School, eBISS 2013, Dagstuhl Castle, Germany, July 7-12, 2013, Tutorial Lectures

Yazar

Zimányi, Esteban. editor.

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

Format:

Electronic Resources

Alıntı:

Computer Appl. in Administrative Data Processing.

Analytical and Stochastic Modeling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 – July 2, 2014. Proceedings

Yazar

Sericola, Bruno. editor.

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

Format:

Electronic Resources

Alıntı:

Probability and Statistics in Computer Science.

	{displayName}	{count}
{error}