Search Results - "Computer Programming"

Refine Results
  1. 1

    Beginning Programming All-in-One For Dummies, 2nd Edition by Wallace Wang

    ISBN: 9781119884408, 1119884403
    Published: For Dummies 21.06.2022
    “…Let there be code!Beginning Programming All-in-One For Dummies offers one guide packed with 7 books to teach you programming across multiple languages. Coding…”
    Get full text
    eBook
  2. 2

    AI-Assisted Software Development With GitHub Copilot and ChatGPT: A Guide to Optimizing Developer Productivity in Machine Learning, Data Science, and App and Low Code Development by Noring, Christoffer, Jain, Anjali, Fernandez, Marina, Mutlu, Ayse, Jaokar, Ajit

    Published: Packt Publishing 30.08.2024
    “…<![CDATA[Speed up your development processes and improve your productivity by writing practical and relevant prompts to build web applications and Machine…”
    Get full text
    eBook
  3. 3

    Towards Streamlining Auditing for Compliance With Requirements in Open-Source Software at NASA by Paradis, Carlos, Perez, Ivan, Davies, Misty

    ISSN: 0164-1212, 1873-1228
    Published: Ames Research Center Elsevier 10.08.2023
    Published in The Journal of systems and software (10.08.2023)
    “…Context: NASA requires all software to meet several requirements (NPR 7150.2) depending on software criticality. The instantiation of these requirements may…”
    Get full text
    Journal Article
  4. 4

    Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning by Riguzzi, Fabrizio

    ISBN: 100079587X, 9781000795875, 9788770220187, 8770220182
    Published: United Kingdom River Publishers 2018
    “…Probabilistic Logic Programming extends Logic Programming by enabling the representation of uncertain information by means of probability theory. Probabilistic…”
    Get full text
    eBook
  5. 5

    Behavioural Types: From Theory to Tools by Gay, Simon, Ravara, António

    ISBN: 1000799255, 9781000799255, 9788793519824, 8793519826, 9781003337331, 1003337333, 1000799395, 9781000799392
    Published: United Kingdom River Publishers 2017
    “…Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type…”
    Get full text
    eBook
  6. 6
  7. 7
  8. 8

    Connected Code: Why Children Need to Learn Programming by Kafai, Yasmin Bettina, Burke, Quinn

    ISBN: 0262027755, 9780262027755
    Published: Cambridge, Mass The MIT Press 18.07.2014
    “…Coding, once considered an arcane craft practiced by solitary techies, is now recognized by educators and theorists as a crucial skill, even a new literacy,…”
    Get full text
    eBook Book
  9. 9

    Foundations of Probabilistic Programming by Barthe, Gilles, Katoen, Joost-Pieter, Silva, Alexandra

    ISBN: 110848851X, 9781108488518, 1108770754, 9781108770750
    Published: Cambridge Cambridge University Press 2021
    “…What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary…”
    Get full text
    eBook Book
  10. 10

    orbitize! v3: Orbit fitting for the High-contrast Imaging Community by Blunt, Sarah, Wang, Jason J, Hirsch, Lea, Tejada, Roberto, Nagpal, Vighnesh, Surti, Tirth Dharmesh, Covarrubias, Sofia, McKenna, Thea, Chávez, Rodrigo Ferrer, Llop-Sayson, Jorge, Arora, Mireya, Chavez, Amanda, Cody, Devin, Choudhary, Saanika, Smith, Adam J R W, Balmer, William, Stolker, Tomas, Gallamore, Hannah, Ó, Clarissa R Do, Nielsen, Eric L, Rosa, Robert J De

    ISSN: 2475-9066, 2475-9066
    Published: 2230 Support Open Journals 21.09.2024
    Published in Journal of open source software (21.09.2024)
    “…orbitize! is a package for Bayesian modeling of the orbital parameters of resolved binary objects from time series measurements. It was developed with the…”
    Get full text
    Journal Article
  11. 11

    Design of automotive mechanical automatic transmission system based on torsional vibration reduction by You, Zhuan

    ISSN: 1392-8716
    Published: JVE International Ltd 01.06.2023
    Published in Journal of Vibroengineering (01.06.2023)
    “…Automatic transmission system is the core part of vehicle transmission processing, which can improve driving safety. In order to improve the shift effect of…”
    Get full text
    Journal Article
  12. 12

    Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

    ISBN: 9783031911200, 3031911210, 9783031911217, 3031911202
    Published: Cham Springer Nature 2025
    “…The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part…”
    Get full text
    eBook
  13. 13

    SRplot: A free online platform for data visualization and graphing by Tang, Doudou, Chen, Mingjie, Huang, Xinhua, Zhang, Guicheng, Zeng, Lin, Zhang, Guangsen, Wu, Shangjie, Wang, Yewei

    ISSN: 1932-6203, 1932-6203
    Published: San Francisco Public Library of Science 09.11.2023
    Published in PloS one (09.11.2023)
    “…Graphics are widely used to provide summarization of complex data in scientific publications. Although there are many tools available for drawing graphics,…”
    Get full text
    Journal Article
  14. 14

    Behavioural Types : From Theory to Tools

    ISBN: 1000799255, 9781000799255
    Published: River Publishers 01.01.2022
    “…Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type…”
    Get full text
    eBook
  15. 15

    Pypromice: A Python Package for Processing Automated Weather Station Data by How, Penelope R, Wright, Patrick J, Mankoff, Kenneth D, Vandecrux, Baptiste, Fausto, Robert S, Ahlstrøm, Andreas P

    ISSN: 2475-9066, 2475-9066
    Published: Goddard Space Flight Center Open Journals 01.06.2023
    Published in Journal of open source software (01.06.2023)
    “…The pypromice Python package is for processing and handling observation datasets from automated weather stations (AWS). It is primarily aimed at users of AWS…”
    Get full text
    Journal Article
  16. 16

    Constitution of Algorithms by Jaton, Florian, Bowker, Geoffrey C

    ISBN: 0262542145, 9780262542142
    Published: The MIT Press 27.04.2021
    “…Algorithms-often associated with the terms big data, machine learning, or artificial intelligence-underlie the technologies we use every day, and disputes over…”
    Get full text
    eBook
  17. 17
  18. 18
  19. 19

    Can computational thinking be improved by using a methodology based on metaphors and scratch to teach computer programming to children? by Pérez-Marín, Diana, Hijón-Neira, Raquel, Bacelo, Adrián, Pizarro, Celeste

    ISSN: 0747-5632, 1873-7692
    Published: Elmsford Elsevier Ltd 01.04.2020
    Published in Computers in human behavior (01.04.2020)
    “…Computational thinking (CT) is a key skill in the 21st century. However, it is not clear which is the most effective way to acquire and improve CT. Big…”
    Get full text
    Journal Article
  20. 20

    Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II by Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

    ISBN: 3031711769, 9783031711770, 3031711777, 9783031711763
    Published: Cham Springer Nature 2025
    “…The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took…”
    Get full text
    eBook