Search Results for Software engineering.

361.

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

362.

A First Introduction to Quantum Computing and Information

Yazar

Zygelman, Bernard. author.

https://doi.org/10.1007/978-3-319-91629-3

Format:

Electronic Resources

Alıntı:

, Engineering, Math and Computer Science departments. This textbook incorporates Mathematica-based examples into

363.

Logics for Computer Science Classical and Non-Classical

Yazar

Wasilewska, Anita. author.

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

Format:

Electronic Resources

Alıntı:

Engineering. Providing an in-depth introduction to fundamental classical and non-classical logics, this

364.

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

Yazar

Majkić, Zoran. author.

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

Format:

Electronic Resources

Alıntı:

Application software.

365.

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

Yazar

Doty, David. editor. (orcid)0000-0002-3922-172X

https://doi.org/10.1007/978-3-030-00030-1

Format:

Electronic Resources

Alıntı:

molecular robotics; information storage; studies of fault tolerance and error correction; software tools for

366.

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

Yazar

O'Regan, Gerard. author.

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

Format:

Electronic Resources

Alıntı:

applications of logic to AI Examines the important field of software engineering, describing formal methods

367.

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

	{displayName}	{count}
{error}