Träfflista för sökning "WFRF:(Wehrheim Heike) "

Sökning: WFRF:(Wehrheim Heike)

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	Ahrendt, Wolfgang, 1967, et al. (författare) Editorial 2021 Ingår i: Formal Aspects of Computing. - : Association for Computing Machinery (ACM). - 0934-5043 .- 1433-299X. ; 33:6, s. 827-827 Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)
2.	Ahrendt, Wolfgang, 1967, et al. (författare) Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021 2024 Ingår i: Formal Aspects of Computing. - 0934-5043 .- 1433-299X. ; 36:1 Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)
3.	Ahrendt, Wolfgang, 1967, et al. (författare) Preface 2020 Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 1611-3349 .- 0302-9743. ; 12165 LNCS, s. v-vi Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)

Skapa referenser, mejla, bekava och länka

Författare/redaktör: Ahrendt, Wolfgang, 1 ... (3); Wehrheim, Heike (3); Tapia Tarifa, Silvia ... (1); Loulergue, Frédéric (1)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Stäng

Kopiera och spara länken för att återkomma till aktuell vy