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
-
- mathematical software - icms 2020 : 7th international conference, braunschweig, germany, july 13-16, 2020, proceedings (48)
- artificial intelligence for knowledge acquisition and management : 11th ifip wg 12.6 international workshop, ai4kam 2025, held at ijcai 2025, montreal, qc, canada, august 16-17, 2025, revised selected papers (47)
- Verlag
- Geographic terms
- Sprache
-
1
von Carette, Jacques ; Heunen, Chris ; Kaarsgaard, Robin ; et al.
Proceedings of the National Academy of Sciences 123(8):e2510881123, 2026
Schlagworte: Quantum Physics; Category Theory
-
2
von Soraine, Sasha ; Carette, Jacques
Proceedings of the International Conference on the Foundations of Digital Games. :1-11
-
3
von Carette, Jacques ; Heunen, Chris ; Kaarsgaard, Robin ; et al.
Proceedings of the ACM on Programming Languages. 8(ICFP):1-29
-
4
von Carette, Jacques ; Heunen, Chris ; Kaarsgaard, Robin ; et al.
Proceedings of the ACM on Programming Languages. 8(POPL):546-574
-
5
von Carette, Jacques ; Heunen, Chris ; Kaarsgaard, Robin ; et al.
Reversible Computation, LNCS 14680:10-27, 2024
Schlagworte: Computer Science - Logic in Computer Science
-
6
von Smith, W. Spencer ; Dong, Ao ; Carette, Jacques ; et al.
Schlagworte: Computer Science - Software Engineering; Computer Science - Computer Vision and Pattern Recognition; D.2.7; I.4.0
-
7
von Carette, Jacques ; Ortiz, Gerardo ; Sabry, Amr
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. :14-26
-
8
von Wu, Qirui ; Carette, Jacques
2020 IEEE Conference on Games (CoG) Games (CoG), 2020 IEEE Conference on. :662-665 Aug, 2020
-
9
Schlagworte: Computer Science - Software Engineering; Computer Science - Programming Languages
-
10
von Hu, Jason Z. S. ; Carette, Jacques
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. :327-342
-
11
von Carette, Jacques ; Ortiz, Gerardo ; Sabry, Amr
Schlagworte: Quantum Physics; Computer Science - Programming Languages
-
12
von Carette, Jacques ; MacLachlan, Brooks ; Smith, Spencer
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. :45-51
-
13
von Smith, Spencer ; Carette, Jacques
Workshop on the Science of Scientific-Software Development and Use, U.S. Department of Energy, Office of Advanced Scientific Computing Research, Dec, 2021
Schlagworte: Computer Science - Software Engineering; D.2.8; G.4
-
14
von Al-hassy, Musa ; Carette, Jacques ; Kahl, Wolfram
Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. :14-19
-
15
von Smith, Spencer ; Carette, Jacques ; Michalski, Peter ; et al.
Schlagworte: Computer Science - Software Engineering; D.2.0
-
16
Schlagworte: Computer Science - Logic in Computer Science; Mathematics - Logic; 68V20 (Primary) 03C05 (Secondary); F.4.1
-
17
Schlagworte: Computer Science - Software Engineering
-
18
Schlagworte: Computer Science - Logic in Computer Science
-
19
von Walia, Rajan ; Narayanan, Praveen ; Carette, Jacques ; et al.
Proceedings of the ACM on Programming Languages. 3(ICFP):1-30
-
20
von Hélène Sarter ; Thibaut Crétin ; Guillaume Savoye ; et al.
The Lancet Regional Health. Europe, Vol 47, Iss , Pp 101097- (2024)
Schlagworte: Inflammatory bowel disease; Incidence; Prevalence; Population-based registry; Crohn’s disease; Ulcerative colitis; Public aspects of medicine; RA1-1270
-
21
von Daggitt, Matthew L. ; Allais, Guillaume ; McKinna, James ; et al.
Schlagworte: Computer software
-
22
von Smith, Spencer ; Michalski, Peter ; Carette, Jacques ; et al.
Archives of Computational Methods in Engineering: State of the Art Reviews. 31(1):313-350
-
23
von Chen, Chao-Hong ; Choudhury, Vikraman ; Carette, Jacques ; et al.
Schlagworte: Computer Science - Programming Languages; Computer Science - Logic in Computer Science; F.1.1; F.3.2; D.3.2
-
24
von Bercic, Katja ; Carette, Jacques ; Farmer, William M. ; et al.
Schlagworte: Computer Science - Mathematical Software
-
25
Schlagworte: Computer Science - Programming Languages
Hilfe & Kontakt ǀ Fernleihe | Hilfe zur Fernleihe ǀ Literaturvorschlag| Literaturvorschlag