Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
41 |
Material Type: Artigo
|
When Concurrency Matters: Behaviour-Oriented ConcurrencyCheeseman, Luke ; Parkinson, Matthew J. ; Clebsch, Sylvan ; Kogias, Marios ; Drossopoulou, Sophia ; Chisnall, David ; Wrigstad, Tobias ; Liétar, PaulProceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1531-1560, Article 276 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
42 |
Material Type: Artigo
|
Industrial hardware and software verification with ACL2Hunt, Warren A. ; Kaufmann, Matt ; Moore, J Strother ; Slobodova, AnnaPhilosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2017-10, Vol.375 (2104), p.20150399-20150399 [Periódico revisado por pares]England: The Royal Society PublishingTexto completo disponível |
|
43 |
Material Type: Artigo
|
Server Electricity And Temperature Monitoring By Using Access Point, Lm 35 Censor And Java Programming Language To Check Electricity ParameterSari, Marliana ; Sadikin, Nanang ; Gunawan ; Fauzan, MuhammadJournal of physics. Conference series, 2021-04, Vol.1830 (1), p.12015 [Periódico revisado por pares]Bristol: IOP PublishingTexto completo disponível |
|
44 |
Material Type: Artigo
|
Improving Learner-Computer Interaction through Intelligent Learning Material Delivery Using Instructional Design ModelingTroussas, Christos ; Krouska, Akrivi ; Sgouropoulou, CleoEntropy (Basel, Switzerland), 2021-05, Vol.23 (6), p.668 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
|
45 |
Material Type: Artigo
|
A programming language for composable DNA circuitsPhillips, Andrew ; Cardelli, LucaJournal of the Royal Society interface, 2009-08, Vol.6 (Suppl 4), p.S419-S436 [Periódico revisado por pares]England: The Royal SocietyTexto completo disponível |
|
46 |
Material Type: Artigo
|
Satellite Image Processing by Python and R Using Landsat 9 OLI/TIRS and SRTM DEM Data on Côte d'Ivoire, West AfricaLemenkova, Polina ; Debeir, OlivierJournal of imaging, 2022-11, Vol.8 (12), p.317 [Periódico revisado por pares]Switzerland: MDPI AGTexto completo disponível |
|
47 |
Material Type: Artigo
|
DeepScratch: Scratch Programming Language Extension for Deep Learning EducationAlturayeif, Nora ; Alturaief, Nouf ; Alhathloul, ZainabInternational journal of advanced computer science & applications, 2020, Vol.11 (7)West Yorkshire: Science and Information (SAI) Organization LimitedTexto completo disponível |
|
48 |
Material Type: Artigo
|
Portable BLAST-like algorithm library and its implementations for command line, Python, and RSchmid, Steven ; Jeevannavar, Aditya ; Julian, Timothy R ; Tamminen, Manu Rahman, M. SohelPloS one, 2023-11, Vol.18 (11), p.e0289693-e0289693 [Periódico revisado por pares]San Francisco, CA USA: Public Library of ScienceTexto completo disponível |
|
49 |
Material Type: Artigo
|
Biotite: new tools for a versatile Python bioinformatics libraryKunzmann, Patrick ; Müller, Tom David ; Greil, Maximilian ; Krumbach, Jan Hendrik ; Anter, Jacob Marcel ; Bauer, Daniel ; Islam, Faisal ; Hamacher, KayBMC bioinformatics, 2023-06, Vol.24 (1), p.236-236, Article 236 [Periódico revisado por pares]England: BioMed Central LtdTexto completo disponível |
|
50 |
Material Type: Artigo
|
Image-based many-language programming language identificationDel Bonifro, Francesca ; Gabbrielli, Maurizio ; Lategano, Antonio ; Zacchiroli, StefanoPeerJ. Computer science, 2021-07, Vol.7, p.e631-e631, Article e631 [Periódico revisado por pares]San Diego: PeerJ. LtdTexto completo disponível |