المؤلفون: Alexander Bagnall, Gordon Stewart

المصدر: AAAI

مصطلحات موضوعية: Automated theorem proving, Theoretical computer science, Artificial neural network, Generalization, Computer science, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Automated proof checking, General Medicine, Executable, computer.file_format, computer, MNIST database

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::83b5d9e2341c0d656faba42a2c807f3aTest
https://doi.org/10.1609/aaai.v33i01.33012662Test

المؤلفون: Gordon, Stewart

المصدر: International Journal of Hindu Studies, 1999 Dec 01. 3(3), 221-239.

الوصول الحر: https://www.jstor.org/stable/20106667Test

المؤلفون: Nathaniel St. Amour, Gordon Stewart, Seaghan Sefton, Avinash Kodi, Taiman Siddiqui

المصدر: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 37:2509-2518

مصطلحات موضوعية: Computer science, business.industry, Vulnerability, 020207 software engineering, 02 engineering and technology, Energy consumption, Modular design, computer.software_genre, Security policy, Computer Graphics and Computer-Aided Design, 020202 computer hardware & architecture, Software, 0202 electrical engineering, electronic engineering, information engineering, Verilog, Compiler, Information flow (information theory), Electrical and Electronic Engineering, business, computer, Computer hardware, Efficient energy use, computer.programming_language

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::cc6f88403f7afc82851887a1057b5e14Test
https://doi.org/10.1109/tcad.2018.2857041Test

المؤلفون: Gordon, Stewart

المصدر: Modern Asian Studies, 1979 Jan 01. 13(1), 1-17.

الوصول الحر: https://www.jstor.org/stable/312352Test

المؤلفون: Gordon, Stewart N.

المصدر: Modern Asian Studies, 1977 Jan 01. 11(1), 1-40.

الوصول الحر: https://www.jstor.org/stable/311884Test

المؤلفون: Gordon Stewart

نوع المادة: eBook.

تصنيفات: FICTION / Fantasy / Contemporary

المؤلفون: Gordon Stewart, Anindya Banerjee, Aleksandar Nanevski

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://software.imdea.org/%7Eab/Publications/ifds.pdfTest.

وصف الملف: application/pdf

العلاقة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1054.3550Test; http://software.imdea.org/%7Eab/Publications/ifds.pdfTest

الإتاحة: http://software.imdea.org/%7Eab/Publications/ifds.pdfTest

المؤلفون: Xavier Leroy, Rine Blazy, Gordon Stewart

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.princeton.edu/~jsseven/papers/compcert_mem_v2/RR-7987.pdfTest.

مصطلحات موضوعية: Key-words, Memory models, formal semantics, verified compilation, CompCert INRIA Paris-Rocquencourt, project-team Gallium

وصف الملف: application/pdf

العلاقة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.6879Test; http://www.cs.princeton.edu/~jsseven/papers/compcert_mem_v2/RR-7987.pdfTest

الإتاحة: http://www.cs.princeton.edu/~jsseven/papers/compcert_mem_v2/RR-7987.pdfTest

المؤلفون: Gordon Stewart, Anindya Banerjee, Aleksandar Nanevski

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://software.imdea.org/~aleks/rhtt/ifds.pdfTest.

وصف الملف: application/pdf

العلاقة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.3706Test; http://software.imdea.org/~aleks/rhtt/ifds.pdfTest

الإتاحة: http://software.imdea.org/~aleks/rhtt/ifds.pdfTest