المؤلفون: Tim P. Bean, Naomi Greenwood, Rachel Beckett, Lauren Biermann, John P. Bignell, Jan L. Brant, Gordon H. Copp, Michelle J. Devlin, Stephen Dye, Stephen W. Feist, Liam Fernand, Dean Foden, Kieran Hyder, Chris M. Jenkins, Jeroen van der Kooij, Silke Kröger, Sven Kupschus, Clare Leech, Kinson S. Leonard, Christopher P. Lynam, Brett P. Lyons, Thomas Maes, E. E. Manuel Nicolaus, Stephen J. Malcolm, Paul McIlwaine, Nathan D. Merchant, Lucille Paltriguera, David J. Pearce, Sophie G. Pitois, Paul D. Stebbing, Bryony Townhill, Suzanne Ware, Oliver Williams, David Righton

المصدر: Frontiers in Marine Science, Vol 4 (2017)

مصطلحات موضوعية: UK, sensors, ecosystem, modeling, research vessel, OSPAR, Science, General. Including nature conservation, geographical distribution, QH1-199.5

وصف الملف: electronic resource

Relation: http://journal.frontiersin.org/article/10.3389/fmars.2017.00263/full; https://doaj.org/toc/2296-7745

URL الوصول: https://doaj.org/article/5ee892a4dd8e4a1397e4cfb23d67c8f8

المؤلفون: David J. Pearce, Mark Utting, Lindsay Groves

المصدر: Journal of Automated Reasoning. 66:747-803

مصطلحات موضوعية: Computational Theory and Mathematics, Artificial Intelligence, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f0c4447eba7410c7770acd3b3ffd92da
https://doi.org/10.1007/s10817-022-09619-1

المؤلفون: Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio M. A. Quiles

المصدر: Formal Methods ISBN: 9783031274800

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e1d6d7d67f0378a52ff6fd58d660aac0
https://doi.org/10.1007/978-3-031-27481-7_32

المؤلفون: David J. Pearce

المصدر: Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bf90b2b9324ea384aa0086f732aaa172
https://doi.org/10.1145/3564719.3570917

المؤلفون: David J. Pearce

المصدر: ACM Transactions on Programming Languages and Systems. 43:1-73

مصطلحات موضوعية: Programming language, Computer science, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Type theory, 010201 computation theory & mathematics, Dangling pointer, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, Programming paradigm, Compiler, Tuple, computer, Memory safety, Software, Rust (programming language), computer.programming_language, Garbage collection

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5487ed55fe8164b640e17e5982016aeb
https://doi.org/10.1145/3443420

المؤلفون: David J. Pearce

المصدر: Journal of Computer Languages. 50:84-101

مصطلحات موضوعية: Computer Networks and Communications, Computer science, Intersection (set theory), Programming language, Context (language use), Variation (game tree), Disjunctive normal form, Type (model theory), Expression (computer science), computer.software_genre, Human-Computer Interaction, Negation, Rewriting, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9a6085ab4da1b22e8ef1bc69f4588b1b
https://doi.org/10.1016/j.jvlc.2018.10.004

المؤلفون: Jens Dietrich, Patrick Lam, David J. Pearce

المصدر: Onward!

مصطلحات موضوعية: FOS: Computer and information sciences, Upstream (petroleum industry), Downstream (software development), D.2.4, D.2.7, D.2.9, D.2.12, D.2.13, business.industry, Computer science, Software development, 020207 software engineering, 02 engineering and technology, Reuse, Design by contract, Software Engineering (cs.SE), Computer Science - Software Engineering, Upgrade, 020204 information systems, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Software engineering, business, Software versioning

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6829b1c03faadf4b5a39ee36e2b21536
https://doi.org/10.1145/3426428.3426922

المؤلفون: David J. Pearce, Ulrik Pagh Schultz

المصدر: Pearce, D & Schultz, U P 2020, ' Editorial for GPCE &SLE2018 Special Issue ', Journal of Computer Languages, vol. 59, 100988 . https://doi.org/10.1016/j.cola.2020.100988

مصطلحات موضوعية: Human-Computer Interaction, Computer Networks and Communications, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::56a55b37131ebd1285dbb45750ccbbc5
https://portal.findresearcher.sdu.dk/da/publications/a5aebf89-77a1-4a14-a3b7-fbd366556009

المؤلفون: David J. Pearce

المصدر: GPCE

مصطلحات موضوعية: Programming language, Computer science, Intersection (set theory), 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Variation (game tree), Type (model theory), Expression (computer science), Disjunctive normal form, computer.software_genre, 01 natural sciences, Computer Graphics and Computer-Aided Design, Type theory, Negation, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Rewriting, computer, Algorithm, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::436f0f72c893ef6a297b8cab4e7b2797
https://doi.org/10.1145/3170492.3136042

المؤلفون: Pauline M. Mele, Matthew D. Denton, John Brockwell, A. D. Swan, Mark B. Peoples, David J Pearce, Lori A. Phillips

المصدر: Plant and Soil. 419:25-39

مصطلحات موضوعية: 0106 biological sciences, food.ingredient, biology, food and beverages, Soil Science, 04 agricultural and veterinary sciences, Plant Science, biology.organism_classification, 01 natural sciences, Rhizobia, Vicia faba, Lupinus angustifolius, food, Agronomy, Shoot, 040103 agronomy & agriculture, Nitrogen fixation, 0401 agriculture, forestry, and fisheries, Canola, Microbial inoculant, Legume, 010606 plant biology & botany

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::880aa04594cb94140e7412b93f93cfde
https://doi.org/10.1007/s11104-017-3317-7