Search Results - "programming"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 111
- Software Engineering 110
- Computer programming / software development 91
- Research & information: general 84
- Artificial intelligence 82
- History of engineering & technology 77
- Technology: general issues 63
- Computer networking & communications 45
- Algorithms & data structures 44
- Mathematical theory of computation 41
- Medicine 40
- Biology, life sciences 37
- Programming & scripting languages: general 37
- Education 36
- Software engineering 30
- Computer Science 27
- Systems analysis & design 27
- Bio-ethics 26
- Information technology: general issues 26
- Programming Languages 26
- Information technology industries 24
- Humanities 22
- Mathematics & science 22
- Games development & programming 21
- Compilers (Computer programs) 19
- Compilers and Interpreters 19
- Computer modelling & simulation 19
- Computer Science Logic and Foundations of Programming 17
- Data mining 17
- Artificial Intelligence 16
-
321
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Published 2018Subjects: “…programming languages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
322
Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml
Published 2023Subjects: “…programming language…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
323
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Published 2018Subjects: “…programming languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
324
Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml
Published 2023Subjects: “…programming language…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
325
Chapter 7 The challenge of creating a more diverse economics Lessons from the UCR minority pipeline project
Published 2019Subjects: “…minority pipeline program…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
326
Research In Multicultural Education
Published 1992Subjects: “…programs…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
327
Teaching Augustine
Published 2015Subjects: “…Core Texts/Great Books programs…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
328
Academic Pipeline Programs Diversifying Pathways from the Bachelor's to the Professoriate
Published 2021Subjects: “…eduation; strategies; policy; academic pipeline programs…”
DOAB: description of the publication
Electronic Book Chapter -
329
Chapter Gli strumenti
Published 2020Subjects: “…rural development program…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
330
Research In Multicultural Education
Published 1992Subjects: “…programs…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
331
Chapter 7 The challenge of creating a more diverse economics Lessons from the UCR minority pipeline project
Published 2019Subjects: “…minority pipeline program…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
332
Academic Pipeline Programs Diversifying Pathways from the Bachelor's to the Professoriate
Published 2021Subjects: “…eduation; strategies; policy; academic pipeline programs…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
333
Chapter Gli strumenti
Published 2020Subjects: “…rural development program…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
334
Public Feminisms From Academy to Community
Published 2023Subjects: “…Community, higher education, education, programming, writing, engagement, scholarship, academic, knowledge, collaboration, research, public, pedagogy, intersectionality, social justice, praxis, university-community relations, gender studies…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
335
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018Subjects: “…program compilers…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
336
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Published 2018Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
337
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Published 2018Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
338
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2018Subjects: “…program compilers…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
339
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Published 2018Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
340
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Published 2018Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter