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
- Geographic terms
- Sprache
-
1
von Su, Zhendong ; Aiken, Alexander ; Niehren, Joachim ; et al.
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :203-216
-
2
von Niehren, Joachim ; Priesnitz, Tim ; Su, Zhendong ; et al.
Programming Languages and Systems : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. 3444:357-373
-
3
von Niehren, Joachim ; Priesnitz, Tim ; Goos, Gerhard, editor ; et al.
Theoretical Aspects of Computer Software : 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings. 2215:360-384
-
4
von Niehren, Joachim ; Priesnitz, Tim ; Goos, Gerhard, editor ; et al.
Advances in Computing Science — ASIAN’99 : 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings. 1742:251-265
-
5
-
6
von Joachim Niehren ; Tim Priesnitz ; Non-structural Subtype ; et al.
https://hal.inria.fr/inria-00536540/document/.
-
7
von Joachim Niehren ; Tim Priesnitz ; Zhendong Su ; et al.
http://www.cs.ucdavis.edu/~su/publications/poset-short.pdf.
-
8
von Joachim Niehren ; Tim Priesnitz ; The Pennsylvania State University CiteSeerX Archives
http://www.ps.uni-sb.de/Papers/abstracts/pdl.ps.
-
9
von Joachim Niehren ; Tim Priesnitz ; The Pennsylvania State University CiteSeerX Archives
http://www.ps.uni-sb.de/Papers/abstracts/subtype.pdf.
-
10
von Alexander Aiken ; Joachim Niehren ; Tim Priesnitz ; et al.
http://www.ps.uni-sb.de/Papers/abstracts/fot.ps.
-
11
von Niehren, Joachim ; Priesnitz, Tim
In Information and Computation 2003 186(2):319-354
-
12
von Joachim Niehren ; Tim Priesnitz ; The Pennsylvania State University CiteSeerX Archives
http://hal.univ-lille3.fr/docs/00/53/65/40/PDF/SubTypeEntailment_02.pdf.
-
13
von Joachim Niehren ; Tim Priesnitz ; The Pennsylvania State University CiteSeerX Archives
http://www.ps.uni-saarland.de/Publications/documents/SubTypeEntailment_99.pdf.
-
14
von Joachim Niehren ; Tim Priesnitz ; Programming Systems Lab ; et al.
http://www.ps.uni-sb.de/Papers/abstracts/SubTypeEntailment:99.ps.
-
15
von Tim Priesnitz ; Erstgutachter Privatdozent ; Dr. Joachim Niehren ; et al.
http://www.ags.uni-sb.de/~chris/papers/2003-priesnitz-phd.pdf.
-
16
von Zhendong Su ; Alexander Aiken ; Joachim Niehren ; et al.
ftp://ftp.lri.fr/LRI/articles/treinen/popl02.ps.gz
-
17
von Zhendong Su ; Alexander Aiken ; Joachim Niehren ; et al.
http://www.cs.berkeley.edu/~zhendong/links/./ps/fot.ps.
-
18
von Zhendong Su ; Alexander Aiken ; Joachim Niehren ; et al.
http://www.ps.uni-sb.de/Papers/abstracts/sub-journal.pdf.
Schlagworte: General Terms; Algorithms; Languages; Theory Additional Key Words and Phrases; subtype constraints; type systems; tree automata; complexity
-
19
von Zhou, Xuankai ; Kong, Yan-Tung ; Cheung, Cheuk Kit ; et al.
Schlagworte: Quantum Physics; Materials Science
-
20
von Feng, Liwen ; Zhang, Haotian ; Priessnitz, Tim ; et al.
Schlagworte: Superconductivity
-
21
von Sun, Yuhan ; Birch, Max T. ; Finizio, Simone ; et al.
Advanced Materials ; volume 37, issue 37 ; ISSN 0935-9648 1521-4095
-
22
von Bhandia, Rishi ; Priessnitz, Tim ; Liang, Jiahao ; et al.
Schlagworte: Strongly Correlated Electrons; Materials Science
-
23
von Rabinovich, Ksenia S. ; Yaresko, Alexander N. ; Dawson, Robert D. ; et al.
Advanced Functional Materials ; volume 35, issue 10 ; ISSN 1616-301X 1616-3028
-
24
von Sagiv, Mooly ; Niehren, Joachim ; Priesnitz, Tim ; et al.
Programming Languages & Systems (9783540254355); 2005, p357-373, 17p
-
25
von Puphal, Pascal ; Reiss, Pascal ; Enderlein, Niklas ; et al.
Schlagworte: Superconductivity; Materials Science; Strongly Correlated Electrons
Hilfe & Kontakt ǀ Fernleihe | Hilfe zur Fernleihe ǀ Literaturvorschlag| Literaturvorschlag