Search Results for Software engineering.

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Yazar

Bjørner, Nikolaj. editor.

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

Format:

Electronic Resources

Alıntı:

Language Theory -- Logic -- Semantics and Reasoning -- Architectures -- Parallel Architectures -- Software

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings

Yazar

Holzer, Markus. editor.

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

Format:

Electronic Resources

Alıntı:

/membrane computing, document engineering, editors, environments, experimental studies and practical

Formal Languages and Compilation

Yazar

Crespi Reghizzi, Stefano. author.

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

Format:

Electronic Resources

Alıntı:

software tools or knowledge of implementation, and through algorithms simple enough to be practiced by

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

Yazar

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017

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

Format:

Electronic Resources

Alıntı:

engineering conferences to modal logic specific events. The workshop is promoted by an R&D project on dynamic

Description Logics in Multimedia Reasoning

Yazar

Sikos, Leslie F. author.

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

Format:

Electronic Resources

Alıntı:

-- Description Logics: Formal Foundation for Web Ontology -- Multimedia Ontology Engineering -- Ontology-Based

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

Yazar

Shallit, Jeffrey. editor.

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

Format:

Electronic Resources

Alıntı:

physical realizations, such as the engineering complexity of computer software and hardware. It also models

Knowledge Discovery, Knowledge Engineering and Knowledge Management 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers

Yazar

Fred, Ana. editor.

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

Format:

Electronic Resources

Alıntı:

Knowledge Discovery, Knowledge Engineering and Knowledge Management 9th International Joint

	{displayName}	{count}
{error}