Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Hirsch, Andrew K
2068
Ergebnisse:
Artikel (Online) X
Personensuche
X
Sprachen
englisch (1903)
deutsch (71)
mehr...
französisch (6)
weniger...
Sortierung: Relevanz
Sortierung: Jahr
?
1
Alice or Bob?: Process polymorphism in choreographies:
GRAVERSEN, EVA
;
HIRSCH, ANDREW K.
;
MONTESI, FABRIZIO
Journal of Functional Programming. 34 (2024) - p. , 2024
Link:
https://doi.org/10.1017/..
?
2
Compositional Security Definitions for Higher-Order Where D..:
Menz, Jan
;
Hirsch, Andrew K.
;
Li, Peixuan
.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 406-433 , 2023
Link:
https://doi.org/10.1145/..
?
3
Pirouette: higher-order typed functional choreographies:
Hirsch, Andrew K.
;
Garg, Deepak
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-27 , 2022
Link:
https://doi.org/10.1145/..
?
4
Pirouette: higher-order typed functional choreographies:
Hirsch, Andrew K.
;
Garg, Deepak
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-27 , 2022
Link:
https://dl.acm.org/doi/1..
?
5
Giving semantics to program-counter labels via secure effec..:
Hirsch, Andrew K.
;
Cecchetti, Ethan
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021
Link:
https://dl.acm.org/doi/1..
?
6
Giving semantics to program-counter labels via secure effec..:
Hirsch, Andrew K.
;
Cecchetti, Ethan
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021
Link:
https://doi.org/10.1145/..
?
7
Strict and lazy semantics for effects: layering monads and ..:
Hirsch, Andrew K.
;
Tate, Ross
Proceedings of the ACM on Programming Languages. 2 (2018) ICFP - p. 1-30 , 2018
Link:
https://doi.org/10.1145/..
?
8
Strict and lazy semantics for effects: layering monads and ..:
Hirsch, Andrew K.
;
Tate, Ross
Proceedings of the ACM on Programming Languages. 2 (2018) ICFP - p. 1-30 , 2018
Link:
https://dl.acm.org/doi/1..
?
9
Hot Dense Matter: Deconfinement and Clustering of Color Sou..:
Scharenberg, Rolf P.
;
Srivastava, Brijesh K.
;
Hirsch, Andrew S.
.
Universe. 4 (2018) 9 - p. 96 , 2018
Link:
https://doi.org/10.3390/..
?
10
Perceived cognitive deficits and depressive symptoms in pat..:
Lamis, Dorian A.
;
Hirsch, Jameson K.
;
Pugh, Kelley C.
...
Multiple Sclerosis and Related Disorders. 25 (2018) - p. 150-155 , 2018
Link:
https://doi.org/10.1016/..
?
11
Erratum to: The interrelations between spiritual well-being..:
Nsamenang, Sheri A.
;
Hirsch, Jameson K.
;
Topciu, Raluca
..
Journal of Behavioral Medicine. 39 (2016) 2 - p. 364-364 , 2016
Link:
https://doi.org/10.1007/..
?
12
The interrelations between spiritual well-being, pain inter..:
Nsamenang, Sheri A.
;
Hirsch, Jameson K.
;
Topciu, Raluca
..
Journal of Behavioral Medicine. 39 (2016) 2 - p. 355-363 , 2016
Link:
https://doi.org/10.1007/..
?
13
Towards the sustainable discovery and development of new an..:
Miethke, Marcus
;
Pieroni, Marco
;
Weber, Tilmann
...
Nature Reviews Chemistry. 5 (2021) 10 - p. 726-749 , 2021
Link:
https://doi.org/10.1038/..
?
14
Flow cytometric determination of cell proliferation in hype..:
Hirsch, Andrew
;
Tozzi, Carol A.
;
Das, Arvind K.
...
Cytometry. 37 (1999) 1 - p. 81-84 , 1999
Link:
https://doi.org/10.1002/..
?
15
Post-Mistretta Forum: How Can Guideline Sentencing Be Impro..:
Wilkins, Jr., William W.
;
Block, Michael K.
;
Breyer, Stephen G.
...
Federal Sentencing Reporter. 1 (1989) 8 - p. 357-376 , 1989
Link:
https://www.jstor.org/st..
1-15