Search Results for Engineering.

Handbook of Software Engineering

Yazar

Cha, Sungdeok. editor.

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

Format:

Electronic Resources

Alıntı:

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

Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings

Yazar

Giorgini, Paolo. editor.

https://doi.org/10.1007/978-3-030-21290-2

Format:

Electronic Resources

Alıntı:

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

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Yazar

Urban, Christian. editor.

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

Format:

Electronic Resources

Alıntı:

Software engineering.

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

Yazar

Uden, Lorna. editor.

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

Format:

Electronic Resources

Alıntı:

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Yazar

Lecomte, Thierry. editor.

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

Format:

Electronic Resources

Alıntı:

Software engineering.

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Yazar

Klein, Gerwin. editor.

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

Format:

Electronic Resources

Alıntı:

Software engineering.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014

Yazar

Hameurlain, Abdelkader. editor.

http://dx.doi.org/10.1007/978-3-662-49175-1

Format:

Electronic Resources

Alıntı:

Data- and Knowledge-Centered Systems,focuses on information and security engineering. It contains five

Cyberpatterns Unifying Design Patterns with Security and Attack Patterns

Yazar

Blackwell, Clive. editor.

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

Format:

Electronic Resources

Alıntı:

scientific foundation of pattern-oriented research methods Developing better engineering practice in novel

	{displayName}	{count}
{error}