Forskning
Registerbeskrivning
Logga in
Tillgänglighet
In English
Artur
Om Artur
Artur
»
Lista över publikationer
Hem
Publikationer
Personer
Samverkansaktiviteter
Organisationer
Områden
Återställ alla filter
Publikationstyp
D4 Published development or research report or study
Återställ alla filter
Publikationer (7)
Sortera efter:
Datum
|
10
|
25
|
50
|
100
1/1
A
Å
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Alla
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Generalizing Action Systems to Hybrid Systems
(
1999
)
Back R, Petre L, Porres Paltor I
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Globalization and the human rights of women
(
2002
)
Katarina Frostell
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Generating Test Cases from Scenario-Based Formal Development
(
2008
)
Qaisar A. Malik, Johan Lilius,Linas Laibinis
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Generation of Structural VHDL Code with Library Components from Formal Event-B Models
(
2013
)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Generating the Logicome of a Biological Network
(
2015
)
Charmi Panchal, Sepinoud Azimi, Ion Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Generating the Logicome from Microarray Data
(
2017
)
Charmi Panchal, Vladimir Rogojin
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Grundkartering och bedömning av vattentäktspotential i fem åländska sjöar
(
2017
)
Hans-Peter Huhtala
10
|
25
|
50
|
100
1/1
Dela länk