Search Results - "programming language"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 47
- Computer Science 35
- Software Engineering 32
- Programming & scripting languages: general 31
- Programming Languages 26
- Artificial intelligence 24
- Algorithms & data structures 20
- Computer networking & communications 20
- Computer programming / software development 18
- Compilers (Computer programs) 9
- Compilers and Interpreters 9
- Computer modelling & simulation 8
- Network hardware 8
- Systems analysis & design 8
- Information technology: general issues 6
- Mathematical theory of computation 6
- Mathematics 6
- Software engineering 6
- Theory of Computation 6
- Computer architecture & logic design 5
- Computer networks 5
- Computer programming 5
- Discrete mathematics 5
- Programming Language 5
- Programming Techniques 5
- Programming languages (Electronic computers) 5
- Computer Engineering and Networks 4
- Computer engineering 4
- Computer hardware 4
- Computer security 4
-
441
-
442
-
443
-
444
-
445
-
446
-
447
-
448
-
449
-
450
APLIKASI KONSELING SISWA BERBASIS WEB (Studi kasus : SMAN 41 Jakarta)
Published 2020Link Metadata
Book -
451
-
452
-
453
RANCANG BANGUN SISTEM INFORMASI PENJUALAN PADA ANEKA BARU FURNITURE
Published 2021Link Metadata
Book -
454
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2023Table of Contents: “…When Programs Have to Watch Paint Dry -- Deciding contextual equivalence of nu-calculus with effectful contexts -- Kantorovich Functors and Characteristic Logics for Behavioural Distances -- A Logical Framework with Higher-Order Rational (Circular) Terms -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential Arithmetics with Addition and Bitwise Minimum -- Coverability in 2-VASS with One Unary Counter is in NP -- On History-Deterministic One-Counter Nets -- Unboundedness problems for machines with reversal-bounded counters -- Reverse Bisimilarity vs. …”
Link to Metadata
Electronic eBook -
455
-
456
-
457
-
458
-
459
-
460