Search Results for Application software.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Yazar

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

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

Format:

Electronic Resources

Alıntı:

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Yazar

Hutton, Graham. editor. (orcid)0000-0001-9584-5150

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

Format:

Electronic Resources

Alıntı:

Math Applications in Computer Science. https://scigraph.springernature.com/ontologies/product

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Yazar

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X

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

Format:

Electronic Resources

Alıntı:

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

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Yazar

van Eekelen, Marko. editor.

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

Format:

Electronic Resources

Alıntı:

Information Systems Applications (incl. Internet).

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

https://doi.org/10.1007/978-3-030-17462-0

Format:

Electronic Resources

Alıntı:

, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Yazar

Hildebrandt, Thomas. editor.

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

Format:

Electronic Resources

Alıntı:

Information Systems Applications (incl. Internet).

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}