Search Results for Software engineering.

262 sonuç bulundu

Tümünü Seç

1 .. 3 4 5 6 7 .. 22

000000000000DEFAULTTR

49.

Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

Yazar

Piattini, Mario. editor. (orcid)0000-0002-7212-8279

https://doi.org/10.1007/978-3-030-29238-6

Format:

Electronic Resources

Alıntı:

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

50.

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

51.

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

Yazar

Dillig, Isil. editor.

https://doi.org/10.1007/978-3-030-25540-4

Format:

Electronic Resources

Alıntı:

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

52.

Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings

Yazar

Laender, Alberto H. F. editor. (orcid)0000-0001-5032-2233

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

Format:

Electronic Resources

Alıntı:

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

53.

An Introduction to Design Science

Yazar

Johannesson, Paul. author.

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

Format:

Electronic Resources

Alıntı:

Software engineering.

54.

Augmented Marked Graphs

Yazar

Cheung, King Sing. author.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

55.

Formal Methods An Appetizer

Yazar

Nielson, Flemming. author. (orcid)0000-0001-7362-6176

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com

56.

Modeling and Simulation of Complex Systems A Framework for Efficient Agent-Based Modeling and Simulation

Yazar

Siegfried, Robert. author.

http://dx.doi.org/10.1007/978-3-658-07529-3

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

57.

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems

Yazar

Wagner, Christian. author.

http://dx.doi.org/10.1007/978-3-658-05270-6

Format:

Electronic Resources

Alıntı:

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy

58.

Requirements Engineering in the Big Data Era Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18–20, 2015, Proceedings

Yazar

Liu, Lin. editor.

http://dx.doi.org/10.1007/978-3-662-48634-4

Format:

Electronic Resources

Alıntı:

Software engineering.

59.

The Scrum Culture Introducing Agile Methods in Organizations

Yazar

Maximini, Dominik. author.

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

Format:

Electronic Resources

Alıntı:

Software engineering.

60.

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Yazar

Zamani, Majid. editor.

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

Format:

Electronic Resources

Alıntı:

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

Tümünü Seç

1 .. 3 4 5 6 7 .. 22

262 sonuç bulundu

	{displayName}	{count}
{error}