Volltext-Artikel, E-Books und Literaturhinweise aus dem EBSCO Discovery Service
"Artikel & mehr" berücksichtigt nur einen Teil der für die Bibliothek der Frankfurt UAS verfügbaren Datenbanken. Zur Übersicht in DBIS
Ergebnis verändern
- Publikationstyp
Publikationstyp- Thema
- erschienen in
- Datenbank
-
1
von Mulleners, Niek ; Jeuring, Johan ; Swierstra, Wouter ; et al.
Schlagworte: container functors; example propagation; feasibility; parametricity; program synthesis; Computer Graphics and Computer-Aided Design; Computer Science Applications
-
2
von Najmaei, Niyousha ; Van der Weide, Niels ; Ahrens, Benedikt ; et al.
Schlagworte: categorical semantics; comprehension categories; subtyping; type theory; Software; Safety; Risk; Reliability and Quality
-
3
von Prasetya, I. S.W.B. ; Dastani, Mehdi ; Prada, Rui ; et al.
Schlagworte: agent-based testing; automated game testing; automated playtesting; DSL for playtesting; Software
-
4
von Rasekh, Nima ; van der Weide, Niels ; Ahrens, Benedikt ; et al.
Schlagworte: category theory; double categories; formalization of mathematics; univalent foundations; Software
-
5
von Wadler, Philip ; Taylor, Ramsay ; Krijnen, Jacco O.G. ; et al.
Schlagworte: Agda; Compilers; Formal Methods; Lambda Calculus; Optimisation; Computer Graphics and Computer-Aided Design; Computer Vision and Pattern Recognition; Computer Science (miscellaneous)
-
6
von Krijnen, Jacco O.G. ; Swierstra, Wouter ; Chakravarty, Manuel ; et al.
Schlagworte: Certified compilation; Compiler correctness; Smart contracts; Translation validation; Hardware and Architecture; Software; Safety; Risk; Reliability and Quality
-
7
von Prasetya, I. S.W.B. ; Sub Software Technology ; Fasolino, Anna Rita ; et al.
Schlagworte: automated testing computer games; MBT computer games; model based testing computer games; online model based testing; Taverne; Computer Science Applications; Human-Computer Interaction; Software; Safety; Risk; Reliability and Quality; Artificial Intelligence
-
8
von Melkonian, Orestis ; Swierstra, Wouter ; Chapman, James ; et al.
Schlagworte: Agda; blockchain; distributed ledgers; formal verification; program semantics; UTxO separation logic; Geography; Planning and Development; Modelling and Simulation
-
9
von Ahrens, Benedikt ; Emmenegger, Jacopo ; North, Paige Randall ; et al.
Schlagworte: B-systems; C-systems; contextual categories; Martin-Löf type theory; semantics of type theory; Theoretical Computer Science; General Computer Science
-
10
von Shirzadehhajimahmood, Samira ; Prasetya, I. S.W.B. ; Prandi, Davide ; et al.
Schlagworte: agent-based game testing; agent-based testing; automated game testing; model-based game testing; Software; Safety; Risk; Reliability and Quality
-
11
von Hilhorst, Dennis ; North, Paige Randall ; Sub Software Technology ; et al.
Schlagworte: algebraic small object argument; coq; formalization of mathematics; model category theory; unimath; univalent foundations; Software
-
12
von Van Der Weide, Niels ; Rasekh, Nima ; Ahrens, Benedikt ; et al.
Schlagworte: category theory; double categories; formalization of mathematics; univalent foundations; Computer Science Applications; Software
-
13
von Ansari, Saba Gholizadeh ; Prasetya, I. S.W.B. ; Dastani, Mehdi ; et al.
Schlagworte: emotional experience; formal verification; play testing; player experience testing; Taverne; Artificial Intelligence; Software; Safety; Risk; Reliability and Quality; Modelling and Simulation
-
14
Schlagworte: Software
-
15
von Lorenzen, Anton ; Leijen, Daan ; Swierstra, Wouter ; et al.
Schlagworte: Defunctionalization; Laziness; Perceus; Software; Safety; Risk; Reliability and Quality
-
16
von Nunes, Fernando Lucatelli ; Prezado, Rui ; Vákár, Matthijs ; et al.
Schlagworte: (co)lax idempotent pseudomonad; bicategorical biproducts; cartesian closed category; extensive category; free coproduct completion; pseudodistributive law; General Mathematics
-
17
von Kolosick, Matthew ; Shivakumar, Basavesh Ammanaghatta ; Cauligi, Sunjay ; et al.
Schlagworte: cryptography; secure compilation; Spectre; speculative execution; Software; Safety; Risk; Reliability and Quality
-
18
Schlagworte: Software
-
19
von Pastor Ricós, Fernando ; Marín, Beatriz ; Prasetya, I. S.W.B. ; et al.
Schlagworte: 3D game testing; Autonomous agents; BDD testing; Information Systems and Management
-
20
von Van Balen, David ; Keller, Gabriele ; De Wolff, Ivo Gabe ; et al.
Schlagworte: arrays; data parallelism; fusion; integer linear programming; Taverne; General Computer Science
-
21
von de Wolff, Ivo Gabe ; Keller, Gabriele ; Sub Software Technology ; et al.
Schlagworte: Data Parallelism; Parallel computing; Scheduling; Hardware and Architecture; Software
-
22
von Vinogradova, Polina ; Melkonian, Orestis ; Wadler, Philip ; et al.
Schlagworte: Agda; blockchain; EUTxO; formal verification; ledger; small-step semantics; smart contract; specification; transition systems; UTxO; Geography; Planning and Development; Modelling and Simulation
-
23
von de Wolff, Ivo Gabe ; Anderson, Daniel ; Keller, Gabriele K. ; et al.
Schlagworte: Concurrency; Reference counting; Wait-free; Taverne; Theoretical Computer Science; General Computer Science
- 24
-
25
von Ahrens, Benedikt ; Emmenegger, Jacopo ; North, Paige Randall ; et al.
Schlagworte: ontextual categories; Martin-Löf type theory; semantics of type theory; B-systems; C-systems
Hilfe & Kontakt ǀ Fernleihe | Hilfe zur Fernleihe ǀ Literaturvorschlag| Literaturvorschlag