Resultados de búsqueda - Functional programming languages

Limitar resultados
  1. Imagen de Portada

    Laboratory Automation in a Functional Programming Language. por Runciman, Colin, Clare, Amanda, Harkness, Rob

    Publicado en Journal of Laboratory Automation (Dec2014)

    Ver este registro en EBSCOhost
    Journal Article
  2. Imagen de Portada

    Using Functions for Easier Programming: Functional programming languages automate many of the details underlying specific operations. por Savage, Neil

    Publicado en Communications of the ACM (May2018)

    Ver este registro en EBSCOhost
    Artículo
  3. Imagen de Portada

    The Curse of the Excluded Middle. por MEIJER, ERIK

    Publicado en Communications of the ACM (Jun2014)

    Ver este registro en EBSCOhost
    Artículo
  4. Imagen de Portada

    Site responsivo de aptidão física relacionada com a saúde para adultos aparentemente saudáveis. por Schuindt da Silva, Vladimir, Neivor Dornelles, Thauan, Eduardo Seisl, Sigfried, Matteucci Júnior, Alceu, Márcia da Rocha, Tatiana, Souza, Israel


    Ver este registro en EBSCOhost
    pictorial research tables/charts Journal Article
  5. Imagen de Portada

    Reverse formalism 16. por Sanders, Sam

    Publicado en Synthese (Feb2020)

    Ver este registro en EBSCOhost
    Artículo
  6. Imagen de Portada

    If structured propositions are logical procedures then how are procedures individuated? por Duží, Marie

    Publicado en Synthese (Apr2019)

    Ver este registro en EBSCOhost
    Artículo
  7. Imagen de Portada

    ÖĞRETMEN ADAYLARININ KODLAMA EĞİTİMİNE YÖNELİK GÖRÜŞLERİ: BİR DURUM ÇALIŞMASI. por GÖNCÜ, Aslı, ÇETİN, İbrahim, TOP, Ercan


    Ver este registro en EBSCOhost
    Artículo
  8. Imagen de Portada

    A PROOF-THEORETIC TREATMENT OF λ-REDUCTION WITH CUT-ELIMINATION: λ-CALCULUS AS A LOGIC PROGRAMMING LANGUAGE. por GABBAY, MICHAEL

    Publicado en Journal of Symbolic Logic (Jun2011)

    Ver este registro en EBSCOhost
    Artículo
  9. Imagen de Portada

    Ur/Web: A Simple Model for Programming the Web. por Chlipala, Adam

    Publicado en Communications of the ACM (Aug2016)

    Ver este registro en EBSCOhost
    Artículo
  10. Imagen de Portada

    Domain-Specific Languages and Code Synthesis Using Haskell. por GILL, ANDY

    Publicado en Communications of the ACM (Jun2014)

    Ver este registro en EBSCOhost
    Artículo
  11. Imagen de Portada

    Leaking Space. por MITCHELL, NEIL

    Publicado en Communications of the ACM (Nov2013)

    Ver este registro en EBSCOhost
    Artículo
  12. Imagen de Portada

    Ontology-Based Approach for Liver Cancer Diagnosis and Treatment. por Messaoudi, Rim, Mtibaa, Achraf, Gargouri, Faiez, Jaziri, Faouzi, Grand-Brochier, Manuel, Ali, Hawa Mohamed, Chabrot, Pascal, Vacavant, Antoine, Amouri, Ali, Fourati, Hela

    Publicado en Journal of Digital Imaging (Feb2019)

    Ver este registro en EBSCOhost
    diagnostic images pictorial research tables/charts Journal Article
  13. Imagen de Portada

    Ice Morph: An Automated Morphological Analyzer and English-Language Lookup Tool for Old Icelandic. por Tangherlini, Timothy R., Vijunas, Aurelijus, Urban, Kryztof, Broadwell, Peter M.

    Publicado en Scandinavian Studies (Winter2014)

    Ver este registro en EBSCOhost
    Artículo
  14. Imagen de Portada

    Implementation of a Big Data Accessing and Processing Platform for Medical Records in Cloud. por Yang, Chao-Tung, Liu, Jung-Chun, Chen, Shuo-Tsung, Lu, Hsin-Wen

    Publicado en Journal of Medical Systems (Oct2017)

    Ver este registro en EBSCOhost
    pictorial research tables/charts Journal Article
  15. Imagen de Portada

    WHY TOPOLOGY IN THE MINIMALIST FOUNDATION MUST BE POINTFREE. por Maietti, Maria Emilia, Sambin, Giovanni

    Publicado en Logic & Logical Philosophy (Jun2013)

    Ver este registro en EBSCOhost
    Artículo
  16. Imagen de Portada

    Algorithms as Scores: Coding Live Music.

    Publicado en Leonardo Music Journal (Dec2011)

    Ver este registro en EBSCOhost
    Artículo
  17. Imagen de Portada

    COMPUTERS. por PICCININI, GUALTIERO

    Publicado en Pacific Philosophical Quarterly (Mar2008)

    Ver este registro en EBSCOhost
    Artículo
  18. Imagen de Portada

    Tips on Career Advancement Include Finance, Enterprise Risk Management.

    Publicado en Healthcare Risk Management (Apr2018)

    Ver este registro en EBSCOhost
    Journal Article
  19. Imagen de Portada

    The Semantic Representation of Natural Language. M. Levison, G. Lessard, C. Thomas, and M. Donald. por Unger, Christina

    Publicado en Literary & Linguistic Computing (Jun2014)

    Ver este registro en EBSCOhost
    Book Review
  20. Imagen de Portada

    Agent-based modeling of the immune system: NetLogo, a promising framework. por Chiacchio, Ferdinando, Pennisi, Marzio, Russo, Giulia, Motta, Santo, Pappalardo, Francesco

    Publicado en BioMed Research International (2014)

    Ver este registro en EBSCOhost
    Journal Article

Herramientas de búsqueda: