Search Results for Engineering design.

48 sonuç bulundu

Tümünü Seç

1 2 3 4

000000000000DEFAULTTR

Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering

Yazar

Seffah, Ahmed. author.

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

Format:

Electronic Resources

Alıntı:

Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

Yazar

Gabmeyer, Sebastian. editor. (orcid)0000-0002-4097-9917

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

Format:

Electronic Resources

Alıntı:

Computer-Aided Engineering (CAD, CAE) and Design. http://scigraph.springernature.com/things/product

Provably Correct Systems

Yazar

Hinchey, Mike. editor.

https://doi.org/10.1007/978-3-319-48628-4

Format:

Electronic Resources

Alıntı:

NASA Monographs in Systems and Software Engineering,

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

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

Format:

Electronic Resources

Alıntı:

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

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

Format:

Electronic Resources

Alıntı:

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

Yazar

Dalpiaz, Fabiano. editor.

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

Format:

Electronic Resources

Alıntı:

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Yazar

Zeume, Thomas. author.

https://doi.org/10.1007/978-3-662-54314-6

Format:

Electronic Resources

Alıntı:

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

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Yazar

Podelski, Andreas. editor.

https://doi.org/10.1007/978-3-319-99725-4

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

10.

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Yazar

Meyer, Bertrand. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial

11.

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Yazar

Balduccini, Marcello. editor.

https://doi.org/10.1007/978-3-319-61660-5

Format:

Electronic Resources

Alıntı:

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

12.

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

Yazar

Majumdar, Rupak. editor.

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

Format:

Electronic Resources

Alıntı:

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

Tümünü Seç

1 2 3 4

48 sonuç bulundu

	{displayName}	{count}
{error}