Search Results for Engineering design.

46 sonuç bulundu

Tümünü Seç

1 2 3 4

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

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

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

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

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

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

Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Yazar

Hung, Dang Van. editor.

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

Format:

Electronic Resources

Alıntı:

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

10.

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

11.

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Yazar

Ranzato, Francesco. editor. (orcid)0000-0003-0159-0068

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

Format:

Electronic Resources

Alıntı:

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

12.

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Yazar

Strichman, Ofer. editor.

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

Format:

Electronic Resources

Alıntı:

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

Tümünü Seç

1 2 3 4

46 sonuç bulundu

	{displayName}	{count}
{error}