-
1دورية أكاديمية
المؤلفون: 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
-
2
المؤلفون: David J. Pearce, Mark Utting, Lindsay Groves
المصدر: Journal of Automated Reasoning. 66:747-803
مصطلحات موضوعية: Computational Theory and Mathematics, Artificial Intelligence, Software
-
3
المصدر: 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 -
4
المؤلفون: 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 -
5
المؤلفون: 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
-
6
المؤلفون: 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 -
7
المؤلفون: 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 -
8
المؤلفون: 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 -
9
المؤلفون: 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
-
10
المؤلفون: 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