-
1دورية أكاديمية
المؤلفون: Daniel B Kramer, Carla M Plymen, Carys Barton, Nicholas S Peters, Manisha Gandhi, Tahereh Kamalati, Patrik Bachtiger, Mihir A Kelshiker, Camille F Petri, Moulesh Shah, Samir Ali Khan, Gareth Hooper, Jon Stephens, Abdullah Alrumayh
المصدر: BMJ Health & Care Informatics, Vol 30, Iss 1 (2023)
مصطلحات موضوعية: Computer applications to medicine. Medical informatics, R858-859.7
وصف الملف: electronic resource
-
2
المؤلفون: Kostas Ferles, Jon Stephens, Isil Dillig
المصدر: Proceedings of the ACM on Programming Languages. 5:1-30
مصطلحات موضوعية: Java, Grammar, Computer science, Programming language, Serialization, media_common.quotation_subject, 020207 software engineering, Language inclusion, Context (language use), 02 engineering and technology, computer.software_genre, 0202 electrical engineering, electronic engineering, information engineering, Key (cryptography), 020201 artificial intelligence & image processing, Safety, Risk, Reliability and Quality, computer, Software, Counterexample, computer.programming_language, Abstraction (linguistics), media_common
-
3
المؤلفون: Jon Stephens, Kostas Ferles, Shuvendu K. Lahiri, Benjamin Mariano, Isil Dillig
المصدر: IEEE Symposium on Security and Privacy
مصطلحات موضوعية: Class (computer programming), Correctness, Software, Language-based security, Software bug, Smart contract, Computer science, business.industry, Application security, Liveness, Software engineering, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::76a958d965742ce3d8fb162c43157408
https://doi.org/10.1109/sp40001.2021.00085 -
4
المؤلفون: Julio Cárdenas-Rodríguez, Bonnie L. Hurwitz, Jon Stephens, Theo Sackos, Sam Badger, Benjamin Gaska, Kat Volk, Brandon Neth, Ian J. Bertolacci, Anthony Encinas, Barbara Kreaseck, Michelle Mills Strout, Sarah Willer, Jesse Bartels, Babak Yadegari, Saumya K. Debray, Katherine E. Isaacs, Sabin Devkota
المصدر: Languages and Compilers for Parallel Computing ISBN: 9783030352240
LCPCمصطلحات موضوعية: 060201 languages & linguistics, Java, Computer science, business.industry, Interpreted language, Software development, 06 humanities and the arts, 02 engineering and technology, Parallel computing, Python (programming language), computer.software_genre, 0602 languages and literature, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Compiler, Perl, business, MATLAB, computer, Implementation, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8b05f25aee4cc99b3821d3d10f46b67a
https://doi.org/10.1007/978-3-030-35225-7_4 -
5
المصدر: EuroS&P
مصطلحات موضوعية: 021110 strategic, defence & security studies, Computer science, Distributed computing, 0211 other engineering and technologies, Probabilistic logic, Covert channel, 02 engineering and technology, Symbolic execution, Symbolic data analysis, Runtime system, Program analysis, 020204 information systems, Obfuscation, 0202 electrical engineering, electronic engineering, information engineering, State (computer science)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b6b5905fbea899bc1a09898dce9ae601
https://doi.org/10.1109/eurosp.2018.00025 -
6
المؤلفون: Jon Stephens, Babak Yadegari, Saumya K. Debray
المصدر: CODASPY
مصطلحات موضوعية: Binary analysis, 021110 strategic, defence & security studies, Taint checking, Theoretical computer science, Computer science, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), 020207 software engineering, 02 engineering and technology, Control (linguistics), Symbolic execution
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a26a53b034eec0a61c66ed2da5e21a8b
https://doi.org/10.1145/3029806.3029826 -
7كتاب إلكتروني
المؤلفون: Andy Beaumont, Dave Gibbons, Jody Kerr, Jon Stephens
نوع المادة: eBook.
الموضوعات: Internet programming, Computer networks, Application software
-
8
المؤلفون: Nathan A. Good, Frank M. Kromann, Lee Babin, Jon Stephens
المصدر: PHP 5 Recipes ISBN: 9781590595091
PHP 5 Recipesمصطلحات موضوعية: Computer science, business.industry, Dynamic imaging, Computer vision, Artificial intelligence, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3fbf8e177231b4c37dfc4cfd9cc26acd
https://doi.org/10.1007/978-1-4302-0070-3_8 -
9
المؤلفون: Frank M. Kromann, Nathan A. Good, Lee Babin, Jon Stephens
المصدر: PHP 5 Recipes ISBN: 9781590595091
PHP 5 RecipesURL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0d194f9f5b4ee3356cace63999b83d6f
https://doi.org/10.1007/978-1-4302-0070-3_12 -
10
المؤلفون: Frank M. Kromann, Nathan A. Good, Jon Stephens, Lee Babin
المصدر: PHP 5 Recipes ISBN: 9781590595091
PHP 5 Recipesمصطلحات موضوعية: business.product_category, business.industry, Internet privacy, Internet transit, Services computing, The Internet, Internet appliance, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7dbc3a6e511be43c3df605832802120a
https://doi.org/10.1007/978-1-4302-0070-3_16