Arama Sonuçları - "programátor"
Önerilen Konular
Önerilen Konular
- Education 212
- Computer science 161
- Software Engineering 157
- Artificial intelligence 115
- Research & information: general 115
- History of engineering & technology 107
- Medicine 104
- Technology: general issues 97
- Computer programming / software development 91
- Humanities 82
- Biology, life sciences 79
- Psychology 74
- Educational strategies & policy 70
- Computer Science 64
- Higher & further education, tertiary education 63
- Politics & government 63
- History of the Americas 62
- Software engineering 59
- Algorithms & data structures 57
- Computer networking & communications 57
- Society & social sciences 53
- Sociology 51
- Public health & preventive medicine 49
- Mathematics 47
- Sustainability 47
- Mathematical theory of computation 43
- Central government policies 42
- History 41
- Medicolegal issues 41
- Social & cultural anthropology, ethnography 40
-
4541
Benefits, advantages, and challenges of dual degree programs and implications for the development of therapy science programs / Nutzen, Vorteile und Herausforderungen des dualen Studiums und Implikationen für die Entwicklung therapiewissenschaftlicher Studiengänge
Baskı/Yayın Bilgisi 2021Connect to this object online.
Kitap -
4542
-
4543
-
4544
-
4545
-
4546
-
4547
-
4548
-
4549
-
4550
-
4551
-
4552
-
4553
-
4554
-
4555
-
4556
-
4557
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Baskı/Yayın Bilgisi 2019İçindekiler: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata
Elektronik Ekitap -
4558
Twining Critical and Creative Approaches to Hypertext Narratives
Baskı/Yayın Bilgisi 2021Konular: “…Web programming bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
4559
Twining Critical and Creative Approaches to Hypertext Narratives
Baskı/Yayın Bilgisi 2021Konular: “…Web programming bicssc…”
OAPEN Library: download the publication
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
4560
Estimating the Cost of Administering the Department of Defense Small Business Innovation Research (SBIR) Program
Baskı/Yayın Bilgisi 2008DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü