Search Results for Computer engineering.

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

Yazar

Reinecke, Philipp. editor.

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

Format:

Electronic Resources

Alıntı:

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8

Service-Oriented Computing 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 2017, Proceedings

Yazar

Maximilien, Michael. editor.

https://doi.org/10.1007/978-3-319-69035-3

Format:

Electronic Resources

Alıntı:

Computer Communication Networks. http://scigraph.springernature.com/things/product-market-codes/I

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Yazar

Majumdar, Rupak. editor.

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

Format:

Electronic Resources

Alıntı:

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Yazar

Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905

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

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Yazar

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331

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

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Yazar

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

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

Format:

Electronic Resources

Alıntı:

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy

Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers

Yazar

Zhang, Lin. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings

Yazar

de Cesare, Sergio. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

Service-Oriented Computing – ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers

Yazar

Drira, Khalil. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

	{displayName}	{count}
{error}