Search Results for Engineering.

309 sonuç bulundu

Tümünü Seç

1 .. 5 6 7 8 9 .. 26

000000000000DEFAULTTR

73.

Modeling Companion for Software Practitioners

Yazar

Börger, Egon. author.

https://doi.org/10.1007/978-3-662-56641-1

Format:

Electronic Resources

Alıntı:

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

74.

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Yazar

Ölveczky, Peter Csaba. author.

https://doi.org/10.1007/978-1-4471-6687-0

Format:

Electronic Resources

Alıntı:

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

75.

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

Yazar

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

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

Format:

Electronic Resources

Alıntı:

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

76.

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Yazar

Müller, Peter. editor.

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

Format:

Electronic Resources

Alıntı:

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

77.

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Yazar

Gallardo, María del Mar. editor.

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

Format:

Electronic Resources

Alıntı:

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

78.

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

79.

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Yazar

Biondi, Fabrizio. editor.

https://doi.org/10.1007/978-3-030-30923-7

Format:

Electronic Resources

Alıntı:

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

80.

Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings

Yazar

Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724

https://doi.org/10.1007/978-3-030-00847-5

Format:

Electronic Resources

Alıntı:

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

81.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Yazar

Dillig, Isil. editor.

https://doi.org/10.1007/978-3-030-25543-5

Format:

Electronic Resources

Alıntı:

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

82.

Refinement in Z and Object-Z Foundations and Advanced Applications

Yazar

Derrick, John. author.

http://dx.doi.org/10.1007/978-1-4471-5355-9

Format:

Electronic Resources

Alıntı:

Software engineering.

83.

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

Yazar

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

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

Format:

Electronic Resources

Alıntı:

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

84.

The Handbook of Formal Methods in Human-Computer Interaction

Yazar

Weyers, Benjamin. editor.

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

Format:

Electronic Resources

Alıntı:

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

Tümünü Seç

1 .. 5 6 7 8 9 .. 26

309 sonuç bulundu

	{displayName}	{count}
{error}