Search Results - "programming language"

Suggested Topics within your search.
Refine Results
  1. 1
    Java : the complete reference /

    Java : the complete reference / by Schildt, Herbert

    Published 2007
    Subjects: “…Java (Computer programming language).…”
    Book

    Save to List
    Saved in:
  2. 2
    Paradigms and programming with PASCAL

    Paradigms and programming with PASCAL by Wood, Derick, 1940-

    Published 1984
    Subjects: “…PASCAL (Computer programming language)…”
    Book

    Save to List
    Saved in:
  3. 3
    C++ programming /

    C++ programming / by McGrath, Mike

    Published 2003
    Subjects: “…Computer Programming language 665…”
    Book

    Save to List
    Saved in:
  4. 4
    Pascal : an interactive text /

    Pascal : an interactive text / by Abas, S. J.

    Published 1990
    Subjects: “…Pascal (Computer Programming language)…”
    Book

    Save to List
    Saved in:
  5. 5
    Schaum's outline of theory and problems of programming with C++ /

    Schaum's outline of theory and problems of programming with C++ / by Hubbard, John R.

    Published 2000
    Subjects: “…C++ (Computer Programming Language) 11881…”
    Unknown

    Save to List
    Saved in:
  6. 6
    Karel the robot : a gentle introduction to the art of programming with pascal / Richard E. Pattis.

    Karel the robot : a gentle introduction to the art of programming with pascal / Richard E. Pattis. by Pattis, Richard E.

    Published 1981
    Subjects: “…PASCAL (Computer programming language)…”
    Book

    Save to List
    Saved in:
  7. 7
    Functional programming with Miranda /

    Functional programming with Miranda / by Holyer, Ian

    Published 1991
    Subjects: “…Miranda Programming language.…”
    Book

    Save to List
    Saved in:
  8. 8
    BBC Basic for beginners /

    BBC Basic for beginners / by Smith, David

    Published 1983
    Subjects: “…BASIC (Computer programming language)…”
    Book

    Save to List
    Saved in:
  9. 9
    Jolie Static Type Checker: a Prototype

    Jolie Static Type Checker: a Prototype by Daniel de Carvalho, Manuel Mazzara, Bogdan Mingela, Larisa Safina, Alexander Tchitchigin, Nikolay Troshkov

    Published 2017-12-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  10. 10
    Practical Java : programming language guide /

    Practical Java : programming language guide / by Haggar, Peter

    Published 2000
    Subjects: “…Java (Computer programming language).…”
    Book

    Save to List
    Saved in:
  11. 11
    Linear programming in pascal /

    Linear programming in pascal / by Bunday, Brian D.

    Published 1987
    Subjects: “…PASCAL (Computer programming language).…”
    Book

    Save to List
    Saved in:
  12. 12
    The SR programming language : concurrency in practice /

    The SR programming language : concurrency in practice / by Andrews, Gregory R.

    Published 1993
    Subjects: “…SR (Computer programming language).…”
    Book

    Save to List
    Saved in:
  13. 13
    Towards a Coq-verified Chain of Esterel Semantics

    Towards a Coq-verified Chain of Esterel Semantics by Rieg, Lionel, Berry, Gérard

    Published 2025-04-01
    Subjects: “…esterel programming language…”
    Get full text
    Article

    Save to List
    Saved in:
  14. 14
    Teaching Data Analysis and Machine Learning at University: Generalization of Experience and Perspectives

    Teaching Data Analysis and Machine Learning at University: Generalization of Experience and Perspectives by Victoria Dorofeeva, Sergey Stroev, Dmitrii Dorofeev

    Published 2024-03-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  15. 15
    A Recursive Inclusion Checker for Recursively Defined Subtypes

    A Recursive Inclusion Checker for Recursively Defined Subtypes by Hans De Nivelle

    Published 2021-12-01
    Subjects: “…programming language design…”
    Get full text
    Article

    Save to List
    Saved in:
  16. 16
    Intelligent Data Processing Methods for the Atypical Values Correction of Stock Quotes

    Intelligent Data Processing Methods for the Atypical Values Correction of Stock Quotes by T. V. Zolotova, D. A. Volkova

    Published 2022-05-01
    Subjects: “…outlier detection, outlier correction, python programming language, standard deviation…”
    Get full text
    Article

    Save to List
    Saved in:
  17. 17
    Notes on Recent Achievements in Proving Stability using KeYmaeraX

    Notes on Recent Achievements in Proving Stability using KeYmaeraX by Thomas Baar, Horst Schulte

    Published 2021-12-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  18. 18
    Tail Recursion Transformation in Functional Dataflow Parallel Programs

    Tail Recursion Transformation in Functional Dataflow Parallel Programs by A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva

    Published 2015-02-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  19. 19
    State and prospects of basic computer training in engineering education

    State and prospects of basic computer training in engineering education by O. G. Arkhipov

    Published 2016-12-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  20. 20
    Formal Verification of Programs in Functional Dataflow Parallel Language

    Formal Verification of Programs in Functional Dataflow Parallel Language by M. S. Kropacheva, A. I. Legalov

    Published 2015-03-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: