Search Results for Engineering design.

104 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 9

000000000000DEFAULTTR

Computer Graphics for Java Programmers

Yazar

Ammeraal, Leen. author.

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

Format:

Electronic Resources

Alıntı:

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

Advanced Finite Element Simulation with MSC Marc Application of User Subroutines

Yazar

Javanbakht, Zia. author.

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

Format:

Electronic Resources

Alıntı:

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

Introduction to Software Design with Java

Yazar

Robillard, Martin P. author.

https://doi.org/10.1007/978-3-030-24094-3

Format:

Electronic Resources

Alıntı:

Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings

Yazar

Csöndes, Tibor. editor.

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

Format:

Electronic Resources

Alıntı:

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest

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

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Yazar

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948

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

Format:

Electronic Resources

Alıntı:

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

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

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Yazar

Pires, Luís Ferreira. editor.

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

Format:

Electronic Resources

Alıntı:

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017

Separation Logic for High-level Synthesis

Yazar

Winterstein, Felix. author.

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

Format:

Electronic Resources

Alıntı:

Logic Design. http://scigraph.springernature.com/things/product-market-codes/I12050

10.

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

11.

String Analysis for Software Verification and Security

Yazar

Bultan, Tevfik. author.

https://doi.org/10.1007/978-3-319-68670-7

Format:

Electronic Resources

Alıntı:

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

12.

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Yazar

Kari, Jarkko. editor. (orcid)0000-0003-0670-6138

https://doi.org/10.1007/978-3-319-99498-7

Format:

Electronic Resources

Alıntı:

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

Tümünü Seç

1 2 3 4 5 .. 9

104 sonuç bulundu

	{displayName}	{count}
{error}