Search Results - Computer programming

Refine Results
  1. 21
    Cover Image

    Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2... by Johnsen, Einar Broch, Wimmer, Manuel


    Get full text
    Book
    Save to List
    Saved in:
  2. 22
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Prac...


    Get full text
    Book
    Save to List
    Saved in:
  3. 23
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Prac...


    Get full text
    Book
    Save to List
    Saved in:
  4. 24
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Prac...


    Get full text
    Book
    Save to List
    Saved in:
  5. 25
    Cover Image

    Behavioural Types : From Theory to Tools


    Get full text
    Book
    Save to List
    Saved in:
  6. 26
    Cover Image

    The Impact of SRA-Programming on Computational Thinking in a Visual Oriented Programming Environment by Fanchamps, Nardie L. J. A., Slangen, Lou, Specht, Marcus, Hennissen, Paul



    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 27
    Cover Image

    Today's TBB: C++ Parallel Programming with Threading Building Blocks by Voss, Michael J, Reinders, James R


    Get full text
    Book
    Save to List
    Saved in:
  8. 28
    Cover Image

    Engines of Order: A Mechanology of Algorithmic Techniques by Rieder, Bernhard


    Get full text
    Book
    Save to List
    Saved in:
  9. 29
    Cover Image

    Engineering Agile Big-Data Systems by Feeney, Kevin, Davies, Jim, Welch, James


    Get full text
    Book
    Save to List
    Saved in:
  10. 30
    Cover Image

    Rethinking Productivity in Software Engineering by Sadowski, Caitlin, Zimmermann, Thomas


    Get full text
    Book
    Save to List
    Saved in:
  11. 31
    Cover Image

    Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of So... by Goubault-Larrecq, Jean, König, Barbara

    Get full text
    Book
    Save to List
    Saved in:
  12. 32
    Cover Image

    Algorithmic Regimes: Methods, Interactions, and Politics by Jarke, Juliane, Prietl, Bianca, Egbert, Simon, Boeva, Yana, Heuer, Hendrik


    Get full text
    Book
    Save to List
    Saved in:
  13. 33
    Cover Image

    Computer-Driven Instructional Design with INTUITEL by Fuchs, Kevin, Henning, Peter A


    Get full text
    Book
    Save to List
    Saved in:
  14. 34
    Cover Image

    Coderspeak: The language of computer programmers by Orlandini Heurich, Guilherme


    Get full text
    Book
    Save to List
    Saved in:
  15. 35
    Cover Image

    Fundamental Approaches to Software Engineering: 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ET...


    Get full text
    Book
    Save to List
    Saved in:
  16. 36
    Cover Image

    Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems by Payá-Vayá, Guillermo, Blume, Holger


    Get full text
    Book
    Save to List
    Saved in:
  17. 37
    Cover Image

    The Effects of Robot Programming on Mathematical Achievement, Mathematics Anxiety, and Programming Self‐Efficacy by Hangün, Mehmet Emin, Türel, Yalın Kılıç



    Items that this one cites
    Article
    Save to List
    Saved in:
  18. 38
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice... by Finkbeiner, Bernd, Kovács, Laura


    Get full text
    Book
    Save to List
    Saved in:
  19. 39
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice... by Finkbeiner, Bernd, Kovács, Laura


    Get full text
    Book
    Save to List
    Saved in:
  20. 40
    Cover Image

    Mathematical Aspects of Logic Programming Semantics by Hitzler, Pascal, Seda, Anthony


    Get full text
    Book
    Save to List
    Saved in:

Search Tools: