371 sonuç bulundu
Tümünü Seç
00000000000DEFAULTTR
Yazar
Merayo, Mercedes G. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Yazar
Carayol, Arnaud. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things
Yazar
Baldoni, Matteo. editor.
Format:
Electronic Resources
Alıntı:
showcase research in several domains, ranging from foundations of agent theory and engineering aspects of
Yazar
Bjørner, Nikolaj. editor.
Format:
Electronic Resources
Alıntı:
and its engineering -- Document management and text processing. .
Yazar
Esposito, Floriana. editor. (orcid)0000-0002-1075-3239
Format:
Electronic Resources
Alıntı:
-- Knowledge engineering, ontologies and the semantic web -- Machine learning -- Philosophical foundations
Yazar
Wasilewska, Anita. author.
Format:
Electronic Resources
Alıntı:
Engineering. Providing an in-depth introduction to fundamental classical and non-classical logics, this
Yazar
Zygelman, Bernard. author.
Format:
Electronic Resources
Alıntı:
, Engineering, Math and Computer Science departments. This textbook incorporates Mathematica-based examples into
Yazar
Majkić, Zoran. author.
Format:
Electronic Resources
Alıntı:
intuitionistic logic This self-contained textbook is ideal for graduate courses on database engineering methods
Yazar
Doty, David. editor. (orcid)0000-0002-3922-172X
Format:
Electronic Resources
Alıntı:
analysis, simulation, and design; synthetic biology and in vitro evolution; and applications in engineering
Yazar
O'Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
applications of logic to AI Examines the important field of software engineering, describing formal methods
Yazar
Shallit, Jeffrey. editor.
Format:
Electronic Resources
Alıntı:
physical realizations, such as the engineering complexity of computer software and hardware. It also models
371 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: